检索结果-南通市图书馆

顺序共享资源制造系统petri网控制器的形式化设计方法

在线全文

学校读者我要写书评

暂无评论

机械科学与技术 2002年第3期21卷 488-490页

作者：李志武郝林西安电子科技大学机电工程学院西安710071

基于通信顺序进程和资源向量的有关概念 ,提出了截断迹及截断迹集 ,研究了系统具有共享资源时标志容量的计算方法 ,提出了具有顺序共享资源制造系统

关键词：共享资源资源向量截断迹 petri网控制器 FMS 制造系统形式化设计方法

顺序共享单一资源自动制造系统实时petri网控制器的一种形式化设计方法

在线全文

学校读者我要写书评

暂无评论

电子机械工程 1996年第4期12卷 15-21,64页

作者：刘宏李志武叶尚辉西安电子科技大学电子机械学院

自动制造系统（AMSs：AutomatedManufacturingSystems）petri网控制器形式化设计是AMSspetri网控制器自动设计的理论基础。本文以AMSs计划（Planning）层和调度（Scheduling）层生成的工序序列（OperationSequences）和资源需求序列（ResourceRequirementSequencces）为基础，为顺序共享资源AMSs设计了一种规格说明语言。通过对位置和变迁引入输入输出状态函数，结合所设计的规格说明语言，可以自动生成AMSs实时控制petri网控制器的表格表达式，该表达式为模型分析和AMSs技制软件自动生成奠定了基础。最后，用一个实例说明了设计过程。

关键词：自动制造系统 petri网控制器形式化设计

在线全文

学校读者我要写书评

暂无评论

基于时序petri网的DEDS控制器综合

基于时序Petri网的DEDS控制器综合

作者：刘勇山东科技大学

学位级别：硕士

在离散事件动态系统的研究中，逻辑层次的建模与控制是一个很重要的方面。由于petri网的一些特点，例如真并发的语义、易于转换为计算机程序控制码、逻辑电路形式的硬件实现，因此在DEDS的控制理论研究领域引起了很大的关注。目前大多... 详细信息

在离散事件动态系统的研究中，逻辑层次的建模与控制是一个很重要的方面。由于petri网的一些特点，例如真并发的语义、易于转换为计算机程序控制码、逻辑电路形式的硬件实现，因此在DEDS的控制理论研究领域引起了很大的关注。目前大多数的研究表现为在变形后的受控petri网基础上，利用各种方法求得各种逻辑型、结构型控制器，解决DEDS监控理论中的事件反馈控制问题与状态反馈控制问题。总的说来，以往的工作有以下的不足：首先，由于受控petri网的特性，大部分基于此的方法求出的是逻辑型控制器，而且对于受控系统都有一些限制。其次，目前使用的控制规范大多采用自然语言、库所容量不等式约束等形式，且大多针对库所与标识的约束，对变迁的约束一般要转化为对其输入库所的约束。所以，目前研究中针对的控制目的大多是一些固定内容，因此限制了对系统进行改造的程度。而且，在一些研究中，对于生成的带有控制结构的新petri网模型，往往加入一些扩展，改变了网的外延规则，使得这种改造某种程度上失去了意义。与次同时，研究人员注意到线性时序逻辑具有以下特点：它可以像经典逻辑一样，描述被模拟对象的静态规范;同时，它还可以很自然的表示状态转换机制，即描述对象的动态语义。所以，本文引入线性时序逻辑公式作为基于petri网的离散事件动态系统控制器综合的控制规范的描述语言，通过利用时序逻辑公式的语义对有界petri网的扩展可达标识图的处理，以及本文改造的转移系统转化为petri网的算法，将其转化为与原模型具有相同变迁集、相同语言以及最大保持原网结构的原型petri网模型，实现了模型与控制期望的有效、明确、具有实际意义的融合，更加有利于控制综合后的模型的物理实现。具体内容上，本文首先讨论了时序petri网语言表达能力。借助带抑止弧的增广petri网，证明了时序petri网的语言描述能力不弱于图灵机，大大超过原型petri网。接着，又通过对时序petri网的可达标识图的构造，证明了有界时序petri网的语言表达能力等同于正规语言，与有界petri网是等价的。进而说明了任何一个有界时序petri网均可转化为一个语言与其相同的原型petri网，显示了将加入线性时序逻辑公式为控制规范的原型petri网再转化为原型petri网的合理性。本文最后还给出了一系列算法，描述了如何实现将一个有界时序petri网转化为一个

关键词：离散事件动态系统监控理论 petri网控制器线性时序逻辑

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

跑道入侵防御系统的可重构性研究

武汉理工大学学报（交通科学与工程版） 2017年第5期41卷 821-827页

作者：许峰汤新民揭东洪网君南京航空航天大学民航学院南京210016

为了实现跑道入侵防御系统应用的灵活性,提出了一种基于petri网跑道入侵防御系统的重构方法.对监视数据源进行了数据分析与处理,并基于标准构建机场的矢量地图模型,再结合机场场面跑道结构建立跑道petri网控制器模型,构建跑道状态灯模型... 详细信息

为了实现跑道入侵防御系统应用的灵活性,提出了一种基于petri网跑道入侵防御系统的重构方法.对监视数据源进行了数据分析与处理,并基于标准构建机场的矢量地图模型,再结合机场场面跑道结构建立跑道petri网控制器模型,构建跑道状态灯模型,利用重构方法建立了各个模块之间的接口,包括机场地图模型与petri网控制器模型、petri网控制器与跑道状态灯模型、车辆/航空器分布向量与petri网控制器标识向量、可控变迁的使能状态向量与跑道状态灯状态向量,并通过案例说明了跑道入侵防御系统重构方法的有效性.

关键词：跑道入侵防御 petri网控制器接口可重构性

基于petri网和GA的多目标动态优化调度问题研究

在线全文

学校读者我要写书评

暂无评论

组合机床与自动化加工技术 2011年第10期 5-9页

作者：陶泽李小军刘晓霞沈阳理工大学机械工程学院沈阳110159 东北大学软件学院沈阳110004 河南工业大学机电工程学院郑州4500072

以最小化生产周期、机床负载和机床与工人的费用为调度目标,基于受控petri网和遗传算法提出了一种多目标作业车间调度方法,用于解决作业车间的加工受到机床、操作工人双资源制约条件下的动态优化调度。首先,给出了基于Parikh矢量的Petr... 详细信息

以最小化生产周期、机床负载和机床与工人的费用为调度目标,基于受控petri网和遗传算法提出了一种多目标作业车间调度方法,用于解决作业车间的加工受到机床、操作工人双资源制约条件下的动态优化调度。首先,给出了基于Parikh矢量的petri网控制器简化设计方法,并应用该方法构建了基于紧急订单的受控petri网模型;然后设计了基于Pareto的遗传算法,能够获得Pareto最优解集;尤其重要的是能够针对车间的动态扰动给出相应的调度方案。最后,通过实例验证了该方法的可行性和有效性。

关键词： Parikh矢量 petri网控制器多目标动态优化调度遗传算法(GA)

在线全文

学校读者我要写书评

暂无评论

基于多监视源的跑道入侵防御技术研究

基于多监视源的跑道入侵防御技术研究

作者：许峰南京航空航天大学

学位级别：硕士

跑道入侵一直是困扰机场场面安全有效运行的主要问题,通过自动化手段实现跑道入侵的防御显得尤为迫切。为了完善机场场面的监控系统,本文提出了一种基于多监视源的跑道入侵防御技术,主要对跑道入侵防御系统的构建、多源数据融合和跑道... 详细信息

跑道入侵一直是困扰机场场面安全有效运行的主要问题,通过自动化手段实现跑道入侵的防御显得尤为迫切。为了完善机场场面的监控系统,本文提出了一种基于多监视源的跑道入侵防御技术,主要对跑道入侵防御系统的构建、多源数据融合和跑道入侵预警及告警三个方面进行了研究。首先,针对当前机场跑道入侵事件的飞行员偏差、运行失误和车辆偏差三种主要来源,确定了跑道入侵防御系统的检测和控制功能需求,提出了利用自动化系统检测和控制跑道入侵来源的方法。在此基础上,设计了基于跑道状态灯和车载终端自动闭环控制的跑道入侵防御系统总体框架。其次,为了获取航空器和车辆的状态信息,提出了北斗车载终端和ADS-B监视方式,分析了两种方式的获取原理。为了解决多数据源不同步的问题,提出基于多数据源数据的空间和时间融合算法,利用坐标转换算法将多源数据坐标转换到本地直角坐标,通过基于卡尔曼滤波改进的拉格朗日插值法对多源数据的同步性进行融合。然后,以构建包含机场地图、跑道状态灯和跑道入侵防御区域的机场场面模型为基础,提出基于时间窗可达标识图的指令预演算法,对各类指令可能造成的三类偏差进行预测;为实时探测跑道入侵,还设计了跑道入侵防御系统的petri网控制模型,提出由监视数据源、机场地图模型、petri网控制器模型和跑道状态灯模型四个模块组成的跑道入侵防御系统重构方法,并对跑道入侵防御系统的控制决策算法进行验证。最后,在上述理论研究的基础上,完成跑道入侵防御系统的构建,该系统主要包括信息采集、数据库和系统功能三个模块,通过案例仿真验证了本文研究的跑道入侵防御技术。

关键词：跑道入侵防御数据融合 petri网控制器重构方法控制决策