政府投资项目管理模式发展研究

结合我国政府投资项目管理模式的改革实践，介绍了我国目前政府投资项目管理模式的试行——代建制，比较了代建制与传统管理模式，借鉴了国外先进的政府投资项目管理经验，对我国的政府投资项目管理模式进行了展望。     

对BX—12型巡回报警器的改进

BX—12型巡回报警器与XCT型仪表配套使用,可进行温度自动巡回指示、报警记忆和自动解除。具有结构紧凑和功能较为齐全的特点。我厂自使用以来,一般情况良好。不足之处是巡回指示部分靠同步电机带动转换接触片借以完成12路干簧继电器的电流转接。这一机械结构带来了两个难于克服的问题:(1) 使用时间长了,会因磨损而造成接触不良。(2) 每一测点和下一测点之间有“空档”时间,造成与它配套使用的XCT表的指针由零走到实际温度指示值的过程中,会     

UML在网络安全监控系统建模中的应用

本文首先介绍了UML的特性,然后运用UML对网络安全监控系统中的数据采集系统进行了可视化的建模,建立了系统的需求模型和设计模型的各种视图,最后总结了用UML进行系统需求分析和设计的优越性.     

计算机程序设计的公理基础

这篇文章对计算机程序设计的公理基础作了探索性说明;阐述了程序证明的部分公理和推理规则,并给出了实例;从理论和实践两个方面对采取公理方法证明程序和作形式语言定义可能得到的好处进行了全面评述。这篇文章在程序正确性证明或软件实现方面占有一定地位,自发表以来被广为引用,而且的确产生了许多可喜的结果。     

B~+-Tree的改进算法在可复用软构件库中的应用

文章通过对B+-Tree索引算法的改进,将其应用到可复用软构件库中。该改进算法继承了B+-Tree的优点,结合可复用软构件库的特点,将构件库多维数据索引转化为B+-Tree一维数据索引进行存储、查询。通过对比分析,证明了该构件库索引算法大大改进了构件库中构件的查找效率。     

工业过程控制专家系统壳体构造

论计了专家系统壳体的构造,所叙述的壳体是一个用以构造和执行实时志家系统的多任系统。该专家系统壳体构造有三个并发进程和一个动态知识库构成。三个并发进程是：知识推理（Ｉｎｆ－Ｅｎｇ）,键盘管理（ＫＢＤ）和控制器管理（ＡＣ１３２）．Ｉｎｆ－Ｅｎｇ任务能够由知识库中的当前知识导出新的知识。其控制结构是向前和混合拉链,单调深度俦查找。ＫＢＤ和ＡＣ１３２分别管理键盘输入和计算机工业控制器之间的通信,前者负责接     

一个带有相似性关系的模糊逻辑

模糊集与模糊逻辑是处理模糊性与不确定性信息的重要数学工具，相似性关系是模糊集的一个基本概念。为了在模糊逻辑中集成相似性关系并考虑其模糊推理，提出了一个带有相似性关系的模糊逻辑，给出了其语法及语义描述，在模糊谓词逻辑情形下，讨论并证明了基于归结与调解方法的模糊推理的有关属性，考虑到许多定理证明器和问题解决系统均是基于否证法，证明了归结与调解方法对模糊谓词演算的反驳完备性定理。     

如何把设计模式应用于分布式应用程序开发中

随着网络技术的发展，越来越多的人把注意力从单进程或单线程应用程序转移到分布式应用程序之上。将设计模式应用于分布式应用程序的开发无疑能提高软件的开发效率。 如何把设计模式应用于分布式应用程序的开发之中呢？为了解决这个问题，本文引用文献[1]中的设计模式，以一个网络论坛消息系统作为实例，详细说明了如何把设计模式
应用于分布式应用程序开发之中。     

Web Services在软件生产线中的应用

软件生产线与Web服务分别是软件工程与分布式计算领域中两个新兴的热门话题。本文根据软件生产线各阶段的活动阐述如何将Web服务应用于软件生产线，并结合一个实际的 软件生产线系统SoftMaker讨论Web服务的具体应用。