eha 中文意思是什麼
eha
解釋
乙基己酯-
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 ，並給出相應的操作語義。 -
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天的幼胚最適宜作為農桿菌介導轉化的受體；其次是來源於幼胚和成熟胚的生長狀態良好的胚性愈傷組織。 -
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進行切片的演算法。 -
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與原模型對性質具有相同的滿足性。
分享友人