查询词典 Petri dish

Software Description: About Petri Heil, This fishing simulator includes various fish, each of which possesses its own distinct behavior.

Petri Heil 这款钓鱼模拟器包括各种不同的带有各自不同行为特性的鱼类。

Based on Petri-Net, modeling and analysis have strict system of formalization, then can avoid the illegibility, uncertainty and illogicality.

基于Petri网进行的建模与分析，具有严格的过程形式化体系，避免了模糊性、不确定性和矛盾性。

A method using incidence matrix of Petri net to identify the minimal cut sets was proposed.

在应用Petri网模型构建系统故障逻辑关系图的基础上，提出了一种应用Petri网的关联矩阵求最小割集的算法。

However the calculation of invariants for coloured Petri nets is a hard work because the elements of coloured incidence matrix are not integers, but functions instead.

但是，着色Petri网的不变量求解却是一项非常困难的工作，因为它的关联矩阵的元素不再是整数而是函数。

In the project scheduling study, the algorithms of Simulation Critical Path and Activity Criticality Probability in Petri Nets are deduced based on incidence matrix.

利用关联矩阵方法系统研究了仿真关键线路、工序关键度等进度计划指标在Petri网中的计算方法。

Invert the petri dishes, and incubate for 48 to 72 hours.

倒置平皿，培养48至72小时。

The scholars pursuing the researches of DES come from the fields of automatic control as well as computer, communication, manufacturing and management science and so on.The research of DES mainly consists of system performance analysis and control synthesis. The present dissertation uses Petri nets as tool to study the controller synthesis of DES with inequality constraint.

制造系统(尤其是柔性制造系统FMS、计算机集成制造系统CIMS)、系统调度、通信网络、交通控制系统、随机服务系统、计算机操作系统、军事上的C_3I系统以及其他一些对现代文明的发展至关重要的系统等都是DES的典型实例。

A novel method for design of controller enforcing the constraints is presented. First the constraints involving the marking and Parikh vectors are transformed into the constraints involving Parikh vector only using Petri net state equality, and then the controller is constructed based on the viewpoint that a place can be seen as a linear inequality constraint on the Parikh vector.

该方法首先利用Petri网的状态方程把关于标识向量和Parikh向量的不等式约束转变成关于Parikh向量的不等式约束，然后基于Petri网库所是关于Parikh向量的不等式约束的观点构造控制器。

The EMM is suitable for the case that all F-type influentially uncontrollable subnets are normalized cascade Petri nets, and the advantage is that control patterns can be on-line computed within polynomial times.

各序状子网要么是无环网，要么是状态图的场合，该方法的优点在于在数学上有一标准的求解工具。

The CTM is suitable for the case that all E-type influentially uncontrollable subnets are state graphs, and the outstanding virtue is that the designed controller is explicit. The EMM is suitable for the case that all F-type influentially uncontrollable subnets are normalized cascade Petri nets, and the advantage is that control patterns can be on-line computed within polynomial times.

约束变换法适用于所有E-型影响不可控子网为状态图这种特殊的场合，用该方法所综合的控制器最大的优点在于所获得的控制器是显式的；特征标识法适用于所有F-型影响不可控子网为规范化序状Petri网这种场合，用该方法设计的控制器在线运算工作量是多项式可解的。

More direct, directer ; most direct, directest

径直的，笔直的

Do you know how to use a chain saw?

你知道如何使用链锯吗？