Personal Information

教授级高工 Supervisor of Master's Candidates

Paper Publications

[11]陆坤, 李凤岐, 李大奎, 郭禾.面向卓越人才培养的实践教学体系建设[J],现代教育技术,2013,23(9):124-126
[12]Gao X., Li D., Zhou N., Li, D., School of Software of Dalian University of Technology, Dalian 116620, China, email: ldk@dl.cn.Wu's method based temporal assertions checking for SEREs properties[J],Journal of Information and Computational Science,2013,10(3):901-910
[13]高新岩, 李大奎.Wus Method Based Temporal Assertions Checking for SEREs Properties[J],Journal of Information & Computational Science,2013,3(10):901-910
[14]Gao, Xinyan, Luo, Xianlu, Zhou, Ning, Li, Dakui.A Case Study on High Trustworthy Environment Construction for Smart Home Applications[A],2011,143:755-+
[15]Gao X., Zhou N., Li F., Li D..Combining symbolic simulation and Groebner bases approach for constrained PSL property verificati...[A],2011,136 LNEE:377-384
[16]李大奎, 杨南海, 李凤岐, 田园.实训教学中项目驱动教学模式的实践探索[J],大连理工大学学报,2011,32(z2):140-141
[17]高新岩, 李凤岐, 李大奎.Combining symbolic simulation and groebner bases approach for constrained psl property verificati...[A],2011,136(LENN136):377-384
[18]高新岩, 李大奎.Embedded microscope vision based mechanical platform for led wafer automatic inspection[A],2011,2(LENN133):309-316
[19]李大奎, 周惠巍, 朱鸣华, 马洪连, 吕蕾蕾."计算机硬件技术基础"课程体系的改革与实践[J],计算机教育,2009,20:81-83
[20]李大奎, 谭国真.无线传感器网络的数据采集[J],计算机科学,2008,35(11):322-325

total21 2/3

first previous next last Page

Home

Scientific Research

Teaching Research

Awards and Honours

Enrollment Information

Student Information

My Album

Blog

Personal Information

Paper Publications