利用状态机检测JAVA空指针引用故障

介绍了一种在控制流的基础上利用故障状态机对JAVA空指针故障进行检测的方法。该方法利用变量区间来表示状态的前提条件,对程序中不可达路径进行处理,从而达到减少误报的目的。     

基于Bayes估计的高炮虚拟校射理论

给出了脱靶量的定义,建立了小口径高炮虚拟校射脱靶量的一维数学模型,分析了脱耙量的统计性质,在此基础上运用贝叶斯估计理论,推导出校正量的最优估计量方程,并进行了相应分析.脱靶量可以作为一种离散的随机序列,任何一种特定的脱靶量序列均可表示为某种蜕化的广义马尔柯夫序列;脱靶量状态的最优估计问题是:基于观测输出{x(k);k=0,1,2,…}先验信息求取状态X(k)的最优滤波估计^X(k/k),使估计误差的方差最小,从而大大提高小高炮的射击精度.     

舰艇编队作战系统的武器目标分配问题

设我方m艘战舰,对方n个来袭目标.运用灰色局势决策求得目标对各个战舰产生的威胁值排序;再用模拟退火算法,参考目标威胁,单舰根据自身装载的火力发射进行初步武器分配;最后将分配结果传送至融合中心,应用大系统理论的分解协调法,协调武器分配,使得我方武器对本批目标的打击概率最大.仿真基于VC++编程实现,具体分析了算法及思想的可行性.     

伪距定位中的GDOP最小值

讨论了一文计算伪距定位中GDOP最小值时数学上的缺陷和不严格性,指出文献在计算GDOP最小值时没有考虑到对应于钟差的特征值在值域上有限制,从而推导出的最小值不可能得到.对多站布阵时GDOP最小值进行了重新推导,给出不同站点数目时GDOP最小值的通式,并给出GDOP达到最小值时的布阵分布.     

基于multi-agent编组的校园虚拟实验网格任务分配策略

在网格计算环境下,许多任务的执行经常需要同时协同分配多个agent以满足性能需求.提出了一种新的基于multi-agent编组机制的agent协同分配方法.首先,对传统编组算法和multi-agent编组算法进行了分析比较.然后,设计了校园虚拟实验网格调度系统及其任务分配算法,实验结果表明:当CDR=0.2时,算法与传统算法带来最好的目标价值,在某些条件下,传统算法略微胜过该算法,当CDR增大时,该算法比传统算法执行得更好.     

消防中介机构监督管理问题研究

简要介绍了消防中介机构的主要类型,指出了在监督管理上存在的不到位、缺位、依据不足和错位等方面的问题,分析了造成问题的主要原因,提出了加强和改进消防中介机构监督管理的措施和建议。     

一种基于数据仓库的通用OLAP数据接入构件的新型设计

为了解决异构数据源融合和数据仓库的迁移问题,结合数据仓库和构件技术的思想,提出了一种基于数据仓库的通用OLAP(online analysis process)数据接入构件的设计方案.该方案针对完成数据操作封装的数据接入构件进行了建模,并且针对这种模型设计了一个基于构件的OLAP通用数据接入原型系统,实现了OLAP界面展示工具和异构数据源的自由配对和无缝迁移.     

对我国农村环境污染防治对策的系统分析

分析了现阶段我国农村环境污染的主要特点,并对农村环境污染防治的宏观对策进行了系统性分析。由手农村污染严重、防治形势严峻且比城市环境污染情况复杂,在制定农村环境污染防治对策时,需要运用系统工程原理全方位、全过程分析实际情况,制定整体效果最优的系统化对策组合,并注意对策措施的系统性、协调性、连续性和针对性。     

作战实验与模拟训练比较研究

分析研究了作战实验与模拟训练的本质内涵、异同特点和相互关系,提出了实现作战实验和模拟训练环境的有机结合、统筹规划、建设运用的基本思路,研究了如何充分发挥可通用资源的最大效用等问题。