学术探索
学术期刊
学术作者
新闻热点
数据分析
智能评审
基于TCPN的产品协同设计过程时序逻辑推理研究
被引:3
作者
:
论文数:
引用数:
h-index:
机构:
郭银章
论文数:
引用数:
h-index:
机构:
曾建潮
机构
:
[1]
太原科技大学复杂系统与计算智能实验室
来源
:
计算机辅助设计与图形学学报
|
2010年
/ 22卷
/ 10期
关键词
:
协同设计过程;
时序逻辑推理;
时间约束Petri网;
触发规则;
推理机制;
D O I
:
暂无
中图分类号
:
TB472 [产品设计];
TP391.72 [];
学科分类号
:
140303
[工业设计]
;
摘要
:
针对具有动态、并发、不确定性特点的协同设计过程的设计活动模糊时间推理问题,基于时间约束Petri网理论,建立一种产品协同设计过程模型及其时间约束关系模型.通过分析协同设计过程的时间约束类型,提出了协同设计活动间的时间约束触发规则与推理机制,以及不同触发规则下的时间运算关系;最后通过一个链式输送机协同设计过程实例,验证了文中模型的相关结果,并开发了一个基于时间约束Petri网的协同设计过程时序推理仿真系统.
引用
收藏
页码:1824 / 1830
页数:7
相关论文
共 6 条
[1]
时间约束Petri网及其可调度性分析与验证
[J].
宋巍
论文数:
0
引用数:
0
h-index:
0
机构:
南京大学计算机科学与技术系
宋巍
;
窦万春
论文数:
0
引用数:
0
h-index:
0
机构:
南京大学计算机科学与技术系
窦万春
;
刘茜萍
论文数:
0
引用数:
0
h-index:
0
机构:
南京大学计算机科学与技术系
刘茜萍
.
软件学报,
2007,
(01)
:11
-21
[2]
现代产品设计理论的相关研究现状综述
[J].
论文数:
引用数:
h-index:
机构:
单鸿波
.
东华大学学报(自然科学版),
2006,
(05)
:118
-122+124
[3]
模糊定时高级Petri网的协同设计活动建模和分析
[J].
论文数:
引用数:
h-index:
机构:
田锋
;
李人厚
论文数:
0
引用数:
0
h-index:
0
机构:
西安交通大学系统工程研究所
李人厚
;
张金成
论文数:
0
引用数:
0
h-index:
0
机构:
西安交通大学系统工程研究所
张金成
.
计算机辅助设计与图形学学报,
2004,
(03)
:267
-274
[4]
一种随机Petri网性能等价化简与分析方法
[J].
论文数:
引用数:
h-index:
机构:
林闯
;
论文数:
引用数:
h-index:
机构:
曲扬
;
郑波
论文数:
0
引用数:
0
h-index:
0
机构:
清华大学计算机科学与技术系,清华大学计算机科学与技术系,清华大学计算机科学与技术系,清华大学计算机科学与技术系北京,北京,北京,北京
郑波
;
论文数:
引用数:
h-index:
机构:
田立勤
.
电子学报,
2002,
(11)
:1620
-1623
[5]
一种基于线性逻辑的时间Petri网推理方法
[J].
论文数:
引用数:
h-index:
机构:
高梅梅
;
吴智铭
论文数:
0
引用数:
0
h-index:
0
机构:
上海交通大学自动化研究所!上海
吴智铭
;
不详
论文数:
0
引用数:
0
h-index:
0
机构:
上海交通大学自动化研究所!上海
不详
.
计算机研究与发展 ,
2000,
(12)
:1452
-1456
[6]
基于时间Petri网的实时并行设计过程建模研究
[J].
宋玉银
论文数:
0
引用数:
0
h-index:
0
机构:
河北理工大学机械系CAD中心!河北唐山,河北理工大学机械系CAD中心!河北唐山,清华大学精密仪器系CIMS中心!北京
宋玉银
;
褚秀萍
论文数:
0
引用数:
0
h-index:
0
机构:
河北理工大学机械系CAD中心!河北唐山,河北理工大学机械系CAD中心!河北唐山,清华大学精密仪器系CIMS中心!北京
褚秀萍
;
蔡复之
论文数:
0
引用数:
0
h-index:
0
机构:
河北理工大学机械系CAD中心!河北唐山,河北理工大学机械系CAD中心!河北唐山,清华大学精密仪器系CIMS中心!北京
蔡复之
.
计算机集成制造系统-CIMS,
1999,
(06)
:17
-22
←
1
→
共 6 条
[1]
时间约束Petri网及其可调度性分析与验证
[J].
宋巍
论文数:
0
引用数:
0
h-index:
0
机构:
南京大学计算机科学与技术系
宋巍
;
窦万春
论文数:
0
引用数:
0
h-index:
0
机构:
南京大学计算机科学与技术系
窦万春
;
刘茜萍
论文数:
0
引用数:
0
h-index:
0
机构:
南京大学计算机科学与技术系
刘茜萍
.
软件学报,
2007,
(01)
:11
-21
[2]
现代产品设计理论的相关研究现状综述
[J].
论文数:
引用数:
h-index:
机构:
单鸿波
.
东华大学学报(自然科学版),
2006,
(05)
:118
-122+124
[3]
模糊定时高级Petri网的协同设计活动建模和分析
[J].
论文数:
引用数:
h-index:
机构:
田锋
;
李人厚
论文数:
0
引用数:
0
h-index:
0
机构:
西安交通大学系统工程研究所
李人厚
;
张金成
论文数:
0
引用数:
0
h-index:
0
机构:
西安交通大学系统工程研究所
张金成
.
计算机辅助设计与图形学学报,
2004,
(03)
:267
-274
[4]
一种随机Petri网性能等价化简与分析方法
[J].
论文数:
引用数:
h-index:
机构:
林闯
;
论文数:
引用数:
h-index:
机构:
曲扬
;
郑波
论文数:
0
引用数:
0
h-index:
0
机构:
清华大学计算机科学与技术系,清华大学计算机科学与技术系,清华大学计算机科学与技术系,清华大学计算机科学与技术系北京,北京,北京,北京
郑波
;
论文数:
引用数:
h-index:
机构:
田立勤
.
电子学报,
2002,
(11)
:1620
-1623
[5]
一种基于线性逻辑的时间Petri网推理方法
[J].
论文数:
引用数:
h-index:
机构:
高梅梅
;
吴智铭
论文数:
0
引用数:
0
h-index:
0
机构:
上海交通大学自动化研究所!上海
吴智铭
;
不详
论文数:
0
引用数:
0
h-index:
0
机构:
上海交通大学自动化研究所!上海
不详
.
计算机研究与发展 ,
2000,
(12)
:1452
-1456
[6]
基于时间Petri网的实时并行设计过程建模研究
[J].
宋玉银
论文数:
0
引用数:
0
h-index:
0
机构:
河北理工大学机械系CAD中心!河北唐山,河北理工大学机械系CAD中心!河北唐山,清华大学精密仪器系CIMS中心!北京
宋玉银
;
褚秀萍
论文数:
0
引用数:
0
h-index:
0
机构:
河北理工大学机械系CAD中心!河北唐山,河北理工大学机械系CAD中心!河北唐山,清华大学精密仪器系CIMS中心!北京
褚秀萍
;
蔡复之
论文数:
0
引用数:
0
h-index:
0
机构:
河北理工大学机械系CAD中心!河北唐山,河北理工大学机械系CAD中心!河北唐山,清华大学精密仪器系CIMS中心!北京
蔡复之
.
计算机集成制造系统-CIMS,
1999,
(06)
:17
-22
←
1
→