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

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

1：10000数字线画图生产流程的探讨

以张家界市桑植县1:1万数字线画图(DLC)的生产为例,探讨了在中小型项目中应用Geoway数据加工平台进行DLC生产的加工流程、质量控制等问题,取得了一定的经验,为测绘部门和相关工作者提供参考。     

Multivariate Bayesian regression applied to the problem of network security

An Erratum has been published for this article in Journal of Forecasting 23(6): 461 (2004) . This paper examines the problem of intrusion in computer systems that causes major breaches or allows unauthorized information manipulation. A new intrusion‐detection system using Bayesian multivariate regression is proposed to predict such unauthorized invasions before they occur and to take further action. We develop and use a multivariate dynamic linear model based on a unique approach leaving the unknown observational variance matrix distribution unspecified. The result is simultaneous forecasting free of the Wishart limitations that is proved faster and more reliable. Our proposed system uses software agent technology. The distributed software agent environment places an agent in each of the computer system workstations. The agent environment creates a user profile for each user. Every user has his or her profile monitored by the agent system and according to our statistical model prediction is possible. Implementation aspects are discussed using real data and an assessment of the model is provided. Copyright © 2002 John Wiley & Sons, Ltd.     

面向对象技术在通用查询界面设计中的应用

本文介绍了面向对象技术在开发重性软件的优点，并详细介绍了一个通用的查询界面类－－Chaxun的设计过程及如何将它应用到具体的MIS系统中的方法。     

有色金属矿山MIS系统的开发应用

阐述了MIS的概念和开发方法,强调用软件工程的科学方法指导MIS开发过程,分析了开发过程中容易出现的各种错误,并举出开发实例以提高MIS开发的成功率.     

数字电视广播中的条件接收系统

条件接收(CA)是数字电视广播开展视频信息服务的重要保证.本文介绍了数字电视广播中的CA系统、安全保密技术的原理、以及同密、多密和通用接口的实现模式,并对CA系统的发展方向进行了讨论.     

面向对象语言编译器自动测试工具

针对面向对象语言编译器的自动测试问题,结合实际项目,研究了面向对象语言编译器自动测试工具(简称O-OCTT)设计与实现涉及的有关理论和技术的关键点,阐述了O-OCTT的系统目标定位.在对传统编译器的测试模式进行分析与比较的基础上,提出并设计了O-OCTT的测试策略、测试模式和体系结构.提出的可行的O-OCTT的实现机制,测试用例产生策略及引入的插件式设计思想,使O-OCTT可适用于多种面向对象编译器的测试.     

容栅数显卡尺同步显示软件设计

介绍了容栅式数显卡尺同步显示装置的硬件、软件设计.该同步显示装置是把数显卡尺RS232接口输出信号送入以8051单片机为基础的信号处理电路,配以数据接收、数据处理、数据显示等软件,实现测量信号远距离传输,该装置在机床标尺等数显装置中广泛应用.     

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

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

软件安全性3M评价中评价因子修正的研究

安全性苛求系统需要防范意外事件造成对人体，环境或大宗财产的损害，为此，对软件需要进行严格的安全性测试，并对软件防范意外事件的能力进行评价，然而，完全依靠试验统计或事故累积数据进行安全性评价。会由于测试开销过大或等待累积时间过长影响评价的准确性和及时性，需要利用软件开发过程中涉及的诸多要素和在各个阶段来自多个方面所提供的信息参与安全性评价，但是，在这些信息中包含了某些主观的成分有待验证，在多元，多模型，多阶段（3M）安全性软件评价方法的框架中，有可能利用后续测试得到的信息不断对评价因子进行修正，提高评价的准确性，讨论了后续测试对3M模型中的复杂性，技术支持和开发水平因子的修正方法，着重论述对开 水平因子的修正，提出了后续测试信息和先期测试信息进行比较和处理的过程和一些规则。