中间产品C~4ISR体系结构动态行为语义一致性验证方法

目前对于C4ISR体系结构动态行为一致性设计还没有有效的验证方法.针对C4ISR体系结构动态行为的语义一致性.首先分析了其验证的内容和规则,然后以体系结构动态行为描述关键产品为基础,构建一个中间产品,再将其转换为可执行的对象Petri网模型,利用该对象Petri网模型进行动态行为语义一致性验证,最后通过一个案例对其进行了说明.     

基于仿真的C~4ISR系统需求开发

C4ISR系统需求开发足系统开发的一项重要内容.提出基于仿真的C4ISR系统需求开发的方法,分析了面向仿真的C4ISR系统需求体系并给出了其构成,提出基于仿真的C4ISR系统需求开发过程,重点探讨了基于仿真的C4HSR系统需求验证支持技术,分析了需求验证仿真建模技术和基于需求描述生成需求验证仿真模型技术的实现途径,为基于仿真的C4SR系统需求开发提供了方法基础.     

基于场景的C2系统的模拟与评价方法

为适应一体化联合作战指挥控制系统快速决策与实时性能评价的要求,提出一种基于场景的系统快速模拟与评价模型.其优点在于①根据系统需求实现系统的建模、仿真代码自动生成及性能评价.②模型自适应能力强,系统场景设计中的冲突、不完整、安全、性能及行为错误等问题都可以通过仿真过程中不同方面的动态分析检测出来.     

灾害应急反应建模与仿真

为了满足多智能体应急反应仿真的需求,首先对构建多智能体应急反应仿真模拟框架的复杂性进行了分析,在此基础上提出并设计了组件式仿真模拟框架.采用本体(Ontology)建模、语义网模型及产生式规则推理等理论方法构建了仿真模拟框架的场景建模模块、人员Agent建模模块等组件.最后对依照上述研究内容所开发的原型系统进行了测试,对测试结果进行了分析,结果表明该框架能够有效满足多智能体应急反应仿真的建模需求.     

基于UML的美军动能反卫作战系统概念建模

针对美军动能反卫作战系统,利用UML方法,对其作战仿真概念建模进行了初步的探讨。针对作战系统的反卫作战任务,首先识别系统的主要行为,利用用例图定义系统的功能需求;其次利用类图标识系统用例模型中的所有实体,并分析这些实体的关联关系;最后,采用顺序图展示对象在系统执行过程中不同阶段的动态交互。这样建立的概念模型描述规范,为下一步仿真系统的开发奠定了良好知识表示基础。     

一种基于模型的系统设计方法

提出一种面向功能需求,基于模型的"V"型系统设计方法,通过图形化行为建模技术对系统功能进行分解,运用多种仿真和验证技术,在设计过程中实现对系统功能、行为以及与需求规范的一致性和完整性进行实时验证,及时发现并纠正错误,从而避免在产品的物理原型阶段或测试阶段才发现系统设计的错误.     

灭火救援视景仿真中三维虚拟消防队员的设计与实现

灾害场景视景仿真是灭火救援计算机模拟训练系统的重要组成部分。而对于灾害场景中人的行为描述,特别是消防指战员组织实施灭火救援行动的描述是灾害场景表现的重要方面。从开发工具、角色建模、格式转化和骨骼动画等方面入手,就如何在灭火救援视景仿真中创建虚拟消防队员展开研究。结论表明：通过3dsMAX进行角色建模,通过Cal3D实现骨骼驱动的办法是实现三维虚拟消防队员的一个可行方案。     

军事概念模型知识获取过程方法和工具

军事概念模型是独立于实现的真实世界的实体、任务等作战要素的表示.军事概念模型是军事建模仿真系统开发中非常重要的一步,对于仿真的可信度具有重要的影响.从知识系统开发的观点将军事概念模型开发分成知识获取和知识工程两个阶段.探讨了军事知识获取的过程,知识结构化描述的表示方法、语言和描述过程,在此基础上开发了支持军事概念模型知识获取的工具"兵书一号",并得到了广泛的推广和应用.     

基于多Agent的多传感器仿真系统总体分析

多传感器是实现未来信息化战场"网络中心战"概念的一组必要的装备系统.实施该项目先期概念技术演示,必须设计其仿真系统.采用基于多Agent的仿真方法,结合Agent的通用含义及结构,把多传感器仿真系统的内部组元直接映射成相应的Agent.由此,研究了基于多Agent的信息化战场多传感器仿真过程,前瞻了多传感器运用场景,分析了多传感器仿真系统的整体流程和逻辑结构.设计的多传感器仿真系统,以Agent的表现形式获得了对多传感器战场运用这一客观、复杂过程的深刻认识,从而可实现对这种动态作战环境行为的仿真.     

新闻视频中基于“场景词汇”的故事单元相似度分析

新闻视频中故事单元的相似度计算对于视频浏览、检索和跟踪故事单元等应用具有特别重要的意义.研究提出了一种利用"场景词汇"计算故事单元相似度的方法,将单独的关键帧作为一个完整"词汇",将每个故事单元看作是一系列"场景词汇"描述的"文档".在此基础上研究了"场景词汇"的特殊性,并设计了有效的"场景词汇"权重计算方法和故事单元相似度计算方法.实验显示,基于"场景词汇"的故事单元相似度计算方法能够比较好地贴近用户感官和实际应用需求.     

基于对象petri网的雷达组网系统应用效能研究

建立了复杂环境下雷达网防空作战系统OPDL模型,并嵌入相关的数学模型,对雷达网在防空作战中的应用效能进行了仿真分析,给出了定量的分析结论。研究表明,雷达组网技术的运用有效提高了防空武器系统的作战能力,为深入分析研究雷达网的作战效能奠定了基础。     

基于统一理论框架的故障诊断模型及学习进化方法

本文以概率图理论为基础，系统研究了基于这一理论框架的故障诊断模型，对模型的构建方法以及在不同场景下的模型演化方案进行了探讨，使得在统一理论框架下可实现多模式系统故障诊断、耦合故障诊断、动态故障诊断、故障预测等复杂情形的诊断。为了弥补单独利用基于模型的方法和基于数据的方法的缺陷，研究了诊断模型的学习进化策略，实现了诊断效果的改进和优化。另外，对模型后续的能力扩展和可能的研究方向进行了展望，为后续理论研究提供了参考。     

Optimal empty vehicle redistribution for hub‐and‐spoke transportation systems

This article considers the empty vehicle redistribution problem in a hub‐and‐spoke transportation system, with random demands and stochastic transportation times. An event‐driven model is formulated, which yields the implicit optimal control policy. Based on the analytical results for two‐depot systems, a dynamic decomposition procedure is presented which produces a near‐optimal policy with linear computational complexity in terms of the number of spokes. The resulting policy has the same asymptotic behavior as that of the optimal policy. It is found that the threshold‐type control policy is not usually optimal in such systems. The results are illustrated through small‐scale numerical examples. Through simulation the robustness of the dynamic decomposition policy is tested using a variety of scenarios: more spokes, more vehicles, different combinations of distribution types for the empty vehicle travel times and loaded vehicle arrivals. This shows that the dynamic decomposition policy is significantly better than a heuristics policy in all scenarios and appears to be robust to the assumptions of the distribution types. © 2008 Wiley Periodicals, Inc. Naval Research Logistics, 2008     

基于DEA模型的部队编制方案评价

建立了评价优选部队编制方案的数据包络分析(DEA)模型,该模型测算了各备选编制方案的总体效率、技术效率、规模效率等状况,对非DEA有效的编制方案提出了使其达到DEA有效的途径,给出了各备选编制方案的初排序.在此基础上,通过比较各有效备选编制方案平均横切效率的大小,得到所有备选编制方案的终排序.并就部队编制方案制定.提出了若干建议供决策部门参考.     

基于隐马尔可夫模型的IDS程序行为异常检测

提出一种新的基于隐马尔可夫模型的程序行为异常检测方法,此方法利用系统调用序列,并基于隐马尔可夫模型来描述程序行为,根据程序行为模式的出现频率对其进行分类,并将行为模式类型同隐马尔可夫模型的状态联系在一起。由于各状态对应的观测值集合互不相交,模型训练中采用了运算量较小的序列匹配方法,与传统的Baum Welch算法相比,训练时间有较大幅度的降低。考虑到模型中状态的特殊含义以及程序行为的特点,将加窗平滑后的状态序列出现概率作为判决依据。实验表明,此方法具有很高的检测准确性,其检测效率也优于同类方法。     

Capacity allocation with traditional and Internet channels

In this paper we study a capacity allocation problem for two firms, each of which has a local store and an online store. Customers may shift among the stores upon encountering a stockout. One question facing each firm is how to allocate its finite capacity (i.e., inventory) between its local and online stores. One firm's allocation affects the decision of the rival, thereby creating a strategic interaction. We consider two scenarios of a single‐product single‐period model and derive corresponding existence and stability conditions for a Nash equilibrium. We then conduct sensitivity analysis of the equilibrium solution with respect to price and cost parameters. We also prove the existence of a Nash equilibrium for a generalized model in which each firm has multiple local stores and a single online store. Finally, we extend the results to a multi‐period model in which each firm decides its total capacity and allocates this capacity between its local and online stores. A myopic solution is derived and shown to be a Nash equilibrium solution of a corresponding “sequential game.” © 2006 Wiley Periodicals, Inc. Naval Research Logistics, 2006     

Relative Aging of Coherent Systems

In this article, we carry out the stochastic comparison between coherent systems through the relative aging order when component lifetimes are independent and identically distributed. We make use of the signature to characterize the structure of coherent systems, and derive several sufficient conditions under which the compared systems with the common size can be ordered in the sense of relative aging. Specially, we present some scenarios wherein the better a coherent system is, the faster it ages. Moreover, we discuss the relative aging of dual systems as well. Several numerical examples are provided to illustrate the theoretical results. © 2017 Wiley Periodicals, Inc. Naval Research Logistics 64: 345–354, 2017     

《连续系统建模》的计算机辅助学习与考核系统

本文介绍了一个用于《连续系统建模》学习与考核的计算机辅助教学课件的功能和设计原理,重点介绍了系统动力学模型图的知识表达和建模行为的有效性度量的方法。     

战术移动Ad Hoc网络下的分布式位置辅助功率控制算法

针对战术移动自组(AdHoc)网络提出一种分布式位置辅助的功率控制算法(LAPCA),它通过位置预测来推算节点的邻节点数目,进而调整信号发射功率,以保持最佳的网络连通性,由此提高整个网络的有效流量。该算法作为一个独立模块可以方便地与已有的移动自组网络路由协议相结合。采用较为适合战术环境的参考点群组移动(RPGM)模型来产生网络仿真场景,从仿真实验结果来看,几乎在所有的RPGM场景下采用该算法后的网络有效流量相对于纯粹的AODV路由协议都得到了提高。     

十二相同步发电机整流系统的数字仿真（I）──数学模型

本文对十二相同步发电机整流系统的动态运行进行了数字仿真研究,建立了以整流系统运行状态的分析为基础,用于描述十二相同步发电机—整流桥—负载系统动态过程的状态空间形式的数学模型。该模型既符合实际,又便于计算机仿真。本文提出的仿真方法也适用于三相、六相同步发电机整流系统。