舰艇编队区域防空探索性建模与分析

舰艇编队的区域防空作战是一个复杂问题.具有体系特性的战略层规划一直是其中的重点和难点.探索性分析正是适宜解决这一难题的方法论,它可以通过高层次模型的定量探索,在深入细节之前对问题有个广度的了解.依照探索性分析的思想,从宏观层次描述舰艇编队区域防空问题;基于所设计的时间片影响图分析建模软件工具EASim,建立了该问题的高...     

军事卫星支援下舰艇编队防空作战模型研究

为了赢得较长的防空反导预警时间,运用影响图理论方法建立了军事卫星支援下的舰艇编队防空作战模型.该模型着重研究了红方军事卫星的不同系统参数对敌对双方损耗系数的影响程度,充分论证了军事卫星在舰艇编队防空作战中的预警支援与通信支援作用.所叙述的内容为进一步深入研究舰艇编队防空作战提供了参考.     

基于Struts及富客户端技术的ERP系统的设计和实现

给出了基于 Struts 框架的 ERP 系统设计和实现,通过程序详细探讨了 Struts 的三个主要部分之间的内在联系和采用的处理方式,并针对 WVC 模式的 view 层提出了采用 rich client 技术,提高了 Serv-er 端的处理效率,降低了系统各层次之间的耦合度,使系统易于开发和维护。     

Zn-Pb合金液相分离机制研究

根据Zn-Pb合金液相分离过程,建立了两相熔体中弥散相液滴粗化模型,并进行了模拟计算。通过试验对比,证实了该模型的理论合理性。     

含控制相关的循环并行执行

文中定义了在当代向量计算机上可高效实现的merge与pos函数,提出利用二函数消去do循环中forward—if与search—if的方法。本文讨论了向量化forward—loop的一般性方法并引入封闭子图的概念,给出一种简化语句执行条件的途径。     

一种超短波雷达天线方向图的自动显示方法

本文研究利用超短波雷达实现自身天线方向图的自动显示的方法,文中介绍了系统的工作原理,分析了雷达接收系统对显示图象的影响因素及处理方法。     

海军C^3I系统军图标绘工具的设计与实现

军用标图的计算机化是现代战场对指挥方式的特殊需求。本文介绍了军图标绘工具在计算机系统中的设计与实现,并介绍了几种关键技术的实现方法。     

关于图的(g,f)-因子分解的一些结论和进展

设Ｇ是一个有限无向简单图,ｇ和ｆ是定义在图Ｇ的顶点集Ｖ（Ｇ）上的两上整数值函数,且ｇ≤ｆ。图Ｇ的一个（ｇ,ｆ）－因子是Ｇ的一个支撑子图Ｆ使对任意的Ｘ∈Ｖ（Ｆ）有ｇ（ｘ）≤ｄＦ（ｘ）≤ｆ（ｘ）。若图Ｇ的边集能划分为ｍ个边不交的（ｇ,ｆ）－因子Ｆ１,…,Ｆｍ,则称＾－Ｆ＝｛Ｆ１,…,Ｆｍ｝是Ｇ的一个（ｇ,ｆ）－因子分解。设Ｈ是Ｇ的ｍ条件的子图＾－Ｆ的Ｇ是一个（ｇｆ）－因子分解,若对每个１≤ｉ≤ｍ都有│     

关于图的距离Irredundance数

G=(V,E)是简单连通图,用G—v表示从G中删除v以及与v相关联的边所得到的图,ir_n(G)表示G的n—irredundance数,证明了下列不等式: ir_n(G—v)≥(ir_n(G) 1)/2这个结果推广了Favaron的相应结论。