【摘 要】
:
针对C/C++程序中的非法计算,形式化定义了非法计算故障;建立了表达式区间运算模型、变量取值区间集产生模型和非法计算故障模型,并将其作为静态识别非法计算的基础;提出了非法计算自动测试算法.实验结果表明,文中方法具有较高的故障检测准确率和测试效率.
【机 构】
:
装甲兵工程学院信息工程系,装甲兵工程学院信息工程系 北京100072,海军航空工程学院控制工程系烟台264001,北京100072
论文部分内容阅读
针对C/C++程序中的非法计算,形式化定义了非法计算故障;建立了表达式区间运算模型、变量取值区间集产生模型和非法计算故障模型,并将其作为静态识别非法计算的基础;提出了非法计算自动测试算法.实验结果表明,文中方法具有较高的故障检测准确率和测试效率.
其他文献
关于新疆建省,学术界已做过不少研究.但有关左宗棠与刘锦棠的建省方案及其分歧,却鲜有人论及.笔者不揣浅陋,拟据有关史料予以介绍.
目的:在亲子鉴定案件中检出D6S1043基因座三带型。方法:提取个体不同组织DNA样本,经复合荧光PCR扩增和毛细管电泳分析2716个案例(共6246名个体)的STR分型。结果:在1个父子单亲鉴定
选育经过“新冠”(原代号75-8-227)是以金冠品种为母本,抗寒品种新冬(原代号64-12-7)为父本,通过人工杂交培育而成。1975年进行杂交,1976年播种,1978年将杂种实生苗定植于选
基于纹理基元的交互式纹理变形算法的目标是产生一个变形序列 ,使得源纹理图像能够自然地变形到给定的目标纹理图像 由于很多纹理图像都含有重复出现的结构性基元 ,因此可以设计出一种交互式的系统来方便用户实现变形效果 (1)用户在给定的两幅纹理图像中各选择一个感兴趣的基元 ;(2 )两幅纹理中所有相似的基元图案会被自动检测和定位 ;(3)通过最小化基元匹配的总距离求出两幅图像中基元的配对 ;(4)结合基
巨峰葡萄间作草莓丰产栽培技术李云章李刚王崇江张绍余李培杰(山东省莒南县果茶技术推广中心,276600)(莱州市农业局)(莒南县石莲子乡李家埠村山东省莒南县石莲子乡李家埠村有成龄巨峰葡萄
采用一种基于人眼视觉特性构造的紧支双正交小波基 (V9/ 7)实现小波变换 ,并给出该小波基提升格式的构造过程 结合JPEG2 0 0 0的参考代码 ,采用基于该小波基的压缩编码实验表明 :在相同的压缩比下采用该小波基进行压缩编码时 ,重建图像的峰值信噪比可以比采用JPEG2 0 0 0标准中推荐的Daubechies9/ 7小波基提高 0 1~ 0 3dB ;比可逆变换的 5 / 3小波基
苹果成龄园丰产栽培技术总结李永富,李世隽(新疆和静县农业技术推广站,841300)和静县是新疆苹果生产的新基地县。1991年苹果栽植面积为524.9hm2(公顷),其中结果树面积为134.6hm2。长期以来,由于管理不善,造成树势
结合认知心理学的相关发现,研究了由底向上视觉注意中的数据竞争问题,提出了一个新的基于层次竞争的视觉注意模型.该模型采用依次进行的尺度、特征和方位竞争逐渐搜索注意焦点的基本属性,利用区域生长简单描述注意焦点的大致轮廓,并通过上述过程的循环往复逐一获得图像中的各个注意焦点.将此方法应用于多种类型的真实图像中获得了较为满意的实验结果.
近年来,人脸识别一直是计算机视觉和模式识别领域一个很热门研究课题。随着压缩感知理论的发展,稀疏表示已经成功应用于人脸识别。文章系统地综述了人脸识别的研究现状、系统,并重点介绍了基于稀疏表示的人脸识别算法及求解,最后对人脸识别算法存在的问题以及发展进行了展望。
为了在不同商用3DCAD系统之间实现含设计意图的几何模型数据的网上实时交换,提出了一种基于XML描述的数据交换格式,可将参考面的定位数据与局部坐标、组成轮廓草图的图元数据与约束关系、特征的构建形式与构建过程以层次结构化的方式包含在交换数据中,满足了同构与异构CAD系统之间实时交换含设计意图的数据之需要.