格值模型论中常量构作法的两个应用

本文是文献[1]中开始的把2值模型论各主要结果向多值模型论推广工作的继续。有些基本概念及记号用法可参看该文。但所讨论的内容与文献[1]是各自独立的。本文主要是用常量构作模型的方法的两个应用。其一是用于证明某些有限值格时的紧致性定理(文献[1]中已用超积方法证明了有限值格时的紧致性定理),其二是用于证明某些值格时的省略型定理。     

公理集合论中的ZFC系统是不协调的

本文用模型论方法证明：集合论公理系统ZFC是不协调的．     

共存离子对硫酸盐还原菌(SRB)还原U(Ⅵ)的影响

采用硫酸盐还原菌(SRB)生物(还原)沉淀法消除地浸含铀废水中的放射性U污染,研究了pH值、SO42-和NO3-对混合SRB菌群对地浸废水中U生物沉淀过程的影响.厌氧序批式实验结果表明,溶液pH值对U生物沉淀存在显著影响,在pH=6.0时U的沉淀率最高达99.4%,随pH值的降低其U的沉淀率也不断降低.SO42-质量浓度低于4 000 mg/L时对U生物沉淀没有影响,但超过5 000 mg/L时会产生明显的抑制作用,且抑制作用随着初始SO42-浓度的上升而加强.NO3-的存在会严重抑制SRB还原沉淀U,只有先彻底去除NO3-才能利用SRB还原沉淀U.因此,寻找分离或驯化培养出嗜酸性SRB菌群以及应用SRB和反硝化细菌(DNB)的混合菌群协同作用对酸法地浸采铀地下水进行原位生物修复具有重要意义.     

完全k叉树理论的可数模型及其胞腔性

将在逻辑Lω1ω中把完全k(kω)叉树理论的可数模型刻画到同构,并给出它们的Scott语句具体形式,证明了完全k叉树理论的可数模型的胞腔性质.     

关于有限环上的无限方阵

本文利用模型论方法证明在一些有限环(包括一切有限域在内)上关于无限方阵的若干结果,包括线性方阵方程的可解性以及把任一无限方阵表示为2平方和的定理。     

格值模型的超积基本定理

近年来,由于公理集合论中布尔值模型的应用,模糊数学中非布尔值逻辑的出现,以及计算机科学中多值线路的探讨等等,使得多值逻辑的研究有了更多的具体背景及客观需要。本工作是对于多值逻辑的一个方面——多值模型论的一些初步考查。     

域上无限方阵的弱对角化

用非标准分析中的技巧给出复数域上无限方阵可弱对角化的一个充分条件。借助于模型论中特殊模型，证明了－饱和的域上无限方阵的可弱对角化的一个充分条件。     

基于泛化深度迁移特征的高分遥感场景分类

针对深度卷积神经网络(deep convolutional neural network, DCNN)迁移至高分辨率遥感场景分类的问题。设计了有效的网络结构用于增强DCNN在高分辨率遥感场景分类任务中的泛化能力。首先,线性主成分分析网络被用于整合高分辨率遥感图像的空间信息,减小DCNN在迁移过程中源数据集与目标数据集之间的空间差异。随后,经整合的图像输入预训练的DCNN,提取到更具泛化性能的全局特征表达。两个公开遥感数据集(UC Merced 21和WHU-RS 19)的试验结果表明,在不改变DCNN结构参数的情况下,相比现有方法,所设计的网络结构能够有效提升遥感场景分类精度。     

一些Goldbach及非Goldbach可换环的数论性质

本文继续[1]的工作,用数论及模型论方法讨论两类可换环R及S.一方面,我们继续给出Goldbach环R的一些数论性质;这些说明Goldbacbl性质等与一些数论命题的和谐性。另一方面,作为对照,我们又讨论一种非Goldbach环S (并且S中没有任何孪生素数偶),就[1]中及本文中谈到的R的各种性质,对于S也作相应的讨论;这些说明非Goldbach性质等与一些数论命题的和谐性。并且,如果对比R与S的性质,则可以从中抽出     

一些4次数环的具有Goldbach性质的扩环

用数论和模型论方法证明了:对于很多4次代数整数环,存在着具有Goldbach性质的扩环.