自恢复软件系统的建模与分析

不断增长的软件系统复杂性要求系统本身能够实时对资源变化、故障错误进行响应。虽然现在也发表了一些有关自恢复软件系统方面的文章，然而关于这类系统软件体系结构形式化的研究尚属起步；首先分析了自恢复功能软件的运行机制，给出了自恢复软件系统的形式化模型描述；在此基础上，对指挥控制系统（command and control system，简称c2）软件体系结构进行了形式化定义和分析。结果显示所设计的自恢复模型能够满足软件系统的约束条件，提高了系统的可用性。     

Guaranteed Quadratic Stabilization of Certain Time-Varying Large-Scale Delay Ito Stochastic Systems

In this paper, we investigate the decentralized stabilization of some time-varying uncer tain large-scale stochastic systems with delays under matching conditions. A type of decentralized controllers with guaranteed stabilization and sub-optimality are also given.     

基于电子商务单向认证协议的Petri网模型

基于公钥基础设施PKI的安全认证协议是目前电子商务常用的认证协议。根据这个安全认证协议用Petri网协议模型技术构造了单向认证协议的Petri网模型的状态空间。这样就可以进行仿真分析，找到协议的安全漏洞，完善认证协议。     

生产系统Petri网建模与仿真的优化方法

对基本Perti网进行了扩充,包括有色扩展、时间扩展、层次扩展、工作流变量扩展和逻辑变迁的扩展,使之能够对流程活动的核心属性做出描述,从活动的水平和流程结构的角度对系统的性能进行深入研究,并提高现有模型的可重用性。在此基础上,提出了优化的着色赋时Perti网模型,使之能够支持制造企业生产系统流程再造,并提出了一种建立在层次化、模块化和标准化基础上的生产系统建模和仿真方法。这种方法可以将实际系统细化为多个层次的模型,并将生产系统局部作更详细的分析,从而避免了分析整个系统的复杂性。而且,可以通过调整模块和修改模块构造新系统,从而实现生产系统再设计的快速化和柔性化。     

企业参考资源模型的建立

提出参考资源模型结构,并给出其构造方法,研究其在建模导出过程中的支持作用.企业参考资源模型是一个资源的参考目录,在建立特定企业资源模型时,可以直接从参考资源模型中选取所需资源.参考资源模型的建立支持资源重组,缩短建模时间,从而加速建模的进程.     

改进的哲学家进餐问题无饥饿解的Petri网模型

哲学家进餐问题是计算机科学中反映同步与并发的经典示例,活性与无饥饿是求解此问题的基本要求。基于两个许可卡轮转的策略,已经给出了一个无饥饿解的Petri网模型。此模型中可能出现两种情况：一个哲学家正在进餐时,另一张许可卡也轮转到他手中,但此卡只能在进餐后传下去;当两个相邻的哲学家都持有许可卡,并都希望进餐时,被竞争的那根筷子不能确定分配给谁。针对这两种情况,对原模型作了修改,提高了系统的效率。     

制造网格中可参数化服务的匹配问题

针对制造网格中,通过部分可参数化服务的匹配来实现虚拟企业组建的问题,采用Petri网进行此类服务匹配的过程建模,并对匹配问题中的服务和请求作了形式化的描述,建立了此类服务匹配问题的一个数学模型。在此模型的基础上提出了服务匹配算法,进行不同匹配等级下的匹配规则设计,满足企业盟主不同的服务请求。仿真结果表明,该算法在解决可参数化服务的匹配问题时是可行的。     

DMF回收开车过程Petri网的仿真研究

论文研究了采用Matlab环境下stateflow软件包对赋时Petri网(TPN)模型进行仿真的方法，针对工业DMF(二甲基甲酰氨)回收装置，建立了其开车过程的TPN模型，并通过仿真分析获得了可达图，在此基础上采用动态规划方法，给出了DMF开车过程的优化控制方案。     

Petri网及其随机Petri网的性能分析方法

本文研讨和实现基于Ｐｃｔｒｉ网及其随机Ｐｃｔｒｉ网的性能分析方法。文中在Ｐｃｔｒｉ网基本概念的基础上，给出了若干Ｐｃｔｒｉ网典型的模型，讨论了Ｐｃｔｒｉ网的分析方法和分析性质。在此基础上，给出了随机Ｐｃｔｒｉ网和离散时间随机Ｐｃｔｒｉ网的定义，用实例描述了性能分析方法。