基于能力的装备型号体系结构开发方法

为适应装备型号需求生成的复杂性,必须开发面向作战能力应用的装备型号体系结构模型。按照装备型号需求生成工程化思想,建立了结构化的装备型号体系结构开发流程,并对每个环节进行了系统分析。装备型号作战体系结构和系统体系结构开发流程都划分为8个环节,为作战活动分析、系统功能分析提供了可追溯、可验证的模块化开发模式。装备型号体系结构关联开发流程分为4个环节,实现了作战能力对系统实体的关联关系,确保了系统需求对作战需求的支持,提高了装备型号需求成果的系统性和正确性。     

面向Agent的CPN及其在航天装备体系评价中的应用

为弥补Agent和Petri网在各自建模中的缺陷,分析了二者现有的几种结合方式,给出面向Agent的着色Petri网(AOCPN)的定义及其运行规则和分析方法。利用AOCPN建立了以海上目标监视和打击为任务的航天装备体系评价模型,对其逻辑特性和作战效能进行了分析。建模过程和仿真结果表明,AOCPN能够完整描述体系的逻辑和物理特性,可用于全面分析评价体系的性能和对作战结果的影响,有效追踪体系执行任务的过程。     

Single machine parallel batch scheduling subject to precedence constraints

We consider the single machine parallel batch scheduling problems to minimize makespan and total completion time, respectively, under precedence relations. The complexities of these two problems are reported as open in the literature. In this paper, we settle these open questions by showing that both problems are strongly NP‐hard, even when the precedence relations are chains. When the processing times of jobs are directly agreeable or inversely agreeable with the precedence relations, there is an O(n²) time algorithm to minimize the makespan. © 2004 Wiley Periodicals, Inc. Naval Research Logistics, 2004     

并联机构奇异点的运动分岔研究

采用静态分岔理论研究一般并联机构在奇异点处的运动分岔现象。通过约束方程研究了几种简单机构在驱动奇异和末端执行器奇异下的不同分岔类型,并研究了机构参数对分岔性态的影响。指出非持久性奇异分岔可以通过调整机构参数转换为持久性奇异分岔,从而克服机构在奇异点邻域内的运动不确定性。     

分布式流体系结构及其编程模型与资源管理

利用互联网资源提供大数据计算服务面临着资源异构性、动态性与通信长延迟等方面的挑战,现有分布式计算模型仍存在一些不足。运用流计算模型提出分布式流体系结构,包括分布式流编程模型与资源管理等,能够高效支持多种并行执行模式。在10个CPU-GPU异构结点上实现了原型系统,仿真实验验证了7个不同的测试用例。实验结果表明,与本地串行计算相比,分布式流体系结构可以平均提高39倍计算性能,具有较大的应用潜力。     

The parallel replacement problem with demand and capital budgeting constraints

A generalized parallel replacement problem is considered with both fixed and variable replacement costs, capital budgeting, and demand constraints. The demand constraints specify that a number of assets, which may vary over time, are required each period over a finite horizon. A deterministic, integer programming formulation is presented as replacement decisions must be integer. However, the linear programming relaxation is shown to have integer extreme points if the economies of scale binary variables are fixed. This allows for the efficient computation of large parallel replacement problems as only a limited number of 0–1 variables are required. Examples are presented to provide insight into replacement rules, such as the “no‐splitting‐rule” from previous research, under various demand scenarios. © 2000 John Wiley & Sons, Inc. Naval Research Logistics 47: 40–56, 2000     

I.I.D.并行分布式检测网相同门限假定的合理性条件

并行分布式检测网最优设计是复杂难解的,相同门限假定使Ｉ．Ｉ．Ｄ．网的设计极度简化,并在实际工程中广泛使用。本文研究了相同门限假定的合理性条件,为合理采用习惯性处理方法提供了理论依据。     

C4ISR体系结构的设计方法

探讨了系统与体系结构的关系,描述了美军的现状、不足与发展趋势.针对美军的版本只是给出体系结构产品和通用参考资源,但没有给出开发过程的情况,利用系统工程的思想对体系结构采用结构化方法进行研究,分步骤地对体系结构分析、开发、评估三个阶段作了详细的设计.     

基于ISM的作战仿真模型体系结构建模?

作战仿真模型体系结构的描述是一个复杂的问题,传统的方法难以清晰描述各要素之间的内在关系。采用解释结构模型的方法对模型体系中的继承、组合关系进行形式化建模,在对体系要素进行简化抽象的基础上,通过矩阵运算和逻辑推理完成对体系内所有要素的关系描述,能够实现对复杂模型体系的结构化描述和简洁化表达。     

基于Web 服务和多Agent技术的水下平台作战推演系统构建

对象智能建模、模型调用管理等是水下平台作战推演系统设计与开发过程中的难点问题。基于OODA环指挥控制描述模型,刻画了水下平台作战推演的业务流程和功能,采用Web服务和Agent建模技术,建立了一种基于Web服务和多Agent技术的水下平台作战推演系统体系结构,有效地解决了作战推演模型的智能性、重用性和扩展性等问题,并给出了智能体建模的程序框架,对水下平台作战推演系统的设计与开发等具有重要参考价值。