1) 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个二值逻辑的算法,经过转换后可用现有的模型检验技术进行模型检验·用该算法转换后,状态数、转移数和原子命题数目与原模型呈线性关系,没有增加模型检验的复杂度
3) static transfer system
静态转移系统
4) 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.
本文综述了藻类基因工程研究进展,介绍了藻类基因工程的载体、转移系统、表达系统及藻类基因工程的应用。
5) modal system
模态系统
1.
Five dimensional asymptotic modal system describing liquid nonlinear resonant sloshing is derived based on Narimanov-Moiseev third order asymptotic hypothesis.
首先利用Narimanov-Moiseev三阶渐近假设关系,推导出描述液体作非线性共振晃动的5维渐近模态系统。
2.
The general infinite dimensional modal system describing liquid nonlinear sloshing is derived first by pressure integral variational principle.
首先通过压力积分变分原理推导出描述液体作非线性晃动的一般形式无穷维模态系统,然后根据Narimanov-Moiseev三阶渐近假设关系,通过选取二阶主模态和三阶次模态,将无穷维模态系统降为五维渐近模态系统。
3.
After deriving the modal system in general fo.
本文将多维模态理论应用到求解航天领域中的圆柱贮箱液体非线性晃动问题中,在得到一般形式的模态系统之后,系统地研究了液体非线性自由晃动、液体横向受迫共振晃动的瞬态响应和稳态响应,分析了高阶模态的影响,并且推导出一个适合于工程应用的计算液体晃动力的公式,主要研究工作分为如下四部分: 第一部分通过压力积分变分原理和模态展开的方法将描述液体非线性晃动的自由边界值问题转化为了无穷维模态系统。
6) the modal propositional system
模态系统
1.
The paper proves that the Boolean value of the modal propositional system P5 are 1, which means VB(B is a complete Boolean algebra)is the Boolean valued model of the modal propositiona system P5.
证明模态系统P5的协调性。
补充资料:单线态-单线态能量转移
分子式:
CAS号:
性质:处于电子激发单线态的能量给体,通过激发能的转移使能量受体处于激发单线态的过程。
CAS号:
性质:处于电子激发单线态的能量给体,通过激发能的转移使能量受体处于激发单线态的过程。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条