【摘 要】
：
该文利用库所双模拟方法对Petri网的简化进行了研究,讨论了网在细化时库所双模拟关系的保持问题,以便确定哪些关系可以用于自顶向下的系统设计;同时也对时间Petri网的进程做
论文部分内容阅读
该文利用库所双模拟方法对Petri网的简化进行了研究,讨论了网在细化时库所双模拟关系的保持问题,以便确定哪些关系可以用于自顶向下的系统设计;同时也对时间Petri网的进程做了研究.1.证明了两个具有双模拟关系的Petri网系统的行为特点.2.利用库所双模拟方法对Petri网进行了简化,说明了它与一般简化方法和高级Petri网方法不同;证明了简化后的网系统仍保持原来网系统所具有的活性,有界性和可逆性等的充分必要条件;提出了保证网系统活性、有界性和可逆性的算法框架;证明了算法的正确性和复杂性.3.给出了时间进程中变迁的发生时间约束条件,说明了变迁的发生时间是否为有效时间不仅与和它有因果关系的变迁有关还与能间接影响到它的变迁有关.4.分别用两种等价关系对出现序列集合及时间进程集合进行划分.证明了对于时间Petri网的两个时间进程,它们分别属于两个与不同出现序列一致的进程的集合,当且仅当这两个出现序列有关系R<,1><*>时,这两个时间进程有关系R<,2><*>.5.证明了在变迁和库所的细化过程中库所双模拟关系只有≈<,pr>会得到保持.
其他文献
该文充分调研了国内外远程教育规范/标准体系,认真研究了写作工具应该遵守的规范/标准:学习对象元数据规范/标准、学习对象内容包装规范/标准、学习对象运行环境规范/标准和
随着高科技信息化时代的到来，人工智能技术的开发和应用逐渐成为了研究中的热点问题。图片和视频中的文字包含了大量的语义信息，因此可以被应用到人工智能系统的各个领域，如图片
该文提出了一种新的旋转不变纹理分类方法——基于灰度-梯度共生(GGC)/环形Gabor滤波(CGF)联合分类法.该方法将基于灰度-梯度共生的旋转不变纹理分类和基于环形Gabor滤波的旋
自从计算语言学兴起到现在已经有几十年的时间了，在这几十年里，不少计算机专家、语言学家在自然语言处理领域付出了不懈的努力，许多研究思想和设计方法也应运而生。机器翻译作为
随着在Internet网络中实现语音信号的实时传输,语音业务在Intenlet中得到了迅猛的发展.从网络安全考虑,人们要求在开展语音业务的同时,应保证安全性,尤其是参与业务的人员身
该文是以相控阵雷达软件仿真系统为背景,研究基于XML的雷达仿真描述语言,将面向对象仿真和面向知识的标记语言结合起来,描述雷达系统模型,以便实现雷达仿真信息的计算机存储
该文分析了手写签名鉴别技术的应用背景和发展状况,并探讨了签名鉴别问题中的一些重点和难点.针对汉字的结构特点,该文提出了一种基于稳定笔段提取的联机手写签名鉴别的特征
该文针对音频水印的同步问题,给出了两种解决方案.第一种是利用人耳的听觉掩蔽效应,在音频载体中嵌入回声作为同步检测信息.实验结果表明只要选择合适的回声参数,可以保证添
该文结合专家系统技术在具体应用领域的特点,阐述了一种新的知识表示形式以及相关推理技术.该文首先分析现有的知识表示方法,考虑专家系统的实际应用领域,引入线性规划定量计
该文分析了国内外在该方向的研究现状,介绍了已有的网管理念及相关的标准.重点讨论了SNMP协议构架、技术特点和现实情况,即并不能够很好地解决ISO网管五大功能范畴所涉及的问