基于Petri网的考试系统智能出卷的研究

一般的网络考试系统是从题库中随机选题组卷,容易造成考卷难度不一影响考试的公平性.提出了使用petri网模型,采用启发式随机替换算法来控制考试系统出题难度的解决方案.     

基于Petri网的哲学家就餐问题多线程设计与实现

为了解决操作系统中的进程间同步互斥问题,以Petri网为系统描述工具分析了经典的哲学家进餐问题,讨论了1：1的轮流固定使用的Petri网模型,给出了使用（串行）的管理模型的程序实现,且可以实现2：3的轮流固定使用（并行）和不固定的动态管理．此法简洁高效,在操作系统的其他类型进程调度中可进行类似推广．     

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

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

基于CPN的智能合约交易顺序依赖漏洞的验证

智能合约的形式化验证工作主要集中在编程语言层面的漏洞研究,而交易顺序依赖作为区块链层面的漏洞更不易被检测。基于着色Petri网对智能合约中潜在的交易顺序依赖漏洞进行形式化验证。以Decode悬赏合约为对象,分析合约中潜在的漏洞,自顶向下地对合约本身及其执行环境建立着色Petri网模型,并引入攻击者模型来考虑合约遭受攻击的情况。通过运行模型以验证合约存在交易顺序依赖漏洞,最后基于Remix平台在以太坊网络中证实结论的正确性。     

基于网结构压缩技术的Petri网监控器综合

针对Petri网控制问题中不可控子网的状态空间指数级增长导致的计算复杂性难题，提出了控制目标（线性约束）等价的网结构压缩算法：（1）将不可控子网部分区域压缩为单个库所；（2）并将原网上的线性约束等价转换为新网的新线性约束.反复迭代该算法，可以有效地压缩原不可控子网，从而指数级地减小不可控子网的状态空间，有效地降低监控问题的计算复杂性，甚至当不可控子网为状态机时，该方法能够彻底解决上述计算复杂性难题，获得高效最优的Petri网监控器，并用一个物料运输系统演示了该方法.     

三网合一——有线电视传输网络探讨

目前，广电总局已经批复有线数字电视试点城市49个，遍及26个省（区／市）。2015年停止模拟电视的播出，广电网络作为数字电视传输的主要平台之一，为了适应今后的数字化、双向化、个性化、综合化发展的需求，为了最大保障现有有线电视运营商的利益，为了减少网络改造的投资，不破坏现有网络的结构，合理利用现有资源的情况下，我们提出了“三网合一”的传输网络的数字传输网络方案，包括从过渡型网络到接入网机房到数据网络最终解决方案，可以说是层层递进，即可以分步实施，也可以一步到位实现，具有较强的可操作性。     

Horn子句逻辑程序的Petri网模型

Horn 子句逻辑程序 H 可以逻辑等价地转化为 Petri 网模型 M,在 M 中从初始标识 N_0到目标变迁/g(?)形成的发射序列对应着求解 H 的调用序列,在 M 中存在变迁不变式 X≥(?),并且 X(tg)≠0是 H 有解的充要条件。     

平面三次曲线等距线近似求解算法：——神经网络算法

本文根据神经网络函数学习模型，提出了平面三次多项式曲线一种近似等距线算法。该算法计算简单，近似精度高，且近似等距线也为三次多项式曲线，有利于计算机存贮管理，可为数控机床加工三次曲线提供刀具中心运动轨迹的计算工具。     

基于Petri网的离散事件系统控制理论

建立在Ｐｅｔｒｉ网逻辑模型上的离散事件系统控制理论是近年来发展起来的离散事件系统控制理论的重要组成部分，具有适应面广和易于实用化的特点，本文首先介绍该理的Ｐｅｔｒｉ网模型，然后概述该理论的主要成果。     

T－Cyber网系统及其应用研究

指出了Ｃｙｂｅｒ网系统的不足之处，引用了变迂激发量的概念，给出了Ｔ－Ｃｙｂｅｒ网系统的定义，它是含有抑制弧的Ｐｅｔｅｒｉ网及受控Ｐｅｔｒｉ网的自然扩展。并分析了该网的性质，给出的实例表明该网的实用价值。