软件静态分析工具评析

为了在软件生命周期的编码阶段尽可能多地发现软件缺陷以降低软件成本和开发时间,需要对被测程序源代码实施软件静态分析。软件静态分析最有效的手段是使用软件静态分析工具。针对C程序常见的软件缺陷,通过对几种主流静态分析工具的功能性对比分析,探讨了软件静态分析工具的优缺点及影响软件静态分析工具选择的诸多因素,可为软件测试人员选择合适的软件静态分析工具提供参考。     

软件静态分析工具综述

为了在软件生命周期的编码阶段尽可能多地发现软件缺陷以降低软件成本和开发时间,需要对被测程序源代码实施软件静态分析,软件静态分析最有效的手段是使用软件静态分析工具。针对C程序常见的软件缺陷,通过对几种主流静态分析工具的功能性对比分析,探讨了软件静态分析工具的优缺点及影响软件静态分析工具选择的诸多因素,为软件测试人员选择适合自己的软件静态分析工具提供参考。     

仿真语言自动排序器

连续系统高级仿真语言是一种非过程的程序设计语言,程序的书写顺序与执行顺序无关。为了将仿真语言程序编译成能在计算机上正确执行的程序,必须对源程序进行排序。本文在讨论分析了高级仿真语言动力学段特性的基础上,给出了并行仿真软件PAR-SIM中高级仿真语言PARCSSL编译器的自动排序器的实现算法。     

计算机软件可靠性问题

本文举例说明了软件可靠性问题的重要性。简要地叙述了计算机软件可靠性技术研究中的三个中心问题:软件试验、程序正确性证明和结构程序设计。软件试验是当今世界上解决软件不可靠问题的主要手段。按试验的目的、对象和方法的不同,对软件试验进行了归纳分类。程序正确性证明是用数学方法,寻找程序逻辑错误的一个途经。文中从最基本的概念出发,用简单的例子,阐明证明程序正确性所应遵循的法则及证明的步骤和方法。但是以上两种技术均不能保证程序正确,所以解决软件可靠性间题的关键是结构程序设计。从设计方法、设计语言及设计的组织形式彻底革命,才能真正解决软件可靠性问题。但这三个方面是相辅相成,互相促进的。     

信息系统应用程序组成模型研究

应用系统程序组成模型是实现逻辑软件到实际程序的关键,在分析ＨＩＰＯ图基础之上,提出应用系统程序组成由“应用框架、应用构件、数据对象”三层次的结构模型,该模型揭示应用程序组成实体及相互的关系和应用程序构造结构,为信息系统的自动提供了具体的实现方法。     

反舰导弹通用火控系统软件技术的验证方法

以计算机代替通用火控系统的主要设备作为实验平台,利用VC 6.0编写了一个软件关键技术的验证程序,并调试通过,为通用火控系统在软件上的工程实现提供了技术支持.该程序的良好运行,验证了全分布、网络化、模块化和标准化等关键技术是可行的,体现了通用火控系统的技术优势,表明通用火控系统完全能够适应网络化和信息化条件下的作战要求.     

一种微机系统与单板机的简易通信方式

本文介绍IBM-PC(或其兼容机)与16位单板机SDK-86通信的一种方法。利用系统机的资源生成单板机所需软件,然后再传送到单板机中进行调试。这种方法的特点是简单易行,只需少量的硬件和简单的软件收发程序即可实现PC机与单板机之间的程序传送,对缺乏开发工具的单位有实用价值。本文介绍这种方法及其软、硬件的实现技术。     

C~3I系统中软件的程序设计方法问题

软件的可靠性是Ｃ￣３Ｉ系统成败的关键之一,用规范和程序分离的办法设计软件,其可靠性无法得到保证。该文阐述了应研究形式化程序设计方法的意见,以及目前在这一领域尚存在的困难和解决的途径。     

浅谈某型制导弹药研制过程中软件的质量控制

在某型制导弹药研制过程中,软件研发的质量控制是非常重要,它将直接影响到制导弹药研制的质量和进度。本文提出了软件研制过程的策划、输出、输入、配置管理、文档管理及各阶段应具备的文档和程序。     

航空电子综合系统作战飞行程序的研究

本文研究了作战飞行程序的开发及开发环境的基本原理,并对开发环境的基本软件组成、硬件结构及其应用进行了讨论。     

基于自适应EKF的高动态载波跟踪算法

针对载波跟踪算法在大频偏或动态剧烈变化时易失锁的问题,提出一种无数据辅助情况下基于自适应R/Q扩展卡尔曼滤波(AEKF)的高动态载波跟踪算法。该算法在AEKF代替鉴相器和滤波器的环路结构基础上,引入两倍相位转换来消除数据位跳变的影响,并利用载噪比估计方法和基于加加速度的信号动态监测方法来修正观测噪声协方差(R)和系统状态噪声方差(Q),进而兼顾环路的跟踪精度和动态稳定性。实验结果表明:利用该算法的GPS软件接收机能够在加速度200 g,瞬间加加速度10 000 g/s的动态指标下正常工作。     

基于结构随机跳变系统的制导误差预测

针对空中目标作大机动时导弹制导误差难以预测的缺点,将导弹和目标视为一个结构随机跳变系统,并将目标作大机动当作系统的外部扰动输入,建立了该系统的数学模型,应用结构随机跳变系统理论对脱靶量的数学期望和方差进行了计算。通过仿真表明,该方法可对大机动目标进行制导误差预测,还可为变系数导引律的设计提供依据。     

基于门限偶极子模型的四轮车变速度轨迹跟踪控制

针对利用李亚普诺夫函数控制律设计的轨迹跟踪控制器在跟踪初始误差较大和离散轨迹时,存在速度跳变问题和拐点处误差偏大的问题,设计了一种基于门限偶极子模型和趋向模型的变速度轨迹跟踪控制器。以四轮车的运动学模型为研究对象,在李亚普诺夫函数控制律的基础上,引入门限偶极子模型解决了初始误差较大速度跳变问题,同时引入纵向控制中的趋向模型,解决了不连续轨迹拐点处误差偏大的问题,使得跟踪轨迹更为光滑,进一步提高了跟踪精度。通过仿真结果对比分析,验证了改进控制器的有效性。     

具有随机寿命的二维期权定价

由于期权合约在到期日之前可能被终止及标的资产的价格可能会因重大信息的到达而发生跳跃 ,文中在假设合约被终止的风险与重大信息导致的价格跳跃风险皆为非系统的风险情况下 ,应用无套利资本资产定价及Feynman kac公式 ,首先研究了标的资产服从连续扩散过程和跳—扩散过程具有随机寿命的交换期权定价 ,得到相应的定价公式 ;然后 ,研究了标的资产服从跳—扩散过程及利率随机变化具有随机寿命的期权定价 ,得到相应的定价公式     

Analysis of the effect of bore centerline on projectile exit conditions in small arms

Most finite element models of small arms focus on an idealized barrel, typically one with a perfectly straight bore centerline. Using five different experimentally measured bore centerlines, this investigation analyzes the effect centerline nonlinearity has on projectile exit conditions. This includes the effect of rotating a centerline through several orientations. Modeled using Abaqus/Explicit, this dynamic analysis simulates a single firing cycle for each centerline. Projectile jump is calculated for each model as a measure of the effects of warped centerlines. The warped centerlines have a small effect on barrel dynamics.     

Comparison of stochastic processes used in sonar detection models

In any model for a sonar detection process, some assumption must be made about the nature of the acoustic fluctuation process. Two processes that are widely used in this role are the jump process and the Gauss-Markov process. These processes are similar in that they are both stationer) Markov processes and have autocovariance functions of the form s?²exp(—γt). For these reasons, it might be believed that one could use either of these processes and get comparable results if all one is interested in is computing cumulative detection probabilities or mean time to gain or lose contact. However, such is not the case in that vastly different results can be obtained in some applications. An application of this sort is presented. We also present necessary and sufficient conditions for a threshold to have the property that it is almost surely crossed by the jump process, or by the Gauss-Markov process. This affords another method of comparison.     

直瞄武器综合修正量测试技术

目前我军采用的通过多发实弹射击弹着点确定综合修正量的方法存在浪费弹药、校正过程烦琐等缺点。针对该问题,探讨采用陀螺仪测量火炮跳角从而确定综合修正量的方法。上述方案的实施,将很大程度上节约弹药,提高校炮效率,加快装备形成战斗力速度。     

软件可测性评估

介绍了现有的软件可测性评估方法,继而提出了基于程序结构的软件可测性评估方法,该方法充分考虑了软件的失效机理,针对测试对象的不同特点,给出了面向控制流的软件故障执行的概率、数据状态感染的概率及以变量的定值-引用为基础的被感染数据状态传播到输出的概率等估计方案,在此基础上,进行了软件可测性的评估.     

软件保障性评估在维修性分配和预计软件中的应用

从软件保障性的影响要素——软件生命周期过程、软件自身的设计特性和保障资源出发，阐明了软件保障性评估的原理，提出了一套软件保障性评估方案。通过在某维修性分配和预计软件上的具体实践，充分验证了该评估方案的可行性和实用性。     

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

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