基于UML/OCL的C4ISR效能概念建模分析

为了统一描述军事电子信息系统(command control communication computers intelligence surveillance and reconnaissance, C4ISR)系统功能和效能两方面的需求,提出了一种基于统一建模语言/对象约束语言(unified modeling language/object constraint language, UML/OCL)的C4ISR效能概念建模和形式化验证方法。首先,利用效能相关概念扩展了DoDAF 2.0能力元模型,构建一个能够同时引导C4ISR能力的功能分析和效能分析的元模型;将该元模型描述为UML Profile,形成一种基于UML的C4ISR效能概念建模语言,并支持C4ISR效能概念模型检验;最后借助一个假想案例分析说明了该建模语言对C4ISR能力的功能和效能概念建模及模型验证的能力。该方法可弥补UML建模技术在特定领域效能分析方面的不足。     

UML状态图至Petri网转化方法的研究

作为一种面向对象分析和设计建模语言,统一建模语言(UML)已经越来越多的被用在大型系统中,然而,UML是半形式化的,这使得很难对其进行严格的语义分析和正确性验证.状态图作为UML动态描述机制的重要组成部分,同样存在这样的问题,而Petri网作为一种建模工具,有着严格的形式化语义,而且有很多成熟的分析方法.本文针对UML2.0状态图模型,对状态图至Petri网转化方法进行了研究,并提出了将状态图转换为Petri网的算法.     

基于UML和Petri网的层次建模分析方法

提出一种新的UML和Petri网结合方式的建模分析方法。该方法采用从上到下的屡次分析方法，用扩展的UML模型对系统组织结构和系统的静态特征进行描述，用扩展的Petri网模型描述和分析系统动态特性，通过转化规则将Petri网模型转化成相应的状态图和序列图，然后集成所有的UML模型，通过Rational Rose等软件来实现代码。最后通过该方法，对一个FMS进行了建模分析。     

基于UML模型的C4ISR系统能力需求分析与验证

针对复杂的C⁴ISR需求分析,提出一种系统的能力需求获取和分析方法。该方法从分析作战使命入手,采用统一建模语言(unified modeling language,UML)建模技术对作战目标和任务场景建模,通过活动模型分析自动建立C⁴ISR能力需求的概念模型。此外,采用本体描述语言(OWL DL)对能力概念形式化描述,由此可以通过符号推理系统检查模型的完整性和一致性。给出了应用该方法的具体示例,并通过实验工具验证其有效性。     

FMS建模和形式化验证

提出了一种FMS的建模方法,此方法是基于时间自动机模型。运用模型检查工具UPPAAL来进行建模,仿真和验证。由于时间的因素被考虑到建模方法中,因此FMS的调度和控制问题可以被集成到这个模型中。在系统的行为被控制的同时,可以保证系统的性能指标。从而最优调度和最优控制可以得到检查和验证。     

C4ISR系统能力需求行为建模及验证

针对C⁴ISR系统需求分析行为建模中,统一建模语言（unified modeling language, UML)的行为模型验证困难问题,提出了一种C⁴ISR系统能力需求行为建模及验证方法。从构建C⁴ISR能力元概念模型入手,通过扩展UML行为元模型得到能力行为元模型,然后使用能力行为元模型来构建能力需求的行为模型。为了检查行为模型是否满足能力元概念模型、能力行为元模型和领域规则约束等模型一致性和领域完整性问题,将行为模型的语义形式化为OWL-DL和DL-Safe规则表示的本体,并定义模型检查规则通过对本体进行逻辑推理和查询实现模型验证。     

基于UML的飞机维修保障仿真研究

统一建模语言(UML)是一种基于面向对象技术的标准建模语言,其不仅可以在软件开发过程中使用,也可在复杂系统仿真中应用。参照面向对象Petri网的建模过程,提出了一种基于UML的仿真建模方法,通过UML状态视图描述各个仿真实体的状态变化,使用顺序图描述消息交互的时间性,并通过协作图连接各个仿真实体。文中将该方法应用于飞机的维修保障仿真过程,并根据所建立的仿真模型,对仿真系统进行了实现,得到了较好的效果。     

可执行能力需求模型的动作语义研究

针对目前基于能力的需求建模方法在形式化以及验证方面的不足,借鉴统一建模语言(unified modeling language, UML)动作语义,提出了可执行能力需求建模方法。该方法在能力需求建模语言的基础上,添加可执行动作语义,提出了动作语义元模型,描述了动作语义的基本内容、执行机制以及表示。最后构建了可执行能力需求模型的仿真平台,并通过案例证明了可执行能力需求建模方法不仅能精确形式化描述能力需求模型的动态行为语义,同时也实现了能力需求模型的仿真和验证。     

UML在C~4I系统总体结构设计中的应用

面向对象技术是当今应用于过程工程和软件工程的技术热点。简要介绍了C4 ISR总体结构框架和新兴的面向对象建模语言UML ,并把二者有机结合起来用于复杂系统的建模与设计 ;给出了基于两个建模规范的系统建模方法 ,把UML应用到高度复杂的C4 I系统总体结构设计中 ,提出了一个在总体结构框架指导下 ,从UML模型描述到应用Petri网进行定性分析的系统设计方法。     

分析模式在嵌入式系统建模中的应用研究

面向对象建模语言UML（Unified Modeling Language）已广泛用于嵌入式系统建模,但它在嵌入式实时系统建模时存在模型重用性不高、概念模型形式化复杂和状态图对时间约束方面的建模功能不强的问题,针对这些问题,提出了对象分析模式与实时规范模式相结合的新思想,并给出了使用对象分析模式和实时描述模式进行嵌入式系统建模及模型分析、验证的方法,然后介绍了基于UML的模式驱动的嵌入式系统建模及分析的实现步骤,最后以一个实际应用进行了详细说明。     

多模索引调制OFDM频谱及能量效率优化方案

为提高多模索引调制正交频分复用的能量效率(energy efficiency, EE)与频谱效率(spectrum efficiency, SE),提出优化方案和相应检测算法。该方案在不减小子块间最小欧式距离的前提下通过增加模式排列的种数使系统传递的索引信息量增加,从而提升系统SE。此外该方案引入空载模式使得部分信息的传输无需消耗能量,从而提升系统EE。同时提出改进的低复杂度最大似然检测算法以降低模式排列的检测复杂度。分析模式排列数及空载模式对误比特率(bit error rate, BER)性能的影响,并据此对引入空载模式后的多模式星座进行优化。仿真结果表明,优化方案的EE和SE都有所提升,且BER性能更优。     

基于禁忌退火粒子群算法的火力分配

火力分配问题是典型的NP完全问题,传统的求解算法存在指数级的时间复杂度。给出具体实用的防空火力分配模型,提出一种基于禁忌搜索与退火粒子群优化的新算法,并针对多种空袭规模的实例进行计算机仿真。仿真结果表明,与禁忌搜索、标准粒子群优化、退火粒子群优化等智能算法相比,新算法在解决火力分配问题时具有更优良的收敛精度和时间性能。     

OQAM/OFDM系统中改进的重叠选择性映射方法

重叠选择性映射(overlapped selected mapping, OSLM)是用于降低基于交错正交幅度调制的正交频分复用系统(offset quadrature modulation/orthogonal frequency division multiplexing, OQAM/OFDM)峰均比(peak-to-average ratio,PAPR)的技术。在对传统OSLM方法进行分析的基础上,为了进一步降低系统的PAPR,针对其在传输过程中需要耗费额外频谱来传递边带信息的问题,提出了改进的OSLM方法。该方法通过改变特定位置相位旋转因子的模值,从而在接收端确定边带信息,节省了OQAM/OFDM系统中的频谱资源,进而降低了系统的PAPR。仿真结果表明,在相同信道且子载波数量较多的条件下,该方法能够进一步降低系统的PAPR,同时又不会导致误比特率明显提升。     

基于改进AGD-分布式多智能体系统的目标优化分配模型

由于现代化战场环境动态多变、作战实时性高,针对当前防空作战中武器目标分配(weapon target assignment, WTA)约束多且复杂、传统建模无法真实反映战争过程、模型可信度不高等问题,提出一种在分布式约束优化问题(distributed constraint optimization problem, DCOP)背景下,基于多智能体系统(multi-Agent system, MAS)理论的武器目标优化分配模型,并利用改进的加速梯度下降(accelerated gradient descent, AGD)算法进行求解。通过实验证明了该算法具有良好的收敛性和低复杂度,能够适应现代化防空作战的需求,满足大规模寻优问题的需求,高效解决多智能体目标优化分配问题。     

Integration-centric approach to system readiness assessment based on evidential reasoning

An integration-centric approach is proposed to handle inadequate information in the system readiness level (SRL) assessment using the evidential reasoning (ER) algorithm. Current SRL assessment approaches cannot be applied to handle inadequate information as the input. The ER-based approach is proposed to synthesize inadequate input information and an integration-centric perspective is applied to reduce the computational complexity. Two case studies are performed to validate the efficiency of the proposed approach. And these studies are also performed to study how the inadequate information will affect the assessment result. And the differences caused by the system’s structure. The importance of the system’s structure in the SRL assessment is demonstrated and the contributions made in this study are summarized as conclusions.     

强化学习中的策略重用:研究进展

策略重用(policy reuse,PR)作为一种迁移学习(transfer learning,TL)方法,通过利用任务之间的内在联系,将过去学习到的经验、知识用于加速学习当前的目标任务,不仅能够在很大程度上解决传统强化学习(reinforcement learning,RL)收敛速度慢、资源消耗大等问题,而且避免了在...     

HLA时间管理算法中输出时间的研究

时间管理服务是高层体系架构HLA(High Level Architecture)的重要组成部分.GALT(Great Available Logical Time)算法是实现时间管理服务的关键技术,而输出时间OPT(OutputTime)则是某些GALT算法实现的基础.不合理的输出时间算法所确定的GALT算法会违背HLA时间管理的原则或延缓联邦推进.通过对IEEE 1516[1]标准接口的分析,提出了一种符合IEEE 1516标准的输出时间算法,其它的输出时间公式可引为参考.     

外部型硬件进化方法研究

外部型硬件进化(Extrinsic EHW)是将硬件描述语言(HDL)与进化算法(EA)结合起来的硬件进化(EHW)方法。在简要介绍了EHW的基本概念和工作原理的基础上，针对外部型硬件进化的基本方法，通过实验分析指出了这类方法存在的问题，阐述了在电子设计自动4g(EDA)平台上实现Extrinsic EHW方法必须解决的核心问题。     

基于双马尔可夫链的概率假设密度滤波器

隐式马尔可夫链(hidden Markov chain,HMC)是传统多目标跟踪的理论基础。在分析了HMC模型的局限性基础上,介绍了更具普适性的双马尔可夫链(pairwise Markov chain,PMC)模型,对基于PMC模型的概率假设密度(PMC-probability hypothesis density,PMC-PHD)滤波算法进行了推导,并对其高斯混合(Gauss-mixture,GM)实现进行了改进,利用椭圆波门给每一个高斯分量建立一个对应的缩减量测集合来对其进行更新。仿真实验证明在杂波密度较大的场景中,PMC-PHD滤波器GM实现的改进在不影响跟踪精度的情况下运行时间缩短为原来的三分之一;仿真实验还证明在HMC模型场景下PMC-PHD滤波器针对邻近目标的跟踪性能要优于HMC-PHD滤波器。     

Total quality management in manufacturing: A study in the Singapore context

The paper presents a total quality management (TQM) framework combining the concepts underlying the notions of total quality control (TQC), Just in Time (JIT), manufacturing resource planning (MRP), and quality control circles (QCCs). An integrative model, in which these notions and the related issues are complementarily connected on the same logical plane is presented and it is argued that this is akin to the total systems intervention (TSI) approach in its endeavor to seek manufacturing excellence. It also has similarities to creative problem solving, especially with regard to corporate strategy, but here with an emphasis on the role of manufacturing. However, TQM is an idea of its own, and not a conceptual derivative of systems theory.