您的位置： 专家智库 > >

廖赟

作品数：3 被引量：7H指数：2
供职机构：解放军理工大学通信工程学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

  • 2篇自动化与计算...

主题

  • 2篇PETRI网
  • 1篇着色PETR...
  • 1篇缓冲区
  • 1篇缓冲区溢出
  • 1篇VHDL
  • 1篇CPLD
  • 1篇并发

机构

  • 2篇解放军理工大...

作者

  • 2篇胡健生
  • 2篇廖赟
  • 2篇黄金志
  • 1篇柴仁文
  • 1篇祝习兵

传媒

  • 1篇计算机应用
  • 1篇现代电子技术

年份

  • 1篇2005
  • 1篇2004
共 3 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于CPLD的基本Petri网系统的硬件实现被引量：3
2004年
Petri网已经逐渐成为异步并发现象建模的重要工具 ,Petri网的硬件实现将为网系统性能分析以及并行控制器的设计提供一种有效的途径。首先介绍了 Petri网 C/ E系统的特点 ,然后讨论了硬件实现的基本结构模块。最后以哲学家晚餐为例子 ,用 VHDL 语言对结构进行了描述 ,使用了 AL TERA公司的 CPL D集成开发工具 Max+Plus 。
祝习兵胡健生黄金志廖赟
关键词：PETRI网CPLD并发VHDL
基于Petri网的程序缓冲区溢出检测方法被引量：3
2005年
由于软件的安全性问题的很大一部分是由于缓冲区溢出而引起的。因此,为了减少软件的安全漏洞,本文提出了一种利用着色Petri网的理论来检测原代码缓冲区溢出方法,并用CPNTools进行仿真证明了该方法的正确性和简便性。这为软件的缓冲区溢出检测增添了一种新的方法。
黄金志胡健生廖赟柴仁文
关键词：着色PETRI网缓冲区溢出
全选 清除 导出
共1页<1>
聚类工具0