您的位置: 专家智库 > >

邹峥

作品数:7 被引量:9H指数:2
供职机构:中南大学信息科学与工程学院更多>>
发文基金:湖南省自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 5篇期刊文章
  • 2篇会议论文

领域

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

主题

  • 6篇PETRI网
  • 3篇PETRI网
  • 2篇等价
  • 2篇行为等价
  • 2篇情态
  • 2篇PETRI网...
  • 2篇S-
  • 1篇序列图
  • 1篇序列图像
  • 1篇生成器
  • 1篇随机数
  • 1篇随机数生成器
  • 1篇图像
  • 1篇髋关节
  • 1篇外轮廓
  • 1篇网模型
  • 1篇近端
  • 1篇拒绝
  • 1篇库所
  • 1篇活性

机构

  • 6篇长沙理工大学
  • 2篇中南大学
  • 1篇福建工程学院

作者

  • 7篇邹峥
  • 6篇乐晓波
  • 5篇刘石坚
  • 1篇罗三定
  • 1篇刘倩兰
  • 1篇刘石坚

传媒

  • 2篇系统仿真学报
  • 2篇第十二届全国...
  • 1篇计算机工程
  • 1篇计算机工程与...
  • 1篇福建工程学院...

年份

  • 1篇2018
  • 1篇2014
  • 1篇2010
  • 2篇2009
  • 2篇2008
7 条 记 录,以下是 1-7
排序方式:
关于Petri网系统S-补相关定理的补充证明及其分析
对于Petri网而言,冲撞代表着不安全,它是由于空间资源的缺少而引出的一种基本现象。人们寻找到避免冲撞的发生办法是为网系统添加补库所即做S-补。就Petri网系统做S-补的相关定理进行了补充性的证明及举例分析。
刘石坚乐晓波邹峥
关键词:PETRI网行为等价
文献传递
基于Petri网的最大流-最小割问题建模与求解被引量:3
2018年
给出了任意流网络及其残留网络Petri网模型的构造流程;通过对模型中各元素的实际意义进行分析,指出如何得到最大流的各个分布;从理论上证明达到最大流的条件并给出通过活性分析可以得到一个最小割的结论;将残留网络和流网络Petri网模型结合起来给出最大流-最小割问题完整的解决方案。Petri网图形化的仿真过程为研究网络流从局部到整体的变化提供了直观的描述。仿真结果证实该方法准确、有效。
刘石坚刘石坚邹峥
关键词:PETRI网活性
含抑制弧和测试弧Petri网的建模及其行为分析
由于原型Petri网在一些实际应用中不能满足设计的需要,人们在其概念上进行扩充形成了增广的Petri网同。带抑制弧和带测试弧的Petri网正是其中的一种。分析总结了带测试弧Petri网的基本行为特征。针对零检测装置以及F...
刘石坚乐晓波邹峥
关键词:PETRI网
文献传递
基于Petri网模型的随机数生成器被引量:1
2010年
以连续Petri网概念为基础,引入带弧权和禁止弧的扩展连续Petri网,将扩展连续Petri网作为工具对随机数生成器进行研究。选用随机数学中的乘同余法产生服从[0,1]均匀分布的随机变量,从而解决Petri网的规模因随机变量的精度增加而急剧增大的问题,针对某些逆变换法无法实现的分布,引入拒绝法,对现有的随机数发生器Petri网模型进行改进。
邹峥乐晓波刘石坚
关键词:PETRI网随机数生成器
关于Petri网系统S-补相关定理的补充证明及其分析被引量:1
2008年
对于Petri网而言,冲撞代表着不安全,它是由于空间资源的缺少而引出的一种基本现象。人们寻找到避免冲撞的发生办法是为网系统添加补库所即做S-补。就Petri网系统做S-补的相关定理进行了补充性的证明及举例分析。
刘石坚乐晓波邹峥
关键词:PETRI网行为等价
含抑制弧和测试弧Petri网的建模及其行为分析被引量:3
2008年
由于原型Petri网在一些实际应用中不能满足设计的需要,人们在其概念上进行扩充形成了增广的Petri网。带抑制弧和带测试弧的Petri网正是其中的一种。分析总结了带测试弧Petri网的基本行为特征。针对零检测装置以及FIFO栈实例,应用测试弧、抑制弧对系统进行了合理的建模与分析。
刘石坚乐晓波邹峥
髋关节股骨近端CT序列图像外轮廓提取研究被引量:1
2014年
为正确有效地分割出髋关节的外轮廓,提出了一种基于最佳分割线的股骨近端外轮廓的提取方法。该方法利用自底向上CT序列图像的帧间相似性找到一条分割目标股骨与其他骨骼的闭合分割线,从而利用该分割线来精确定位目标骨骼的位置,并搜索边缘点。实验结果表明,该方法能够准确地识别出股骨近端的外轮廓,自适应强,抗干扰性好。
罗三定刘倩兰陈远兵邹峥
关键词:髋关节CT图像
共1页<1>
聚类工具0