基于INTRANET的新一代MIS系统

结合当今流行的Intranet的发展,通过实例:基于Intranet的中国人民抗日战争纪念馆MIS系统的设计,介绍了新一代MIS系统的系统结构与体系结构的特点.     

C~3I决策系统的Petri网建模技术

综述了Ｃ３Ｉ决策系统的若干Ｐｅｔｒｉ网建模方法。首先介绍了Ｃ３Ｉ系统的一般Ｐｅｔｒｉ网建模技术和时间Ｐｅｔｒｉ网建模技术,并介绍了随机Ｐｅｔｒｉ网建模技术;然后介绍了谓词Ｐｅｔｒｉ网和有色Ｐｅｔｒｉ网建模技术。最后指出了Ｃ３Ｉ决策系统中,Ｐｅｔｒｉ网的若干研究方向。     

Petri网在C3I系统建模分析和综合中的应用

近十多年来,Ｐｅｔｒｉ网理论被广泛应用于Ｃ３Ｉ系统的建模分析和综合设计中,并取得了很多成果。本文就这一领域的研究理论进行综述,并对将来的可能发展方向作一展望     

移动式C3I系统导航定位问题的建模和仿真

未来战争是高新技术的对抗,我们要立于不败,就必须积极主动,知己知彼,避免被动挨打。为此,发展移动式Ｃ３Ｉ系统势在必行。移动式Ｃ３Ｉ系统的一个关键问题就是系统的导航定位问题的处理。作者立足实际,为移动式Ｃ３Ｉ系统建立了系统的导航定位问题的模型。针对引起系统导航定位的各种误差原因予以分析,建立了误差模型并进行了仿真,最后给出仿真结果     

坐标系与纯角度目标跟踪

纯角度目标跟踪问题一般包括二维纯方位跟踪和三维纯角度跟踪两种情形,其特性与所选用的坐标系有关。广泛采用的坐标系是直角坐标系(二维或三维)、极坐标系(二维)和球坐标系(三维)。本文分别在直角坐标系和改进的极坐标系下建立了二维系统模型,并进行了性能分析,指出了后者的优越性。在三维情况下,作了类似工作。最后还以二维问题为例,建立了机动目标跟踪的直角坐标模型和改进的极坐标模型。     

测量深孔直线度的一种新方法

针对深孔直线度测量的实际问题,提出了一种新方法,建立了相应的物理和数学模型,并对测量模型的函数系统误差进行了计算分析。经三坐标仪实验验证,实际应用效果较好。     

多机空战对抗评估系统分析与设计

针对多机空战对抗评估系统总体设计,介绍了系统主要功能、软/硬件组成和关键技术,并对今后空战评估系统技术发展进行了分析,文中给出了相应的系统框图。     

任务空间概念建模语言初探

通过研究军事专家与系统分析人员的沟通问题,借鉴可视化建模、分层建模和多视图建模的思想,提出了任务空间概念建模语言(MSCML),对MSCML语言的各个建模元素进行了简要的说明.     

多机空战系统的歼击机建模技术

分析了多机空战系统的顶层模型结构,给出了机载雷达、武器控制和导弹等三个主要部件的模型,可以将其应用于多机空战仿真系统的数学建模和软件设计中.     

On efficient algorithms for finding efficient salvo policies

We consider the salvo policy problem, in which there are k moments, called salvos, at which we can fire multiple missiles simultaneously at an incoming object. Each salvo is characterized by a probability p_i: the hit probability of a single missile. After each salvo, we can assess whether the incoming object is still active. If it is, we fire the missiles assigned to the next salvo. In the salvo policy problem, the goal is to assign at most n missiles to salvos in order to minimize the expected number of missiles used. We consider three problem versions. In Gould's version, we have to assign all n missiles to salvos. In the Big Bomb version, a cost of B is incurred when all salvo's are unsuccessful. Finally, we consider the Quota version in which the kill probability should exceed some quota Q. We discuss the computational complexity and the approximability of these problem versions. In particular, we show that Gould's version and the Big Bomb version admit pseudopolynomial time exact algorithms and fully polynomial time approximation schemes. We also present an iterative approximation algorithm for the Quota version, and show that a related problem is NP-complete.