袁梦霆
- 作品数：28 被引量：46H指数：3
- 供职机构：武汉大学更多>>
- 发文基金：国家自然科学基金中央高校基本科研业务费专项资金广东省自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学机械工程电子电信更多>>
- 关于同步部分规约的有限自动机的优化问题的近似难度被引量：3
- 2020年
- 自动机是可同步的是指它具有满足以下性质的同步字:不论自动机当前所处的状态,以同步字为输入执行后它一定会到达某个特定状态。同步自动机问题的核心是计算最短同步字。聚焦于这一核心问题,文中就一类称为部分规约的确定的有限自动机的最短同步字问题,研究了近似计算这类自动机的最短同步字的复杂性,即近似计算它的难度,该工作有助于其近似算法的分析与设计。通过建立由两个优化问题(MAX SAT问题以及MAX FA-INT问题)到最短同步字长度计算这一问题(即Shortest-Syn)的归约,利用与概率可检验证明(Probabilistically Checkable Proofs,PCP)定理和概率可检验辩论(Probabilistically Checkable Debate,PCD)定理有关的若干结果证明了文中的主要结论:对于部分规约的确定的有限自动机,在某个近似因子内Shortest-Syn的近似难度是NP-难的和PSPACE-难的,除非NP和PSPACE分别坍塌到P。
- 朱凯毋国庆袁梦霆
- 关键词：有限自动机
- 分区内存体系结构片选指令优化方法
- 2016年
- 在分区内存体系结构中,如何尽可能少地插入片选指令是研究的热点。根据该问题的特点,构建了片选优化的图划分模型,并在该模型的基础上,提出了一种二阶段启发式搜索算法求解该问题。该算法首先根据节点自身的大小与图中分区大小快速获得一个初始可行解,然后在该可行解基础上利用节点之间边的权值和分区之间的权值作为启发式参数,搜索更优的解。通过对MiBench用例集和实际嵌入式系统的测试,验证了该模型及相应启发式算法的有效性,相对于VPAB算法,平均优化率达到37.99%,略优于成熟的商用编译器PICC,大幅度减少了片选指令的数量。
- 陈勇袁梦霆李清安
- 关键词：图模型启发式搜索嵌入式系统
- 基于变型空间代数的自动程序修复方法被引量：2
- 2017年
- 基于代码枚举的自动程序修复方法借助变异算子对程序中错误语句进行变更操作,从而得到程序修复解.由于缺乏文法制导及变异算子数量的有限性,该方法的有效性有待进一步提高.本文提出一种基于变型空间代数的自动程序修复方法,即将回归测试用例集视为训练实例,通过归纳学习得到程序中出错语句的修复解.具体而言,该方法包括以下特征:(1)从文法到变型空间的自动构造生成方法;(2)根据变型空间树中变型空间的不同类别,分别给出一致性定义;(3)结合静态及类型检查的变型空间代数运算.实验结果表明:与基于代码枚举及基于搜索的修复方法相比,本文提出的方法在修复成功率方面更具优势;与此同时,方法中的静态及类型检查机制可以有效地削减假设空间的规模.
- 徐勇毋国庆袁梦霆黄勃
- 关键词：上下文无关文法生成树
- 一种代码查询模型的生成方法和计算机设备
- 本发明提供了一种代码查询模型的生成方法和计算机设备，代码查询模型的生成方法包括：在训练集中选取匹配语句对和非匹配语句对；基于初始词嵌入模块匹配词嵌入向量集和非匹配向量集，基于初始Transformer模块确定匹配词嵌入矩...
- 谢婧胡刚袁梦霆
- 文献传递
- 结合Craig插值分析的软件错误诊断方法被引量：2
- 2016年
- 基于模型诊断(MBD)的理论应用到软件错误定位中取得了一定的效果.但是经典MBD理论基于元件间独立地发生故障这一假设,导致软件错误定位的结果中存在假阳性的诊断.论文对现有基于MBD的软件错误定位方法进行了改进,提出了冲突中元件的冗余分析方法.该方法既包括了基于Craig插值的元件冗余分析机制,同时利用条件语句取值的二元性(真或假)的特点,对冲突中的条件语句元件进行软件错误的无相关分析.实验结果表明:冲突中的元件冗余分析方法可以有效地减少诊断的假阳性率,将诊断结果数减少了48.4%,碰集树生成的结点数减少了47.6%.
- 徐勇毋国庆袁梦霆
- 关键词：基于模型诊断
- 一种建立软件需求模型的方法
- 一种建立软件需求模型的方法，包括为问题域标识和定义视点；为每一个与待开发软件系统相关的视点建立场景；使用行为描述语言建立系统需求模型；检测所有的视点；若检测结果为发现问题则修改相应的场景行为模型或视点行为模型并返回重复检...
- 毋国庆姚昱袁梦霆万黎肖晶
- 文献传递
- 面向复杂软件系统的需求工程建模方法及其工具系统
- 毋国庆袁梦霆姚昱陈曙万黎吴怀广吴昊黄勃
- 面向复杂软件系统的需求工程建模方法及其工具系统主要为软件开发人员提供有效实用的软件需求分析方法和工具，适用不同的计算机应用领域和不同类型的软件系统的需求开发工作。面向复杂软件系统的需求工程建模方法是基于多视点和软件行为的...
- 关键词：
- 基于建模与推理的命题逻辑教学方法研究
- 2019年
- 面向计算机科学领域的教学,提出基于建模与推理的命题逻辑教学方法,说明该方法的教学步骤,从一个案例出发,说明如何引导学生学习使用命题逻辑进行建模,推理模型的性质,同时分析该方法在命题逻辑教学中的效果.
- 袁梦霆李清安吴黎兵何炎祥
- 关键词：命题逻辑案例教学
- 面向软件行为的多视点需求建模方法被引量：5
- 2014年
- 面向软件行为的多视点需求建模从视点需求出发,提出了基于软件行为描述语言(Behavior Description Language,BDL)的多视点需求模型、需求验证及生成形式化需求文档方法.首先划分目标系统构建多视点,然后利用BDL建立视点行为模型,所有视点行为模型组合构成系统行为模型.在多视点行为模型框架下,利用BDL所构建行为模型进行语法、语义以及系统特性的检测,保证系统行为模型的正确性.最后,介绍了基于上述方法的多视点需求建模工具RMTS.
- 程铭黄勃毋国庆姚昱袁梦霆
- 关键词：多视点
- 基于迁移学习的软件缺陷预测被引量：23
- 2016年
- 传统软件缺陷预测方法在解决跨项目缺陷预测过程中适应能力不足,主要是因为源项目和目标项目之间存在不同的特征分布.为了解决这个问题,提出一种新的加权贝叶斯迁移学习算法,算法首先收集训练数据和测试数据的特征信息,然后计算特征差异,将不同项目数据之间差异转化为训练数据权重,最后基于这些权重数据建立预测模型.在8个开源项目数据集上进行实验比较,实验结果表明与其他方法相比本文方法显著提高跨项目缺陷预测性能.
- 程铭毋国庆袁梦霆
- 关键词：软件缺陷预测朴素贝叶斯
