一种基于任务-系统结构的软件可靠性建模方法

针对军用软件特点,提出并定义一种基于任务剖面的软件系统结构准则;基于该准则,给出一种从功能可靠性、事件可靠性到任务可靠性的分层可靠性预计方法。与侧重于数学建模的相关工作不同,该方法更注重在建模中融合软件可靠性设计、测试和管理,成为可靠性保证的一种途径。     

基于GQM的装备软件可靠性参数选取方法

针对装备软件无可靠性定量要求以及开发过程缺少监管的问题,提出基于GQM(Goal-Question-Metric)的装备软件可靠性参数选取方法。首先构建了软件可靠性通用参数集和装备软件可靠性特有参数集,然后按照GQM方法的框架,从不同角度出发,制定装备软件可靠性度量目标,列出为实现目标需要回答的一系列问题,进而以回答问题的方式,确定不同情况下适用的软件可靠性参数,最终建立装备软件可靠性参数体系。     

基于CMOS的双目视觉定位系统的设计

介绍了一种基于CMOS视觉芯片的双目视觉相对定位信息提取系统。重点描述了该系统的硬件系统的组成:成像采集设备、控制器、存储器、专用DSP和外部接口电路,以及各部分的芯片选择和相应的接口设计,并提供了设计方案实例。系统具有体积小、重量轻、功耗小、集成度高、接口灵活、定位精度高等特点,可以方便地安装在各种设备,尤其是嵌入式系统上,因此可以广泛地应用到很多领域。     

武警院校指挥类“合训”学员军事素质科学评价研究

针对武警部队第一批指挥类“合训”学员,选取部分“合训”学员的军事体能考核成绩,利用多元统计中的主成分分析方法,构造科学、客观的评价函数,对学员军事体能考核指标体系进行综合评价,并对每一名学员考核成绩排序,为武警部队“合训”学员教学、管理提供参考。     

试验方案评价的密切值方法及软件实现

分析了试验方案评价的要素和特点,针对试验方案评价决策中指标众多、指标层次划分困难、指标权重难以确定等问题,引入密切值模型的评价方法,并分析密切值模型的计算过程;基于MFC类库和VC开发环境,开发了密切值决策评价软件;给出试验方案密切值决策评价的应用案例,对软件进行测试,软件运行稳定,所得结果与理论分析一致.     

基于优化遗传算法的软硬件划分方法

针对软硬件划分问题,研究了一种优化的遗传算法,提出硬件倾向度的概念,用于遗传算法初始群体的生成,减少了初始解的随机性和搜索的盲目性;在遗传算法过程中,使交叉变异概率随着遗传过程由大变小,保证早期具有较大的搜索空间,后期又能保留较好的解,使用动态结束条件自适应结束遗传算法。与对比算法相比,该算法的效率较高,且在大规模问题求解上能够获得更优解。     

概述数学教师教学必备软件及软件平台

本文阐述一个数学教师教学所用到的软件及软件平台,主要有:1)平台类:数学软件平台、课件开发平台、素材创作平台、编程语言平台、Internet操作平台;2)软件类:试卷排版软件、试卷批改软件、组卷评测软件、成绩统计软件及排课软件。     

舰船装备远程维修支援体系研究

借用20世纪90年代初期中国学者提出的开放的复杂巨系统理论,以及处理开放的复杂巨系统的方法论——从定性到定量的综合集成法,揭示了舰船装备远程维修支援体系的本质是一个人机共栖的开放的复杂巨系统;给出了描述系统的基于Agent的一般框架和在巨系统理论指导下研究远程故障诊断问题的思路;最后提出了需要进一步研究的几个问题。     

给定人员情况下最小化开发时间和成本的软件项目调度

给出了一种软件项目的随机调度模型.它明确地把调度策略作为输入,一旦调度策略确定,模型就可以输出关于项目的完成时间或成本的一个概率分布.利用随机最优化技术,能够计算出软件项目的一个调度策略,它使得项目在人员给定的情况下开发时间和成本最小.     

基于光纤技术的无线电引信动态模拟测试系统设计

为提高无线电引信杆实验测试结果的准确性,针对从国外引进的老设备存在的突出问题,设计了基于光纤技术的无线电动态模拟测试系统,给出了测试原理、软硬件设计以及对系统的校准分析。