首页
学术期刊
论文检测
AIGC检测
热点
更多
数据
离散事件控制系统规则化描述方法的研究
被引:11
|
作者
:
韩江洪
论文数:
0
引用数:
0
h-index:
0
机构:
合肥工业大学计算机与信息学院
韩江洪
郑淑丽
论文数:
0
引用数:
0
h-index:
0
机构:
合肥工业大学计算机与信息学院
郑淑丽
陆阳
论文数:
0
引用数:
0
h-index:
0
机构:
合肥工业大学计算机与信息学院
陆阳
魏振春
论文数:
0
引用数:
0
h-index:
0
机构:
合肥工业大学计算机与信息学院
魏振春
于筑国
论文数:
0
引用数:
0
h-index:
0
机构:
合肥工业大学计算机与信息学院
于筑国
机构
:
[1]
合肥工业大学计算机与信息学院
来源
:
合肥工业大学学报(自然科学版)
|
2005年
/ 09期
关键词
:
离散事件系统;
离散事件控制系统;
规则化描述;
D O I
:
暂无
中图分类号
:
TP13 [自动控制理论];
学科分类号
:
摘要
:
离散事件控制系统(DECS)是离散事件系统(DES)在控制领域的一个应用类别,具有并发性、多值性、时序性和需求易变等特点。文章分析了现有的各类逻辑层DES建模方法在DECS建模和分析方面存在的缺陷,在此基础上,运用专家系统中的规则表达方法和递阶DECS简约技术,从逻辑层角度,建立了一套规范、简洁、贴近自然语言和易于理解的DECS规则化描述方法。
引用
收藏
页码:1081 / 1084
页数:4
相关论文
共 9 条
[1]
一类新型的模块化高级Petri网——π-网
曹木亮
论文数:
0
引用数:
0
h-index:
0
机构:
上海交通大学电子信息学院
曹木亮
吴智铭
论文数:
0
引用数:
0
h-index:
0
机构:
上海交通大学电子信息学院
吴智铭
杨根科
论文数:
0
引用数:
0
h-index:
0
机构:
上海交通大学电子信息学院
杨根科
不详
论文数:
0
引用数:
0
h-index:
0
机构:
上海交通大学电子信息学院
不详
[J].
上海交通大学学报 ,
2004,
(01)
: 52
-
58
[2]
基于通信顺序进程的并发DEDS的规范和证实
徐林
论文数:
0
引用数:
0
h-index:
0
机构:
上海交通大学自动化系
徐林
吴智铭
论文数:
0
引用数:
0
h-index:
0
机构:
上海交通大学自动化系
吴智铭
杨根科
论文数:
0
引用数:
0
h-index:
0
机构:
上海交通大学自动化系
杨根科
孟凡英
论文数:
0
引用数:
0
h-index:
0
机构:
上海交通大学自动化系
孟凡英
[J].
上海交通大学学报,
2002,
(08)
: 1177
-
1180
[3]
一类DEDS最优调度算法的改进
陈文德
论文数:
0
引用数:
0
h-index:
0
机构:
中国科学院数学与系统科学研究院!北京
陈文德
[J].
控制与决策,
2000,
(05)
: 613
-
616
[4]
马尔可夫链在离散事件系统中的应用
王兴富
论文数:
0
引用数:
0
h-index:
0
机构:
齐齐哈尔大学
王兴富
谷红伟
论文数:
0
引用数:
0
h-index:
0
机构:
齐齐哈尔大学
谷红伟
戴学丰
论文数:
0
引用数:
0
h-index:
0
机构:
齐齐哈尔大学
戴学丰
[J].
自动化技术与应用,
2000,
(03)
: 35
-
36
[5]
极大代数上有限生成模的几何形态
陈文德
论文数:
0
引用数:
0
h-index:
0
机构:
中国科学院系统科学研究所!系统控制实验室
陈文德
[J].
系统科学与数学,
1998,
(01)
: 11
-
17
[6]
Petri网理论与方法研究综述
蒋昌俊
论文数:
0
引用数:
0
h-index:
0
机构:
山东矿业学院计算机科学与技术系!泰安中国科学院计算技术研究所国家智能机中心
蒋昌俊
[J].
控制与决策,
1997,
(06)
: 631
-
636
[7]
安全模型的一种形式化方法
余祥宣,马建平
论文数:
0
引用数:
0
h-index:
0
机构:
不详
余祥宣,马建平
不详
论文数:
0
引用数:
0
h-index:
0
机构:
不详
不详
[J].
计算机研究与发展 ,
1995,
(10)
: 12
-
15
[8]
计算机科学与技术方法论[M]. 人民邮电出版社 , 董荣胜, 2002
[9]
离散事件动态系统[M]. 清华大学出版社 , 郑大钟, 2001
←
1
→
共 9 条
[1]
一类新型的模块化高级Petri网——π-网
曹木亮
论文数:
0
引用数:
0
h-index:
0
机构:
上海交通大学电子信息学院
曹木亮
吴智铭
论文数:
0
引用数:
0
h-index:
0
机构:
上海交通大学电子信息学院
吴智铭
杨根科
论文数:
0
引用数:
0
h-index:
0
机构:
上海交通大学电子信息学院
杨根科
不详
论文数:
0
引用数:
0
h-index:
0
机构:
上海交通大学电子信息学院
不详
[J].
上海交通大学学报 ,
2004,
(01)
: 52
-
58
[2]
基于通信顺序进程的并发DEDS的规范和证实
徐林
论文数:
0
引用数:
0
h-index:
0
机构:
上海交通大学自动化系
徐林
吴智铭
论文数:
0
引用数:
0
h-index:
0
机构:
上海交通大学自动化系
吴智铭
杨根科
论文数:
0
引用数:
0
h-index:
0
机构:
上海交通大学自动化系
杨根科
孟凡英
论文数:
0
引用数:
0
h-index:
0
机构:
上海交通大学自动化系
孟凡英
[J].
上海交通大学学报,
2002,
(08)
: 1177
-
1180
[3]
一类DEDS最优调度算法的改进
陈文德
论文数:
0
引用数:
0
h-index:
0
机构:
中国科学院数学与系统科学研究院!北京
陈文德
[J].
控制与决策,
2000,
(05)
: 613
-
616
[4]
马尔可夫链在离散事件系统中的应用
王兴富
论文数:
0
引用数:
0
h-index:
0
机构:
齐齐哈尔大学
王兴富
谷红伟
论文数:
0
引用数:
0
h-index:
0
机构:
齐齐哈尔大学
谷红伟
戴学丰
论文数:
0
引用数:
0
h-index:
0
机构:
齐齐哈尔大学
戴学丰
[J].
自动化技术与应用,
2000,
(03)
: 35
-
36
[5]
极大代数上有限生成模的几何形态
陈文德
论文数:
0
引用数:
0
h-index:
0
机构:
中国科学院系统科学研究所!系统控制实验室
陈文德
[J].
系统科学与数学,
1998,
(01)
: 11
-
17
[6]
Petri网理论与方法研究综述
蒋昌俊
论文数:
0
引用数:
0
h-index:
0
机构:
山东矿业学院计算机科学与技术系!泰安中国科学院计算技术研究所国家智能机中心
蒋昌俊
[J].
控制与决策,
1997,
(06)
: 631
-
636
[7]
安全模型的一种形式化方法
余祥宣,马建平
论文数:
0
引用数:
0
h-index:
0
机构:
不详
余祥宣,马建平
不详
论文数:
0
引用数:
0
h-index:
0
机构:
不详
不详
[J].
计算机研究与发展 ,
1995,
(10)
: 12
-
15
[8]
计算机科学与技术方法论[M]. 人民邮电出版社 , 董荣胜, 2002
[9]
离散事件动态系统[M]. 清华大学出版社 , 郑大钟, 2001
←
1
→