基于SOA和MDA的模型重用和组合技术研究

基于复杂产品总体设计部门的模型重用和组合需求,总结了现有的模型重用和组合方法在支持复杂产品总体设计上存在的不足.结合产品设计模型的特点提出了基于面向服务架构(Service-Oriented Architecture,SOA)和模型驱动架构(Model DriVen Architecture,MDA)的模型重用和组合方法,设计了组件模型的接口规范和组合模型描述规范,并在此基础上实现了组合模型代码的自动生成算法.最后将该方法应用于一个基于Web Service的分布式仿真动态组合框架,并给出了相应的应用实例,验证了方法的技术可行性.     

物流的机理和模型

根据物流的定义，试以城市旅客运输叙述物流机理，构造物流随机网络马尔可夫排队模型，拓展了经典排队模型；以企业供应链M/M/n/∞/2为例进行计算，得到了满意的结果。     

基于SOA的分布并行SMP2仿真体系结构研究

为了提高SMP2模型在分布式环境下的互操作与可组合性,提出了基于模型驱动架构的分布并行SMP2仿真体系结构。针对分布式环境模型组合的特点,提出了基于代理的SMP2仿真模型分布式组合方法。针对在分布式环境下进行模型调度的两个问题,提出了基于时间管理器和消息管理器的仿真模型分布式并行调度方法。设计实现了原型系统,包括基于空消息的异步仿真协议时间管理器、基于WebService的消息管理器、仿真控制管理器和仿真应用客户端。最后并以导航系统DOP分析仿真为例,验证了方法的可行性,并讨论了下一步研究方向。

Abstract：

To enhance the interoperability and composability of the Simulation Model Portability Standard 2 （SMP2） in distributed environment, a simulation architecture based on Service-Oreinted Architecture （SOA） was promoted. To satisfy the composition and schedule requirment under destributed environment, a proxy-based model composition method and a model schedule method based on time manager and message manager were studied. A prototype system was designed and implemented, including CMB-based time manager, web-service-based message manager, simulation control manager and simulation client. Finally, an application of Navigation System DOP analysis simulation demonstrates the validity and feasibility of the method.     

基于报童模型的电子采购策略研究

随着企业间竞争的日益激烈，实现先进的供应链管理已成为企业生存的必备条件，而采购管理是降低成本、提高竞争优势的重要环节。论文利用单周期报童模型分析和比较了电子采购策略和传统采购策略的利益机制，量化了Internet在供应链采购管理中的作用，并以实例验证了所给模型和算法的有效性。     

一种基于SOA的指控仿真系统的分层体系结构

针对以往指控仿真系统体系结构对中心服务器的依赖程度大,提出了一种基于SOA（Service Oriented Architecture）的分层体系结构。利用这种结构,运用SCA（Service Component Architecture）方法将指控仿真系统的服务进行构建与组合,在系统交互过程中结合Web服务实现下层功能组件的透明封装和上层服务的灵活调用,从而缓解了中心服务器的数据处理压力,提高了系统的鲁棒性。仿真结果表明：技术的可行性和实用性,同时可以运用这种分层的体系结构来开发其他的具有中心服务器的异构系统。     

电子商务物流系统的建模与仿真

用系统的观点分析了电子商务物流系统的不确定性、非线性、复杂性、多样性、离散性、动态性的特点，并结合计算机仿真的特点，将电子商务物流系统的建模与仿真归纳为对排队、库存、网络或混合形式的仿真，还提出了仿真中要考虑到的两个要点，从而为电子商务物流系统的仿真研究提供了方法。     

机电设备维修备件的柔性采购机制与柔性价值

针对传统机电设备刚性备件采购合同存在的一些难以解决的问题, 如备件需求的不确定性高、缺货损失大的问题, 在备件分类管理的基础上, 提出了基于实物期权的柔性采购方法, 以需求符合几何布朗运动为基本假设, 建立了设备备件采购模型, 并运用二叉树模型法确定了采购机制的柔性价值.应用实例探讨了模型中需求变化、备件价格增长率、附加成本、单位储存成本的敏感性, 验证了此采购机制可有效降低采购商的采购成本, 获得较大的柔性价值.     

基于反向物流的废旧电子产品系统动力学模型仿真与优控

在明确一般废旧电子产品系统动力学(SD)建模方法基础上,以废旧电视机为例进行实证研究.基于部分统计数据为基础,建立SD模型并进行仿真,得出以发展经济为主要目标的发展型模式、以废电视机控制为重要目标的抑制型模式和以可持续发展为基本目标的协调型模式.经过比较认为,以可持续发展为基本目标的协调型模式是实现废旧电子产品控制和社会经济可持续发展的最佳模式.     

物流系统三色Petri网建模与分析

针对物流系统的一些特点 ,提出了一种三色 Petri网 .给出了三色 Petri网的基本定义 ,分析了该种 Petri网的性质及建模方法 .基于三色 Petri网对自动分拣系统中的物流控制进行了建模 ,并作了一致性、活性、有界性和安全性分析 .实例建模与分析表明了三色 Petri网的有效性 .     

基于Petri网的物流自动化系统建模与仿真研究

本文简要地介绍了物流自动化系统的研究状况，基于Petri网理论，对烟草行业的卷接包车间的AGVS进行了分析，并对该系统构造了一Petri网模型，并进行了仿真研究，仿真结果表明该模型是合理且高效的。     

面向服务的C4ISR系统仿真应用集成研究

新一代C⁴ISR系统在以网络、服务为中心架构的复杂环境中演进发展,对其仿真应用提出了更高的要求。基于面向服务架构(service-oriented architecture, SOA)的思想,构建了面向服务的C⁴ISR仿真应用集成体系架构（CSA-SOA）,在该架构基础上设计了仿真应用集成的动态组建过程;描述了仿真应用集成运行的几类关键支撑服务;应用XML语言设计了仿真服务组件和仿真应用的描述规范,同时对仿真运行过程中服务之间的交互与时序关系进行了描述。最后,在某作战指挥系统的集成联试中应用CSA-SOA,通过该服务架构和运行机制,实现了C⁴ISR系统仿真应用的有效集成和无缝连接。     

Comparative analysis on traditional procurement and e-procurement strategy of supply chain

With increasingly intense competition between enterprises, the realization of advanced supply chain management has become an exquisite premise for the survival of firms. Procurement management is an important means to reduce costs and to enhance the competitive advantage. By exploiting the single period newsvendor model, this paper analyses and compares the benefit mechanisms of e-procurement and traditional procurement to quantify the effect of the Internet on supply chain procurement management in a neutral e-market. This work was partly supported by the National Natural Science Foundation of China under Grant No. 70125004 and 70572050. Guangshu Chang is a lecturer of Zhengzhou Institute of Aeronautics. He received his master degree from Zhengzhou University in 2000. His research interests include e-commerce, supply chain management and quality management. Jichao Xu is a professor of Zhengzhou Institute of Aeronautics. His research interests include quality management and quality engineering. Jianfeng Yang is a PhD student of Management School, Northwestern Polytechnical University. His research interest includes quality management. Jinfeng He is a PhD student of Management School, Northwestern Polytechnical University. Her research interest includes quality management. Li Zhang is a PhD student of Management School, Northwestern Polytechnical University. Her research interest includes quality management.     

基于背景值和边值修正的GM(1,1)模型优化

针对灰色GM(1,1)预测模型提高精度的问题, 提出了新的背景值优化公式代替传统的背景值优化公式, 再进行边值修正的方法. 该方法采用新的背景值优化公式求出紧邻均值生成序列, 并使用均方误差和最小准则, 针对原始序列和生成序列进行边值的修正. 通过对优化后的模型实证测算, 验证了修正后的模型在提高预测精度上的可行性和有效性.     

基于DoDAF的有人/无人机协同作战体系结构建模

有人/无人机(manned/unmanned aerial vehicle, MAV/UAV)协同作战是未来战场中重要的空中作战模式。由于MAV/UAV协同作战体系系统复杂、涉及作战节点多,需从系统工程的角度对整体作战体系进行顶层设计,并采用统一的结构框架对该体系结构建模。首先,引入美国国防部体系结构框架(Department of Defense architecture framework, DoDAF),提出一种体系结构快速开发方法,并给出开发步骤。然后,利用视图模型,对MAV/UAV协同作战体系的系统功能、作战任务活动、各作战节点的信息交互及组织关系等建立模型。最后,通过动态仿真对模型进行验证。结果表明,所提作战体系的执行状态与预期的作战流程一致,体系结构设计合理,系统内各作战节点定义及信息体系结构描述具备一致性和协调性。     

基于DoDAF的有人/无人机协同作战体系结构建模

有人/无人机(manned/unmanned aerial vehicle, MAV/UAV)协同作战是未来战场中重要的空中作战模式。由于MAV/UAV协同作战体系系统复杂、涉及作战节点多,需从系统工程的角度对整体作战体系进行顶层设计,并采用统一的结构框架对该体系结构建模。首先,引入美国国防部体系结构框架(Department of Defense architecture framework, DoDAF),提出一种体系结构快速开发方法,并给出开发步骤。然后,利用视图模型,对MAV/UAV协同作战体系的系统功能、作战任务活动、各作战节点的信息交互及组织关系等建立模型。最后,通过动态仿真对模型进行验证。结果表明,所提作战体系的执行状态与预期的作战流程一致,体系结构设计合理,系统内各作战节点定义及信息体系结构描述具备一致性和协调性。     

基于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建模技术在特定领域效能分析方面的不足。     

基于数量柔性契约与Markov链的应急物资采购模型

突发灾害是以一定概率发生的随机事件,其状态总是不断发生转移,使政府已采购的应急物资在状态好转时易造成浪费,在状态持续恶化时难以满足突发需求,因此考虑突发灾害状态转移的应急物资采购策略对提升政府应急物资保障能力至关重要.本文将突发灾害状态转移过程视为一个有限次的齐次Markov链,构建了基于数量柔性契约的应急物资采购模型,分析了政企达成合作的条件与双方最优决策策略.采用数值计算与敏感性分析验证该模型的有效性,讨论了若干外生变量对政企最优决策策略与双方成本收益的影响,提出了重要的管理启示.结果表明,突发灾害状态转移情形下的应急物资采购模型既能提高政府应急物资保障能力,又可以保障企业合理收益与控制政府成本.     

基于功能依赖的网络信息体系建模及重心分析

功能依赖是大型复杂系统性能或体系能力生成的重要影响因素之一, 各类要素实体间功能依赖关系的表示、识别和度量是复杂体系研究的重要问题。通过对网络信息体系(networked information system of systems, NISoS)中要素系统间交互行为的依赖性分析, 基于功能依赖网络(function dependency network, FDN)构建了NISoS依赖网络模型(dependency network model of NISoS, DNMN)。综合考虑NISoS作战属性与任务完成效果, 提出了体系节点重要性的度量指标, 在此基础上给出了一种体系重心度量方法。最后, 通过某海上方向联合作战NISoS实例计算, 演示验证了提出的体系模型和重心度量方法的有效性。     

基于高斯混合模型的光纤罗经误差概率分布建模

针对船用光纤罗经误差的概率分布不完全符合高斯分布的情况, 提出了一种基于高斯混合模型(Gaussian mixture model, GMM)的光纤罗经误差概率分布函数(probability distribution function, PDF)建模方法。该方法使用多个高斯分布的线性叠加来拟合光纤罗经误差的概率分布, 并结合一种鲁棒性的期望最大化(expectation maximization, EM)算法来估计GMM中的参数。仿真分析和实测数据验证, 相比于使用单一的高斯分布, 基于所提方法建立的光纤罗经误差概率分布更加符合该导航设备误差的实际概率分布。     

农业物流管理信息系统研究

在市场经济环境下，分析了农产品生产的特点，并针对这些特点研究了基于Internet的农业物流管理信息系统，给出了系统结构框架和可行方案。该系统贯穿农业物流各个环节，包括门户网站、订单管理、运输管理、仓储管理、决策支持、平台维护管理、接口等子系统，它将有利于提高农业生产的整体效率，形成规模效益。图1，参5。