一种模块化的实时软件可靠性测评方法

根据实时软件的可靠性评估需要,在分析传统软件可靠性增长模型局限性的基础上,提出了一种模块化的实时软件可靠性测评方法。该方法将系统的可靠性指标分配到各任务模块,并将贝叶斯理论用于单个模块的可靠性测评。相比基于可靠性增长模型的传统测试方法,该方法可降低系统测试的复杂程度,提高评估精度,特别适合对高可靠性软件的测评。

基于UML模型的统计测试方法研究

为增强统计测试的可行性、可测试性,降低建立使用模型的难度,通过研究作为工业标准的统一建模语言UML,提出了一种基于UML模型的统计测试方法。论文首先建立了基于UML模型的统计测试过程,然后结合扩展的UML模型和使用模型的形式化描述,给出了从UML模型导出使用模型的一种形式化算法,并以工控机器人软件为例说明了应用该方法的完整过程。

炼油装置对环境的影响因素分析及改进措施

炼油装置在生产运行过程中,由于设备泄漏,物料管线在检修过程中残留的物料会散发异味至大气中,同时无组织排放导致含油污水池挥发性有机物超标,硫磺装置SO2排放偏高,都是炼油装置生产过程中影响环境的主要污染因素。文章介绍了一系列技术改造和操作优化措施,使得酸性水罐区域、氨精制区域恶臭等问题得到有效解决。

关于事业单位干部人事档案规范化管理的思考

事业单位作为重大的用人单位,对于国家发展和为社会服务具有重大的意义和贡献。因此,事业单位干部人事档案管理工作是否具有规范性对于事业单位招聘精英人才、记录其工作情况、道德素质以及事业单位的人事调动等方面有很大的在帮助。本文主要通过探讨事业单位干部人事档案规范化管理的措施,分析事业单位在人事档案管理上出现的问题,现状和意义,使之向着规范化的道路上发展。