扩展有限递归进程模型

扩展有限递归进程模型上海交通大学自控系黄典伟，吴智铭主要讨论离散事件动态系统的建模问题。由Ｋ．Ｉｎａｎ和Ｐ．Ｖａｒａｉｙａ提出的有限递归进程（ＦＲＰ）是描述并发离散事件动态系统的有力工具，但该ＦＲＰ中没有定义对数据变量的操作和条件转移算子。本文将ＦＲ...     

基于扩展有限状态机模型的故障检测

提出了基于扩展有限状态机的故障检测模型和检测算法。该模型对软件中的故障进行了形式化定义和描述,检测算法对故障模型中的状态变迁进行缩减,检测故障模型的部分状态变迁,进而可以有效缓解状态空间过大而引起的时间和空间效率问题,从而最大限度地发现被测系统中的故障;最后给出了一个简单协议来加以分析和验证。实验表明,该算法可以快速准确地定位软件中故障发生的位置。     

扩展时间事件图的能达性与能控序列

利用图论方法在双子结构中研究扩展时间事件图的某些问题,获得了能达性的一个充分必要条件和基于能达性的标准结构。在此基础上,把监控理论中的能控序列的分量分为本质不同的３类,进而得到能控序列的简化求解方法。     

递归神经网络的结构研究

从非线性动态系统的角度出发,对递归动态网络结构及其功能进行详尽的综述。将递归动态网络分为三大类：全局反馈递归网络、前向递归网络和混合型网络。每一类网络又可分为若干种网络。给出了每种网络描述网络特性的结构图,同时还对多种网络进行了功能对比,分析了各种网络的异同。     

基于有限状态进程的事件约束定义

测试分布式程序需要定义事件约束来检测程序执行产生的事件序列.事件约束需要根据程序的规约来推导.FSP是一类描述并发程序形式化规约的进程代数记法.它将并发进程描述为动作序列,其中动作可对应到规约级事件.E-CSPE约束在给定状态谓词下定义前后运行事件间的顺序关系.根据FSP的操作符和并发控制机制可推导E-CSPE约束.推导出来的E-CSPE约束考虑到并发程序的安全和进展属性,可据以判断程序运行的正确性和测试的充分性.     

基于通信扩展有限状态机的测试集生成技术

在协议一致性测试中,选择恰当的测试例至关重要。文章介绍协议一致性测试的基本概念及有限状态机和扩展有限状态机的测试模型,重点探讨基于通信扩展有限状态机的测试集生成技术。     

离散事件动态系统多模型集成控制理论

本文讨论现有各种DEDS模型和理论之间的关系以及建立统一的DEDS理论的可能性问题,主要内容包括:DEDS的复杂性以及对它采用多重模型描述和递阶控制结构的必要性;对现有理论模型和控制问题进行综述以揭示它们作为“知识块”看待时其间的相互联系;集成的方法论和为此目的运用人工智能技术的重要性。     

基于扩展有限状态机的诱骗服务器关键技术研究

作为防火墙和入侵检测的有效补充,诱骗服务器成为网络安全的越来越重要的部分,本文在对当前诱骗服务器的研究水平进行了仔细分析的基础之上,提出了使用有限状态机理论来构建诱骗服务器的方案,并对其中的关键技术做了详细阐述。     

A Nondeterministic Extension over Finitely Recursive Process Model

This paper extends the Finitely Recursive Process framework introduced by Inan and Varaiya for modelling Discrete Event Systems to encompass nondeterministic processes. Nondeterminism has been captured as a set of possible deterministic futures instead of using the standard failure model of Communicating Sequential Processes. In the beginning a general structure of finitely recursive process space is provided with some important modifications. Next, the nondeterministic process space has been introduced as a special case of the general algebraic process space. A collection of operators has been defined over this nondeterministic process space that enables its characterisation in a finitely recursive manner. Finally, the advantages and disadvantages of the proposed model vis-a-vis other nondeterministic models of discrete event systems are discussed.     

线性连续系统模型离散化的递推算法

利用简单的数学工具实现了线性连续时间系统向离用时间系统的转换。算法既避免了矩阵的求逆运算，又可同时获得系统的脉冲传递函数，也可用于离散状态方程时的求解。仿真结果表明，所得结果对于连续时间系统的计算机仿真分析和控制是有效的。     

一种扩展的工作流过程定义模型

提出了一个支持复杂应用的扩展工作流过程定义模型ScopePModel，它可以描述复杂结构的工作流流程，并且能够清晰地描述任务之间的控制流依赖关系和任务的补偿信息，表达出复杂工作流程的定义；同时，本文所提出的工作流过程定义模型ScopePModel，不仅可以捕捉现实世界业务流程，具有丰富的表达能力，使工作流定义的语义更为明确，而且为工作流过程定义模型验证提供了强大、丰富的理论依据，为工作流过程定义模型验证奠定了良好基础．ScopeWork是我们自行研制开发的工作流管理系统的原型系统，它基于该模型实现了复杂业务过程的工作流过程定义以及调度等功能．     

Rewrite-Based Satisfiability Procedures for Recursive Data Structures

If a rewrite-based inference system is guaranteed to terminate on the axioms of a theory and any set of ground literals, then any theorem-proving strategy based on that inference system is a rewrite-based decision procedure for -satisfiability. In this paper, we consider the class of theories defining recursive data structures, that might appear out of reach for this approach, because they are defined by an infinite set of axioms. We overcome this obstacle by designing a problem reduction that allows us to prove a general termination result for all these theories. We also show that the theorem-proving strategy decides satisfiability problems in any combination of these theories with other theories decided by the rewrite-based approach.     

非线性随机离散系统推广卡尔曼滤波方法收敛性分析

讨论了非线性随机离散系统的推广卡尔曼滤波算法的收敛性 .基于BoutayebM的一阶线性化技巧 ,得到了确保局部渐近收敛的充分条件     

On Concurrency Control in Multidatabase Systems with an Extended Transaction Model

A major concurrency control problem that we have to cope in multidatabase systems is the global deadlock detection and resolution problem. This detection must take into account the autonomy of local systems, which make impossible the visibility of the state of local transactions. A well-known approach to detect such deadlocks, called potential global deadlocks, is one based on the potential conflict graph (PCG) appropriate for the multidatabase transaction model with a global commit protocol. This classical transaction model is very constraining for applications manipulating great volumes of information, and where subtransaction terminations (commit or abort) of global transactions are not totally dependant. In this paper we present an effective potential global deadlock characterization, and an efficient potential global deadlock detection algorithm, in multidatabase systems with an extended transaction model more suited for such applications.     

Fault detection and isolation in manufacturing systems with an identified discrete event model

In this article a generic method for fault detection and isolation (FDI) in manufacturing systems considered as discrete event systems (DES) is presented. The method uses an identified model of the closed-loop of plant and controller built on the basis of observed fault-free system behaviour. An identification algorithm known from literature is used to determine the fault detection model in form of a non-deterministic automaton. New results of how to parameterise this algorithm are reported. To assess the fault detection capability of an identified automaton, probabilistic measures are proposed. For fault isolation, the concept of residuals adapted for DES is used by defining appropriate set operations representing generic fault symptoms. The method is applied to a case study system.     

离散事件动态系统的混合状态模型

本文通过引入混合状态，使大部分ＤＥＤＳ成为时齐的混合状态马氏过程。然后用半群理论来研究该马氏过程，建立了有关半群算子的偏微分方程，并进一步把该方程转化为积分方程，并证明了积分方程有唯一解，解可由迭代法求出。     

基于规则的软件过程事务模型

事务管理是过程工程环境(PSEE)的一个关键技术.近年来,提出了不少高级事务模型支持长事务.然而,由于软件过程事务处理的特殊性,这些模型只能反映其中一部分需求,而且大多数多层的合作事务模型还不够稳定,无法应用于商业,这对PSEE的事务机制提出了挑战.基于此,提出了一个基于规则的软件过程事务模型E-Process/TM,能够较好地刻画软件过程的特征,即用户交互性、长周期、迭代式过程和数据共享的多用户协作.基于用户可自定义的正确性规则,E-Process/TM提供了良好的灵活性和开放性.目前,该模型已在商业PSEE产品中得以实现,并成功地应用于实践中