1) certifying authority
证明机构
2) Constructive proof
构造性证明
1.
A constructive proof of a class of nonconvex Brouwer fixed point problems is pre-sented, and the theoretical base of homotopy method to the problem has been created.
一类非凸Brouwer不动点问题的同伦算法于波,林正华(吉林大学数学研究所,长春130023)关键词不动点定理,构造性证明,同伦算法在70年代,文[1,2]就提出了求R ̄n中有界闭凸集上连续可微自映射的不动点的同伦算法,这是非线性问题数值解法的突破性。
3) structured illumination
结构照明
1.
In fact, DMD used as a new type of spatial-light modulator have a wide prospect in optical information processing and structured illumination three-dimensional sensing.
实际上,数字微镜器件作为一种新型的空间光调制器,在光学信息处理和结构照明型三维传感中也具有广泛的应用前景。
4) civilization structure
文明结构
1.
The article holds the idea that the comparative study of China and Japans modernization should focus on the following theoretical issues: the analyzing of civilization structure, the " time gap" in modernization, the promotion force of modernization, the relation between culture transition and .
应该在概括总结近年来学术界研究的基础上,对文明结构分析、现代化进程中的“时差”、现代化推进力量、文化变迁与现代化关系等中日现代化比较研究中的几个理论问题进行深入探讨。
补充资料:存在性证明
数学证明中的一种, 亦即证明考察对象是存在的。
这种证明通常这只能间接指出对象的存在性,却不能具体构造出所需对象。
证明方法通常使用反证法或者是极大原理,佐恩引理等等。
比如euclid证明“素数个数无限”;
又如交换代数中证明“交换环必存在极大理想”;
希尔伯特(hilbert)曾经在给学生讲到存在性证明时,举过一个例子:“
这个班里一定存在一个学生,他的头发数最少, 可是我们不可能知道他是谁”。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条