【摘 要】
：
该篇文章研究的是基于Petri网的离散事件动态系统的精炼操作与工具研制.全文共分为五章.第一章是概述,介绍了当前Petri网理论与应用的发展状况.第二章是基本概念.第三章是精
论文部分内容阅读
该篇文章研究的是基于Petri网的离散事件动态系统的精炼操作与工具研制.全文共分为五章.第一章是概述,介绍了当前Petri网理论与应用的发展状况.第二章是基本概念.第三章是精炼操作,研究了Petri网精炼操作的性质,如状态不减性,行为不变性,一致相关性,公平性,弱公平性,不变量,持续性等等.第四章辅助工具的研制开发,介绍了其原理,网文件的结构,使用的主要算法.第五章是实验分析,用辅助工具对两个例子进行分析,第一个例子是一个简单的加工系统,通过对系统模型的分析验证,可以有效的消除死锁.第二个例子是对罐头包装机的模型分解验证过程.
其他文献
印制电子工艺是一种相似于微纳米加工技术的加成反应，它是采用多种油墨材料印制和热处理等一系列工艺达到形成线路或者电极以构建电子部件或者电子器件为目标的印刷工艺。本文
颜色是图像的重要特征，影响着人们对图像的视觉感知和评价。鉴于目前在图像处理技术中关于颜色渐变算法、颜色渐变类型以及描述颜色渐变区域模型的研究相对较少。为了使用客观
该论文重点讨论利用目前先进的LotusDomino/Notes群件平台设计基于Web的机关办公自动化系统.首先介绍了WWW背景知识,包括Web规范和体系结构,几种Web应用开发技术.然后对机关
该文基于小波分析和FBM模型分别实现了两种图象纹理分割算法,有效地检出了菌落图象中对分类最有意义的中间隆起部分,为后继工作奠定了基础.菌落形貌牲的定量描是实现菌种自动
针对连续工业生产过程特点和过程控制目标,该研究报告提出并讨论过程鲁棒优化控制问题.针对过程鲁棒控制理论研究和应用现状,指出存在的问题,分析产生的原因,然后从几个方面
信息化社会中人们工作的特点是群体性、交互性、分布性和协作性.计算机支持的协同工作(CSCW:Computer Supported Co-operative Work)作为一种将人类合作行为模式与计算机技术
分类精度和学习速度是评价分类器性能的两个主要指标。现有多层感知器(Multilayer perceptrons, MLPs)及其学习算法能有效解决中、小规模即样本数、维数和样本类别均比较小的
随着计算机逐步的智能化，人机交互技术越发重要。手势交互技术是一种以手为核心的直观的人机交互技术。手作为人体最为灵活的部分之一，能够传递各种各样的信息。近些年来，基于视
随着当今社会信息化与全球化的飞速发展,人们在生活中不可避免会接触到大量的外文信息内容。在线机器翻译的出现及普及对人们理解外文提供了很大的帮助。统计机器翻译(SMT)是