1) static transfer system
静态转移系统
3) modal transition system
模态转移系统
1.
Analysis is conducted on model checking for three valued logic formulae of modal transition system using existing model checking techniques.
分析了现有的模型检验技术应用于模态转移系统的三值逻辑公式的模型检验中存在的问题·提出了把模态转移系统转换成Kripke结构的算法以及三值逻辑公式转换成2个二值逻辑的算法,经过转换后可用现有的模型检验技术进行模型检验·用该算法转换后,状态数、转移数和原子命题数目与原模型呈线性关系,没有增加模型检验的复杂度
4) Static system
静态系统
1.
In this paper, we build on seminal work on hierarchical diagnosis for static system based on structural abstraction.
(2)详细介绍了两种静态系统基于结构抽象的分层诊断方法:HD(Hierarchical Diagnosis)算法和EX(Extension)算法。
5) transfer system
转移系统
1.
Application of quadrupole mass-spectrometer in transfer system for manufacturing PC;
四极质谱仪在光阴极转移系统中的应用
2.
The carrier, transfer system, expression system and appli cation of algal genetic engineering were highlighted.
本文综述了藻类基因工程研究进展,介绍了藻类基因工程的载体、转移系统、表达系统及藻类基因工程的应用。
补充资料：正常人白细胞转移因子 , 白细胞转移因子,转移因子
药物名称：转移因子
英文名：Transfer Factor
别名： 正常人白细胞转移因子 , 白细胞转移因子,转移因子
外文名：Transfer Factor ,TF
适应症： 为细胞免疫反应增强剂，能将细胞免疫活性转移给受体，以提高受体的免疫功能。
临床上用于治疗某些抗生素难以控制的病毒性或酶菌性细胞内感染（如带状皰疹、流行性乙型脑炎、白色念珠菌感染等）。对恶性肿瘤可作为辅助治疗剂，对自体免疫性疾病也有一定治疗作用。
用量用法：
一般采用皮下注射，注于上臂内侧或大腿内侧腹股沟下端，１次注射１支，每周１～２次，１个月后改为每２周１次。对带状疱疹，一般只需注射１次。
规格： 注射液：每支２ｍｌ，相当于１×１０００００００００白细胞提取物（上海产）,北京产则相当于５～１０×1000000000.
注：严禁静脉给药.
类别：免疫调节剂
英文名：Transfer Factor
别名： 正常人白细胞转移因子 , 白细胞转移因子,转移因子
外文名：Transfer Factor ,TF
适应症： 为细胞免疫反应增强剂，能将细胞免疫活性转移给受体，以提高受体的免疫功能。
临床上用于治疗某些抗生素难以控制的病毒性或酶菌性细胞内感染（如带状皰疹、流行性乙型脑炎、白色念珠菌感染等）。对恶性肿瘤可作为辅助治疗剂，对自体免疫性疾病也有一定治疗作用。
用量用法：
一般采用皮下注射，注于上臂内侧或大腿内侧腹股沟下端，１次注射１支，每周１～２次，１个月后改为每２周１次。对带状疱疹，一般只需注射１次。
规格： 注射液：每支２ｍｌ，相当于１×１０００００００００白细胞提取物（上海产）,北京产则相当于５～１０×1000000000.
注：严禁静脉给药.
类别：免疫调节剂
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条