查询词典 Petri

Special research was made on how to use a Petri net to express compound event ECA rules,and an extended Petri net system was put forward.

ECA规则系统是一个复杂的规则系统，规则设计人员很难预测他们设计的规则会给数据库状态带来什么样的影响。

Based on the analysis, we proposed an efficient deducible fault-finding method which could not only diagnose and repair the failures but also find out the relative branches influenced by the faults.

在增加Petri网标识的冗余度基础上，通过构造监督矩阵和冗余矩阵，提出了具有自校正能力的Petri网模型；给出了Petri网有效的递推寻错法，该方法不仅能够检测和纠正Petri网中出现的故障，而且可以给出实际对象网络中与故障相关的进程；利用不间断电源的Petri网模型验证了递推寻错法的正确性以及在实际应用中的可行性

The theory of elementary siphons has proved that a supervisorcan be computed and its size is linear with the size of the plant net model. But siphonenumeration is required for the purpose of determining a set of elementary siphons.

基本信标理论已从理论上证明可以得到与Petri网规模呈线性关系的受控Petri网模型，但在确定一组基本信标时同样受到枚举Petri网中所有信标问题的困扰。

Users are able to build hierarchical model and do all the operations that are necessary for building,such as modification,deletion,saving,model fattener,simple function simulation.

为解决使用Petri网建模遇到的状态空间爆炸问题，提出使用层次模型，采用分层细化逐步求精的方法建立Petri网分层模型。

These algorithms have laid a foundation for setting up the basic data in MES. The five elements BOM definition used to describe product structure is given in order to reduce BOM quantity and realize BOM consistency effectively. In addition, the mapping algorithm is implemented by five elements BOM, which can make them link seamlessly to transforming from product structure model to procedure model with workflow. It provides a technical foundation to control and management in the product life cycle. And it also meet requirements which include the identicalness, integrality, integration of BOM data in the product life cycle.

介绍了BOM的基本概念，提出了EBOM／PPBOM向MBOM映射的算法和多BOM数据死锁的检验算法，为快速建立MES中的基础数据打下了基础；给出了五元组BOM对产品结构进行描述的柔性定义，可有效减少BOM数量和实现BOM的一致性；提出了基于五元组BOM的产品结构模型向Petri网过程模型的映射算法，从面向产品结构的建模转化为面向过程的Petri网建模，从而为产品的全生命周期的控制与管理提供了技术基础，满足产品生命周期中的BOM的一致性、完整性和数据集成性的需求。

EHLEP-N has the advantages of picturesqueness, intuitiveness, strong descriptive power, few nodes, simple structure and so on.

在充分研究已有多种Petri网的基础上，提出新的更适合FMS调度控制的EHLEP-N（Extended High Level Evaluation Petri Net，扩展高级E-net）。

The deadlock avoidance policy presented in this thesis uses partial reachability graph of the Petri net and the major advantage of these techniques is that they are suitable for a much larger class of ordinary Petri nets than that of the most existing deadlock avoidance policies and the supervisory control is maximally permissive.

新算法只是计算出网系统的部分可达标识图，它在保证系统是无死锁的前提下最大限度的降低了对系统的约束并且适用于一般网的情况，因而它比现有的方法具有更大的实用性。

In order to evaluate the capability of lignin degradation and pitch elimination from Masson pine chips by nature white-rot fungi, 20 white-rot fungus strains were obtained by petri dishes screening and petri dishes color-reaction screening. One G strain with the lowest Mycel/Col value was then inoculated onto the surface of Masson pine chip, and the degradation rates of lignin and pitch were measured after 3, 5, 7, 9 days, respectively.

为评价从野外筛选得到的白腐菌对造纸原料马尾松的木素降解和树脂脱除能力，将带菌样本经室内平板初筛及平板变色反应复筛，得到了20株纯白腐菌菌株，并对变色系数最小的一株菌株G进行松木片固体接种试验，测定3、5、7、9天后松木片的木素、树脂降解情况。

In order to evaluate the capability of lignin degradation and pitch elimination from Masson pine chips by nature white-rot fungi,20 white-rot fungus strains were obtained by petri dishes screening and petri dishes color-reaction screening.

为评价从野外筛选得到的白腐菌对造纸原料马尾松的木素降解和树脂脱除能力，将带菌样本经室内平板初筛及平板变色反应复筛，得到了20株纯白腐菌菌株，并对变色系数最小的一株菌株G进行松木片固体接种试验，测定3、5、7、9天后松木片的木素、树脂降解情况。

We mainly research on more complicated reparable system: Convert Fault Tree model based on factor analysis to SPN of system; Describe the running of reparable system by use of state transition.

这里我们主要针对较为复杂的可修复系统部分进行重点研究，将故障树转化为大系统的随机Petri网模型，利用状态转移来描述可修系统部分的运行情况，由其状态转移概率建立系统的状态方程，从而得到系统的稳态可靠性，再结合不可修系统部分对整个大系统进行全面综合的分析，提出了基于随机Petri网的复杂大系统的可靠性分析方法。

In the United States, chronic alcoholism and hepatitis C are the most common ones.

在美国，慢性酒精中毒，肝炎是最常见的。

If you have any questions, you can contact me anytime.

如果有任何问题，你可以随时联系我。