单片机软件测试方法研究

单片机(Single Chip Microcomputer:SCM)软件的可靠性是影响系统和设备可靠性的关键因素.以80C51单片机系统一个C51应用为例,针对单片机软件测试的特点,提出了单片机软件测试方法.     

可复用构件模型探讨

针对软件复用中构件模型的建立,介绍了构件模型的基本概念,分析了几个现存的构件模型,并对构件模型技术提出了一些展望。     

软件测试技术应用研究

在全球进入信息化时代．软件密集型武器系统快速普及的大背景下,军用软件在国防中的地位愈加举足轻重。软件本质上是一种虚拟化的特殊产品,较之大部分武器装备来说,它看不到、摸不着,难以使用工业测量工具来检验它的质量。而军事用途的软件一旦发生故障,往往会导致巨大的经济损失或灾难性后果。软件质量成为国防信息化建设的重中之重。由于软件测试技术是保障软件质量、提升软件可靠性的重要手段．受到广泛重视。     

基于最优投影与形态学滤波技术的引信安全性软件识别算法

以数字化图像处理与识别技术为基础,利用最优投影及形态学滤波技术,根据某型惯性保险引信X光图像中所反映的零部件位置、灰度和形态等特征,建立保险钢珠和保险簧状态的识别算法,应用C语言进行算法编程,应用C＋＋Builder完成程序界面设计,实现惯性保险引信安全性在无损状态下的自动识别．     

前门耦合仿真平台的设计

从天线接收等效电路出发,用专业的电磁电路仿真软件设计并构建一类前门耦合仿真平台．该平台能弥补传统仿真中天线辐照与敏感设备传导之间的割裂,反映耦合过程,为整机电磁兼容与防护提供丰富细节和数据．该类仿真极具开放性,可依据敏感设备特点与候选仿真软件功能,自选相关软件构建该平台．最后以某型接收机为例,用三维电磁仿真软件CSTMWS完成天线辐照,在基于CSTDS和ADS的仿真平台下实现前门耦合模拟,得出接收机内部耦合数据,验证该类平台的实用性．     

装备需求论证工具化研究

以体系工程思想和DoDAF2．0为指导,在系统分析国内外装备需求论证工具软件研制现状和存在的问题基础上,提出了装备需求论证工具化概念及其软件功能需求,优化设计了工具软件体系结构框架,并着重探讨了软件集成和数据模型等关键支撑技术,为装备需求论证工具化实践奠定了理论基础。     

水下航行器永磁直流电机瞬态磁场数值模拟

水下航行器在海洋中已得到广泛应用,而电动力水下航行器较热动力水下航行器由于具有结构简单、维护方便等优点应用更广泛。应用有限元分析软件Magnet,对某型电动力水下航行器推进用永磁直流电机有无负载时内、外磁场进行了数值模拟,所获得的结果可用于分析电机漏磁场对其周围电子仪器设备的干扰。     

基于灰色随机Petri网的构件化软件可靠性早期评估方法

针对构件化软件系统本身的复杂性和早期可靠性评估存在的"贫信息、少数据"的问题.提出了一种灰色随机Petri网(GrSPN)模型.该模型在随机Petri网的变迁速率中引入灰数,首先结合系统GrSPN模型的可达树确定系统的状态标识集及其子集,然后将得到的GrSPN转化为与其同构的连续时间马尔可夫链(MC).通过对MC的平稳...     

Capon波束形成算法的改进及软件无线电实现

波束自动形成的Capon算法广泛应用于工程实际中。针对其主波束信号强度大,但总质量不尽理想的实际情况,提出更为适用的矩阵求逆（阶数较小）法,并据此给出了软件无线电实现框图。     

高可靠性软件的极值统计分析

提出了极值统计分析的方法.对于失效数据极值分布函数的拟合检验,采用了相关系数法;对于母体分布的参数估计,则分别采用了最小二乘估计(LSE)和极大似然估计(MLE);最后通过一个实例说明了统计过程,并用模拟的方法证明了最小二乘估计较好.