软件可靠性度量方法

分析软件故障暴露率与软件测试次数之间的关系,提出在保证可靠性测试结果客观准确的前提下,有效减少验证测试次数的方法。结合软件可靠性和体系结构相关理论,提出基于组件的软件失效率定量计算方法。研究并利用软件可靠性度量方法,提高了软件可靠性测试效率和可靠性评估准确性。     

Visual Prolog在专家系统故障诊断中的应用

针对故障诊断的特点,利用Visual Prolog语言在知识表示及逻辑推理过程中的优势,以流程工业中易发生事故的催化裂化装置为例设计并实现了基于规则的故障诊断专家系统。用事实和规则这2种构成Visual Prolog语言的短语进行知识库和推理机的编写。通过在催化裂化生产装置的实际应用表明,该诊断系统效果良好,能够对出现的多数异常工况进行有效的推理及分析,及时查找出故障原因,并提供相应的故障处理措施。     

服务器容错与磁盘阵列技术的集成

介绍了 2种常用的服务器容错技术 ,详细阐述了RAID技术的基本原理 ,最后给出了一个工程集成实例     

基于信息融合技术的瓦斯传感器故障诊断研究

文章提出了将基于RBF网络的信息融合技术应用于瓦斯传感器故障诊断的思想。该思想的核心是通过对影响测点瓦斯浓度的各种相关信息融合,利用高精度RBF网络逼近器的输出与瓦斯传感器实际的输出之差与设定的阈值比较,实现瓦斯传感器故障的监测诊断。试验表明该技术能对瓦斯传感器进行有效的状态监测和故障诊断。     

State Observation and Diagnosis of Discrete-Event Systems Described by Stochastic Automata

The problems ofstate observation and diagnosis are solved for discrete–eventsystems, which are described by stochastic automata. As manysystems are not observable in the sense that it is possible toreconstruct the state unambiguously, the observation problemis set up as the problem of determining the smallest possibleset of states that are compatible with the measured input andoutput sequences. The diagnostic problem is shown to be, in principle,an observation problem. Conditions for the observability anddiagnosability of stochastic automata are presented. The resultsare illustrated by examples.     

知识获取技术及其在网络智能故障诊断中的应用

基于遗传算法提出了一种新型的机器学习方法,它利用遗传算法的全局寻优手段,为解决知识获取这一瓶颈问题另辟捷径。论述了该方法的原理及其实现过程,并且给出了网络故障诊断应用实例,证明了它的有效性。     

Model-based cognitive diagnosis

This paper considers the problem of cognitive diagnosis as an instance of general diagnosis, as studied in artificial intelligence. Cognitive diagnosis is the process of inferring a cognitive state from observations of performance. It is thus a key component of any system which attempts to build a dynamic model of the user of that system. Many issues in cognitive diagnosis, previously discussed informally, are mapped onto formal techniques, with consequent increased clarity and rigour. But it is concluded that the general theories for diagnosis must be broadened to fully encompass the problems of cognitive diagnosis.     

无线传感器网络中基于树的动态多路径容错路由协议

多路径路由对无线传感器网络的负载均衡和容错能力等方面都有一定改善作用。在研究一些多路径路由算法的基础上,对分层的无线传感器网络路由进行探索,提出了一种基于树的动态多路径路由的生成方法,快速获得当前节点的主路径与备用路径。仿真结果表明,该方法可有效地均衡网络负载、减少时延、提高网络的可靠性。     

基于改进免疫遗传算法的电网故障诊断研究

针对电网故障的特点,应用一种改进的免疫遗传算法对电网故障进行研究。该算法能够较好地解决传统遗传算法的不足。通过引入新的交叉和变异率,更多考虑了种群的全局特征,采用动态自适应方式提取疫苗,避免了传统遗传算法收敛速度较慢的缺点。改进的算法本着优胜劣汰的思想,删除适值较低的抗体群,取而代之的是随机生成的部分新抗体,保持种群的多样性。建立一个新的目标函数,通过对一个电网的分析,验证了方法的有效性。     

Conditional diagnosability of hypermesh optical multiprocessor systems under the PMC model

The hypermeshes are a family of promising optical interconnection topologies for multiprocessor systems. In this paper, the conditional diagnosability of the hypermesh optical multiprocessor systems, under the PMC model, is determined. We derive that the conditional diagnosability of k ⁿ -hypermesh is 4n(k?1)?4k+1, where n≥3 and k≥5. This result shows that the hypermesh optical multiprocessor systems possess strong self-diagnosing abilities.