业务活动驱动系统体系结构执行研究

针对可执行体系结构研究中难以将业务体系结构的执行对应到系统体系结构的执行,并最终形成内在一致的执行体,提出了业务活动驱动系统体系结构执行的方法。该方法根据DoDAF中业务活动与系统功能多对多的关系,将业务活动用更详细的业务过程模型进行描述,并将过程模型中的行为单元对应到系统功能并触发该功能的执行。系统功能的执行将相应地触发一系列系统功能的执行,系统功能之间的系统数据交换将通过系统通信描述（SV-2）中的连接来实现,这样就建立起业务体系结构与系统体系结构之间的联系,并最终形成整个体系结构内在一致的执行体。该方法有效地解决了业务活动与系统功能之间多对多,无法形成内在一致的执行体问题,为体系结构的执行提供了一个明确、具体的可实施方案。     

IDEF3过程模型执行性研究

针对静态IDEF3过程模型无法回答能否正确获取系统需求以及是否合理实现系统目标的问题,提出了IDEF3过程模型动态可执行方法.方法说明了IDEF3过程模型可执行的必要条件以及它们之间的关系,给出了主要模型元素执行过程的描述,并详细讨论了IDEF3过程模型执行结果的分析方法,说明了系统需求的获取以及对实现目标合理性的评估.从IDEF3过程模型执行结果分析来看,方法能很好地评估系统需求是否实现,业务过程是否合理,并能对实践产生很好的指导作用.     

基于SysML的可执行体系结构框架

目前可执行体系结构的相关研究缺乏统一的描述框架和分析设计方法.为此,结合系统建模语言(SysML)中的行为图、需求图和结构图,改进美国国防部体系结构框架的三视图体系结构,在此基础上提出一种可执行体系结构框架模型,并规范可执行开发过程.应用结果表明,该框架是可行的,能为下一步体系结构的动态仿真评估验证提供方法指导.     

C4ISR系统性能预测模型生成方法

C^4ISR体系结构框架从多个方面对C^4ISR系统进行描述,体系结构描述过程的结果就是得到一系列体系结构产品.虽然这些信息描述的是系统的静态特性,但是可以利用所获得各种信息,构造系统性能预测模型,以对系统的动态特性进行评估.首先利用活动模型、规则模型、数据模型,生成可执行模型.再构造通信网络模型,估计作战任务之间的通信延迟,将这些时间属性引入可执行模型,生成实时分布计算模型,对C^4ISR系统进行性能预测.     

基于可执行模型的体系结构验证评估方法

信息系统体系结构设计是系统开发过程中的一个关键环节,正确评估体系结构能够提高系统开发效率.基于可执行模型的体系结构验证评估方法是一种有效的验证体系结构评估方法.分析基于可执行模型的体系结构验证评估的特点,提出该方法的评估过程和评估内容.提出基于对象Petri网的可执行模型构建方法,并通过实例说明该方法的可行性.     

一种基于SOADL的Web服务合成方法

服务合成是面向服务的软件开发中的一个重要开发活动.探讨了体系结构设计和服务合成之间的关系,提出了一种基于体系结构的Web服务合成方法.通过自动发现服务以及自动生成过程代码和部署代码,可以将SOADL的体系结构模型转化为一个可执行的BPEL组合系统,来实现Web服务的合成.与其它服务合成方法相比,合成方法可以更好地实现从设计到实现的平滑过渡,提高合成的效率和保障合成后系统与体系结构模型之间的可跟踪性.     

面向Web服务的XKMS模型设计与实现

针对XKMS安全规范应用的局限性,提出一种面向Web Service的XKMS服务模型.该模型将XKMS规范与底层PKI解决方案相结合,构成一个开放的、模块化的体系结构,它通过一个Web服务接口实现不同PKI规范之间的集成.首先给出了该模型的体系结构并详细描述了各模块的功能和执行方法,接着描述了表示数字证书状态的数据结构以及XKMS与底层PKI系统之间进行通信的接口方法,最后用Java实现了所提出的XKMS服务模型的原型系统.实验分析表明,实现的XKMS系统具有良好的安全性能和执行效率.     

元计算系统事件驱动的消息传输模型研究

元计算系统的异构节点间的数据交换可以用多种方法实现，传统方法是分层调用，一次信息的传输必须完整无间断地完成，即只有本次消息传输完成，下一次消息传输才能开始，当消息在应用层以下传送时，应用层必须等待，浪费CPU时间，降低了系统效率，为了克服层次模型的缺点，分析了元计算系统的层次通信模型，提出了一个事件驱动的消息通信模型，论述了该模型的实现方法及其性能，在这个模型下，一次消息传递被看作是一次事件，事件发生时执行事件所指程序，每个事件的执行顺序由优先级管理，事件队列由冲洗函数驱动执行，使用事件驱动模型，消息传递可以流水进行，提高了应用层的通信效率和整个系统的使用效率。     

多机器人远程监控系统的多智能体控制结构

针对多机器人远程监控系统信息错综复杂、协作不稳定的问题,建立基于多智能体(Multi-Agent)技术的系统体系结构,描述系统各组件之间的信息交互关系,优化人-机智能分配。分析系统物理结构的特点,提出一种基于Multi-Agent技术的共享控制系统分层体系结构,结合黑板结构和点对点结构,给出Multi-Agent的混合通信模型。针对遥操作系统的特点,设计一种混合型Agent体系结构,举例研究Agent的实现方法。通过多操作者控制机器人保持队形的实验,验证了该混合型Agent体系结构的实用性和有效性。     

基于RPC的多Agent通信模型的设计与实现

Agent之间的通信是多Agent系统的一个重要组成部分。本文在对Agent和RPC进行分析的基础上,提出了基于RPC的多Agent系统的通信模型,对该通信模型在多Agent系统中的实现步骤和性能进行了具体描述。     

军事组织本体分析

军事组织是作战的重要要素之一,军事组织关系,特别是指挥控制关系、通信关系和联合作战关系,是现代作战结构的核心,其描述对于军事建模仿真、军事训练系统和指挥自动化系统开发具有重要的意义。本文试图建立军事组织的本体框架,以便于组织知识的重用、互操作和知识验证。     

移动组件系统模型的分析与描述

移动计算是新兴的分布式计算范型,其主要特征是计算组件与计算场所能动态改变绑定关系,表现出移动性,从而带来许多新的系统设计需求.从系统模型层次角度对位置、移动组件、移动和资源访问等移动计算核心概念,以及组件与位置之间的各种关系和关系变化刻画的移动范型进行了描述.通过使用集合论和操作语义的规约规则形式地表示这些概念、关系和移动机制,进而抽象出移动系统设计所需的语言结构,为移动系统设计和开发提供了分析基础.     

Secure communications with an asymptotic secrecy model

As knowledge based systems become more sophisticated, communications between systems or among their subsystems often conducted over public channels such as the Internet, wireless medium, etc. To secure communications over public channels, the most often used method is Diffie and Hellman’s public key infrastructure approach. This method requires a trusted third party to verify identifies, which does not play well with independent knowledge based systems, especially in the case of autonomous agents. In this paper, we proposes an asymptotic secrecy model to secure communications between and within knowledge based systems over public channels. The new model assumes that adversaries are storage space bounded, but not computationally bounded. At the initial phase of the secret communication, both parties exchange a large amount of random bits so that adversaries are not able to save all of them due to the storage space limitation. Each party only saves received data. At the second phase, each party regenerates the random bits, combines them with received data, and generates an encryption key iteratively with a one-way hash function. The key is then used to encrypt the future transmissions from one party to the other. After each transmission, the key is also updated iteratively based on data received. Finally, the proposed model is applied to solve some problems in wireless sensor networks as examples to show how the model can be applied for knowledge based systems in general.     

Data communications: IFIP's international ‘network’ of experts

Data communications are essential for any advances in the implementation and operation of distributed systems. A substantial research and development effort is now being directed at the interconnection of the various elements of complete systems. Individuals and groups from a variety of backgrounds are involved in the development of new systems, and communication between them is essential. One of the aims of the International Federation for Information Processing is to promote the exchange of information about data communications — both within and between the developed and developing countries. The structure of IFIP's Technical Committee 6: data communications, and the ways in which it achieves its aims are discussed in detail.     

一种信息系统授权管理安全模型及实现方案

本文提出了一种基于角色的信息系统授权管理安全模型，并对该安全模型的要素及联系进行了深入分析，提出了其数据模型和完整性要求。文中还提出了安全管理智能服务系统SMAS，并对其实现方法进行了详细说明。     

基于DSL的装备保障领域建模

基于领域专用语言构建了装备保障领域的元模型,描述了实体、关系、行为、约束、流程等基本要素,在该模型中,二次开发人员能够方便地对该领域的各类软件系统进行建模,并通过模型精化来自动生成最终的可执行系统。实验证明,该模型是有效的。     

Distributed generic approximate sparse inverses

The need for accuracy in the solution of linear systems derived from the discretization of partial differential equations leads to large sparse linear systems. The solution of sparse linear systems requires efficient scalable methods. Iterative solvers require efficient parallel preconditioning methods to solve effectively sparse linear systems. Herewith, a new parallel algorithm for the generic approximate sparse inverse matrix method for distributed memory systems is proposed. The computation of the distributed generic approximate sparse inverse matrix is based on a column-wise approach, which allows the separation to independent problems that can be handled in parallel without synchronization points or intermediate communications. This is achieved by reforming the generic approximate sparse inverse matrix algorithm and its process of computation with a new partial solution method for the computation of the nonzero elements of each column dictated by the approximate inverse sparsity pattern. Moreover, an algorithmic scheme is proposed for the efficient distribution of data amongst the available workstations, along with a load balancing scheme for problems with large standard deviation in the number of nonzero elements per column. Numerical results are presented for the proposed schemes for various model problems.     

EPA通信模型在嵌入式Linux中的实现

随着以太网技术和工业自动化控制系统的发展,将以太网应用于工业控制领域已取得技术上的突破。根据用于测量与控制数字数据通信——用于工业控制系统的EPA规范,针对EPA通信模型的特点,使用摩托罗拉MPC823硬件平台,建立了嵌入式Linux系统,并通过嵌入式Linux系统开发设计的方法和用线程实现的多任务模型,实现了EPA通信模型和现场设备之间的通信。