黄金志
- 作品数：5 被引量：13H指数：3
- 供职机构：解放军理工大学通信工程学院更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于CPLD的基本Petri网系统的硬件实现被引量：3
- 2004年
- Petri网已经逐渐成为异步并发现象建模的重要工具 ,Petri网的硬件实现将为网系统性能分析以及并行控制器的设计提供一种有效的途径。首先介绍了 Petri网 C/ E系统的特点 ,然后讨论了硬件实现的基本结构模块。最后以哲学家晚餐为例子 ,用 VHDL 语言对结构进行了描述 ,使用了 AL TERA公司的 CPL D集成开发工具 Max+Plus 。
- 祝习兵胡健生黄金志廖赟
- 关键词：PETRI网CPLD并发VHDL
- 基于Petri网语言的程序设计流程被引量：3
- 2003年
- 本文采用了一种Petri网语言的同步合成的原理,提出了计算机复杂程序设计流程的一种新的设计思想。并且利用Petri网语言给出了子系统合成时的死锁分析和系统设计的效率分析以及整个设计流程。
- 胡健生黄金志祝习兵黄勇
- 关键词：计算机信息服务器
- 基于Petri网的程序缓冲区溢出检测方法被引量：3
- 2005年
- 由于软件的安全性问题的很大一部分是由于缓冲区溢出而引起的。因此,为了减少软件的安全漏洞,本文提出了一种利用着色Petri网的理论来检测原代码缓冲区溢出方法,并用CPNTools进行仿真证明了该方法的正确性和简便性。这为软件的缓冲区溢出检测增添了一种新的方法。
- 黄金志胡健生廖赟柴仁文
- 关键词：着色PETRI网缓冲区溢出
- Petri网时间特性分析被引量：3
- 2005年
- 为了进一步研究随机Petri网的时间特性,引入了时间Petri网、闭网、常返网、有环网、无环网等概念,证明了随机Petri网是时间特性网的充要条件是其闭网为常返网,并给出了判别一个网是否是时间特性网的数值方法。同时讨论了变迁发射时间特性,给出了发射时间密度公式。
- 胡健生黄金志廖贇祝习兵
- 关键词：随机PETRI网
