业务流程建模中流程校验的研究与实现

随着计算机网络技术的迅速发展,企业的信息化程度不断提高,以自动化流程为核心理念的工作流管理系统应用越来越普及,对工作流管理系统的可靠性和正确性要求也越来越高.提出了一种工作流建模时的验证方法:在工作流管理系统的工作流建模环境中加入流程验证模块,对建模过程中可能产生的错误进行验证,进而建立简洁实用的流程;通过分析流程中的异常和失败的类型,增强系统的纠错能力,减少引擎处理的压力;对有着特殊应用的建模过程,能够方便地添加自定义的验证条件,为流程的正确运行提供有效的保障;向基于规则化的工作流系统提供建模完整性的方案,获得系统工作流的稳健性.     

黄页服务的合同网在编队武器目标分配中的应用

海上舰艇编队协同作战面临的环境日益复杂,其武器目标分配呈现出了多智能体系统的涌现性、协同性和动态性.将编队武器目标分配问题转化成多智能体系统来研究,根据黄页概念建立了编队武器智能体的黄页服务,运用基于黄页服务的合同网协议实现了编队范围内的武器目标分布式分配.     

消防给水系统设计审查及验收常见问题

消防给水系统是建筑给排水系统中的一个重要组成部分,是保障消防安全的基础设施.从消防设计审查的角度出发,提出消防给水设计中的常见问题以及设计中不太重视的消防排水问题;从消防验收的角度出发,列出消防工程验收过程中呈现的常见问题,以期引起重视.     

论管理协议细栈MTS的构造

开放系统互连管理 OSIM 是 OSI 参考模型中定义的特定应用服务元素 SASE 之一,也是唯一涉及全部七层协议的服务元素。OSIM 在控制和协调 Multivendor 和 Multidomain系统中所起的作用已使它成为改进网络性能和服务水平的关键性因素。并非所有开放系统均能提供全七层支持,因此,本文提出一种管理协议细栈 MTS(Management Thin Stack)结构,讨论了它自身的构造性特及其在上述管理环境下的作用。     

ATM协议识别方法及其受系统误码分布的影响分析

分析了协议识别的概念,提出了用于ATM协议识别的策略及其状态机模型,建立了系统误码的分布模型,通过理论公式推导与仿真,重点对δ、α的取值及其对ATM协议识别概率的影响进行了分析。     

坦克数据通讯网中的协议分析

通过对坦克车内局域网1553B协议的分析,并与一般计算机通信标准局域网做对比,指出不能用标准局域网协议和纶构取代1553B协议。参考 ISO开放系统互连的协议模型,对1553B协议进行了分层设计和进一步构想。     

分布式BGP协议体系结构

随着Internet规模的扩展和连接密度的增加,作为域间路由标准的BGP协议面临严峻挑战。集群路由器的出现,其分布式的计算资源、存储资源以及体系结构上的高度可扩展,有利于解决BGP协议面临的这些问题。在分析BGP协议体系结构无法适应集群路由器分布式特点的基础上,通过对BGP协议功能的解耦合,提出一种新的、分布式的BGP协议体系结构。与传统方式相比,分布式BGP体系结构能够充分利用集群路由器的分布式的计算资源和存储资源,在协议可靠性、管理维护成本、协议多维可扩展性和简化BGP网络设计等方面具有极大优势。     

Priori information analysis of optocoupler accelerated degradation experiment based on failure mechanism verification test

The optocoupler is a weak link in the inertial navigation platform of a kind of guided munitions. It is necessary to use accelerated storage test to verify the storage life of long storage products. Especially for small sample products, it is very important to obtain prior information for the design and implementation of accelerated degradation test. In this paper, the optocoupler failure mechanism verification test is designed and the experimental results are analyzed and the prior information is obtained. The results show that optocouplers have two failure modes, one is sudden failure and the other is degradation failure; the maximum temperature stress of optocoupler can't exceed 140 °C; the increase of leakage current of optocoupler is caused by movable ions contaminating the LED chip. The surface leakage current is proportional to the adsorption amount. The increase of leakage current makes p-n junction tunneling effect occur which LEDs the failure of the optocoupler. The lifetime distribution model of the optocoupler is determined by the failure physics. The lifetime of the optocoupler is subject to the lognormal distribution. The degeneracy orbit of the optocoupler leakage current is described by a power law model. The estimated values of the orbital parameters are initially calculated and the parameters of its life distribution function are deduced. The above information lays a good foundation for the optimization design and data processing of the accelerated degradation experiment.     

基于扩展标记变迁模型的时钟同步协议正确性验证

时钟同步协议是时间触发网络的一个重要组成部分,是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模,基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步网络协议的正确性,也表明了扩展标记变迁模型对于协议验证的有效性。     

参数化系统二维抽象框架

针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题。理论推导和实例均证实了TDA的正确性和合理性。