1) formal triple I solution
形式化三I解
1.
By introducing a preorder in F(S),problems of formal reasoning about α-GMP and collective α-GMP are discussed and formal triple I solution of α-FMP is obtained.
通过在F(S)中引入一个偏序,讨论了琢-GMP和多重琢-GMP问题的形式化推理问题,得到了琢-FMP问题的形式化三I解,从而在多值逻辑系统Wn中建立了琢-三I问题的形式化推理机制。
2) triple I solution
三I解
1.
The general form of the triple I solution of FMP is given.
给出了FMP的三I解的一般形式 ,证明了关于区间值模糊推理的单调性定理、下确界定理以及存在性定理 。
3) ) Formal Triple I Method
形式三I推理方法
4) GTPCH I
I型三磷酸鸟苷环化水解酶
1.
Alteration of GTPCH I gene expressions in type 2 diabetic rats′ aorta;
I型三磷酸鸟苷环化水解酶在2型糖尿病大鼠主动脉表达的改变
5) GCH I
三磷酸鸟苷环化水解酶I
6) GTP cyclohydrolase
鸟苷三磷酸环化水解酶I型
1.
Objective To study the effects of sodium arsenite on the mRNA expression of GTP cyclohydrolase (GTPCH) and 6-pyruvoyl-tetrahydropterin synthase (PTPS) in Chang liver cells.
目的研究亚砷酸钠(NaAsO2)对Chang肝细胞鸟苷三磷酸环化水解酶I型(GTPCH)及6-丙酮酰四氢蝶呤合成酶(PTPS)的mRNA表达水平的影响。
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条