求解最小完全测试集的第一原理方法

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:ddllmmttyy
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
应用第一原理的故障诊断思想,基于故障测试矩阵,提出了一种根据系统每一个故障都可检测的行为与系统所有故障不能检测的行为之间的不相容推理技术,来判断和求取系统存在的所有最小完全测试集的方法。方法分两步:一是根据系统的结构和测试矢量等知识,结合故障测试矩阵,识别冲突集候选;二是根据冲突集候选,确定最小命中集合组,生成最小完全测试集。该方法可有效求解最小完全测试集,减少测试矢量施加的工作量,提高故障诊断的效率。
其他文献
PSE-Bio是一个基于Web服务面向生物信息学的问题求解平台。为了方便用户仅使用浏览器就能分析调用服务返回的结果,采用SVG技术实现基于WEB的可视化,设计了面向对象的统一可视化数据对象以封装调用不同Web服务返回的消息;设计了面向对象的可视化图形对象以利于交互可视化的实现;并用SVG脚本语言实现了用户与图形的交互以及可视化结果与服务的交互。实验结果表明,基于SVG的可视化方案能够满足生物信息数
针对非线性不适定方程数值解的修正的Landweber迭代法,研究其动力系统方法.在对非线性算子F的一定的假设条件下,证得此方法的收敛定理,并推导出其收敛率估计.
图像的绘画效果由平滑纹理,保持并加强边角获得。给出一种鲁棒的由真实图像自动生成相应绘画效果的算法。算法根据图像的局部结构,自适应地调节滤波器的带宽与形状,来模拟画笔宽度和绘画技法。实验结果表明,算法的处理结果在视觉效果上接近绘画,并且对低质量的输入图像同样有效。
XML强多值依赖的推理规则集问题是解决不完全信息环境下XML数据依赖蕴涵问题的基础,是不完全信息环境下XML模式设计理论的关键问题之一。提出了XML Schema、符合XML Schema的