基于PowerBuilder的装备通用调拨模块的设计与实现

分析了军械管理信息系统中调拨功能的特点,探讨了基于PowerBuilder的装备通用调拨模块的设计方法和实现技术,并在实际工程中验证了其有效性。     

基于多层次Petri网的软件保障流程建模

软件保障流程分析是研究软件保障规律的重要手段。应用多层赋时变迁、随机Petri网技术,逐步细化建立了软件保障流程仿真模型,给出了各层次模型中库所和变迁的含义。结合模型的仿真分析,提出了用"软件使用保障时间比"作为评价软件保障性的参数,给出了软件使用保障时间比的计算方法,并就该计算方法所表达的意义同装备系统进行了比较,指出了软件使用与保障时间分配的特殊性。     

马尔可夫链的模块化软件可靠性研究

针对模块化软件系统,考虑到模块自身的可靠性和模块相互转移调用对其系统重要度的影响.利用马尔可夫预测的基本原理,将马尔可夫链引入到模块化软件可靠性模型建立中,通过建立转移概率矩阵,对软件系统的可靠性进行分析并建立可靠性模型.该模型利用从软件开发过程中收集出的可靠性数据,对模块化软件进行可靠性分析,以此来研究软件系统总体的可靠性.     

加载龙伯透镜反射器的靶标RCS改型设计与仿真

针对武器装备试验、训练构建实战化空情模拟条件的要求,提出利用小型靶标加载龙伯透镜反射器模拟空袭武器雷达散射截面(Radar Cross Section,RCS)的方法。基于FEKO电磁仿真软件,分析了龙伯透镜反射器(Luneburg-Lens Reflectors)散射机理和散射特性影响因素,对不同形状、尺寸和位置反射板的龙伯透镜反射器RCS特性进行了数值仿真,总结了反射板对反射器RCS的影响规律,重点基于反射器对靶标RCS起伏特性进行了改型设计,对靶标加载单个和两个龙伯透镜反射器进行了联合仿真计算和分析。结果表明,利用靶标加载龙伯透镜反射器可以实现RCS改型的目的。     

基于配置管理的软件维护性评估

对软件质量进行定量化管理是软件工程领域的趋势,也是软件质量保证的重要手段。针对软件维护性定量评估难、数据获取难的问题,分析了软件维护性受配置管理关键要素的影响,提出利用配置管理数据对软件维护性间接评估的方法。结合软件工程开发实际,建立了配置管理数据收集过程,利用维护时间作为参数,统计5类功能点维护时间对软件维护性进行度量,实现了软件维护性的定量评估,并利用实际项目对方法的可行性和有效性进行了验证。     

智能天线DBF算法可重构的SCA设计及其仿真实现

文中在分析智能天线DBF算法与工作原理的基础上,结合软件通信体系结构(SCA),提出了一种智能天线DBF算法可重构系统的SCA设计方案,并在OSSIE平台上仿真实现。仿真结果表明,文中所提设计方案实现了DBF算法可重构,同时提高了系统的抗干扰能力。     

多路中频数字化DS-CDMA空地数传系统的设计

提出一种基于软件无线电的多路中频数字化DS-CDMA空地数传系统设计方案.发射通道将信息分解成16路并行码后用相互正交的PN码分别扩频,再由多通道数字上变频器AD6623完成BPSK调制,最后进行中频合成.接收通道在对16路接收信号并行解扩后再合并得到原始信息.     

基于TCP/IP协议栈构建的弹上飞控软件评测与验收系统的硬件实现

基于TCP/IP协议栈构建了弹上飞控软件评测与验收系统,详细描述了TCP/IP协议栈在该系统中的应用。     

软件测试方法综述

论述了软件测试技术近几年来研究的最新成果。包括软件的故障模型、白盒测试技术、黑盒测试技术、人工测试技术、可靠性测试技术和测试性设计技术等。以作为对近十几年来软件测试技术发展的总结,还初步的探讨了软件测试技术今后的发展。     

基于Petri网的某引信安全系统软件安全性分析

介绍了软件安全性和基于Petri网软件安全性分析技术。结合某导弹安全系统的实例,在系统Petri网模型的基础上运用逆向可达图回溯法及关键状态法对系统及其软件的设计进行了安全性分析,还考虑了系统运行时的动态时效对安全性的影响及相应的恢复措施。总结了基于Petri网的系统软件安全性分析的特点。