我们称Chen系统为Lorenz系统的对偶系统(dual system),称L櫣系统为转移系统(transition system),因为它在Lorenz系统与Chen系统之间架起了一座联系的桥梁.
基于16个网页-相关网页
..., 模型 M 的 表示一般使用有限状态自动机,如 Kripke 结 构(Kripke st ructu res)或者标记转移系统( labeled transition systems)。模型检验所要 检验的性质主要有三种类型 , 即安全性 ( safety)、活性(liveness)和公平性(fairness)。
基于8个网页-相关网页
...国健康网-医药产业 arobinoheptu loso nate-7-Phosphate，DAHP），它是由葡萄糖经磷 酸基转移系统（phosphotransferase system，PTS）进入 细胞后经糖酵解生成磷酸烯醇式丙酮酸（phospho enolpyrurate，PEP）和磷酸戊..
基于4个网页-相关网页
防油污空投转移系统 air deliverable anti-pollution transfer system
电转移系统 Electrophoretic Blotting Systems
空投防油污转移系统 automatic display and plotting system
静态转移系统 [计] static transfer system
相转移系统 Phase transition system
炉料转移系统 charge transfer system
电子资金转移系统 EFTS
海面防油污转移系统 air delivered antipollution transter system
文中直接将电极界面与生物电子转移系统相比较，来检验前者。
The review examines electrode interfaces by directly comparing them with biological electron transfer systems.
目前限制基因治疗的主要障碍是基因转移系统不能满足临床要求。
The main obstacle of clinical application of gene therapy is the limitation of the gene transfer system.
三是标记转移系统的执行只和当前的动态树相关，降低了执行的复杂度。
At last, execution of label transition system only depends on current dynamic tree so that complexity of execution is reduced.
应用推荐