1) Conrad's finite basis theorem
Conrad有限基定理
2) finite moment theorem
有限矩定理
3) finite covering theorem
有限覆盖定理
1.
The regulation for proposition proving based on the accumulation principle was discussed, and the proofs of the ensted interval theorem, the supremum theorem and the finite covering theorem were put forward here in term of above regulation.
探讨了聚点定理的证题规律,并按此规律给出了区间套定理、确界定理及有限覆盖定理的证明,指出了深刻理解和熟练掌握聚点定理及其应用,有着十分重要的意义。
2.
Interval equivalence classes and interval function S-rough sets are defined based on interval attribute of function S-rough sets,and the finite covering theorem of closed interval equivalence classes and that of closed interval function S-rough sets are put forward.
基于函数S-粗集区间属性,定义了区间等价类和区间函数S-粗集,并给出了闭区间等价类有限覆盖定理及闭区间函数S-粗集的有限覆盖定理,从理论上证明了函数S-粗集与S-粗集之间的关系。
4) finite step halting theorem
有限步终止定理
1.
Improvement of tableau-based algorithm and finite step halting theorem;
Tableau-based算法的改进与有限步终止定理
5) finite increment theorem
有限增量定理
1.
A generalization of finite increment theorem in higher dimensional space
有限增量定理在高维空间上的推广
6) Borel finite covering theorem
波莱尔(Borel)有限覆盖定理
补充资料：Conrad-Limpach quinoline synthesis
分子式：
CAS号：
性质：芳香族伯胺与β-酮酯类反应形成的席夫碱空在惰性溶剂如石蜡油、联苯-二苯醚中加热到240～250℃，即发生环化形成4-羟基喹啉类衍生物2，称为康拉德-利姆帕赫喹啉合成：（分子式暂缺）式中的R可以是H、烷基、烷氧基；R′可以是H、烷基、乙酰基，但R′一般是甲基或乙基；R″可以是H、CH3、CO2-烷基、烷氧基等。中间体1也可仿照库姆斯喹啉合成法，用浓硫酸、多聚磷酸等催化剂来闭环，但收率较低。
CAS号：
性质：芳香族伯胺与β-酮酯类反应形成的席夫碱空在惰性溶剂如石蜡油、联苯-二苯醚中加热到240～250℃，即发生环化形成4-羟基喹啉类衍生物2，称为康拉德-利姆帕赫喹啉合成：（分子式暂缺）式中的R可以是H、烷基、烷氧基；R′可以是H、烷基、乙酰基，但R′一般是甲基或乙基；R″可以是H、CH3、CO2-烷基、烷氧基等。中间体1也可仿照库姆斯喹啉合成法，用浓硫酸、多聚磷酸等催化剂来闭环，但收率较低。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条