期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到6篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于Petri网的构件组装运算及其性质 被引量：1
1
作者 张继军 董卫 《微电子学与计算机》 CSCD 北大核心 2006年第z1期95-97,100,共4页
文章提出了构件的Petri网模型-构件网,并给出了构件组装的运算;定义了构件组装表达式,给出了构件组装的形式化描述,讨论了构件组装运算的性质和特点,从而提供了对组装构件进行自动分析和验证的方法。
关键词 PETRI网 构件网 构件网表达式 网运算
下载PDF
Petri网的对偶运算及性质 被引量：1
2
作者 李孝忠 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2001年第S1期40-41,共2页
给出了对偶Petri网的加法、笛卡尔积、并运算及有关性质 。
关键词 PETRI网 对偶Petri网 网运算
下载PDF
对偶Petri网的运算及性能分析
3
作者 李孝忠 杜玉越 +1 位作者 么子皋 石凤来 《聊城师院学报（自然科学版）》 1999年第2期22-25,42,共5页
给出了对偶Ｐｅｔｒｉ网的加法，笛卡尔积，并运算及有关性质。
关键词 PETRI网 对偶Petri网 网运算
下载PDF
基于改进的网重写系统途径的可重构制造单元故障恢复(英文)
4
作者 李俊 戴先中 +1 位作者 孟正大 窦建平 《控制理论与应用》 EI CAS CSCD 北大核心 2010年第2期199-204,共6页
提出了一种用于可重构制造单元故障恢复的策略与方法,允许故障发生时,通过对用于正常操作控制的Petri网形式的监督控制器进行局部、临时性的修改,实现故障的恢复.首先,提出改进的网重写系统,可用于动态改变Petri网模型结构.然后,提出了... 提出了一种用于可重构制造单元故障恢复的策略与方法,允许故障发生时,通过对用于正常操作控制的Petri网形式的监督控制器进行局部、临时性的修改,实现故障的恢复.首先,提出改进的网重写系统,可用于动态改变Petri网模型结构.然后,提出了基于改进的网重写系统的故障恢复方法,其中改进的网重写系统用于操作、引导Petri网监督控制器由错误状态进入正确状态.故障恢复后监督控制器的结构与期望属性维持不变.最后,以实例演示了该故障恢复方法的应用,证实了方法的有效性. 展开更多
关键词 故障恢复 PETRI网 网运算 可重构制造系统 监督控制
下载PDF
保性的Petri网运算在主体BDI内部结构建模中的应用 被引量：2
5
作者 方欢 《计算机工程与设计》 CSCD 北大核心 2009年第19期4398-4400,4446,共4页
针对主体内部结构的建模问题,借助网过程的概念,提出了使用保性的Petri网运算方法来描述主体内部结构的方法,大大降低了多主体系统建模的复杂度;通过研究Petri网库所细化操作的性质保持性问题,将细化操作应用在主体BDI内部结构的建模中... 针对主体内部结构的建模问题,借助网过程的概念,提出了使用保性的Petri网运算方法来描述主体内部结构的方法,大大降低了多主体系统建模的复杂度;通过研究Petri网库所细化操作的性质保持性问题,将细化操作应用在主体BDI内部结构的建模中,这种建模方法突出了主体的自治性。同时对网系统模型的运行终止性、有界性和无死锁性质进行详细地分析,得到的结果保证了多主体系统开发和实施的正确性。 展开更多
关键词 性质保持 Petri网运算 细化 主体结构 BDI建模
下载PDF
虚拟人体建模技术的应用与发展 被引量：4
6
作者 叶含笑 吴洪潭 《系统仿真学报》 CAS CSCD 2004年第7期1600-1602,共3页
本文描述了虚拟人体的研究现状及虚拟人体开发前景,分析了虚拟人体建模中海量信息存储处理受现有计算机技术发展的局限。介绍了近年来如火如荼发展中的网络分布式处理技术,提出了可以应用网络分布式处理技术来突破现有计算机数字人体建... 本文描述了虚拟人体的研究现状及虚拟人体开发前景,分析了虚拟人体建模中海量信息存储处理受现有计算机技术发展的局限。介绍了近年来如火如荼发展中的网络分布式处理技术,提出了可以应用网络分布式处理技术来突破现有计算机数字人体建模中数据处理的瓶颈问题。 展开更多
关键词 VHP数据集 数字人体 分布式运算 网格式运算 虚拟链接
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部