基于实时分布式计算机系统的容错技术研究

目的为研制适应第四代飞机高度综合化、模块化、高可靠性的航空电子系统的计算平台。方法提出了分层容错管理策略。结果由系统、分系统和模块构成三级容错管理策略;由故障监控程序负责故障的监控和确认,并将确认的故障交由故障管理程序处理;由故障管理程序根据蓝图定义完成重构;重构通过逻辑功能到物理资源的不同映射方式实现;给出了这些过程的实例。结论容错功能的实现必须以保证强实时系统的确定性为前提。     

基于COM技术的工业CT控制软件I／O组件分析

为实现工业CT控制系统中软件的复用性，便于维护和升级，对基于COM技术的工业CT控制软件进行了研究．结合COM技术的可扩充性、语言无关性以及基于二进制级代码可重用性等特点，根据工业CT机的控制功能对控制软件进行了组件划分，并开发了其中的I／O组件．该组件顺利实现了与客户端程序的通信，具有良好的开放性，取得了较好的效果．     

A Fault Detection Mechanism in Erasure-Code Byzantine Fault-Tolerance Quorum

Fault-tolerance is increasingly significant for large-scale storage systems in which Byzantine failure of storage nodes may happen. Traditional Byzantine Quorum systems that tolerate Byzantine failures by using replication have two main limitations： low space-efficiency and static quorum variables. We propose an Erasure-code Byzantine Fault-tolerance Quorum that can provide high reliability with far lower storage overhead than replication by adopting erasure code as redundancy scheme. Through read/write operations of clients and diagnose operation of supervisor, our Quorum system can detect Byzantine nodes, and dynamically adjust system size and fault threshold. Simulation results show that our method improves performance for the Quorum with relatively small quorums.     

改进的多版本软件扩展表决系统

本文提出了一种改进的扩展表决系统，该系统是利用自动分析表决系统可靠性等参数的工具来构建的。在软件容错中采用N模块冗余(N Modular Redundancy NMR)及N版本编程(N version Programming)，应用表决技术，可以屏蔽整个软件系统中出错的部分。在实践中直接应用理论的表决模型会发现很难得到理论分析的结果。针对这样的问题，本文提出一种基于多数(plurality)的扩展表决系统：使用构造决策树的方法和进行DFT遍历作为自动化的计算工具；通过对基本的多数表决系统进行模型扩展，加入指导性规则对决策树进行重构，以自动计算工具的结果作为参考，从而选择更加可靠的表决结果作为输出。最终的模拟测试表明，所提出的扩展表决系统能够提高系统输出的正确率。     

乒乓球机器人击打点的预测方法

针对乒乓球机器人项目中乒乓球击打点位置及球到达击打点速度的预测问题进行探讨,分别建立了乒乓球飞行阶段的状态方程模型和乒乓球反弹过程的运动模型.基于这两个模型,提出了一种主要通过状态方程数值迭代求解而进行击打点预测的方法.同时又提出一种离线学习来确定模型中待定参数的方法,以完成不同条件下的预测.针对乒乓球的空间坐标带有较大噪声的特点,在预测过程中特别注意增强容错性的处理.实验结果表明,这种方法具有较高的预测精度,且应用该方法所需的时间能够满足预测的实时性要求.     

浅谈软件开发过程中的项目管理

随着信息产业的飞速发展,人们越来越多的认识到项目管理对于以应用开发为主的软件企业是一个行之有效的管理方法,从而项目管理在软件开发中的应用日益受到重视。本文根据本人在项目开发过程当中的一些经验教训,对项目管理进行了相应的总结和分析。     

利用冗余技术提高软件容错能力

针对于软件的容错问题 ,提出了利用冗余技术解决容错问题的思想和方案 ,对于软件开发具有实际意义 .     

软件无线电的新进展

针对软件无线电在军用及民用等方面有着极为广阔的应用前景，阐述了软件无线电的开放式总线结构、高性能的互连结构、高速DSP、宽带模数转换器(ADC)、数字下变频器(DDC)等关键技术，介绍了软件无线电的工业标准(MMITS)，2l世纪国防远景展望及软件协议，并总结了近几年来在体系结构、器件和技术标准等方面所取得的一些新进展。     

基于面向对象程序设计的软件测试研究

基于面向对象程序设计的软件测试研究马雷，于忠诚（计算机科学技术系）关键词对象，软件测试模型，软件测试工具．面向对象的程序设计方法和程序设计语言做为新一代程序设计风格和程序设计思想，正在被越来越多的软件开发者接受，并在大量的软件产品中体现，这样，对面向...     

采用微机控制的全自动热电偶检定系统的软件设计

本文介绍一种应用于计量检定中的热电偶检定系统的软件设计.由于系统采用微机控制,软件设计灵活,控制算法采用分段变速积分 PID 算法,使得控制精度高,稳定性好,自动化程度高,给企业带来一定的经济效益.