【摘 要】
：
在割序集（CSS）模型中,为了将由动态故障树（DFT）转换得到的CSS初级形式整理为最小割序集（MCSS）,提出了顺序失效符（SFS）的推演规则。该推演规则依据基本事件的发生顺序和顺序失效符建立
【机 构】
：
装备学院重点实验室,装备学院研究生院,63891部队
【基金项目】
：
国家自然科学基金（60904082）资助
论文部分内容阅读
在割序集（CSS）模型中,为了将由动态故障树（DFT）转换得到的CSS初级形式整理为最小割序集（MCSS）,提出了顺序失效符（SFS）的推演规则。该推演规则依据基本事件的发生顺序和顺序失效符建立,包含结合律、或分配律、与分配律、吸收律、CSP规则、WSP规则等。给出了各类规则的证明过程,并列举了现实中不存在的割序以及由推演规则推导得出的导出规则。SFS推演规则是CSS模型定性分析的进一步形式化描述,它不仅解决了自动获得动态系统最小割序集的问题,而且可在此基础上开展计算机辅助工具的设计工作。
其他文献
在分析无线Mesh网路由协议所面临的挑战的基础上,结合无线Mesh网络的性能要求,以OLSR协议为原型,采用跨层设计理论,提出了一种基于链路状态良好程度的路由协议LR-OLSR。该协
针对单一测度度量Vague集相似性上的缺陷,提出了两种Vague集的多测度相似度量。给出了一种Vague集的单形体几何表示方法,亦即将Vague集的真、假隶属度和未知度表达为划分单形
当前缺乏对聚合云服务正确性、响应时间和费用约束统一进行验证的有效方法。扩展基本工作流模式,增强概率、随机、不确定选择的刻画能力,用于定义聚合云服务的服务流程,将流
针对当前航空信息传递过程中图像摄入模式的条码识别系统在高分辨率采集图像下识别速度较慢的问题,提出了一种新的基于CPU+GPU并行处理的条码识别系统架构,并给出了系统的设计方案。最后,研究了识别系统中图像噪声处理的关键技术,并讨论了适于在GPU上运算的QNLM滤波算法,不仅较好地解决了处理速度问题,而且验证了该系统的可行性。
为处理人工智能中不精确和不确定的数据和知识,Pawlak提出了粗集理论。之后粗集理论被推广,其方法主要有二：一是减弱对等价关系的依赖;二是把研究问题的论域从一个拓展到多个
为降低ROF模型的阶梯效应和高阶正则化方法对边缘的模糊,在对称张量空间中用二阶对称梯度构造正则项建立了新的图像去噪模型,并通过分析新模型的性质,给出了一种有效的原始-对偶算法。一方面,二阶对称梯度高于一阶导数的特性可以有效地降低阶梯效应;另一方面,二阶对称梯度模低于二阶导数模的特性能有效地保持图像的边缘等细节特征。数值仿真实验表明,新模型达到了理论分析的效果,新算法运算快捷、稳定。
考虑到应用于输电线路监测系统中的无线传感器网络在拓扑结构、网络流量上都呈现出新的特点,提出了一种混合式MAC协议,即在网络空闲时期使用X-MAC协议,在繁忙时期使用流水线
面向服务的计算是当前软件工程领域和软件产业界的研究热点之一.随着Web服务组合技术的广泛应用,服务间的行为交互日趋复杂,已存在的静态Web服务行为适配方法难以支持复杂Web
远程教育中的在线学习过程并非简单的资源检索过程,而是由一系列学习活动组成的。现有的远程教育平台往往过于注重教学内容呈现的个性化,而忽视了对学习者活动的引导。从教育
基于勒让德正交多项式,提出了一类新的核函数——勒让德核函数。在双螺旋集和标准UCI数据集上的实验表明,在鲁棒性与泛化性能方面,该核函数比常用的核函数（多项式核、高斯径向