-
题名基于一致分布的时间Petri网模型
被引量：3
- 1
-
-
作者
潘理
丁志军
陈刚
-
机构
湖南理工学院信息与通信工程学院
同济大学计算机科学与技术系
-
出处
《计算机学报》
EI
CSCD
北大核心
2010年第5期900-907,共8页
-
基金
国家自然科学基金-青年科学基金项目(60803032)资助
-
文摘
时间Petri网的现有分析理论主要关注基于区间端点的计算和推理,缺乏对实施区间内不确定性的定量描述,不利于时间Petri网进行系统性能评价和动态模拟实现.为了解决这一问题,提出基于一致分布的时间Petri网模型.首先给出变迁实施概率和变迁序列实施概率的计算方法;然后引入概率条件到状态类,用于构造时间Petri网的概率可达类树;最后给出动态模拟实验,检验理论方法的正确性.
-
关键词
时间PETRI网
一致分布
实施概率
状态类方法
模拟
-
Keywords
time Petri nets
uniform distribution
firing probability
state class method
simulation
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名建立状态图启发式搜索的面向对象模型
被引量：2
- 2
-
-
作者
方贤进
-
机构
安徽理工大学计算机系
-
出处
《沈阳工业大学学报》
EI
CAS
2003年第4期334-337,共4页
-
文摘
将人工智能学科中状态图搜索技术与JAVA中面向对象技术结合起来,并利用JAVA语言建立了一个状态图启发式搜索算法的面向对象模型,然后利用这一模型成功地解决了人工智能学科中典型的状态图搜索问题———"八数码"难题.
-
关键词
状态图
启发式搜索算法
面向对象
类
对象
-
Keywords
state diagram
heuristic-search-algorithm
object-oriented
class
object
method
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
-
题名柔性制造系统的时间Petri网建模与分析
- 3
-
-
作者
潘理
郭观七
欧阳竟成
李武
-
机构
湖南理工学院信息与通信工程学院
湖南理工学院复杂系统优化与控制湖南省普通高等学校重点实验室
-
出处
《计算技术与自动化》
2013年第2期105-108,共4页
-
基金
湖南省自然科学基金资助项目(11JJ2037
11JJ4058)
+2 种基金
湖南省教育厅资助科研项目(10C0759
11A041)
湖南省高校科技创新团队支持计划资助项目(湘教通[2012]318-18)
-
文摘
时间Petri网是描述和验证实时系统最常用的形式模型之一。建立基于时间Petri网的典型柔性制造系统模型,利用状态类分析方法,定量计算所有可行调度及其执行时间,进而获得最优调度,为复杂柔性制造系统的建模与调度提供有效的模型支持。
-
关键词
时间PETRI网
状态类方法
柔性制造系统
建模与调度
-
Keywords
time Petri nets
state class method
flexible manufacturing system
modeling and scheduling
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
