关于机器证明

本文简介机器证明的理论与实践．并附一篇关于用模型论方法证明无限地图的四色定理．     

新型建筑给水管材的选用

薄壁不锈钢水管和不锈钢管件已经成为国内给水管道系统发展的新趋势。镀锌钢管这一常用管材因其易腐蚀性,在国家相关政策的影响下,将逐渐退出历史舞台,塑料管、复合管及铜管成了管道系统的常用管材。但在许多情况下,不锈钢管更有优越性,特别是壁厚仅为0.6～1.2mm的薄壁不锈钢管在优质饮用水系统、热水系统及将安全、卫生放在首位的给水系统,具有安全可靠、卫生环保、经济适用等特点。     

关于一类不定方程有解的一般性结论

用模型论的方法证明了一类不定方程a1xr11 a2xr22 ... anxrnn=bys(其中a1,...,an,b为任意整数,r1,...,rn,s为任意正整数)有解.进一步地,我们用相同的方法解决了一个猜想.     

Hilbert零点定理的推广

在文献[1]中,Abian证明了: 定理A(Abian) 设C为复数域,P=C[x_0,x_1,…,x_E,…]为C上的多项式环,其中x_0,x_1,…,x_E,…为C上的一组不相关不定元,其个数不超过C的基数|C|。设Π是P的一个子集,其基数|Π小于|C|。如果Π中任意有限个多项式都在C中有公共零点,则Π中全     

一类特殊的归纳环及双向归纳环

证明了环理论扩充到具有量词消去理论时,其任意模型都是归纳环,而且带有一阶可定义序关系的环理论扩充到具有量词消去时,其模型是双向归纳环.     

三维g-C3N4/NixP复合光催化剂的制备及其可见光下产氢性能的研究

以三聚氰胺和三聚氰酸为原料,以水为溶剂采用超分子自组装法制备三维互联框架形貌的3D g-C₃N₄（DCN）。以次磷酸钠和硫酸镍作为磷源和镍源,采用原位光沉积法在3D g-C₃N₄上沉积Ni_xP,制备了3D g-C₃N₄/Ni_xP复合光催化剂。采用扫描电子显微镜（SEM）、透射电子显微镜（TEM）、X射线衍射（XRD）、傅里叶变换红外光谱（FT-IR）、X射线光电子能谱（XPS）、紫外可见漫反射光谱（UV-Vis DRS）等手段对样品进行了表征,结果表明,3D g-C₃N₄/Ni_xP复合光催化剂上均匀负载着直径几十纳米的Ni_xP颗粒并且Ni_xP表现为无定形结构;与体相g-C₃N₄（BCN）和3D g-C₃N₄相比,复合光催化剂有着更好的可见光吸收能力。以三乙醇胺为牺牲剂,在波长λ≥420 nm的可见光下进行产氢试验,研究了3D g-C₃N₄/Ni_xP复合光催化剂的光催化性能。结果表明,光沉积20 min得到的3D g-C₃N₄/Ni_xP复合光催化剂的光催化产氢速率可达1 720 μmol/（g·h）,远远大于纯DCN（7 μmol/（g·h））和光沉积20 min得到的BCN/Ni_xP复合光催化剂（15 μmol/（g·h））,并且在经历5个光催化循环产氢测试后其循环性能没有明显降低。     

一类不具有Goldbach性质的可换环

本文继前文《一类具有Goldbach性质的可换环》而作(见本刊1981年第18期),在本文中,我们继续用数论及模型论方法得到下列一些结果,这些结果,一方面直接说明存在一类不具有Goldbach性质的可换环;另一方面,它们与前文中的相应结果联合起来,显然地说明了Goldbach性质的某种独立性。定理1 存在整数环Ⅰ的扩环R,它具有下     

雷达辐射源信号双谱二次特征提取方法

现有的双谱特征提取方法可以满足信号分类识别，但是出现了交叉项、平凡双谱以及特征维数过高等一些问题。针对以上问题，提出一种双谱二次特征提取方法，将双谱转化为灰度图像，以灰度值表示双谱幅度；再利用图像处理技术提取双谱二次特征，提取出能够表征辐射源信号双谱图像纹理信息的灰度共生矩阵特征集；将该特征集与Hu-不变矩特征集进行对比实验。仿真结果表明：该方法具有更好的分类识别性能，对于CW、LFM和NLFM信号的平均识别率均达90%以上。     

关于域上无限方阵的可逆性

考察了域上的无限方阵。对于任一域Ｋ上行列有限的无限方阵，给出其逆方阵存在性的一些基本的充分必要条件。