搜索结果: 76-90 共查到“知识库 计算机运行测试与性能评价”相关记录151条 . 查询时间(0.816 秒)
关于可应用测试数据充分性准则复杂性的注记
软件测试 软件可靠性 数据流 测试准则
2007/12/27
软件测试充分性准则的复杂性分析对于测试效率的分析和比较具有重要意义,对于测试充分性准则使用具有指导意义.Weyuker于1984年提出了Rapps-Weyuker的all-uses, all-p-uses/some-c-uses,all-c-uses/some-p-uses和all-p-uses准则的复杂性上界,于1988年又提出可应用数据流测试准则.我们发现原有测试复杂度在可应用家族中应用出现问...
带时间参数的测试产生
时间参数 测试产生 波形敏化
2007/12/27
时延测试对于高速集成电路非常重要. 本文介绍一个带时间参数的时延测试产生系统.该系统使用一个时刻逻辑值表来表示一个波形,并将输入波形限制为只有唯一的一个输入在0时刻有跳变,其它输入为稳定的0或1,从而实现了波形敏化条件下的时延测试产生. 与以往的不考虑时间因素的时延测试产生系统相比,带时间参数的测试产生提高了故障覆盖率,并且更接近于电路的实际.
粗集公理化是粗集理论研究的一个重要部分,它的目标是获得可靠和极小的粗集公理组.以往文献在这一研究中取得了有意义的进展,给出了若干组粗集公理.但是,它们在粗集公理的表示形式、粗集公理组的极小化以及粗集公理组的可靠性证明中,尚未达到粗集公理化的理想目标.该文在以往文献的基础上,研究了粗集公理组的极小化.首先,去除了现有粗集公理组中隐含着的冗余性,得到了更为精练的两组粗集公理,并证明了它们的可靠性;其次...
基于蕴涵树的冗余添加和删除技术
逻辑综合 冗余添加和删除技术 可替换线逻辑变换
2007/12/27
可替换线逻辑综合(如RAMBO)是近年来兴起的一种方法,它采用测试向量自动生成(ATPG)
方法来实现冗余添加和删除.但是,频繁调用逻辑蕴涵过程使得整个逻辑综合的速度较.
因此,如何减少ATPG过程的调用次数便成为提高这类算法的速度之关键.该文提出一种逻
辑蕴涵树来存储节点间的逻辑蕴涵关系,并设计了一个基于逻辑蕴涵树的可替换线源节点的挑选算法.在此基础上形成一个快速的可替换线逻辑变换算法...
基于启发式搜索分离向量的凸多面体碰撞检测
计算几何 计算机图形学 虚拟现实 碰撞检测
2007/12/27
碰撞检测是计算机模拟物理过程的基础,在计算机图形学、CAD/CAM、虚拟现实和机器人等领域有着广泛的应用.该文给出了一个新的用于凸多面体碰撞检测的算法——HP-jump.HP-jump建立了一个有效的碰撞检测模型用于报告物体的碰撞, 同时提供了一个快速的启发式的策略用于搜索两个凸多面体的分离向量.该算法是利用凸多面体的层次表示来搜索支撑顶点对,用平衡二叉树来记录球面凸多边形的顶点,同时还利用了时间...
基于模型诊断的元件替换与替换测试
基于模型的诊断 测试 元件替换 替换测试
2007/12/27
元件替换是工农业生产和日常生活中经常使用的一种诊断方法,文中结合基于模型诊断理论,对元件的替换测试进行了研究,提出了元件替换与替换测试的概念,并以此为基础对诊断的判定及故障元件的确定进行了探索.证明了关于替换测试用于故障原因判定的几个定理.文中的研究结果可以帮助选择欲替换的元件,提高诊断效率,并可以将测试同修复结合起来,使系统尽快恢复正常功能.
基于模式挖掘的用户行为异常检测
行为模式 数据挖掘 相似度 递归式相关函数
2007/12/27
行为模式通常反映了用户的身份和习惯,该文阐述了针对Telnet会话中用户执行的shell命令,利用数据挖掘中的关联分析和序列挖掘技术对用户行为进行模式挖掘的方法,分析了传统的相关函数法在应用于序列模式比较时的不足,提出了基于递归式相关函数的模式比较算法,根据用户历史行为模式和当前行为模式的比较相似度来检测用户行为中的异常,最后给出了相应的实验结果.
在组合覆盖测试模型的基础上提出:将所有的可用测试数据表示为一棵解空间树,利用回溯法对解空间树进行路径搜索来生成测试数据,然后使用贪心算法补充生成测试数据,以满足两两组合覆盖标准.并且实现了基于该方法的测试数据生成工具,所生成的测试数据集与同类工具相比具有一定的特点和优势.
基于点集不变性匹配的目标检测与识别方法
奇异值分解 特征不变性 模板匹配 目标检测
2007/12/27
许多图像目标都可以用其上有代表性的一些点(如角点或边缘上的点)及其相互关系作为特征进行描述,通过模板点集和目标点集之间的匹配可以达到识别的目的.本文提出了一种新的平面点集间的与各自的平移、旋转、尺度变化和排列次序无关的距离描述,并且这种描述在一定范围内具有唯一性. 另外在此基础上,给出了一种新的目标检测与识别的算法,该算法不仅能够从较为复杂的背景中检测出经过多个平移、旋转及尺度变化的目标,而且对
...
软件开发环境(SDE)是一种集成式的软件系统,用以辅助软件开发到维护的全部(或大部分)阶段的工作.为了提高测试开发效率,集成电路测试软件的开发同样需要配备一个SDE.本文以软件重用为技术依据,建立了一个开放结构的面向数据的增量测试软件开发环境TESSDE,不仅实现了一般SDE的基本功能,而且因其结构的开放性,使得TESSDE有相当的功能扩充
潜力.按照文中的集成规则,TESSDE集成了诸多软部件...
基于IIR指数平滑滤波与非线性Laplacian算子的边缘检测方法
2007/12/27
本文提出了一种基于IIR指数平滑滤波与非线性Laplacian算子的边缘检测方法,具有以下特点:采用最佳指数平滑滤波器增强抗噪声能力,且可实现无限大窗口的快速递归运算;利用非线性Laplacian算子只沿边缘方向增强边缘,充分利用了边缘的局部方向信息;引入边缘强度信息,在二阶零交叉处根据边缘强度定位边缘;运算量独立于滤波器窗口尺寸,具有较高的计算效率.通过与LOG算子的对比实验和在立体视觉中的应用...
混合系统的形式化开发--故障检测与隔离算法的严格化设计
混合系统 形式化方法 时段演算 飞行余度管理系统
2007/12/27
本文对飞行余度管理系统中的故障检测和隔离算法进行严格化开发,包含对并发行为的处理方法、需求的形式化描述和参数的形式化设计、算法的形式化描述以及最后的形式化验证.该算法是飞行控制系统中常用的余度管理算法.整个系统可建模成有多个元件并行构成网络的混合系统,其中系统的需求可由时段演算来表示.文中采用传统的程序逻辑,并作了适当的扩展,来验证离散控制器的一些性质,最后由这些性质出发可以证明系统满足给定的需求...
刚体在软体对象环境中的碰撞检测的研究
碰撞检测 固定方向凸包 刚体 软体对象
2007/12/27
刚体在软体对象环境中的碰撞检测在虚拟现实的研究领域具有很大的普遍性,但以往的研究较少.文中给出了一种基于固定方向凸包(FDH)包围盒树的碰撞检测方法,并着重论述了利用线性规划的思想以解决刚体自由运动后包围盒树的更新以及通过一种自底向上的方法解决软体对象变形后包围盒树的更新.实验表明,该方法不仅能较好地解决刚体间的碰撞检测,而且能有效地解决刚体与软体间的碰撞检测.
对称位相型滤波器及其在边缘检测中的应用
计算机视觉 边缘检测 滤波器 最优准则
2007/12/27
该文从概率的角度提出了两类新的滤波器:对称位相型滤波器和对称梯阶滤波器;证明了对任意给定的非负对称滤波器可用这两类滤波器的序列在(-∞,+∞)内一致逼近;这种序列有着统一的结构形式:L(x)=∑s〖〗i=1eλi|x-μ|∑Ni〖〗k=0a(i)k|x-μ|k.对于L(x), 文中给出了选择L(x)一些最优准则的解析表达式.从而表明L(x)既具有一般性,又易进行解析处理和数值计算.对于已有文献中相...
迪卡尔乘积图到Cayley图中的嵌入
图的嵌入 Cayley图 Cartesian乘积图 嵌入的乘积
2007/12/26
给出了一类图(迪卡尔乘积图)到另一类图(Cayley图)的嵌入的一般方法.这些嵌入是这样实现的:首先把迪卡尔乘积图的每个“因子”图嵌入到主图中,然后取这些“因子”嵌入的
积.进一步给出了一个定理,用来通过 “因子” 嵌入的性质来计算乘积嵌入的膨胀度.