袁梦霆
- 作品数：30 被引量：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,大幅度减少了片选指令的数量。
- 陈勇袁梦霆李清安
- 关键词：图模型启发式搜索嵌入式系统
- 计算资源分配方法及装置
- 本发明提供一种计算资源分配方法及装置，其方法包括：在待分配的计算任务于当前时间周期的有向无环图中确定叶子节点，并将依赖任务已经完成的计算任务对应的叶子节点作为候选节点；在所述候选节点的数量大于可用计算资源数的情况下，基于...
- 袁梦霆胡宬
- 有关时间自动机重置的若干问题的计算复杂性被引量：3
- 2019年
- 自动机的重置序列也称为同步序列,具有以下特性:有限自动机通过运行重置序列w,可从任意一个未知的或无法观测到的状态q0到达某个特定状态qw。这仅依赖于w,而与开始运行w时的状态q0无关。这一特性可用于部分可观察的复杂系统的自动恢复,而无需重启,甚至有时不能重启。基于此,重置问题自出现以来便得到关注和持续研究。最近几年,它被扩展到可以描述诸如分布式、嵌入式实时系统等复杂系统的无限状态模型上,比如时间自动机和寄存器自动机等。以时间自动机的重置问题的计算复杂性为研究对象,发现重置问题与可达性问题有着紧密的联系。主要贡献是:(1)利用时间自动机可达性问题的最新成果,完善完全的确定的时间自动机重置问题的计算复杂性结论;(2)对部分规约的确定的时间自动机,研究得出,即使在输入字母表大小减至2的情况下,其复杂性仍是PSPACE-完全的;特别地,在单时钟情况下是NLOGSPACE-完全的;(3)对完全的非确定的时间自动机,研究得出其Di-可重置问题(i=1,2,3)是不可判定的,其重置问题与非确定的寄存器自动机重置问题在指数时间可以相互归约,通过证明指数时间归约相对高复杂性类具有封闭性,利用非确定的寄存器自动机的结论得出单时钟的时间自动机的重置问题是Ackermann-完全的、限界的重置问题是NEXPTIME-完全的。这些复杂性结论,说明关于时间自动机的重置问题大都是难解的,一方面,为时间系统的可重置性的检测和求解奠定坚实的理论基础,另一方面,为以后寻找具有高效算法的特殊结构的时间系统(即具有高效算法的问题子类)给予理论指导。
- 朱凯毋国庆吴理华袁梦霆
- 关键词：时间自动机归约
- 一种基于FPGA的混合高斯模型的图像处理方法
- 本发明涉及一种基于FPGA的混合高斯模型的图像处理方法，步骤S1：构建FPGA模块设计和ARM系统的初始化配置；步骤S2：一组DMA控制器将DDR上的像素和背景模型参数转化成数据流，传入混合高斯模型的核心计算模块；步骤S...
- 袁梦霆滕昊天
- 解码器通信协议的一种形式化方法
- 本文提出解码器通信协议的一种形式化方法(FSPD),以描述不同解码器的通信协议.解码器控制软件读入不同FSPD规格说明书就能控制不同型号的解码器,从而提高了解码器控制软件的可适应性和可重用性.FSPD精确、简单,用它书写...
- 袁梦霆毋国庆舒风笛
- 关键词：形式化数字视频监控解码器通信协议形式化方法控制软件
- 基于变型空间代数的自动程序修复方法被引量：2
- 2017年
- 基于代码枚举的自动程序修复方法借助变异算子对程序中错误语句进行变更操作,从而得到程序修复解.由于缺乏文法制导及变异算子数量的有限性,该方法的有效性有待进一步提高.本文提出一种基于变型空间代数的自动程序修复方法,即将回归测试用例集视为训练实例,通过归纳学习得到程序中出错语句的修复解.具体而言,该方法包括以下特征:(1)从文法到变型空间的自动构造生成方法;(2)根据变型空间树中变型空间的不同类别,分别给出一致性定义;(3)结合静态及类型检查的变型空间代数运算.实验结果表明:与基于代码枚举及基于搜索的修复方法相比,本文提出的方法在修复成功率方面更具优势;与此同时,方法中的静态及类型检查机制可以有效地削减假设空间的规模.
- 徐勇毋国庆袁梦霆黄勃
- 关键词：上下文无关文法生成树
- 一种代码查询模型的生成方法和计算机设备
- 本发明提供了一种代码查询模型的生成方法和计算机设备，代码查询模型的生成方法包括：在训练集中选取匹配语句对和非匹配语句对；基于初始词嵌入模块匹配词嵌入向量集和非匹配向量集，基于初始Transformer模块确定匹配词嵌入矩...
- 谢婧胡刚袁梦霆
- 结合Craig插值分析的软件错误诊断方法被引量：2
- 2016年
- 基于模型诊断(MBD)的理论应用到软件错误定位中取得了一定的效果.但是经典MBD理论基于元件间独立地发生故障这一假设,导致软件错误定位的结果中存在假阳性的诊断.论文对现有基于MBD的软件错误定位方法进行了改进,提出了冲突中元件的冗余分析方法.该方法既包括了基于Craig插值的元件冗余分析机制,同时利用条件语句取值的二元性(真或假)的特点,对冲突中的条件语句元件进行软件错误的无相关分析.实验结果表明:冲突中的元件冗余分析方法可以有效地减少诊断的假阳性率,将诊断结果数减少了48.4%,碰集树生成的结点数减少了47.6%.
- 徐勇毋国庆袁梦霆
- 关键词：基于模型诊断
- 一种建立软件需求模型的方法
- 一种建立软件需求模型的方法，包括为问题域标识和定义视点；为每一个与待开发软件系统相关的视点建立场景；使用行为描述语言建立系统需求模型；检测所有的视点；若检测结果为发现问题则修改相应的场景行为模型或视点行为模型并返回重复检...
- 毋国庆姚昱袁梦霆万黎肖晶
