Petri网系统的弱公平性判定

本文首先给出了一个Petri网系统的有效可重复向量的两个性质.随后,又给出了用有效可重复向量判断Petri网系统弱公平性相关问题的一个充分必要条件.在一个Petri网系统中,任意的两个变迁ti,tj,则tj弱公平依赖于ti,当且仅当不存在这样的有效可重复向量X,使得X（j）〉0且X（i）=0.最后,用一个实例展示结论的应用过程.     

基于部分状态空间存储的Petri网库所界求解算法

Petri网是一种重要的形式化建模工具,有界性是Petri网的重要性质之一.该文关注于这一性质并提出了一种新的无需存储全部状态空间的算法以求解Petri网库所界,主要思想为在生成状态空间过程中,通过引导消除可达图的部分回路同时结合T不变量的相关性质,以实现通过存储部分状态来精确求解每个库所的界.基于模型检测比赛的公开数据集进行了对比实验,通过对求解库所界的不同方法及其实验结果进行比较分析,说明了本文算法的有效性.     

满秩Petri网可达性判定算法的设计与实现

通过对Petri网可达性的分析，给出满秩Petrl网可达性算法及其实现过程，在VC＋＋平台上对算法进行验算，并对算法运行结果进行可达性讨论；该算法为满秩Petri网可达性的判定提供了一种快速有效的求解方法．     

文法的Petri网模型及其构造算法

针对几类典型文法:右线性文法,表达式文法以及属性树状文法提出相应的Petri网表示模型,给出模型构造的有效算法,讨论了模型的有关性质.结合Petri网的引发规则,通过例子指出了基于Petri网表示模型的语言产生过程.由此表明这种模型不仅具有树文法、图文法的图形直观性,而且由于Petri网自身的特色——token标记,增加了文法推导过程的动态信息——token信息流.     

多资源共享系统的死锁分析与控制

利用Petri网建立多资源并发系统模型,讨论了系统的安全性与无死锁性,指出死锁存在的条件,给出消除死锁的控制装置,通过一实际制造系统的建模与分析,验证了该文结果的正确性和有效性.     

有界Petri网进程表达式与活性的关系

Petri网进程是对Petri网并发语义的一个刻画,是Petri网分析和验证的有效手段.该文针对有界Petri网研究进程表达式和活性性质之间的关系,给出了基于进程表达式的有界Petri网及其同步合成网的活性判定定理.同时研究了进程表达式与虹吸、陷阱间的关系,是Petri网活性研究的一个新的尝试.     

对偶Petri网的运算及性能分析

给出了对偶Petri网的加法，笛卡尔积，并运算有及有关性质，得到了对偶Petri网运算具有结构性质的条件。     

用关联矩阵特征值分析Petri网模型结构

通过计算由关联矩阵变换所得特殊方阵的特征值来分析Petri网模型某些重要的结构特性. 根据自由选择网、自由连接网与非自由选择网、非自由连接网关联矩阵的区别,分别用不同的方法将它们变换为同一类方阵,并用此类矩阵理论给出Petri网模型的结构有界性、守恒性、可重复性、协调性的充分条件及相关证明. 采用一个雷达工作过程建模实例详细阐述了该结构理论在实际Petri网模型分析中的应用,为关联矩阵在Petri网模型结构分析中的应用提供了一个可选择的方法.     

基于函数Petri网的有毒雾霾对地表自然生态环境的危害性评价研究

为了全面评价有毒雾霾对地表自然生态环境的危害性,提出了基于函数Petri网的有毒雾霾对地表自然生态环境的危害性评价方法 .首先,在一般Petri网的理论基础上定义了函数Petri网,给出了函数Petri网的变迁触发规则和库所状态值的函数表达式;其次,利用函数Petri网的网部分描述危害的组成结构,网系统的运行反映了危害产生的过程,建立了基于函数Petri网的有毒雾霾对地表自然生态环境的危害评价模型,并结合模型提出了危害性评价的综合指标——"危害度"的概念和计算方法,给出了危害性评价的基本步骤;最后,通过实例对有毒雾霾对地表自然生态环境的危害性进行定量和定性评价,根据评价结果提出了减轻生态环境破坏的建议.     

单正态总体下抽样分布的一个证明

利用随机向量独立性的相关性质、变量变换定理以及数学归纳法给出单正态总体下样本均值与样本方差的独立性以及样本方差的抽样分布的一种证明方法.     

Petri网的块组合并网及性能分析

提出Petri网的两类块组合并网，讨论了保持网的结构性质的条件，这些结果对Petri网的合成和分析是非常有用的。     

基于Petri网的复杂空竭休假排队系统的性能评价

针对复杂空竭排队系统难以得到性能指标解析解的问题,提出基于Petri网模拟的近似解方法.通过CPN Tools建立4种休假策略下排队系统的Petri网模型,在定义排队系统的性能指标数学期望公式的基础上,使用Data Collector采集模型模拟的动态数据,得到相关的性能指标结果和期望收益.仿真结果表明这种基于Petri网模型的近似求解方法是有效的,建立的模型和基于模型的性能分析方法具有可扩展性、复用性和界面友好性.     

基于SPN的IMS系统可生存性建模及分析

IP多媒体子系统(IP multimedia subsystem,IMS)作为网络与业务融合的标准将会在三网融合中扮演重要的角色,因此研究其认证注册过程的可生存性具有重要意义.文中首先给出可生存性概念与评价指标以及I.MS的认证注册过程,然后建立相应的随机Petri网(stochastic Petri net,SPN)模型和简化的可生存性SPN模型,并给出可生存性的主要指标——可靠性、可维护性及可用性.对所建模型的可靠性及可维护性评价指标进行了仿真,表明可靠性分别随时间及失效率的增加而显著降低,可维护性随时间及修复率的增加而明显增强并最终趋于稳定.这些结论为增强IMS系统可生存性能力提供了有效的数值参考依据.     

约束问题求解的一个统一方法

给出了一个新的求解约束的方法－－动态约束算法，它通过引入新的约束类型，使变量操作和约束操作算法统一起来，在亲的求解约束过程中，不需要区分变量与约束。     

一种改进的MC线性分拆加密算法

介绍一种快速求解矩阵覆盖问题的算法，并对此算法进行了扩展，将原算法中向量的各个分量的取值范围扩大．在此算法的基础上对一种MC线性分拆的加密算法进行了改进，并对其安全性进行了简要的分析．最后给出的算例表明改进的加密算法的密钥选取简单，同样具有加、解密快速．简便等优点．     

残缺数据的论文名次及评委水平的评判与逆判

先对论文水平以及评委这两个因素进行双因素方差分析,结果显示出了论文水平具有显著性差异,而评委的水平无显著性差异.进一步通过引入相关度的概念对残缺的评分矩阵进行补缺,建立了以相容性为基准的最优决策向量的数学模型,给出了该模型求解的迭代算法,对论文名次以及评委的水平进行了评判与逆判.通过计算机模拟,验证明了该算法的收敛性以及模型所建立的方法的优良性.     

一种基于因果网络的支持向量回归特征选择算法

为了提高支持向量回归算法的学习能力,提出了一种基于因果网络的特征选择算法.该方法假设目标变量和特征候选集之间符合一个因果网络模型,然后利用基于条件独立性测试的方法对目标变量的直接影响特征进行识别,从候选特征集之中获取与目标变量有着直接因果关系的特征子集.虚拟和真实数据集上的实验结果表明,该特征选择算法适用于支持向量回归算法,优于目前其他算法.     

状态变权向量的代数性质及构造方法

讨论了状态变权向量的代数结构,给出了在原有状态变权向量的基础上,构造新的状态变权向量的方法和算法.     

一般耦合矩阵方程组的迭代算法研究

通过推广共轭梯度法思想给出一种迭代算法去求解一般耦合矩阵方程组的广义双对称解,并对算法性质给予介绍说明,将证明若一般耦合矩阵方程组关于广义双对称解相容,那么在不考虑误差的情况下,对于任意给定的初始广义双对称矩阵组,利用所构造出的迭代算法,都能在有限步之内迭代得到其广义双对称解.若取定特殊的初始矩阵,则可获得其极小Frobenius范数约束解,进一步解决最佳逼近问题.     

基于Petri网和基因表达式编程的作业车间调度研究

为了更好的解决车间调度问题,提出了一种基于时延Petri网（TdPN）和基因表达式编程相结合的调度算法。在该方法中,基因表达式编程根据时延Petri网模型中的部分变迁序列来确立染色体,每条染色体表示一种车间调度方案。作者选用了基因表达式的选择、交叉、变异三种类型进行遗传操作,利用延时 Petri网对车间调度过程的仿真,根据变迁的赋时时间获得每条染色体的相应的时间。最后本文结合基因表达式编程具有较好的寻优能力和Petri网对动态的离散事件的过程能进行很好的描述的优点,在文章实验中验证了此方法的可行性。