结构化P2P系统中副本一致性管理的一种新算法

结构化P2P系统通常使用数据复制来提高数据可用性,但P2P环境中的节点搅动、多节点并发更新以及恶意节点的存在也为副本的一致性管理带来了新的挑战.基于协商的算法要求节点间以全交换的方式通讯,在P2P环境中其可伸缩性不够理想.本文针对结构化P2P系统提出一种基于Quorum的副本管理算法:使用混合失效模型降低容错开销,利用DHT服务处理节点搅动,将数据存储与其元信息管理分离,使数据可靠性和数据可用性得以独立调整.模拟实验表明该算法可以明显改善系统的可伸缩性,减少系统的容错开销.     

车载CAN网络中直接NM逻辑环的实现

为实时监控车载网络中的节点,在使用控制器区域网络(CAN)总线的车载网络中,设计并实现一种基于OSEK/VDX规范直接网络管理(NM)的车载NM系统。由车载网关通过CAN总线收集各网络节点的故障信息,通过IPv6无线网络上传至远程故障诊断服务器,并将得到的故障处理信息下发至有关节点,实现车载CAN网络与远程故障诊断服务器的信息交互。测试结果表明,各网络节点上线后能快速建立稳定的逻辑环通信,并为远程故障诊断提供操作平台。     

智能故障诊断方法及其应用

基于第一原理的一致性故障诊断原理,提出以二分相容检验为基础的最大正常故障诊断理论。该理论融合一致性故障诊断与溯因诊断的核心原理,弥补了基于模型的智能故障诊断理论中矛盾集构造研究的薄弱环节,减少相容性检验的对象,缩小诊断空间,提高诊断的准确性,具有较好应用性。应用实例验证了该理论的有效性。     

指令级的变量容错恢复

提出一种抵抗瞬时故障的自动编译容错恢复方法,用源码中的变量信息在指令级别进行冗余错误流裁剪,在LCC上加以实现,并获得良好的容错性能。实验结果表明,该方法仅增加0.043倍的时间损耗及0.69倍的空间损耗,在时空损耗上优于现有的其他方法。     

针对CLEFIA的多字节差分故障分析

研究CLEFIA分组密码对多字节差分故障分析的安全性,给出CLEFIA分组密码算法及故障分析原理。根据在第r轮、r-1轮、 r-2轮注入多字节故障的3种条件,提出一种新的针对CLEFIA的多字节故障模型及分析方法。通过仿真实验进行验证,结果表明,由于其Feistel结构和S盒特性,CLEFIA易遭受多字节故障攻击,6~8个错误密文可恢复128 bit的CLEFIA密钥。     

基于组件的加权组合错误注入测试方法

在传统错误注入方法的基础上,结合组合变异测试技术,提出一种面向组件的错误注入加权组合测试方法。对组件环境的注入条件设置加权因子,在组件集成测试系统平台下面向第三方组件进行注入测试,自动生成XML格式的测试监控日志。实验结果表明,该方法能依据组件的软件环境发现并分析从高风险到低风险的组件漏洞。     

机场助航灯光远程监控系统研究与实现

将工频载波通讯技术和助航灯光检测技术相结合,构成工频载波助航灯光监控巡检系统,实现了助航灯光巡检监控的自动化.系统可以实时监控灯光设备运行情况,保证飞机进近和着陆安全.双向工频通信技术的使用,使得无需重新铺设通讯线路,降低了成本.监控计算机可以合理安排灯光维修时间,提高维修效率.对监控系统关键技术,如工频载波通讯技术和基于TCP/IP协议的局域网通讯实现进行了讨论.该系统的使用可提高灯光系统的可靠性,增强机场地面的保障能力.     

燃气蒸汽供暖锅炉控制系统的设计与实现

基于PLC、触摸屏人机界面、工控机进行系统设计,实现了从锅炉启动、运行到停炉整个过程的全自动控制,并通过设计两级监控、三级安全保护措施和故障自诊断,提高了锅炉运行的稳定性、安全性和可靠性,达到了对燃气蒸汽供暖锅炉运行的有效控制和管理,降低了能耗。     

基于微分同胚变换的故障重构算法

针对一类含有未知输入扰动的不确定非线性系统提出一种鲁棒故障重构方案. 采用全局微分同胚变换, 将非线性系统变换为二个子系统, 使得其中一子系统不受故障影响, 状态部分可观, 另一子系统受故障影响但状态完全可观. 利用滑模变结构原理对两个子系统分别设计状态观测器消除扰动对系统的影响后, 再利用等值控制方法实现对故障的重构. 应用案例验证了所提方法的有效性.     

基于敏感度因子与故障隔离度的模拟电路测点选择

提出了一种基于类内类间敏感度因子与故障隔离度的新方法对模拟电路测试节点进行优选.计算电路各测点采样数据的类内与类间距离离散度来定义测点敏感度因子,根据敏感度因子大小对待优选测点进行重新排序,利用KNN网络计算重排序测试节点的故障隔离组(度),最后优选出能辨识全部预设故障的最优测试节点集.实验结果证明:新方法得出的最优测点集包含的测点数量更少,该方法可以优选出相比其他文献方法故障诊断效率更高的同等规模的测试节点集合.