袁梦霆
【姓名】 袁梦霆
【职称】 副教授;
【研究领域】 计算机软件及计算机应用;高等教育;数学;
【研究方向】 程序语言理论
【发表文献关键词】 美观准则,Winsock控件,画树算法,Builder,Web技术,Socket,直线画法,Winsock,Web页面,blob,算法分析,Power,结点,email,用户对象,socket,父结点...
【工作单位】 武汉大学
【曾工作单位】 武汉大学;
【所在地域】 湖北武汉
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
2/17 12 14 3 46 1633
中国期刊全文数据库    共找到14篇
[1]朱凯;毋国庆;梁早清;袁梦霆;.有限自动机重置问题的算法研究进展[J]华中科技大学学报(自然科学版).2021,(02)
[2]朱凯;毋国庆;袁梦霆;杨磊;.非确定有限自动机的最短D_1-同步字求解[J]华中科技大学学报(自然科学版).2021,(02)
[3]朱凯;毋国庆;袁梦霆;.关于同步部分规约的有限自动机的优化问题的近似难度[J]计算机科学.2020,(05)
[4]李清安;袁梦霆;王汉飞;吴黎兵;何炎祥;.基于LLVM的编译实验课程设计[J]计算机教育.2019,(02)
[5]朱凯;毋国庆;吴理华;袁梦霆;.有关时间自动机重置的若干问题的计算复杂性[J]软件学报.2019,(07)
[6]袁梦霆;李清安;吴黎兵;何炎祥;.基于建模与推理的命题逻辑教学方法研究[J]计算机教育.2019,(09)
[7]袁梦霆;谢婧;.基于机器学习的类型推理方法综述[J]广州大学学报(自然科学版).2019,(03)
[8]徐勇;毋国庆;袁梦霆;黄勃;.基于变型空间代数的自动程序修复方法[J]电子学报.2017,(10)
[9]程铭;毋国庆;袁梦霆;.基于迁移学习的软件缺陷预测[J]电子学报.2016,(01)
[10]陈勇;袁梦霆;李清安;.分区内存体系结构片选指令优化方法[J]计算机工程与科学.2016,(02)
更多