基于Petri网的程序缓冲区溢出检测方法

由于软件的安全性问题的很大一部分是由于缓冲区溢出而引起的。因此，为了减少软件的安全漏洞，本文提出了一种利用着色Petri网的理论来检测原代码缓冲区溢出方法，并用CPNTools进行仿真证明了该方法的正确性和简便性。这为软件的缓冲区溢出检测增添了一种新的方法。     

基于Petri网的通信协议设计方法

在复杂的通信协议中,由于设计者的不慎经常会出现死锁现象.本文采用了一种Peri网语言的同步合成的原理,提出了复杂通信协议设计流程的一种新的设计思想.并且利用Petri网语言给出了通信子协议系统合成时的死锁分析和通信协议系统设计的效率分析以及整个设计流程.     

基于CPLD的基本Petri网系统的硬件实现

Petri网已经逐渐成为异步并发现象建模的重要工具 ,Petri网的硬件实现将为网系统性能分析以及并行控制器的设计提供一种有效的途径。首先介绍了 Petri网 C/ E系统的特点 ,然后讨论了硬件实现的基本结构模块。最后以哲学家晚餐为例子 ,用 VHDL 语言对结构进行了描述 ,使用了 AL TERA公司的 CPL D集成开发工具 Max Plus ,并给出了软件仿真的结果     

路灯节能控制系统

本文描述了一个自动化路灯节能系统的设计与实现,该系统包括了一个PC机与MSC51通信接口、MSC51与MT8880芯片接口模块与远端指令接收子系统。文中主要讨论了系统的总体设计方案,系统关键部件的软、硬件设计与实现,并对RS-232、MSC51的串行通信、MT8880芯片的应用、Delphi串口通信作了重点的介绍。     

基于Petri网语言的程序设计流程

本文采用了一种Petri网语言的同步合成的原理,提出了计算机复杂程序设计流程的一种新的设计思想。并且利用Petri网语言给出了子系统合成时的死锁分析和系统设计的效率分析以及整个设计流程。     

混凝土连锁块软体排在木兰溪防洪工程中的应用

该文通过分析混凝土连锁块软体排在莆田市木兰溪防洪工程中的应用,提出河道主槽护底型式的选择、施工、管护过程的措施对策,供参考。     

Petri网时间特性分析

为了进一步研究随机Petri网的时间特性,引入了时间Petri网、闭网、常返网、有环网、无环网等概念,证明了随机Petri网是时间特性网的充要条件是其闭网为常返网,并给出了判别一个网是否是时间特性网的数值方法。同时讨论了变迁发射时间特性,给出了发射时间密度公式。     

浅析莆田南北洋水环境的整治

通过分析莆田南北洋水环境的现状、主要功能、洪涝灾害及成因等方面,说明整治南北洋河道的必要性,并提出相应的措施和对策.