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

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

一种低开销的网格软件共享系统Portal

为了更好地满足用户按需计算的要求,控制用户通过Portal使用网格资源的开销,定义了操作成本、成本效用等评价Portal性能的指标.逻辑设计上将服务与资源表示分离成网格高级服务层与Portal层,给出了用户与Portal交互的形式化描述.采用异步请求响应技术加快响应时间.测试结果表明:系统具有良好的可扩展性,能够有效地降低用户使用Portal的开销.     

基于多版本冗余进程的容侵系统

针对利用多样性防御入侵和容忍入侵的典型方法的不足,提出了一种在操作系统的系统调用层上实现的多版本冗余进程的容侵系统。采用指令集随机化实现了多版本的冗余进程,并且利用冗余进程间系统调用的一致性,通过封装Linux内核中系统调用,实现了容侵系统的分发器、比较器。实验证明:该系统能有效地容忍针对恶意代码注入类型的入侵。     

计算机控制管理的投票系统

介绍的由计算机控制管理专用于开会选举的投票系统（ＣＣＭＶＳ），具有准确率高、实时处理能力强的特点，适用范围广，有一定的推广价值。ＣＣＭＶＳ采用分布式测控系统的结构，由Ｉｎｔｅｌ８０３１单片机控制的票箱完成数据采集控制，个人计算机（ＰＣ机）实现人机对话管理。通过特殊的选票格式设计，ＣＣＭＶＳ能够同时处理多种选票，且允许选票以任意方式投入。为确保系统的可靠性，在硬件和软件设计中进行了综合考虑。     

改进决策树的研究

提出了一种结合规则技术思想的决策树的改进方法，利用数据挖掘所产生的规则对决策树每个分支节点的分裂条件进行判断，即能限制决策树生长，又能帮助选择最优线路，从而使决策效率明显提高。     

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

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

基于改进投票协议的群决策综合评判方法

研究在群决策支持系统(GDSS)中对决策对象的综合评判问题.在分析现有方法局限性的基础上,提出一种基于改进的Bora投票协议的群决策综合评判方法,以实现agent对代理者偏好的提取.通过比较简便的方法收集决策者的评价意见,依照协议将定性的评价映射为数量评分.采用的投票协议可以避免建设性的操纵,克服了以往系统的主要缺陷,有效地实现了多人、多因素条件下的定性评价的量化和排序.     

嵌入式CPU软硬件协同开发中的操作系统设计

为了满足高性能嵌入式CPU软硬件协同开发的需要,提出一个嵌入式Linux操作系统设计方案,在真正的硬件完成之前利用虚拟原型系统进行软硬件集成测试。该方案基于开放源代码软件,采用精简配置的Linux Kernel,以u-Clibc和Busybox为主构成根文件系统,特别选择加入必要的基准测试程序。该系统成功应用于清华大学THUMP系列CPU开发,保证了验证的完备性,提高了验证效率,为CPU的性能优化提供了有力的支持。实验结果表明:该方案满足了验证目的和虚拟环境对操作系统设计提出的严格要求,同时为目标CPU未来运行系统提供了基础。     

Research on software-cell-based software system

The aim of research on software architecture is to improve the quality attributes of software systems, such as security, reliability, maintainability, testability, reassembility, evolvability. However, a single running system is hard to achieve all these goals. In this paper, software-cell is introduced as the basic unit throughout developing process. Then it is further advanced that a robust, safe and high-quality software system is composed of a running system and four supportive systems. This paper especially discusses the structure of software-cell, the construction of the five systems, and the relations between them. Foundation item: Supported by the National Natural Science Foundation of China (No. 70073022) Biography: Tang Sheng-qun(1946-), male, Professor, research interest: software engineering, architecture     

利用VBA在EXCEL中建立决策分析系统

在 Excel环境下 ,利用 VBA建立了一个决策分析系统 .该系统主要由图形显示、数值计算和剪枝三部分组成 ,它把 Excel本身具有的数值计算、分析和处理能力与决策树直观清晰的优点结合起来 ,增强了 Excel建模和决策分析的能力     

Paradox of voting and the trivial preference set of group decision making

The structure of the trivial preference set of group decision making is studied, and the essential characters and generating reasons of the paradox of voting are revealed.