基于上下文约束的UML序列图语义分析方法

统一建模语言 (UML)半形式化的特征使得难以对复杂系统的模型进行严格的语义分析和正确性验证。提出了一种对UML序列图进行语义分析的方法。它以序列图的事件序语义为基础 ,用消息序列表示序列图 ,并将其具体上下文表示为对消息序列的语义约束 ,通过上下文约束与系统状态间的一致性检查对序列图进行语义分析。最后通过一个实例说明了该方法的有效性和实用性。     

消息序列图模式抽取与组合

在抽象原子模式的基础上,提出了一种基于图连通性判定的模式抽取方法,并给出了其正确性证明.接着,详尽分析和给出了模式组合定理的一个构造性证明以及模式组合前后的消息序列图的行为等价性证明.基于该模式抽取与组合方法,可以在更高层面重新组合模式.通过实验验证了该方法的有效性.     

基于自动机理论的UML活动图模型检验方法

UML活动图被认为是最合适的软件过程描述语言,研究UML活动图的模型检验方法是很有必要的。提出一种基于自动机理论的UML活动图的模型检验方法。该方法给出UML活动图的形式语义,通过计算RTC-STEP,得到LTS,并将LTS映射到Büchi自动机,用LTL表示系统性质,并将LTL公式转换为相应的Büchi自动机,用基于自动机理论的模型检验方法检验UML活动图。     

一种基于UML序列图的状态图合成方法

逆向工程作为辅助程序理解的重要手段,逐渐成为软件工程领域的研究热点。基于面向对象软件的动态本质,研究动态模型的抽象和转换方法对理解该类软件特征具有重要意义。在分析UML序列图和状态图模型的基础上,借鉴BK算法核心思想,给出了一种从UML序列图合成状态图的方法。最后,通过系统的实验研究,验证了该方法的有效性。     

基于UML的炼钢物流仿真系统分析与设计

针对目前炼钢物流仿真系统的研究和应用现状,在确定系统开发目标的基础上,以统一建模语言UML为建模工具,对炼钢物流仿真系统进行功能需求分析及用例建模,并完成了系统的类图设计,以及作为动态模型的活动图和序列图的设计,最终开发了炼钢物流仿真软件。以攀钢炼钢厂的工艺流程为实例进行的仿真试验表明,该系统可为炼钢生产提供一种有效的辅助决策手段。     

基于UML 和Petri 网的武器装备体系需求分析方法

将武器装备体系分为逻辑体系结构和物理体系结构,给出对体系进行需求分析的过程.探讨了利用UML对武器装备体系进行需求描述的方法和步骤,以海洋监视与打击体系为例,利用UML中的协作图和活动图从顶层分别描述了体系的物理体系结构和逻辑体系结构.建立了利用UML构建的体系静态结构模型到利用着色随机Petri网构建的动态运行模型之间的映射关系.针对实例建立了相应的评估模型,利用可达树分析法初步分析了体系的一些逻辑性能.在构建体系结构模型和评估模型的过程中,各模型间既有延续性,又从不同角度反映了体系结构的不同方面,既可保证需求描述和分析模型的一致性,又可比较全面地分析装备体系结构.     

基于ARENA的UML建模及其在飞行保障中的应用

航空兵场站飞行保障是一个复杂的动态过程.结合Arena与UML两种工具的优点,利用UML建立了航空兵场站飞行保障过程模型,包括飞行保障过程的类图、状态图和活动图.并构建了CMV (模型-视图-控制)仿真软件架构.并对CMV进行了详细阐述.利用Arena对CMV架构进行了程序实现.按照主动保障和被动保障两种策略分别对UML模型进行了仿真.仿真结果表明,在现有保障装备的基础上,通过优化保障流程可以较大的提高场站的飞行保障效能.     

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

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

基于生成图的体系结构动态行为语义一致性验证方法

针对体系结构动态行为的语义一致性验证问题,提出了基于生成图的验证方法. 首先根据体系结构的动态行为模型构建生成图,然后对生成图的逻辑结构和时间信息进行分析,来完成动态行为模型的逻辑关系和时序关系一致性验证. 该方法不但能够有效解决动态行为的语义一致性验证问题,而且还能准确定位模型中出现问题的地方,指导用户进行模型不一致处理和优化动态模型. 同时,生成图可供多个模型间的动态行为一致性验证,实用性更强,且在可理解性、可分析性等方面上相比传统方法具有较大改善.     

基于生成图的体系结构动态行为语义一致性验证方法

针对体系结构动态行为的语义一致性验证问题,提出了基于生成图的验证方法.首先根据体系结构的动态行为模型构建生成图,然后对生成图的逻辑结构和时间信息进行分析,来完成动态行为模型的逻辑关系和时序关系一致性验证.该方法不但能够有效解决动态行为的语义一致性验证问题,而且还能准确定位模型中出现问题的地方,指导用户进行模型不一致处理和优化动态模型.同时,生成图可供多个模型间的动态行为一致性验证,实用性更强,且在可理解性、可分析性等方面上相比传统方法具有较大改善.     

基于影响图的多智能体学习算法

提出一种多智能体学习算法.用影响图作为 agent 表示工具,给定 agent 的一个初始模型和它的历史行为,在能力、信念和优先学习的基础上来构建新的模型.学习方法是把其它 agent 的历史行为作为训练集,利用神经网络以及决策知识和专家知识来修改影响图中各结点的连接关系.针对与 agent 历史行为不一致的情况,本文把它看成效用函数发生了随机偏差,通过 Markov chain-Monte Carlo 技术进行模拟,实现效用函数的调整.最后利用多机编队协同空战作为例子说明算法的实用性.     

基于多主体影响图及博弈论的军事决策建模

具有循环依赖性的决策行为在包括军事决策问题在内的许多领域普遍存在。在博弈论框架下,利用多主体影响图(multi agent influence diagram, MAID)及其结构诱导的关联图,对具有循环依赖性的军事决策问题进行分析和建模,能够准确地描述具有对抗性的军事决策态势,精确地识别决策问题中的循环依赖关系,深刻地揭示军事决策问题的潜在结构信息。实例分析表明,基于多主体影响图及关联图的框架不仅为军事决策提供了新的分析和建模途径,而且同现有方法相比具有多方面的优势。     

基于KL距离的交互式动态影响图近似算法

交互式动态影响图(interactive dynamic influence diagrams, I-DIDs)状态空间太大,候选模型的数量随时间变化而呈指数倍增长。针对其备受计算量困扰的问题,提出一种利用近似行为等价原理与区别模型更新算法(discriminative model updates,DMU)相结合的近似算法。首先给出了基于Kullback-Leibler (KL)距离模型行为等价和近似行为等价的定义,然后基于KL 距离和候选模型的动作对候选模型聚类,自上而下合并策略树形成策略图,最后利用DMU算法进行求解。仿真结果表明,相对于传统的DMU算法,所提近似算法能显著降低候选模型的数量,提高I-DIDs的效率,对I-DIDs的理论及应用研究具有参考价值。     

模糊影响图评价算法的探讨

模糊影响图是进行风险分析与评价的一种较新的方法，因其直观性和易于理解而受到欢迎，论文就可用于工程项目风险分析的模糊影响图评价算法中存在的问题进行了探讨，研究并改正了其评价算法，最后，通过一个算例，详细说明了改正后的评价算法。     

基于多Agent动态影响图的协作实现

将MAIDs在时间上进行扩展,提出一种新决策模型——多Agent动态影响图（MADIDs）,对动态环境中的协作关系进行建模;给出MADIDs的一种分层分解的分布近似方法,进而通过将决策结点和效用结点的推理引入到BK算法中,给出MADIDs环境模型的一种扩展BK（EBK）近似推理算法;引入一种BP神经网络学习MADIDs的局部效用函数。最后,针对一个表示协作关系的MADID模型,进行算法比较和仿真实验,实验结果显示了MADIDs模型的有效性。     

支持群决策过程建模的层次影响图模型

传统影响图模型不具备对群决策过程的建模能力.针对这一问题, 提出了层次影响图模型. 首先给出了层次影响图的定义,它是一个以层次方式排列的影响图的集合.然后建立了不同影响图之间的三种 消息传递方式,研究了在能够接收外界消息情况下的影响图演算方法.最后使用一个群决策案例展示了建模和求解 的过程.层次影响图采用了分解-联合的建模策略,将影响图的应用范围扩展到群决策领域.     

传统网络总时差计算方法的商榷

本文揭示了传统网络构图模型系统结构的不相容性，从而实现了传统网络总时差的计算是错误的论证。     

基于影响图的空战机动决策模型

把影响图和对策论引入到一对一空战机动决策中。影响图把动力学质点模型、飞行员的偏好以及不确定性考虑到空战机动决策模型中。根据对目标建模的不同，提出了两个影响图模型：第一个模型是随机机动决策模型，第二个是影响图对策模型。最后给出了模型求解方案以及仿真算例。仿真结表明模型的有效性。     

最优箭线图的判定与唯一性

统筹图又叫计划网络图或箭线（工程）图．任给一个有限偏序集（简称序集，其元素叫做工序或作业），要绘制它的一个最优统筹图（含虚工序数最少者）是一个尚未解决的困难问题．本文给出了一个判定一序集存在唯一最优箭线图的充分条件以及绘制这类序集的最优箭线图的方法；并指出：若Ｐ一个序集满足Ｗ－ｆｒｅｅ和Ｍ－ｆｒｅｅ，则Ｐ的最优箭线图唯一且可在多项式时间内作出．