禁止状态 forbidden state(9) forbidden states(9) forbiddance state(0)   forbidden state      Petri Net Supervisor Synthesis on a Class of Finite Forbidden State Specifications      一类禁止状态规范下Petri网控制器的综合 短句来源      This approach is first to orderly conduct off-line computations of some special states or markings,such as dead(lock) markings,bad markings,and dangerous markings,of the system's Petri net model,and then make on-line the system never reach a forbidden state such as dead(lock) markings and bad markings.      该方法首先离线计算出资源分配系统Petri网模型中的死标识、坏标识和危险标识等特殊标识,进而在线保证系统不到达死标识和坏标识对应的禁止状态. 短句来源      This paper studies the problem of conflict controls that arises in a comtrolled Petri net model for a class of discrete event systems. We propose a new method to synthesize controls for conflicts. With this method,the conflict problem is first transformed into a forbidden state problem,and then through the resolution of the control problem of the forbidden state,the conflict controls in controlled Petri nets are achieved.      本文研究了以受控Petri网为模型的一类离散事件系统的冲突控制问题，提出了一种综合冲突控制的方法．该方法首先把冲突问题转化为禁止状态问题，然后通过解决禁止状态的控制问题实现受控Petri网中的冲突控制．文中还给出了求解控制的有效算法． 短句来源      The supervisory control part: Firstly, the existence condition of maximally permissive multi-valued logic controller for the forbidden state problem is presented.      监控理论部分：首先讨论了禁止状态问题的最大允许控制器存在的充分必要条件； 短句来源      Forbidden State Avoidance Controller Synthesis for Petri Nets      Petri网上的禁止状态监控器综合 短句来源 更多          forbidden states      The Avoidance Control Logic of a Class of Forbidden States in Discrete Event Systems      离散事件系统一类禁止状态避免控制 短句来源      A novel controller synthesis method for solving forbidden states avoidance problem was presented by exploiting the structural properties of Petri nets.      通过挖掘Petri网的内在的结构特性 ,获得了一种新的解决禁止状态避免问题的控制器设计方法 . 短句来源      Some discrete event systems are modelled by Petri Nets. The problems of avoiding a class of forbidden states,which are not expected in practice system,are solved.      以Petri网为模型描述某些离散事件系统，把实际系统中一些不希望出现的现象抽象为一类禁止状态，解决了这类禁止状态的避免控制问题 短句来源      The system is modeled by controlled marked graph with external input places. The number of tokens in each external place is controlled to guarantee that the forbidden states will not occur. Logical behavior of the system is described by min algebra and one-step permissive control policy withoutredundancy is obtained.      本文研究离散加工系统中异步并发活动的控制与协调问题．系统采用具有外部输入位置的受控标识图描述．通过对外部输入位置中令牌数目的控制，使系统不进入禁止状态集，同时具有最大限度的柔性．系统的逻辑行为用极小代数描述，并由此得到一步允许无冗余控制策略． 短句来源      In this paper,the Problem of are kinds of forbidden states avoidance in discrete event systems modeled by petri netri is discused. A method,that designs a petri net with external input places(PNIP)which is based on Petri net N and implements control logic of coordination on N is presented. The control state of PNIP decided by N's current state ensures that N avoides forbidden states and has permissive maximally freedom.      本文探讨以Petri网为模型的离散事件系统（DES）的某种禁止状态避免问题，提出了以Petri网N为基网，设计具有外部输入位置Petri网（PNIP），对N进行协调反馈控制的方法．由N现行状态反馈决定的PNIP的控制状态，既保证N避免禁止状态，又使N具最大自由度． 短句来源 更多          “禁止状态”译为未确定词的双语例句      In the transformation function based method, we propose reverse net analysis to compute weakly forbidden marking (WFM) set without constructing influence paths.      基于变换函数的方法中，用逆网分析来计算为了解决不可控变迁而引入的弱禁止状态标识集，而没有构造影响路径。 短句来源      In state feedback based method, reverse net analysis is used not only in computing WFM, but also in synthesizing controllers.      基于状态反馈的方法中，逆网分析不仅用来计算弱禁止状态标识集，而且用来综合监控器。 短句来源      Problems concerning supervisory control of resource-sharing systems are addressed.      本文研究了共享资源系统的监控器设计及相关的死锁与无穷占有问题。 首先,本文指出禁止状态控制等价于一类标识控制问题。 短句来源      An algorithm relating to this objective of a subclass of controlled Petri nets (the spanning subnets of uncontrolled transition subnet in a net of this subclass is a TC net) is given in this paper.      文中对受控 Petri网的一个子类 (非受控变迁子集的外延子网为 TC网 )讨论控制综合问题 ,给出求这类受控网中实现禁止状态避免的最大允许反馈控制的一个算法 . 短句来源 查询“禁止状态”译词为用户自定义的双语例句     我想查看译文中含有：的双语例句 为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法，我们为您准备了出自英文原文的大量英语例句，供您参考。   forbidden state Assuming that an uncontrolled Petri net model of the DES and a set of forbidden state specifications are given, feedback control elements, i.e. 例句来源       Assuming that an uncontrolled bounded Petri net (PN) model of a (plant) DES and a set of forbidden state specifications are given, the proposed approach computes a maximally permissive and nonblocking closed-loop hybrid model. 例句来源       More specifically, the forbidden state control problem with full observation, in which a discrete-event system is modeled as a colored Petri net with a symmetry specification, is investigated. 例句来源       An idea is presented for the synthesis of modular distributed controllers for forbidden state problems. 例句来源       As a result, the number of controller places needed is generally much smaller than the number of forbidden state transitions. 例句来源       更多             forbidden states Simple local NN potentials involving forbidden states and polarization in ed scattering 例句来源       We perform calculations and comparative analysis of the off-shell scattering matrices and related pp → ppγ reaction observables for various types of NN potentials-with forbidden states and with short-range repulsion. 例句来源       Relevant calculations are performed on the basis of the Nijmegen and Moscow nucleon-nucleon potentials, the latter involving forbidden states. 例句来源       Optically forbidden states do not couple to light propagating in the growth direction yet they may have a considerable radiative broadening due to spontaneous emission in other directions. 例句来源       It is shown that the appearance of discrete ambiguities in the optical potential of composite particles is caused by the existence of partly Pauli-forbidden states. 例句来源       更多                    Problems concerning supervisory control of resource-sharing systems are addressed.Main results include equivalence of forbidden state control and marking control,a simplified design procedure of forbidden state controller,a procedure of designing deadlock-free forbidden state controller as well as a necessary and sufficient condition for the existence of infinite overtaking of the shared resource.Examples are given to illustrate the results.             本文研究了共享资源系统的监控器设计及相关的死锁与无穷占有问题。首先,本文指出禁止状态控制等价于一类标识控制问题。通过构造子系统的集结模型,可以避免求取整体系统模型及求取相应禁止状态的最小不可控子集。这一方法极大地降低了禁止状态控制设计的复杂性。然后,本文证明了对于禁止状态控制问题,相应子语言的死锁状态等价于新的禁止状态,并证明了相应算法的收敛性和最优性。最后,给出了某子系统无穷占有共享资源的充要条件。 文摘来源          In the paper, place-interconnected petri nets are introduced, which are composed of several subnets with some common places. For discrete event systems which can described by place-interconnected petri nets, a decentralized and coordinated control framework is introduced to realize the forbidden state control of them. A aynthesis method of coordinated control is developed for the minimal constrained control of them, it is efficient in computation.             本文引入位置互连Petri网,对能用位置互连Petri网描述的离散事件系统提出了一种分散与协调控制框架,在这个框架下,我们讨论了一类常见的禁止状态控制问题,给出了综合其量小约束协调控制的一种有效算法。 文摘来源          In this paper,the Problem of are kinds of forbidden states avoidance in discrete event systems modeled by petri netri is discused.A method,that designs a petri net with external input places(PNIP)which is based on Petri net N and implements control logic of coordination on N is presented.The control state of PNIP decided by N's current state ensures that N avoides forbidden states and has permissive maximally freedom.             本文探讨以Ｐｅｔｒｉ网为模型的离散事件系统（ＤＥＳ）的某种禁止状态避免问题，提出了以Ｐｅｔｒｉ网Ｎ为基网，设计具有外部输入位置Ｐｅｔｒｉ网（ＰＮＩＰ），对Ｎ进行协调反馈控制的方法．由Ｎ现行状态反馈决定的ＰＮＩＰ的控制状态，既保证Ｎ避免禁止状态，又使Ｎ具最大自由度． 文摘来源   << 更多相关文摘         相关查询: 禁止状态控制 禁止状态问题 避免禁止状态 禁止 状态 计量状态 状态集结 状态验证 时效状态 行政状态 步进状态 终端状态  对查询结果不满意

CNKI小工具 在Springer中查有关的英文论文 在知识搜索中查有关禁止状态的内容 在数字搜索中查有关禁止状态的内容 在概念知识元中查有关禁止状态的内容 在学术趋势中查有关禁止状态 的内容

CNKI主页 |  设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务

2008 CNKI－中国知网

京ICP证040431号 互联网出版许可证 新出网证(京)字008号 北京市公安局海淀分局 备案号：110 1081725  2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社