论文部分内容阅读
本文首先提出一种可观测性信息的表征方式.在此基础上,提出基于可观测性代码覆盖准则的激励生成方法,该方法以未观测代码的分布为启发式信息,生成模拟激励,并在算法的执行过程中,动态地沿控制链回退进行未观测代码分布的再计算,指导后续激励的生成.
基于可观测性代码覆盖准则的激励生成方法
【摘 要】
：
本文首先提出一种可观测性信息的表征方式.在此基础上,提出基于可观测性代码覆盖准则的激励生成方法,该方法以未观测代码的分布为启发式信息,生成模拟激励,并在算法的执行过程中,动态地沿控制链回退进行未观测代码分布的再计算,指导后续激励的生成.
【机 构】
：
中国科学院计算技术研究所(北京);中国科学院研究生院(北京) 中国科学院计算技术研究所(北京)
【出 处】
：
全国第13届计算机辅助设计与图形学学术会议暨全国第16届计算机科学与技术应用学术会议
【发表日期】
：
2004年6期
其他文献
工程中的报表格式和数据的统计方式多种多样,使用模板可以有效地适应多样性,并支持自动处理.使用面向对象的方法对数据进行组织、管理,可以更好地建立和利用数据之间的关系,并可以结合规则的设计,加强模板的设计功能.本文分析了模板设计和数据对象模型之间的关系,给出了以面向对象的方式组织数据和进行模板设计的强有力方法.
本文提出一种基于顶点分裂的双参数曲面细分法,适当选择形状参数的值可使细分曲线曲面达到三阶光滑.在给定初始数据原条件下,可通过对形状参数的适当选择来实现对细分曲面的形状调整和控制.采用本文提出的细分法,可造型插值初始控制网四个角点的高阶光滑曲面,如双二次及双四次B样条曲面等.
本文阐述了两平行导线间电容性耦合生成干扰电压的原理,对AC220V、380V的耦合电压情况进行了计算和电路仿真分析,并在此基础上提出了利用高内阻数字电压表和容性耦合原理定位电源导线的方法.此方法对分析电磁干扰源和电气设备安装施工有实际应用.
由于电路宽度很好地反映了电路的复杂性,本文提出了一种基于电路宽度的启发式策略,根据电路宽度来实现SAT算法与BDD算法的交替,充分发挥了两者的优势.关于组合电路的测试生成实验结果表明了该启发式策略的效率.
本文将医学中的窗位窗宽变换用于光线投射法的数据分类,这种分类方法比通常的阈值分类更能清楚的反映不同组织的状态,通过不同窗位窗宽值可以清楚的显示比如脑中的肿瘤或是颅骨的被破坏的痕迹.并且一旦确定窗位窗宽值后,其余的数据值皆可以简单的赋值,这样也减少了计算的采样点,加快了绘制的速度.作者在微机上实现CT医学数据的绘制,能够达到每3秒绘制一幅图像.
图像分割一直是图像处理的困难和重要组成部分,针对棒材端面图像的特点,本文提出了一种先基于凹点的分割、后识别的计数方法.该方法对多粘连的棒材进行了有效的分割,提高了后续的物体识别和计数的准确率,计数速度也得到了提高.
基于IP(知识产权核)的SOC(片上系统)设计通常分为两步.首先,根据设计要求搜索合适IP.其次,将得到的IP做相应处理,进行IP参数的配置,最后集成到系统中去.然而,IP提供者的设计方法和IP形式描述的多样化,不利于IP的交流与重用.本文中,提出了一种基于XML可配置IP库的构建方法,有效地解决了IP交流和重用的问题,提高了实际操作中IP搜索的效率.
利用ObjectARX2000在AutoCAD2000下编制了隧道测线震探时距曲线CAD程序,使用者只需利用AutoCAD下选取所有绘制的数据文本,即可自动形成坐标网格,并根据数据及设定的绘图比例,最终形成时距曲线图.本文提出并解决了隧道测线震探时距曲线图的自动绘制问题,通过自动的绘制,输出美观、准确的时距曲线,避免了清绘等过程,节省了大量的人力、财力.
利用增强的隐马尔可夫模型,对带有音频的视频数据库进行挖掘.充分利用音频/视频特征的互补性,建立视频/音频融合的识别模型及其相关算法,并根据模型建立系统.实验证明挖掘的准确率达90﹪以上,远远高出传统的挖掘方法.研究结果可以应用在多媒体数据库挖掘方面.