English translation for "eha"
|
- 乙基己酯
Related Translations:
- Example Sentences:
| 1. | When slicing criterion is extracted from the property to be verified according some rules , the sliced eha and the original one are equivalent to the property 当按一定规则从被验证的性质中提取切片准则时,该算法能保证切片后的eha与原模型对性质具有相同的满足性。 | | 2. | We define a set of dependence relations through analyzing the characteristics such as hierarchy , concurrent and synchronization in eha . the algorithm of slicing eha from the slicing criterion composed of states and transitions is presented 本文通过分析eha中存在的层次、并发和同步等特征定义了一组依赖关系,对于由状态和迁移组成的切片准则,提出对eha进行切片的算法。 | | 3. | Firstly , uml statecharts is structurally expressed by extended hierarchical automaton ( eha ) , and its operational semantics is expatiated . the correctness of semantics can be ensured through finding the maximal non - conflict transition set 首先针对uml的特点对扩展层次自动机( extendedhierarchicalautomata , eha )进行改进,以便能结构化地表示umlstatecharts ,并给出相应的操作语义。 | | 4. | After - transforming the labeled transition system of operational semantics and linear temporal logic formula into btlchi automata respectively , the correctness of uml statecharts can be verified using automaton - based model checking method 在把根据eha操作语义得到的标记迁移系统和表示性质的线性时态逻辑公式分别转换为b chi自动机后,用基于自动机理论的模型检验方法验证umlstatecharts的正确性。 | | 5. | Studies on transformation of indica rice with bt - toxin gene mediated by agrobacterium tumefaciens precultured immature embryo and callus derived from young panicle , immature embryo and mature embryo were used as acceptor for genetic transformation mediated by agrobacterium tumefaciens , the transformation rate of the above acceptor was investigated respectively . the results showed that immature embryo after precultured for 4 ~ 6d was the best . in respect to the concentration of agrobacterium tumefaciens when calli were cotransformated in medium yeb , to agrobacterium tumefaciens eha 105 , od value of 0 . 8 was the best 采用农杆菌介导法将bt毒蛋白基因导入水稻同样以上述两种籼稻为主要研究材料,比较了分别以预培养的幼胚和幼穗、幼胚、成熟胚来源的愈伤组织作为转化受体的愈伤组织转化频率,结果表明预培养4 6天的幼胚最适宜作为农杆菌介导转化的受体;其次是来源于幼胚和成熟胚的生长状态良好的胚性愈伤组织。 |
- Similar Words:
- "eh-009eh" English translation, "eh-101" English translation, "eh-168b" English translation, "eh200 electric locomotive" English translation, "eh5" English translation, "eha amufu" English translation, "ehab" English translation, "ehab wahba" English translation, "ehada shuzo" English translation, "ehafuri" English translation
|
|
|