邹峥

作品数：5被引量：9H指数：2
导出分析报告
供职机构：中南大学信息科学与工程学院更多>>
发文主题：PETRI网PETRI网系统行为等价情态S-更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机工程与应用》《系统仿真学报》《计算机工程》更多>>
所获基金：湖南省自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于Petri网的最大流-最小割问题建模与求解被引量：3
《福建工程学院学报》2018年第1期66-73,共8页刘石坚 邹峥 乐晓波 
福建省属高校科研专项项目(JK2017029);福建工程学院校级科研项目(GY-Z160138;GY-Z160130)
给出了任意流网络及其残留网络Petri网模型的构造流程;通过对模型中各元素的实际意义进行分析,指出如何得到最大流的各个分布;从理论上证明达到最大流的条件并给出通过活性分析可以得到一个最小割的结论;将残留网络和流网络Petri网模型...
关键词：最大流-最小割 PETRI网 建模 补库所 活性 
髋关节股骨近端CT序列图像外轮廓提取研究被引量：1
《计算机工程与应用》2014年第11期167-170,175,共5页罗三定 刘倩兰 陈远兵 邹峥 
湖南省科技厅省重点项目(No.2008WK2005)
为正确有效地分割出髋关节的外轮廓,提出了一种基于最佳分割线的股骨近端外轮廓的提取方法。该方法利用自底向上CT序列图像的帧间相似性找到一条分割目标股骨与其他骨骼的闭合分割线,从而利用该分割线来精确定位目标骨骼的位置,并搜索...
关键词：髋关节 CT图像 外轮廓提取 
基于Petri网模型的随机数生成器被引量：1
《计算机工程》2010年第12期72-74,共3页邹峥 乐晓波 刘石坚 
湖南省自然科学基金资助项目(08JJ3124)
以连续Petri网概念为基础,引入带弧权和禁止弧的扩展连续Petri网,将扩展连续Petri网作为工具对随机数生成器进行研究。选用随机数学中的乘同余法产生服从[0,1]均匀分布的随机变量,从而解决Petri网的规模因随机变量的精度增加而急剧增大...
关键词：PETRI网 随机数生成器 禁止弧 拒绝法 
关于Petri网系统S-补相关定理的补充证明及其分析被引量：1
《系统仿真学报》2008年第S2期1-5,共5页刘石坚 乐晓波 邹峥 
湖南省自然科学基金项目(08JJ3124)
对于Petri网而言,冲撞代表着不安全,它是由于空间资源的缺少而引出的一种基本现象。人们寻找到避免冲撞的发生办法是为网系统添加补库所即做S-补。就Petri网系统做S-补的相关定理进行了补充性的证明及举例分析。
关键词：PETRI网 S-补 情态集 行为等价 
含抑制弧和测试弧Petri网的建模及其行为分析被引量：3
《系统仿真学报》2008年第S2期76-81,89,共7页刘石坚 乐晓波 邹峥 
湖南省自然科学基金项目(08JJ3124)
由于原型Petri网在一些实际应用中不能满足设计的需要,人们在其概念上进行扩充形成了增广的Petri网。带抑制弧和带测试弧的Petri网正是其中的一种。分析总结了带测试弧Petri网的基本行为特征。针对零检测装置以及FIFO栈实例,应用测试弧...
关键词：测试弧 抑制弧 建模 零检测装置 FIFO栈 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部