查询词典 Petri dish

Owing to the complexity of CIMS' missions,the reliability modeling should adapt the production processes accurately.Conventional reliability model method can not reflect the time dynamic behavior of CIMS,so the multitask reliability model based on generalized stochastic Petri nets is established for a CIMS manufacturing shop with multiple missions and the process times of the machines with exponential distributions.Furthermore,analysis of GSPN model based on behavior expression and moment generating function is presented,then can compute the transfer functions.Finally,the multitask reliability can be easily obtained without the reachability graph of Petri nets,which measure can reflect the operating performance of the whole multitask CIMS more intuitively.

CIMS生产的复杂性要求其可靠性模型可以精确地反映生产过程，由于传统的可靠性建模方法无法兼顾CIMS的时间动态特性，所以针对一个复杂的有多个加工任务的CIMS制造单元，由于其机器加工工件的时间均为指数分布，则采用广义随机Petri网进行多任务可靠性建模，在此基础上基于Petri网行为表达式，将矩母函数思想引入其中，不必生成可达标识图就可通过计算模型的传递函数，进而得到整个系统的多任务可靠度，该可靠性指标可以更直观地反映具有多种加工任务的整个CIMS的运行性能。

This paper proposes a time Petri net extended with price information—Price Time Petri Net.

提出一种扩展了价格信息的时间Petri网--价格时间Petri网。

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天后松木片的木素、树脂降解情况。

To use the Petri Nets graphical modeling sententiously and intuitively, the thesis is about the way to using Visual C++ development environment to develop a constitute and debug tool found on the Petri Nets GUI.

为了更好的利用Petri网简洁、直观的图形建模方法，本论文旨在通过Visual C++开发环境开发一款基于图形界面的Petri网模型建立和调试工具，其基本要求是：运行稳定，操作简单，界面清晰友好，功能实用够用，用户可以通过标准图形界面的方式绘制，编辑Petri网模型图，并对其迁移过程进行观察和调试，便于推广应用。

We prove the equivalence of coloured petri net and extented coloured petri net in teachability space.

针对有色Petri网在建模能力方面的限制进行若干扩展，提出了一种扩展有色Pertri网，增加了容量限制及阈值弧函数，这将丰富CPN模型的语义，增强CPN对系统的描述能力，有助于大型复杂系统的建模，在此基础上证明了ECPN与CPN从可达空间的角度来说两者之间的等价性。

From the modeling experiences of CTD service with Petri nets, universal coupling criteria of Petri nets model of protocol conversion are abstracted, which enrich the protocol conversion methodology.

在用Petri网对CTD业务的建模过程中提炼出通用的Petri网模型协议转换耦合原则，丰富了协议转换方法学的内容。

In building the simulation models for manufacturing missions, based on the combination with the multi-agent method and the GOOPN method, the compoundable method is presented, which makes the models more intelligent. Based on the result above, combined with the GOOPN models and the GERTS model, we put forward EPN-GERTS model through embedding Petri net into GERTS model, which can simplify the complexity in building models, and also improve the defects of GERTS model in describing resource conflicts and Petri net model in building models. In building the simulation models for development missions, the improved GERTS model is present to describe the development processes in QRMS. Through dynamically computing the redo times in GERTS, the improved model can reflect the operation character of development process. The simulation results are more precise when we use the models above.

针对构建快速研制系统的仿真对象问题，提出了基于多Agent的快速研制系统可靠性复合仿真建模方法，增强了仿真模型的智能性；在此基础上，针对制造任务，将Petri网嵌入到GERTS网中，提出了用于快速研制系统制造任务可靠性仿真的EPN-GERTS模型，简化了建模过程，同时也能考虑任务之间的资源冲突；针对研制任务，提出了用于快速研制系统研制任务可靠性仿真的改进GERTS模型，该模型可以描述设计迭代过程的动态运行特点，使仿真结果更加准确。

The liveness is an important property for Petri net,and it is difficult to decide whether a Petri net is live or not.

Petri网的活性反映了实际系统的无死锁性。本文讨论了一类结构简单的Petri网？

"Please accept this talisman as a token of our thanks."

请收下这个护身符以表达我们的感谢。

If I have that magic, I will be more acceptable in the society.

如果我拥有那种魔法，我将更加被这个社会所容纳。