基于STEP方法学的模具产品集成信息建模技术研究

以冲压模具为研究对象,基于ＳＴＥＰ标准方法学,提出了三层结构式的模具产品模型,建立了模具产品集成信息模型ＤＰＩＩＭ。充分考虑模具产品生命周期的特点,将模具产品集成信息模型ＤＰＩＩＭ进一步分为需求信息模型、活动信息模型、产品信息模型及制造信息模型,并探讨了模具产品集成信息模型ＤＰＩＩＭ中集成资源的内容,然后定义了７个基本实体库,以作为具体描述模具产品集成信息模型ＤＰＩＩＭ的基本工具。最后,按照ＳＴＥ     

基于SOA的舰船安全平台集成架构

舰船安全信息化集成的不断深入发展使舰船安全平台需求也发生了一些变化,舰船的安全设施和安全系统的服务化集成成为舰船安全建设的一个亟待解决的问题.针对这种情况,本文提出基于SOA的舰船安全平台集成架构进行设计研究,通过采用EJB组件进行开发,利用WSDL来描述架构集成接口,各个流程的服务设计采用聚类算法,最终设计并实现了一个基于SOA的舰船安全平台集成框架,并给出了舰船安全管理平台服务化集成的算法实现,研究结果表明,数字化舰船中的舰船安全设备与其他舰船安全信息系统可以实现无缝集成,较好的解决舰船安全平台信息资源不能有效共享问题,可以在武器平台舰船信息安全系统里进行实际应用.     

数据资源服务化技术的研究与实现

为解决网络环境下分布式异构数据资源集成共享面临的资源成长性、用户不确定性问题,实现企业内部、跨企业的数据集成共享.文中依据面向服务的思想,采用SDO技术构建通用数据访问模型,并结合Web服务技术实现数据资源的服务化封装,提出了数据资源服务化的概念模理,建立灵活、敏捷的数据资源集成共享机制,最后提出了数据资源服务化的总体集成架构,列出了一次执行流程,验证了其可行性和松耦合性,能够很好地满足分布式异构环境的企业数据资源集成需求.     

基于SOA的柔性分布式仿真框架的设计

为了使分布式仿真系统能够适应复杂仿真中的实现技术、部署位置和仿真流程等不确定因素,提出了一个基于SOA的柔性分布式仿真框架,在分布式环境下,满足跨地域、跨平台的异构仿真单元的集成和交互,并实现仿真流程动态配置与切换。框架基于SOA架构、仿真组件化思想、采用Web服务技术实现仿真服务化封装;在仿真服务接口层为仿真客户端和远程仿真服务提供统一的、基于标准的程序级的调用方法;用仿真服务总线实现对仿真服务的灵活的集成和交互;利用动态加载和实时配置的方法对仿真服务进行管理。经实践证明,框架适用于跨地域的异构平台下流程复杂且多变的仿真需求。     

化学性服务组合

为解决嵌入式系统服务化集成过程中服务的动态组合和重组等应用问题,借鉴化学合成、分子裂解、化学置换、分子复制等化学反应机制,设计了一套化学性服务组合模型.形式化描述了服务组合过程中服务合成、分解、替换、复制等服务行为及其相应的运算演化机制,并在此基础上结合petri网方法给出了服务演化模型,描述了多服务并行和依赖情况下的复合组合过程.最后以指控系统自适应服务组合应用需求为背景,实现了面向任务的服务组合系统,对化学性服务组合模型的应用效果和性能进行了验证和分析.实验结果表明,化学性服务组合模型满足了指控系统自适应服务组合的应用需求,增强了系统的灵活性、可重构性.     

分布式企业服务总线平台数据集成研究及应用

为实现大规模的异构数据集成,解决数据源异地分布的问题,满足不同系统和应用之间的信息交互和共享,设计了一种企业服务总线(ESB)平台下的数据集成模型。该模型采用WSDL和XML描述,能够结合ESB系统的集成场景进行数据集成。提出了一种基于消息流程的负载均衡算法,该算法根据服务执行组件的负载情况和分布式节点的资源状况进行流程节点分配,并将其应用于分布式ESB系统的应用集成模型中,能够高效地处理ESB系统数据传输过程中的大量消息,有效解决应用流程执行时存在的消息处理能力低下的问题。最后,以医疗信息系统集成的仿真应用为例,在采用上述模型和算法的分布式ESB平台上,验证了其在解决大规模异构数据服务集成以及消息处理的负载均衡问题时的可行性和有效性。     

建筑供应链信息共享平台设计与应用

针对建筑供应链异构信息无法充分共享的问题,分析异构信息对信息共享平台的需求,设计基于本体集成的建筑供应链信息共享模型和共享过程模型,提出基于本体集成的建筑供应链信息共享平台,并且描述其中的关键功能模块。论述基于本体集成的信息共享平台如何支持建筑供应链的信息共享。结果证明,基于本体集成的建筑供应链信息共享平台能够更有效地检索信息、学习领域知识及支持决策。     

基于模型的飞机电滑行系统设计与研究

详细介绍了基于模型的飞机电滑行系统的开发流程与方法,并对其进行了集成仿真分析。利用Matlab/Simulink建立了电滑行系统需求的行为模型,利用Simscape建立了电机物理模型,根据电滑行系统架构进行多专业的联合仿真,验证系统的功能、性能和接口信息等。通过模型的方式实现了对系统设计的分析和确认,实现系统的图形化设计与传递,以及系统需求、系统架构、仿真模型的可追踪与追溯性,在系统开发早期验证设计,能发现潜在问题,从而避免设计的迭代。应用集成仿真验证了模型在电滑行系统设计中的指导作用。     

建模与仿真服务化研究综述

建模与仿真服务化是提升用户体验,支撑按需访问建模与仿真能力的有效手段.本文首先从建模与仿真服务的访问、开发以及运行与管理三个层面对建模与仿真服务化的概念进行辨析;并从服务的分类、抽象层级、基本元素和状态四个角度对建模与仿真服务的特征进行阐述.然后从基于网页的仿真、基于面向服务架构(Service oriented architecture,SOA)的仿真系统开发和服务化基础设施三个维度对建模与仿真服务化的发展历程进行梳理.在此基础之上,分析了基于云的建模与仿真服务化的构建原则、基本架构和应用模式,并从访问、开发以及运行与管理三个层面给出建模与仿真服务化相关的支撑技术.最后,从理论体系、关键技术和新兴技术三个方面给出进一步发展建模与仿真服务化的建议.     

基于VITAL语言的FPGA板级仿真验证研究

数字电路在投产前的功能验证工作至关重要.随着器件工艺的进步,单片FPGA上集成的功能越来越复杂,按照改进样机的流程开发,应用FPGA芯片的电子系统时,在产品上市时间和产品开发费用等方面逐渐超出设计者的预算值;而仿真验证方法是由仿真程序,如ModelSim,载入板上元件的模型信息、布局和互连信息,并在激励文件作用下产生系统输出的虚拟验算方法,具有省时,成本低、调试方便和有利于升级换代等优点.介绍用于元件建模的VITAL语言的基本规则及其描述电路模型的基本方法,应用FPGA的快速比较网络的仿真结果表明,仿真验证方法可以有效地提高FPGA系统功能、时序验证的效率.     

Midland: a service-oriented cluster computing infrastructure

Midland is a service-oriented software infrastructure that enables the clustering of arbitrarily large collections of computing resources. The resulting clusters may be integrated to form an open, dynamically configurable computational grid system where each cluster defines a self-reliant and independent management domain. Web Services make up the primary integration mechanism both at the cluster and grid levels, respectively. This is complemented by a light XML based messaging protocol exclusively used for cluster bound interactions. The paper describes Midland’s architecture, and the service-oriented approach taken to develop the associated resource management mechanisms. It also includes an exposition of the model of service capacity which is one of the enablers of the service-centric strategy underlying the cluster management mechanisms. The operational performance of Midland is illustrated experimentally in the context of a Grid test-bed comprising three clusters. The experimental results highlight the performance of the model of service capacity as well as some aspects of Midland operational performance.     

基于Petri网业务流程建模及到BPEL4WS的转换

BPEL语言是一种功能强大的描述业务流程的计算机可执行标准语言,在SOA（面向服务）架构中扮演着将服务串联成商业流程的灵魂角色。但是由于它的不够直观和代码冗长等缺点,BPEL不适合直接用于业务流程的抽象建模。因此研究其它抽象模型与BPEL间转换就相当有意义。在对Petri网和BPEL语言深入学习的基础上,定义了Petri网的若干部件及部件与BPEL的对应转换,然后提出了如何将业务流程Petri网模型转换成BPEL的算法,并用实例进行分析,验证该算法的有效性。     

面向服务的网络化仿真及运行支撑平台研究

针对分布式仿真技术的发展,结合军事领域内仿真系统构建和运行的军事需求,以面向服务技术为基础,提出了面向服务的网络化仿真构建和运行模式,以满足未来军事系统中仿真的新需求.介绍了网络化仿真的概念及特征,详细分析了网络化仿真运行支撑平台以及相关核心服务,重点研究了运行支撑平台体系结构以及网络化仿真应用服务的构建与运行.最后给...     

基于OSGi和动态QoS管理的家庭网关设计

OSGi规范定义了连接家庭内外的基于服务的框架，它通过家庭网关给终端用户提供各种具体的服务，比如家庭安全控制和智能家居监控等，本文分析了目前基于OSGi的家庭网关存在的服务质量问题，采用了一种动态自适应的QoS管理的解决方法，它在基于OSGi的框架中通过增加任务控制和动态参数转换模块提供灵活的QoS服务，文章给出了具体的设计模型，最后进行了有关的实验测试．     

基于SOA技术的教学管理系统研究

针对当前一般学校教学管理的现状,以及对教学管理系统的需求,从分析面向服务的软件架构相关技术入手,结合网络教育技术,提出一种基于面向服务体系结构框架下的教学管理系统模型,旨在为教学职能部门提供一种实现网络信息化管理的新模式,以期通过信息化手段提高管理水平和工作效率。     

Towards an accurate evaluation of quality of cloud service in service-oriented cloud computing

Cloud computing promises to provide high quality, on-demand services with service-oriented architecture. However, cloud service typically come with various levels of services and performance characteristics, which makes Quality of Cloud Service (QoCS) high variance. Hence, it is difficult for the users to evaluate these cloud services and select them to fit their QoCS requirements. In this paper, we propose an accurate evaluation approach of QoCS in service-oriented cloud computing. We first employ fuzzy synthetic decision to evaluate cloud service providers according to cloud users’ preferences and then adopt cloud model to computing the uncertainty of cloud services based on monitored QoCS data. Finally, we obtain the evaluation results of QoCS using fuzzy logic control. The simulation results demonstrate that our proposed approach can perform an accurate evaluation of QoCS in service-oriented cloud computing.     

一种新型的仿真试验系统构建方法

以“网络化仿真”应用为需求,结合面向服务技术体制,首先介绍一种以任务共同体为形态的仿真试验系统构建和运行方法;提出仿真任务共同体的概念模型和应用模式;然后,分析仿真任务共同体运行的支撑环境,提出平台架构和任务共同体的构建流程;最后展现实现的部分核心服务功能。     

时钟有限自动机模型及其演化算法

传统分布仿真系统时钟不一致影响因素分析方法,已不能满足当前面向服务分布仿真的时钟状态分析需要。从系统全局时钟演化出发,阐述了时钟状态演化内涵与过程;在此基础上,基于有限自动机理论,提出了用于时钟不一致影响因素量化分析的动态演化模型及其算法:时钟有限自动机CFSA和时钟一致性演化算法CCEA。仿真实验表明:相比传统的分析方法,使用CFSA模型及其CCEA演化算法刻画系统时钟一致性状态变迁过程,探寻各种不一致因素的影响机理,量化分析各因素的影响程度等具有可行性、有效性和新颖性,可为面向服务分布仿真中时钟同步算法设计提供指导性建议。     

On Testing and Evaluating Service-Oriented Software

As service-oriented architecture matures and more Web services become available, developers must test an ever-increasing volume of services. A framework that defines and evaluates test-case potency based on coverage relationships can reduce testing effort while maintaining testing's effectiveness.     

Simulation of service-oriented and distributed manufacturing systems

In this paper modeling and simulation is discussed in the context of distributed manufacturing systems (DiMS). The DiMS concept aims towards efficient and innovative collaboration that integrates design and development activities of manufacturing systems. A DiMS, described formally as a digital manufacturing system, is a competent basis for the modeling and simulation of manufacturing systems. The activities of the simulation model are described on the basis of a service-oriented approach in which content of the services is completely known. Micro, meso, and macro manufacturing levels are applied to the modeling and simulation. By means of these levels the hierarchy of the communication of the services is illustrated. An example is described in which modeling and simulation is used to proceed from ideas to efficiently operated manufacturing systems.