基于UML/ADL集成建模方法的集成计划模型研究

以集成供应链管理(ISCM)软件开发项目为研究背景，阐述UML与ADL集成建模方法在集成计划模型中的应用问题。首先用UML方法构建了一个集成计划系统的对象结构模型和行为模型，其中关键是提出了一个全新的计划集成构架，并引入了代理对象技术；进而重点讨论了基于ACME的集成计划软件构架设计问题，给出了一个可实现的构架模板；最后指明UML和ACME两种建模方法有效结合的实用价值。所提出的软件构架和集成建模方法论经工程验证是可行的，并取得了良好的应用效果。     

UML／OOPN集成建模技术研究

文章探讨了可视化面向对象方法与对象Petri网（00PN）方法的集成建模问题。首先根据两种方法的互补性，阐述了UML／OOPN模型的语义定义、图符定义和形式定义；进而以电子支付领域应用为例，提出了UML／OOPN模型的转换与集成优化方法；最后给出了基于体系结构描述语言的软件构架模板。所提出的集成建模方法和研究模型在电子商务软件开发中取得了良好的效果。     

一种利用UML的Petri网软件实现方法

Petri网既是一种图形化建模工具，又是一种形式化数学工具。Petri网具有对并发、并行、分布、异步系统进行验证仿真的能力。但是，Petri网是用来描述和分析要开发的系统模型的工具。不是计算机的实现工具，必须要通过一定的方法才能将Petri网用软件来实现。由于UML(统一建模语言)具有友善的用户界面，易于编程实现，故提出一种利用UML作为过渡的Petri网软件实现方法。     

UML-OOPN集成建模方法及其在柔性制造系统的应用

针对柔性制造系统FMS(Flexible manufacturing system)建模特点,提出了UML-OOPN集成建模方法。该方法是用UML(the Unified Modeling Language)建立柔性制造系统FMS(Flexible manufacturing system)模型,然后将该模型映射为面向对象Petri网OOPN(Object-Oriented Petri Nets)网模型,通过Petri网模型的分析和仿真,其结果可用于修正和改进模型设计。     

基于UML和对象Petri网的分布式工作流系统建模方法研究

提出了一种融合UML和对象Petri网优点的分布式工作流系统的建模方法，利用UML的扩展机制进行了有关工作流特性的扩展：定制了合同、端口、通信协议块等版类，建立了合同化的层次体系结构；为了对建立的模型进行严密的数学分析和模拟，又提供了从UML模型到对象Petri网的转换机制。     

基于对象着色Petri网的UML模型研究

UML广泛应用于软件建模，但缺乏有效的模型检测的方法，使用形式化方法对UML模型进行分析，可以发现UML模型的设计问题，提高UML模型的质量。对象着色Petri网是一种拥有接口库所的模块化着色Petri网，既是一种图形化建模工具，又是具有严格的语法语义定义的形式化方法。通过引入事件托肯，改进了将UML模型转换为对象着色Petri网的方法，结合实例将UML状态图和协作图映射为对象着色Petri网模型。并用着色Petri网的方法和工具对模型讲行了分析．验证了模型的一系列性质．     

基于UML-OCPN的嵌入式系统建模

针对统一建模语言（UML）缺乏精确的形式化的语义描述而不能对其所建模型进行分析和验证的难题,提出一种改进的建模方法——UML-OCPN方法。该方法结合UML和对象着色Petri网（OCPN）的优点,使用UML进行建模,将其转换为Petri网模型再进行模型验证。实验结果证明,该方法能较好地解决单一使用UML或Petri网建模时出现的无法进行验证、需要开发人员具备较高数学水平等问题。     

层次建模分析方法在C4ISR系统中的应用

C4ISR系统是一个规模庞大、层次分明的离散动态系统。文章提出了一种面向C4ISR系统的UML和Petri网结合的建模分析方法。该方法采用从上到下的层次分析方法。用扩展的UML模型对系统组织结构和系统的静态特征进行描述,用扩展的Petri网模型描述和分析系统动态特性,通过相应的规则将Petri网模型转化成状态图和序列图。新方法可以对系统要求进行验证,同时还可以编程实现。最后通过该方法,对一个C4ISR系统进行了建模分析。     

基于消息顺序图和Petri网的移动应用监测平台建模分析

随着移动互联网的迅猛发展,移动应用的数量呈现井喷式的爆发,对其性能、故障和短板进行实时、有效的监测与分析是保证系统正常运行的关键。统一建模语言(Unified Modeling Language,UML)作为一种功能较强的面向对象的图形建模工具,可以对移动应用监测平台进行建模分析,但在其过程描述中缺乏严格的语义。Petri网作为一种离散事件动态系统的建模和分析方法,提供了在逻辑时序下研究系统特性和性能的有效手段,并具有图形方法的直观性和逻辑方法的概括性。通过将基于UML消息顺序图和Petri网的建模方法应用到移动应用监测平台的分析过程中,针对用户下发的监测任务构建系统的消息顺序图和Petri网模型,利用消息顺序图对平台各对象之间在时间顺序上的交互关系进行了验证,并利用Petri网化简规则和状态方程对该模型进行了结构上的正确性验证和可达性分析。     

基于对象着色Petri网的UML模型研究

UML广泛应用于软件建模,但缺乏有效的模型检测的方法,使用形式化方法对UML模型进行分析,可以发现UML模型的设计问题,提高UML模型的质量。对象着色Petri网是一种拥有接口库所的模块化着色Petri网,既是一种图形化建模工具,又是具有严格的语法语义定义的形式化方法。通过引入事件托肯,改进了将UML模型转换为对象着色Petri网的方法,结合实例将UML状态图和协作图映射为对象着色Petri网模型。并用着色Petri网的方法和工具对模型进行了分析,验证了模型的一系列性质。     

基于组合智能的网络入侵检测模型

提出了一种基于组合智能的入侵检测模型,入侵检测中存在的主要问题是数据特征属性多,以及存在不完整数据问题。如果一个实际的入侵检测系统不对数据进行处理,则无法准确地检测到入侵行为。为解决这个问题,本文利用组合智能方法,通过对数据特征属性的约简,将输入信息模糊化和数据本身的训练和学习,能够解决入侵检测中存在的问题,该模型有较好的数据处理能力,实验结果表明引入组合智能后的入侵检测效率大大提高。     

Integrated assessment and modelling: Overview and synthesis of salient dimensions

Integrated assessment and its inherent platform, integrated modelling, present an opportunity to synthesize diverse knowledge, data, methods and perspectives into an overarching framework to address complex environmental problems. However to be successful for assessment or decision making purposes, all salient dimensions of integrated modelling must be addressed with respect to its purpose and context. The key dimensions include: issues of concern; management options and governance arrangements; stakeholders; natural systems; human systems; spatial scales; temporal scales; disciplines; methods, models, tools and data; and sources and types of uncertainty. This paper aims to shed light on these ten dimensions, and how integration of the dimensions fits in the four main phases in the integrated assessment process: scoping, problem framing and formulation, assessing options, and communicating findings. We provide examples of participatory processes and modelling tools that can be used to achieve integration.     

综合武器系统数据库的研究

介绍了综合武器系统数据库(JWSDB)的基本概念，论述了JWSDB的物理模型和体系结构，并提出了一种JWSDB集成的方案，最后论证了我国建立JWSDB的必要性和可行性。     

Web应用集成框架研究

在分析当前Web应用中存在的问题的情况下,简要综述了集成框架,提出了一个Web应用集成框架WebFrame,并详细阐述了主要模块的设计,最后展望了今后的发展趋势和研究方向。     

基于校园网的一卡通系统安全性分析

本文从数据存储的安全性和数据传输的安全性两方面分析了基于校园网的一卡通系统的安全性，提出了保证一卡通系统安全运行的一些安全策略。实践证明了安全策略的有效性。     

城市轨道交通综合监控系统的技术发展

本文通过分析城市轨道交通综合监控系统的技术现状,结合自动化、信息化、智能化在工业应用中深度融合的趋势,指出城市轨道交通综合监控系统将在现有以实时监控为主要应用目的的基础上,通过引入多核并行处理、服务器集群、移动应用等主流信息技术,将具备海量数据处理的能力,可满足用户不断增长的信息集成要求和信息安全要求,支撑和引领综合监控系统向智能化方向发展。最后,本文提出了一种新一代城市轨道交通综合信息管理系统的系统框架。     

新型温－湿一体化敏感元件的研究

报道了一种新型温敏和湿敏元件共享一块陶瓷衬底的传感器结构,温度传感器采用半导体氧化物 Ｎ Ｔ Ｃ 材料的厚膜结构,湿度传感器采用高分子电阻型结构,从而实现了温湿一体化。这种传感器不但给温度和湿度的同时测量带来方便,而且使得湿敏元件的温度补偿更为准确,并且具有体积小、价格廉、易于集成、使用方便等特点。     

QoS研究的理论框架以及研究现状(2)

该文从分布式多媒体应用端到端QoS控制的角度,着重介绍了因特网的集成服务模型,最后说明了QoS研究的现状。     

一个用于化工企业的计算机集成基础结构

简介了国家“八五”攻关项目中大型过程工业综合自动化系统集成基础的结构，各分系统的信息交换，以及集成器中的各服务器，该计算成基础结构的永新－沈阳化工股份有限公司运行。