模糊时间Petri网应用

本文在时间Petri网和模糊Petri的基础上提出了一个新的模型——模糊时间Petri网.在给出定义之后,并利用该模型的对一个简单的实例进行了分析,得出了利用模糊时间Petri网可以充分的利用资源,极大的提高了资源的利用率.     

Petri网的分享合成操作

通过引入Fork算子，建立Petri网的一种新的合成操作一分享合成，分享合成探作与传统的共享合成操作相比更适合于描述信息系统的建模。在分享合成时，子网中任何与分享库所无关的变迁序列在合成后保持不变，分享合成对于子网内由分享库所引发的变迁序列也保持不变。分享合成实际上增加了分享库所引发变迁序列发生的机会，使得到达输出集的机会增加。最后介绍了Petri网分享合成操作在信息系统安全管理中的应用。     

飞行签派员执照计算机化考核网络系统设计

对民航飞行签派员执照考试计算机化网络系统的结构和功能设计进行了研究。该系统采用资源管理层、应用服务器层和表示层3层体系结构,网络通信采用TCP/IP网络协议,应用层通信协议采用自己定义的二进制数据包协议,程序设计采用Delphi语言,使用OOD。该系统框架包括考试管理子系统、考试服务器子系统、考生考试子系统和考生自测子系统。     

基于Petri网的填土路基施工过程的建模与研究

将填土路基施工过程系统分解为相互关联的子对象系统，分别用Petri网对子对象系统建立分级子模型，然后再将子模型系统作为变迁元素嵌入到道路施工的主网络模型中去，从而获得整个道路施工系统的Petri网模型.     

锚网锚索支护技术在综采工作面大断面切眼的应用

根据现场工程地质条件调查分析、岩石物理力学特性和复合顶板大断面综采切眼围岩力学变形机制及其转化研究，提出了复合顶板综采工作面巷道锚网锚索耦舍支护设计方案。施工结果证明其在技术上是可行的，安全上是可靠的，经济上是合理的。     

FIPA合同网协议的一种改进方案

针对FIPA合同网协议的一个典型扩展协议CNCP提出增设阈值的改进方案．因为无论Agent同时参与几项招标，最终它只能与其中某一个任务发起者建立正式合同关系，所以在确保Agent可在绝大多数情况下获得至少一个任务执行权的前提下，对参与招标的Agent一方设置合适的阈值，限定其同时处理的cfp的数量，可以为参与者一方减少大量不必要的计算消耗，降低任务被低效执行或最终得不到执行的风险，从而对系统整体性能的提升有所裨益．     

基于信号解释Petri网的可重构逻辑控制器分析与设计

为适应可重构制造系统这一新生产模式的顺序控制 ,本文提出了基于信号解释Petri网的可重构逻辑控制器分析和设计的方法 .该方法利用层次化、模块化和接口技术将控制器规划为开放的体系结构 .确定了可达图法和化简技术结合的SIPN模型形式分析方法及步骤 ,采用透明度指标对模型进行评价 ,并给出控制器重构能力分析原则 .接着将该理论及方法用于一可重构装配生产线可重构逻辑控制器的建模和分析案例中 .分析结果表明设计的可重构逻辑控制器形式正确、有效 ,具有可重构能力 .最后提出逻辑控制器建模、分析、仿真、代码生成和逻辑控制实施的软件平台 ,该软件采用CORBA组件模型的软组件技术开发 .     

GPS网的优化设计

文章介绍了GPS网的设计指标 ,提高GPS网精度的方法 ,布设GPS网时起算点的选取与分布 ,高程拟合法适用范围     

可编程控制器在供热网中的应用

论述了可编程序控制器的工作原理及结构，结合实际分析了它具体的工作过程，介绍了可编程序控制器在供热网中热力站本地控制器、便携式流量计等方面的应用，指出了利用可编程PLC实时、多任务的特点对热力站进行调控的效果。     

嵌入式Linux下网络设备驱动程序的开发

阐述了Linux网络系统的分层结构，分析了Linux内核中网络设备驱动程序的运行机理，介绍了实现Linux网络驱动程序开发的关键过程，结合设备驱动的调试方法通过应用实例给出了开发的全过程．最后，总结了嵌入式Linux下网络设备驱动程序开发的通用实现模式．