搜索结果: 91-105 共查到“计算机运行测试与性能评价”相关记录176条 . 查询时间(2.75 秒)
管脚级故障模型的分析与生成技术的研究
管脚级故障注入 管脚级故障模型 故障传播过程 故障映射函数
2007/12/27
管脚级故障注入技术被广泛应用于容错系统工程原型的测评试验中, 其应用效果直接取决于试验中所采用的管脚级故障模型的精确性. 文中首先介绍了一种通用的IC模型, 并一般性地分析了故障传播过程.然后提出故障映射函数以及用于描述管脚级故障模型的管脚级故障映射函数的概念, 并定义了构成管脚级故障模型的3种属性. 文章着重讨论了利用试验方法获取管脚级故障模型的推算过程, 从而最终形成用于管脚级故障注入试验中的...
通过对扩频码分多址(CDMA)水印模型的编码及检测方法进行理论分析，阐述了信息嵌入量、扩频码长、检测错误率等指标之间存在的制约关系，并使用实验进行比较和验证.在理论分析的基础上，依据多小波分解系数优良统计分布特征和图像多小波视觉掩蔽模型，提出了一种新颖的基于多小波变换的扩频CDMA数字水印方案.理论结果与实验数据对比表明所提出的模型和算法既有较高的嵌入容量，又具有较强的鲁棒性和安全性.
基于多扫描链的内建自测试技术中的测试向量生成
基于扫描的内建自测试 多扫描链 线性反馈移位寄存器 最小相关度
2007/12/27
针对基于多扫描链的内建自测试技术，提出了一种测试向量生成方法.该方法用一个线性反馈移位寄存器（LFSR）作为伪随机测试向量生成器，同时给所有扫描链输入测试向量，并通过构造具有最小相关度的多扫描链来克服扫描链间的相关性对故障覆盖率的影响.此外该方法经过模拟确定难测故障集，并针对这个难测故障集利用ATPG生成最小确定性测试向量集.最后再依据得到的最小测试向量集来设计位改变逻辑电路，利用位改变逻辑电路控...
基于同步有向图的同步测试序列生成方法
协议一致性测试 多端口 同步测试序列 测试单元
2007/12/27
使用多测试单元的测试系统可以对多端口协议实现进行一致性测试.但是在进行这种一致性测试时，测试系统各个端口之间可能会出现同步问题.现在，解决同步问题常用的办法是在测试单元相应端口之间增加同步连接，然后通过此同步连接相互发送同步消息来进行同步.多端口协议和其它类型的分布式系统可以用有限状态机模型来描述.目前，同步问题被分为双端口同步问题、多端口同步问题、紧同步问题等多种类型.该文考虑两种有限状态机测试...
基于模板匹配与支持矢量机的人脸检测
人脸检测 匹配 支持矢量机 模式分类
2007/12/27
人脸检测是人脸识别与基于内容的图像及视频检索的一项重要任务.由于非人脸样本相对于人脸样本的多样性和复杂性，使得人脸模式分类器的训练十分困难.该文提出了一种将模板匹配与支持矢量机（SVM）相结合的人脸检测算法.算法首先使用双眼人脸模板对进行粗筛选，然后使用SVM分类器进行分类.在模板匹配限定的子空间内采用“自举”方法收集“非人脸”样本训练SVM，有效地降低了训练的难度.实验结果的对比数据表明，该算...
卷积检测:一种新FFT的故障检测机制
故障检测 阵列机 容错计算 信息处理
2007/12/27
首先分析FFT阵列中蝶形单元的故障模式,提出一致性故障的概念,并根据傅立叶变换的性质, 提出一个新的故障检测机制:卷积检测,并证明了该机制对单输出端故障和一致性故障的覆盖率为100%.卷积检测机制的变换方法灵活,且具有实时性.符合实际工程应用的需要.在文章的最后, 利用数学模型对比较误差进行了分析.
基于一致性的最小正常诊断及其应用
2007/12/27
本文给出了基于一致性的最小正常诊断的概念，并将它与基于一致性的最小反常诊断加以区别.证明了若将系统描述限制在故障理论或在故障理论中扩展有限的正常行为知识，那么使用最小正常诊断能够刻画基于一致性的诊断空间，即最小正常诊断假设成立.本文还指出：使用最小正常诊断可以缩小只针对正常行为模型的最小反常诊断所产生的诊断空间，帮助我们找到真正的故障.文中最后还指出了最小正常诊断所适合的诊断任务及诊断领域.
基于一致性的中心诊断及中心溯因诊断
2007/12/27
本文对溯因诊断的过程和中心溯因诊断的过程进行了刻画.将求中心溯因诊断的过程清晰地分为与领域有关的冲突识别及与领域无关的候选产生两大步骤.不仅指出了基于一致性的中心诊断与中心溯因诊断之间的关系，而且论证了中心溯因诊断与本原蕴含/蕴含式的直接关系.显示出基于一致性的中心诊断空间和中心溯因诊断空间不仅可同时计算,而且可用ATMS这类算法来计算,从而将我们的理论结果与实现联系起来.
基于Z规格说明的软件测试用例自动生成
Z规格说明 线性谓词 区域测试 测试用例的自动生成
2007/12/27
提出了一种基于Z规格说明的软件测试用例自动生成方法,通过对软件Z规格说明的分析,找出描述软件输入、输出约束的线性谓词,经过线性谓词转换, 线性谓词到线性不等式组的转换,找出区域边界顶点和边界附近的测试点等过程自动生成测试用例.同时还介绍了基于Z规格说明的软件测试用例自动生成方法的实现, 并通过一个实例进一步加以说明.
关于可应用测试数据充分性准则复杂性的注记
软件测试 软件可靠性 数据流 测试准则
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建立了一个有效的碰撞检测模型用于报告物体的碰撞， 同时提供了一个快速的启发式的策略用于搜索两个凸多面体的分离向量.该算法是利用凸多面体的层次表示来搜索支撑顶点对，用平衡二叉树来记录球面凸多边形的顶点，同时还利用了时间...