计算斐波那契数列和错位排列数的增广Petri网模型

本文给出了计算斐波那契数列和错位排列数的两个增广Ｐｅｔｒｉ网模型，然后给出了矩阵描述和状态方程分析，最后导出了已知输入值求其输出值的算法。     

次预不变凸集值映射向量优化问题

研究了集值映射向量优化问题的最优性条件和对偶，首先给出了集值映射的次预不变凸概念，并建立了参不变凸集值映射的择一定理，其次应用择一定理获得了集值映射向量优化问题的最优性必要条件，最后给出了对偶问题并推导了对偶定理。     

一般化的结盟结构对策的值

本文给出了一类非常广泛的对策的值，即为结盟结构对策的值，同时给出了对策值存在性及唯一性的证明。     

模糊分析中的结构元方法(Ⅱ)

在模糊数学中，模糊值函数的导数和模糊值函数的积分通常分别是利用区间值函数导数和区间值函数积分模糊集的表现定理给出的。在文献[1]中提出的模糊结构元概念基础上，给出了模糊结构函数和模糊值函数的结构元表示方法。利用模糊数和模糊值函数的结构元表现形式，给出了模糊值函数的微分和模糊值函数的积分（黎曼意义下）运算的等价形式。模糊结构元理论与技术不仅仅为模糊分析计算的简化提供了工具，同时也为模糊分析理论与应用的研究开创了一条新的途径。     

函数的切导数及其性质

依据集值映射的切导数概念，给出了实值函数的切导数，切上导数和切下导数的定义，并讨论其性质，最后给出了在优化理论中实用的广义费马定理。     

模糊数与模糊值函数的结构元线性表示

为使模糊数和模糊函数运算更加简洁，在介绍模糊数与模糊值函数的结构元表示方法的基础上，给出了由模糊结构元任意表示的模糊数和模糊值函数转化为线性生成模糊数和模糊值函数的方法。由于在模糊结构元表示的模糊数和模糊值函数中，线性生成的模糊数和模糊值函数具有形式简单、计算容易的特点，这种方法解决了模糊数与模糊值函数运算的困难问题，具有现实的应用意义。文中还给出了两个计算实例。     

连续参数集值拟鞅及Rao分解

给出了连续参数集值拟鞅的定义及连续参数集值拟鞅与实值拟鞅之间关系，并给出了连续参数集值拟鞅的Ｒａｏ分解定理     

区间值模糊集合的分解定理

针对区间值模糊集合，给出了8种截集的概念，讨论了其有关性质，并给出关于区间值模糊集合的分解定理．     

连续参数集值鞅正则与收敛关系定理

给出了连续参数集值鞅的几种收敛定义．利用连续参数集值鞅正则性与收敛性的基本结果，给出了连续参数集值正则鞅与集值鞅收敛的几个关系定理，即在一定条件下，连续参数集值正则鞅具有某种收敛性；在一定条件下，具有某种收敛性的连续参数集值鞅是集值正则鞅．     

关于亚纯函数导数的四值定理的一个注记

本给出了关于亚纯函数导数的四值定理1和推论2，从而推广了[3]中给出的亚纯函数导数的四值定理。     

一种扩展了价格变迁的Petri网及应用

提出一种扩展了价格变迁的Petri网一经济Petri网，讨论了相应的分析方法，并用经济Petri网建立一个业务流程的费用模型。得出的结论包括：为Petri网扩展价格变迁是可行的：将经济Petri网应用于业务流程管理领域是有效的。     

模运算及求最大公约数的增广PETRI网模型

本文同时给出了模运算和求最大公约数的两个增广Petri网模型,然后给出了矩阵描述和状态方程分析,最后导出了已知输入值求输出值的算法。     

基于Petri网的工作流建模及时间性能分析

为求得与实例到达率相关的工作流模型平均完成时间,对Petri网模型进行了扩展,定义了扩展时延Petri网,分析了工作流串联、并联、选择、循环4种基本模型,给出了利用排队论和随机Petri网理论计算工作流模型时间性能指标的新方法。应用该方法对工作流4种基本模型的实例进行时间性能评价,并在Exspect环境进行了模拟测试。实验结果表明,在4种模型中最大相对误差在2%左右,从而证明基于扩展时延Petri网的方法是分析工作流系统时间性能的有效方法。     

事件驱动系统的Petri网建模

 讨论一种事件驱动系统的建模方法,对基本Petri网作一定的扩充,使之具有描述事件/状态、控制结构和系统并行性的能力.     

基于Petri网的ECA规则建模

在Petri网理论基础上,对ECA规则进行了建模研究,建立了基本Petri网模型. 对如何用Petri网表示具有复合事件ECA规则进行了专门分析. 提出了扩展的Petri网系统,并综合考虑ECA规则自身特性,建立了ECA规则系统Petri网模型,比较全面地反映了ECA规则系统特性. 通过构建可达树和变迁序列,可以较为清楚地了解ECA规则系统及其行为特性,便于对规则系统进行合理性验证,以帮助系统管理员对其进行分析和管理.     

一种并发Java程序控制流模型

研究了并发Java程序控制流模型的建模问题.通过深入分析并发Java程序设计语言的语义以及带抑止弧Petri网的建模能力,提出了一种并发Java程序控制流模型--CJCFM,并给出了从并发Java程序构造该模型的方法.CJCFM以带抑止弧Petri网为基础,简单直观,可模拟程序实际运行过程,对并发程序的理解、分析和测试有很大帮助.通过对现有开源Petri网实验平台PIPE的功能进行扩展,可在该平台中直接构造并执行CJCFM.借助成熟的Petri网理论与算法,可验证CJCFM的各种性质,从而达到对源程序进行分析的目的.实验表明:CJCFM能有效协助理解、分析和测试并发Java程序.     

基于随机Petri网的系统性能评价

性能评价是计算机网络和计算机系统研究与应用的重要理论和支撑技术。综述了作者在基于随机 Petri网(SPN)的系统性能评价方面的研究工作 ,内容包括多服务器多队列网络、 SPN非乘积解系统的判定与界限求解、非乘积解系统模型的分解和近似求解、网络系统自相似业务到达、SPN模型的精化设计、含有非 Markov过程的排队 Petri网、基于 SPN的工作流系统、基于 SPN模型的缓冲优先调度策略、扩展时段时序逻辑的推理机制等方面。今后应加强对非Markov模型、综合模型及分解压缩技术等的研究     

基于Petri网的协议测试例自动生成

Petri网支持下的协议一致性测试是协议工程研究中的重要课题.Petri不能很好地支持一致性测试集的自动生成.针对这一问题,分析了对基本Petri网扩展的必要性,提出了一种新的用于支持协议测试的扩展的高级Petri网,揭示了其静态结构和动态行为,并提出了该Petri网到测试描述语言TTCN-3的转换规则.开发了原型系统,并应用于实际的协议一致性测试工作.     

基于集控Petri网方法的面向对象建模和仿真工具

传统的Ｐｅｔｒｉ网方法不能解决实际系统运行中出现的不确定性,资源共享等问题。该文定义了一种扩展有色Ｐｅｔｒｉ网——集控Ｐｅｔｒｉ网方法。它通过引入过程变迁,不确定性弧,全局库所和赋予每个托肯一个数据结构增加了Ｐｅｔｒｉ网的建模能力。重点讨论了使用面向对象方法设计和开发的基于集控Ｐｅｔｒｉ网方法的建模和仿真工具。给出系统的面向对象的类层次结构、核心数据结构和用户界面为了便于和其它建模和仿真工具进行有效的集成,所设计的软件采用了中性文件的机制来保存模型结构和数据。     

一种用于嵌入式系统建模的扩展PRES网

在嵌入式系统设计前期需要对系统建立适当的形式化模型并进行仿真分析。该文在分析现有Petri网模型的基础上,提出了一种EPRES(extended Petri net based onrepresentation for embedded system)模型,并具体给出了相应的结构定义、图形表示和行为规则。EPRES将库所分为控制库所和数据库所两类,引入变迁函数和变迁时延,可以对嵌入式系统的功能实现、资源消耗和时间约束进行描述和仿真分析。给出的使用EPRES对嵌入式系统建模的实例表明,该方法能够较好地解决嵌入式系统的建模问题。