基于SAQ＋B消防模拟训练系统评估方法设计

采用专家打分法、AHP法和Matlab软件相结合,引入“处理时间”作为评估因素的方法,对基于“SAQ＋B”消防模拟训练系统的评估方法进行了系统地介绍,并计算了各级训练指标的权值。     

软件系统的可靠性综合评估模型研究*

主要研究了软件系统可靠性的评估方法。基于软件系统的基本结构和体系,对软件系统层次可靠性进行分析,并对影响可靠性的因素进行了分析;根据各分系统失效对整体系统失效影响程度的大小,通过事件测试分析得到实际参数,在给出重要度系数的基础上,建立了串并联系统间权重系数模型,并通过Bayes分析建立了软件系统的可靠性综合评估模型,从而达到对软件系统可靠性综合评估的目的。算例表明该可靠性综合评估模型具有一定的工程应用价值。     

C3I系统体系结构的演化开发过程

体系结构的建立是C3I系统工程的重要组成部分,它是保障所开发的C3I系统满足军事需求的机制.提出了C3I系统体系结构的演化开发过程,它是体系结构开发在需求汇集、体系结构设计、建立可执行模型、体系结构评价等四个主要任务区域中循环迭代、逐步求精的过程.确定和论述了演化开发过程中各任务区域的主要活动.     

计算机实验教学软件环境规范化管理初探

根据实验教学的要求和不同的机型 ,对实验教学软件进行规范化管理 ,利用“克隆”技术和硬盘保护卡有效地保护数据和快速恢复数据 ,确保教学用机的安全和有效率     

基于三层Client/Server结构的档案信息管理系统设计

首先对三层Client/Server结构进行了系统概述,然后结合所开发的档案信息管理系统的实际情况,从系统划分、服务器设计、数据库设计和客户端实现几个方面对该系统的总体设计进行详细说明,接着给出了该系统的技术实现特点,最后进行了相关总结.     

软件可靠性分配的遗传模型研究

对软件可靠性分配的遗传模型进行了研究,结合相关知识缩小了基本遗传算法的搜索区域,比较灵活地处理了非线性约束条件,提高了搜索效率,避免了早熟收敛现象.此外,在基本遗传算法中增加了保优操作,从而能够在理论上保证实现分配的最优化.算例表明,该算法十分有效.     

软件测试中的路径划分技术

路径覆盖测试准则要优于其它已知的覆盖准则,但由于对一般的软件,路径数目太大,以至实际难以实现。路径划分是路径覆盖技术的一个折中方法。给定的程序Ｐ和给定模块的最大路径数目ｋ,按就近原则,现给出了一种划分Ｐ的算法,使得每个划分后的模块所包含的路径数目都少于等于ｋ。同时也给出了最佳划分的度量标准和最佳划分方法。     

航天器软件的研发路线

航天器自主能力构建面临着需求不断增多、多变、复杂化、未知的发展趋势,需要在软件研发方式和架构设计上做出改变.在分析已有的4种研发路线的基础上,提出第5条路线,即基于模型化、数据化设计思想的研发路线;提出具有即插即用能力的业务模型,采用电子数据单技术自底向上构建设备级和功能业务级的即插即用能力;以智能规划业务为例说明了业...     

一种适于DSPs实现的BPSK载波同步方法

提出了全数字接收机中一种软件实现的BPSK载波同步方法 ,并给出了性能分析 ,适合于在存储空间和实时性都有要求的背景下的应用。该方法充分利用软件实现的优势 ,克服了传统方法的一些弱点 ,适合于在数字信号处理器 (DSPs)上实现     

CSCW 协作支持平台 GZ-PCCS 的研究与设计

如何提供有效的协作机制是设计CSCW系统的关键技术。本文首次将CSCW的概念引入公安指挥中心系统的设计之中,全面介绍了一个基于CSCW的公安指挥中心系统的协作支持平台的设计和实现。在平台设计中,提出了一个层次的基于任务的快作支持方案,讨论了各种具体的协作支持方法,并在”集中一分布”混合式的体系结构的基础上实现了一个公安指挥中心系统的协作支持平台的原型GZ—PCCS。