-
题名化工过程流体网络的建模与仿真
被引量:6
- 1
-
-
作者
吴靖
孙国基
曾建潮
-
机构
西安交通大学系统工程研究所
太原重型机械学院自动化与计算机工程系
-
出处
《系统仿真学报》
CAS
CSCD
1997年第3期39-43,50,共6页
-
文摘
建立了化工过程仿真培训系统建模中的流体网络模型,这是有温度和组分变化的流体网络模型。利用流体网络和设备模型的不同响应速度,采用变步长仿真方法。
-
关键词
流体网络
化工过程
建模
仿真
-
Keywords
\ Flow net\ \ Chemical industrial processes\ \ Training simulator\ \ Simulation method
-
分类号
TQ021
[化学工程]
-
-
题名TCPN的状态可达及可调度决策空间算法
被引量:3
- 2
-
-
作者
杨根科
曾建潮
孙国基
-
机构
西安交通大学系统工程研究所
太原重型机械学院自动化与计算机工程系
-
出处
《计算机学报》
EI
CSCD
北大核心
1998年第1期34-39,共6页
-
基金
国家教委博士点基金
山西省自然科学基金
-
文摘
Tsai等提出了时间限制Petri网(TCPN),并讨论变迁可激活、可调度规律及其计算公式.然而,由于网拓扑和动态的复杂性,某些概念的逻辑关系及公式有矛盾.本文通过引入调度决策变量、动态标记准确地刻画调度规律,修正澄清了Tsai文中的问题,完善了TCPN的调度分析.另外,讨论了TCPN沿含有失败变迁激活路径的调度问题,
-
关键词
PETRI网
决策变量
TCPN
决策空间
算法
-
Keywords
Petri nets, timing constraint Petri nets, decision variable
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名TCPN的变迁弱规则特有的调度可达决策区域及算法
被引量:2
- 3
-
-
作者
杨根科
曾建潮
孙国基
-
机构
西安交通大学系统工程研究所
太原重型机械学院自动化与计算机工程系
-
出处
《自动化学报》
EI
CSCD
北大核心
1999年第4期543-547,共5页
-
基金
国家教季博士点基金
山西省自然科学基金
-
文摘
针对时间限制Petri网(TCPN)采用的变迁弱激活规则和基于TCPN的动态标记,引入变迁的调度延时决策变量和决策空间概念刻画TCPN的状态可达可调度规律.这些概念及其算法揭示了TCPN网的并发分布式动态调度特征.特别是变迁弱规则固有的容许含有失败变迁的并行分布式调度问题,描述了涉及具有有效期的可释放资源类实时系统的特殊调度问题及其规律.
-
关键词
PETRI网
变迁激活弱规则
调度
控制系统
-
Keywords
Petri net,timing constraint Petri net, weak firing mode,parallel scheduling reaehability.
-
分类号
TP393.1
[自动化与计算机技术—计算机应用技术]
-
-
题名离散、连续和混合Petri网的一致性描述
被引量:1
- 4
-
-
作者
杨根科
卫军胡
曾建潮
孙国基
-
机构
西安交通大学系统工程研究所
太原重型机械学院自动化与计算机工程系
-
出处
《系统工程学报》
CSCD
1998年第4期58-65,共8页
-
基金
国家教委博士点基金
山西省自然科学基金
-
文摘
本文引入的混合动态系统的Petri网模型,以建立混合控制系统的整体Petri网结构,和Petri网上附加离散、连续和混合动态时描述的一致性与继承性为目标.令牌及其标记概念上的具体化,是统一多种动态描述的基础.权为零有向弧的引入简化了监控结构.依赖混合动态网建立复杂控制系统的整体Petri网模型,为采用Petri网理论进行系统的分析、验证和设计提供了基础.
-
关键词
PETRI网
动态标记
一致性描述
离散事件动态系统
-
Keywords
Petri net,hybrid dynamic systems,dynamic marking
-
分类号
TP271.8
[自动化与计算机技术—检测技术与自动化装置]
-
-
题名TCPN的分布式仿真方法
- 5
-
-
作者
杨根科
孙国基
曾建潮
-
机构
西安交通大学系统工程研究所
太原重型机械学院自动化与计算机工程系
-
出处
《系统仿真学报》
CAS
CSCD
1997年第3期61-67,共7页
-
文摘
时间限制Petri网容许对建模系统对象反映其资源和活动的有效期特性,其特殊的仿真模型要求能够描述令牌空闲、被占用、被释放、被移出和已死各种状态。本文对库所和变迁节点进行了模块化分解,拓宽了TCPN的建模能力。在此基础上。
-
关键词
PETRI
分布式仿真
并行处理
TCPN
-
Keywords
\ Timing constrain petri nets\ Distributed simulation \ Parallel processing
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
TP393
[自动化与计算机技术—计算机应用技术]
-