查询词典 Petri dish

Batch process plant described by subprocess is modeled by timed Petri n ets, and heuristic dynamic optimization algorithm is proposed to control the pla nt.

用赋时Petri网来建立以子进程表示的批处理过程，并提出启发式动态优化算法对过程进行控制。

The teachability, which is a problem of driving the states of a hybrid system to a given region, is realized by designing a state feedback controller of Petri net, the firing conditions of transitions and the controller of the continuous system.

研究了系统的可达性问题，通过设计受控Petri网状态反馈控制、变迁的激发条件和连续系统的控制器，实现系统的可达性，即驱动混合系统的状态进入某一预先给定的状态区域。

With the development of the understanding about the objective world, the theory of fuzzy sets, neural network, and Petri net has been extensively studied in various fields of engineering.

随着人类对客观世界认识的不断深入，模糊理论、神经网络、Petri网技术已经应用到工程实践中的多个领域。

Timed Petri-netbased approach has been shown to be a very promising way to handle it.

赋时Petri网技术是求解此类问题的一种有效方法。

In this paper, we pr opose a project management structure based on timed Petri net.

本文提出一种基于时延Petri网的项目管理方法，克服了上述的不足。

Directly analyzing the transition sequences of reachablility graph of the Petri nets modeling calculates the transitional probability of each transition sequences from one fault to the whole manufacturing cell being failure.

其组成以及加工过程的运行都相当复杂，若出现故障，则可能造成重大损失，所以研究复杂制造系统的可靠性问题就显得极其重要。随着现代科学技术的发展，人们从事的工程活动和制造的产品日趋复杂，规模越来越大[1]。

The rest of the desk area includes my grandfather's Kodak Duaflex II twin-lens camera and my father's old Japanese Petri rangefinder camera, an Eames DSW chair from Vitra, as well as a letterpress drawer and some old wooden 7Up crates that I found at the Pasadena Rose Bowl flea market in the early 90s.

桌子旁边放着我祖父的Kodak Duaflex II twin-lens 相机，还有我爸爸的一台旧日本相机 Petri 。其它的还有埃姆斯DSW 椅子，一台带抽屉的拷贝机和在 Pasadena Rose Bowl 的跳蚤市场上发现的九十年代的木制板条箱。

YAWL aims to support all of the work ow patterns and has a formal underpinning based on Petri-nets.

YAWL旨在支持所有的工作流模式，并已正式获得基于Petri网的支撑。

Greater portions of this apocryphon are translated in the so-called "Actus Petri cum Simone", and likewise in Sahidic and Slavonic, Arabic, and Ethiopic versions.

大部份这apocryphon翻译所谓的&现实的Petri暨西蒙娜&，同样在Sahidic和斯拉夫语，阿拉伯语，和埃塞俄比亚的版本。

To address this problem, a new method of security analysis of QKD protocols is introduced. Based on the equivalence attack model of QKD protocols which is refered to Biham's proving, the protocol is divided into two parts: the body and the attack, then a Petri-net model of BB84 is obtained, and a security analysis is followed.

为了简化量子密码协议的安全性证明以及建立一种通用的证明方法，基于Petri 网提出一种量子密钥分配协议的形式化分析方法，根据Biham 的等效对称化攻击模型，将协议分为主体模型和攻击模型两部分，建立了BB84 协议的Petri 网模型，然后对模型进行安全性分析，分析结果表明， BB84协议是无条件安全的。

He studied their excrement for evidence of livestock hair.

他为家畜毛的证据研究他们的粪便。

Loneliness is not grounds for deportation, deportation of the people are not all lonely people.

寂寞也不是放逐的理由，放逐的人也并不都是孤独的人。