1) integral-ability theorem
可积性定理
2) frobenius integrabilty theorem
Frobenius可积性定理
3) Newton's laws
可积系统Newton定理
4) soundness theorem
可靠性定理
1.
Soundness Theorem with Generalized Quantifier in LF(X);
LF(X)中带广义量词的可靠性定理
2.
Furthermore, the fuzzy first－ order logic system is constructed and the soundness theorem is proved.
并且证明了相应的可靠性定理 。
5) theorem of solvability
可解性定理
1.
The theorem of solvability of the above probplems is obtained.
研究二阶非线性一致椭圆型方程组在多连通区域上的非线性斜微商边值问题 ,给出该问题的可解性定
2.
From this,the theorem of solvability for the RH problems is obtained.
提出２ｎ个未知函数的变态Ｒｉｅｍａｎｎ－Ｈｉｌｂｅｒｔ边值问题，建立了此边值问题解的积分表示式与先验估计，用Ｓｃｈａｕｄｅｒ不动点定理证明了此边值问题解的存在性，进而导出了满足某些条件下的２ｎ个未知函数的一阶椭圆组的Ｒｉｅｍａｎｎ－Ｈｉｌｂｅｒｔ边值问题的可解性定理。
6) viabilitiy theory
可行性定理
补充资料：先天性交通性鞘膜积液
先天性交通性鞘膜积液
congenital communication hydrocele
睾丸下降到阴囊后，腹膜鞘突在出生后仍未闭合，腹腔内液体与鞘膜囊内液体交通。主要症状是婴儿阴囊肿大，鞘膜囊透光试验阳性。生后6个月内尚不闭合消失，则应手术治疗。作鞘膜突近端高位结扎术、远端鞘突开窗术，效果满意。睾丸肿瘤有时误诊为鞘膜积液，但肿瘤透光试验阴性、触诊为非囊性而有沉重实质感。血清内HCG、AFP值升高有助诊断。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条