首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   6篇
  免费   3篇
  国内免费   1篇
无线电   3篇
自动化技术   7篇
  2020年   1篇
  2019年   2篇
  2017年   1篇
  2016年   3篇
  2001年   3篇
排序方式: 共有10条查询结果,搜索用时 15 毫秒
1
1.
基于变型空间代数的自动程序修复方法   总被引:1,自引:0,他引:1       下载免费PDF全文
徐勇  毋国庆  袁梦霆  黄勃 《电子学报》2017,45(10):2498-2505
基于代码枚举的自动程序修复方法借助变异算子对程序中错误语句进行变更操作,从而得到程序修复解.由于缺乏文法制导及变异算子数量的有限性,该方法的有效性有待进一步提高.本文提出一种基于变型空间代数的自动程序修复方法,即将回归测试用例集视为训练实例,通过归纳学习得到程序中出错语句的修复解.具体而言,该方法包括以下特征:(1)从文法到变型空间的自动构造生成方法;(2)根据变型空间树中变型空间的不同类别,分别给出一致性定义;(3)结合静态及类型检查的变型空间代数运算.实验结果表明:与基于代码枚举及基于搜索的修复方法相比,本文提出的方法在修复成功率方面更具优势;与此同时,方法中的静态及类型检查机制可以有效地削减假设空间的规模.  相似文献   
2.
徐勇  毋国庆  袁梦霆 《电子学报》2016,44(10):2514-2521
基于模型诊断(MBD)的理论应用到软件错误定位中取得了一定的效果.但是经典MBD理论基于元件间独立地发生故障这一假设,导致软件错误定位的结果中存在假阳性的诊断.论文对现有基于MBD 的软件错误定位方法进行了改进,提出了冲突中元件的冗余分析方法.该方法既包括了基于Craig插值的元件冗余分析机制,同时利用条件语句取值的二元性(真或假)的特点,对冲突中的条件语句元件进行软件错误的无相关分析.实验结果表明:冲突中的元件冗余分析方法可以有效地减少诊断的假阳性率,将诊断结果数减少了48.4%,碰集树生成的结点数减少了47.6%.  相似文献   
3.
朱凯  毋国庆  吴理华  袁梦霆 《软件学报》2019,30(7):2033-2051
自动机的重置序列也称为同步序列,具有以下特性:有限自动机通过运行重置序列w,可从任意一个未知的或无法观测到的状态q0到达某个特定状态qw.这仅依赖于w,而与开始运行w时的状态q0无关.这一特性可用于部分可观察的复杂系统的自动恢复,而无需重启,甚至有时不能重启.基于此,重置问题自出现以来便得到关注和持续研究.最近几年,它被扩展到可以描述诸如分布式、嵌入式实时系统等复杂系统的无限状态模型上,比如时间自动机和寄存器自动机等.以时间自动机的重置问题的计算复杂性为研究对象,发现重置问题与可达性问题有着紧密的联系.主要贡献是:(1)利用时间自动机可达性问题的最新成果,完善完全的确定的时间自动机重置问题的计算复杂性结论;(2)对部分规约的确定的时间自动机,研究得出,即使在输入字母表大小减至2的情况下,其复杂性仍是PSPACE-完全的;特别地,在单时钟情况下是NLOGSPACE-完全的;(3)对完全的非确定的时间自动机,研究得出其Di-可重置问题(i=1,2,3)是不可判定的,其重置问题与非确定的寄存器自动机重置问题在指数时间可以相互归约,通过证明指数时间归约相对高复杂性类具有封闭性,利用非确定的寄存器自动机的结论得出单时钟的时间自动机的重置问题是Ackermann-完全的、限界的重置问题是NEXPTIME-完全的.这些复杂性结论,说明关于时间自动机的重置问题大都是难解的,一方面,为时间系统的可重置性的检测和求解奠定坚实的理论基础,另一方面,为以后寻找具有高效算法的特殊结构的时间系统(即具有高效算法的问题子类)给予理论指导.  相似文献   
4.
介绍了利用PB提供的Winsock控件创建一个基本的网络信息交换系统的过程和方法,实现利用Web页面直接与服务器进行信息交换.  相似文献   
5.
研究、分析和实现了3种传统树的直线画法——NaiveDrawing、NaiveDrawBinary及TreeDrawing,给出了它们的实验结果.  相似文献   
6.
针对新工科建设形势下,原有编译实验课程面临广度与深度不足、管理方式有待改进、个性化及技术前沿性不足等方面的挑战,分析国外一流高校编译实验课程设计的特点,提出基于LLVM设计编译实验课程的思路,以应对前述挑战。  相似文献   
7.
树的直线画法的研究、实现和分析   总被引:1,自引:0,他引:1  
袁梦霆  罗敏  谌明 《计算机工程》2001,27(11):58-60
研究、实现和分析了3种传统的树的直线画法--NaiveDrawing、NaiveDrawBinary以及TreeDrawing,并给出它们的实验结果。  相似文献   
8.
自动机是可同步的是指它具有满足以下性质的同步字:不论自动机当前所处的状态,以同步字为输入执行后它一定会到达某个特定状态。同步自动机问题的核心是计算最短同步字。聚焦于这一核心问题,文中就一类称为部分规约的确定的有限自动机的最短同步字问题,研究了近似计算这类自动机的最短同步字的复杂性,即近似计算它的难度,该工作有助于其近似算法的分析与设计。通过建立由两个优化问题(MAX SAT问题以及MAX FA-INT问题)到最短同步字长度计算这一问题(即Shortest-Syn)的归约,利用与概率可检验证明(Probabilistically Checkable Proofs,PCP)定理和概率可检验辩论(Probabilistically Checkable Debate,PCD)定理有关的若干结果证明了文中的主要结论:对于部分规约的确定的有限自动机,在某个近似因子内Shortest-Syn的近似难度是NP-难的和PSPACE-难的,除非NP和PSPACE分别坍塌到P。  相似文献   
9.
程铭  毋国庆  袁梦霆 《电子学报》2016,44(1):115-122
传统软件缺陷预测方法在解决跨项目缺陷预测过程中适应能力不足,主要是因为源项目和目标项目之间存在不同的特征分布.为了解决这个问题,提出一种新的加权贝叶斯迁移学习算法,算法首先收集训练数据和测试数据的特征信息,然后计算特征差异,将不同项目数据之间差异转化为训练数据权重,最后基于这些权重数据建立预测模型.在8个开源项目数据集上进行实验比较,实验结果表明与其他方法相比本文方法显著提高跨项目缺陷预测性能.  相似文献   
10.
在分区内存体系结构中,如何尽可能少地插入片选指令是研究的热点。根据该问题的特点,构建了片选优化的图划分模型,并在该模型的基础上,提出了一种二阶段启发式搜索算法求解该问题。该算法首先根据节点自身的大小与图中分区大小快速获得一个初始可行解,然后在该可行解基础上利用节点之间边的权值和分区之间的权值作为启发式参数,搜索更优的解。通过对MiBench用例集和实际嵌入式系统的测试,验证了该模型及相应启发式算法的有效性,相对于VPAB算法,平均优化率达到37.99%,略优于成熟的商用编译器PICC,大幅度减少了片选指令的数量。  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号