查询词典 Petri
- 与 Petri 相关的网络例句 [注:此内容来源于网络,仅供参考]
-
The hydrolysates of five proteins materials,namely fish meal,meat and bone meal,soybean meal,rapeseed meal and wheal gluten meal,were prepared with alcalase and their root-inhibiting activity to Indian dendranthema, Dendranthema indicum Des Moul was measured in Petri dish at different concentrations,i.e.0,0.5,1,2,5 mg/mL.
以鱼粉、肉骨粉、豆粕、菜籽粕及芡粉等几种天然蛋白原料为底物,以碱性蛋白酶为水解酶制备出天然蛋白原料的水解物,用培养皿生物分析法检测不同蛋白原料水解物在不同浓度(0.5、1、2、5 mg/mL)条件下对杂草野菊种子的生根抑制活性。
-
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和斯拉夫语,阿拉伯语,和埃塞俄比亚的版本。
-
We did a lot of experiments, such as separating, cultivating and appraising pathogetic epiphyte, studying physiological character of pathogen, doing manual inoculation, filtrating indoor medicament, and cultivating confrontation in petri dish. The result of study showed the pathogen was Armillaria ostoyae..
通过对病原菌的分离培养与鉴定、病原菌生理学特性研究、人工接种试验、室内药剂筛选、平板对峙拮抗培养等试验的研究结果表明,引起该病的病原菌为奥氏蜜环菌Armillaria ostoyaeRomagn。
-
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协议是无条件安全的。
-
Deadlock control is proposed. Depended on the route of parts, used ObjectOriented technology, the static structure of machines is capsulated in a object subnet, is represented by a big place, a simplified colored Petri net is proposed.
基于系统中工件对机床的需求关系,利用面向对象技术把机床的静态结构封装为一个对象子网,用一个大位置表示一机床,提出了简化着色Petri网模型。
-
Considering the gap between academic research and real world application, the characteristic of manufactories of "much variety and little batch", this paper discusses the abstraction and modeling of the workshop performance using colored Petri net characterizing definite description of DEDS. And rule bases are applied into the model to tackle the dynamic events and disturbances with dynamic scheduling. After analysis on agile response of MES and integration of its scheduling model, by adopting distributed component technology the workshop scheduling model was capsulated as a scheduler to realize the scheduling module of MES easier to be integrated and rapidly reused. Finally a prototype of scheduler is proposed.
鉴于最优调度理论与实际调度应用的距离,以及多品种单件小批量车间生产的特点,本文以某模具制造企业生产车间为研究对象,利用对离散动态系统具有准确描述能力的着色 Petri 网对车间生产进行了抽象和建模;并通过向网系统中引入规则约束,为车间内的动态事件和扰动提供了动态调度;在对 MES的敏捷性及其车间调度模块的集成性进行了多方面分析后,利用分布式组件技术将调度模型进行了软件封装,以便为 MES 提供一个功能独立、易集成、可快速重用的生产调度模块;最后给出了一个 MES 车间调度服务器和调度室客户程序的原型实现。
-
Petri Net is an important model to discribe and analyse dynamic features of cocurrent systems.
Petri网是描述和分析含有并行成分的系统动态特征的重要模型。
-
In project risk management, the significations and algorithms of Activity Cruciality Index, Reference Point Completion Probability and project period risk in Petri Nets are studied.
系统地研究了工序进度风险水平、工期风险等指标在Petri网中的含义和计算方法。
-
Firstly, the thesis analyzes the content of behavior consistency of C~4ISR system requirement, researches the theory of behavior consistency validation based on executable model. Secondly, it analyzes the extense form of basic state chart, researches the grammar rules and formal description method of the transition-oriented state chart. Lastly, it brings forward the method for transforming TO_StateChart to Object Petri Net model, and based on executable model, researches the method of validation for behavior consistency between the state chart and sequence diagram.
论文首先对C~4ISR系统需求行为一致性验证的内容进行了分析,研究了基于可执行模型进行行为一致性验证的原理;其次分析了基本状态图的扩展形式,研究了面向转移的状态图(简称为TO_StateChart)的语法规则及其形式化描述方法;最后研究了TO_StateChart转换为对象Petri网模型的方法,并以此为基础,深入研究了基于可执行模型进行状态图和时序图之间行为一致性验证的方法。
- 推荐网络例句
-
Now she was hungry and angry.She began to smoulder.
现在她又饿又气,她开始流露难以抑制的怒火。
-
You have placed our iniquities before You, Our secret sins in the light of Your presence.
诗90:8 你将我们的罪孽摆在你面前、将我们的隐恶摆在你面光之中。
-
Because of their partly crystalline structure polyamides need a relatively high processing
我们的方针是,既要满足客户的需求,并且也不使用对环境有损害的重