![]()
李大奎
-
教授级高工
硕士生导师
- 性别：男
- 毕业院校：大连理工大学
- 学位：硕士
- 所在单位：软件学院、国际信息与软件学院
- 电子邮箱：ldk@dlut.edu.cn
访问量：
-
[1] Han, Jinbo, Li, Dakui, Yang, Nanhai, Liu, Zhu, Nan, Qiong.Analysis of Criminal Case Judgment Documents Based on Deep Learning[A],2018,155:261-264
-
[2] 迟宗正, 侯刚, 赖晓晨, 任志磊, 李大奎, 惠煌, 聂长龙.基于TEC-XP实验平台的仿真系统设计[J],实验技术与管理,2016,33(6):140-144
-
[3] 迟宗正, 侯刚, 赖晓晨, 任志磊, 王洁, 李大奎.依托新技术建设移动辅助教学一体化平台[J],实验室研究与探索,2016,35(5):166-169,248
-
[4] 迟宗正, 侯刚, 赖晓晨, 任志磊, 惠煌, 李大奎.计算机组织与结构课程群开放式实验建设探讨[J],实验室研究与探索,2016,35(1):150-154
-
[5] 迟宗正, 侯刚, 赖晓晨, 任志磊, 李大奎, 惠煌, 聂长龙.基于TEC-XP实验箱的数字仿真系统设计与实践[J],实验技术与管理,2016,33(6):140-144
-
[6] 迟宗正, 于成, 高新岩, 刘, 李大奎.软件学院电子技术综合实验教学体系建设[J],计算机教育,2014,17:28-31
-
[7] 李大奎, 于成, 刘旸, 迟宗正.立足精英型软件人才培养目标的电子技术综合实验教学体系的构建[J],教育教学论坛,2014,8:151-153
-
[8] Gao, Xinyan, Ding, Yingcai, Liu, Wenbo, Zheng, Kaidi, Huang, Siyu, Zhou, Ning, Li, Dakui, DK (reprint author), Beijing Jiaotong Univ, Sch Comp & Informat Technol, Beijing 100044, Peoples R China..Unified Mathematical Framework for Slicing and Symmetry Reduction over Event Structures[J],JOURNAL OF APPLIED MATHEMATICS,2014
-
[9] Zhou, Ning, Gao, Xinyan, Wu, Jinzhao, Wei, Jianchao, Li, Dakui, JZ (reprint author), Beijing Jiaotong Univ, Sch Comp & Informat Technol, Beijing 10044, Peoples R China..Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions[J],JOURNAL OF APPLIED MATHEMATICS,2014
-
[10] 陆坤, 李凤岐, 周勇, 李大奎, 郭禾.基于“大实践”观的多层次一体化实践教学平台的构建[J],中国大学教学,2013,11:78-81
-
[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 verification[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 verification[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
