模型论

摘要： 用模型论的方法探讨无限群,主要研究确定的无限子群之间的关系,利用有限莫利秩的群具有类似代数群的结构,分析有限莫利秩的可除群的性质,主要成果:有限莫利秩群G,它的子群H是可除幂零群,那么确定的闭包d(H)也是可除的;假设群G是有限莫利秩的可除群,那么G'也是无扭群。

摘要： 本文用来解读老子形而上学的“模型论”,取自康德伦理学用来展示其自由概念和道德法则的某种“工作哲学”。康德在《道德形而上学奠基》中把定言命令的第一条变形公式规定为:“你要这样行动,就像你行动的准则应当通过你的意志成为普遍的自然法则一样。”

摘要： 模型论方法在抽象代数,数论,拓扑学,概率论等领域有着重要的应用.运用模型论中的紧致性定理和完全理论对格中的相关性质进行研究,证明满足一定条件下的格是子格,完备∧-半格和完备格.

摘要： 一偶然地,我在文集《音乐和数学：从毕达哥拉斯到分形》（Music and Mathematics：From Pythagoras to Fractals, 2006）一书中发现了一篇有趣的文章《音乐中的几何学》,想必其作者霍奇斯（Wilfrid Hodges）也是位标新立异的音乐家。好奇地搜索了一下,只见网上有个一九四一年出生的霍奇斯,是伦敦大学的数学教授,英国科学院院士,主攻模型论——我不相信是同一个人,但居然真是!

摘要： 中国哲学的思维方式是一种整体之间的推类思维,这些特点表现在先秦哲学、汉代哲学中,通过推类联系两类不同的事物,然后不断的重复用推类联系越来越多的事物,最后把整个天地人联系为一个整体,本文运用现代数理逻辑中的模型论思想,实现了对推类的逻辑刻画,推动传统逻辑的现代发展.

摘要： 中国哲学的思维方式是一种整体之间的推类思维,这些特点表现在先秦哲学、汉代哲学中,通过推类联系两类不同的事物,然后不断的重复用推类联系越来越多的事物,最后把整个天地人联系为一个整体,本文运用现代数理逻辑中的模型论思想,实现了对推类的逻辑刻画,推动传统逻辑的现代发展。

摘要： 情境语义学者认为，可能世界语义学含有语义整体论这一哲学预设，不符合人类认知的实际状态，而且形式语义学把真值当作意义，并不能代表意义的全部内容。因此，他们希望能创建一种新的情境语义理论，以替代可能世界语义学。但从两种语义理论各自最基本的概念和研究方法及现有成果的比较中，我们可以得出这一结论：情境语义学不能替代可能世界语义学。%The researcher who prefer situation semantics believes that the possible-word semantics, which is the foundation of formal semantics,presuppose semantic holism,and that’s not the natural way people knowing world.Formal semantics consider the truth value as the sentences’meaning,which obvi-ously can’t represent the whole meaning.They want to build a new situation semantic theory to replace the possible-word semantics.We start with the basic conceptions,and compare the two theories in researching methods and the late results.Then we conclude that there is no way for situation semantics to replace pos-sible-world semantics.

摘要： 文章用模型论中的紧致性定理证明了若L中理论T有任意可数阶的Abel群模型，则T有无扭Abel群模型；若一个语句Φ在任意一个无扭Abel群中真，则对任意大的自然数n，存在自然数m＞n，使Φ在m阶Abel群中真。最后证明了无扭Abel群不能有限公理化。%The author proved by the compactness theorem that if the theory of T with arbitrary countable order Abel group model in a formal language L then T has a torsion free group Abel model .If aΦstatement is true in an arbitrary torsion free group Abel , then for a natural number n with arbitrarily large , there is a natural number m , which is larger than the natural number n , such that theΦstatement is true in a group Abel with order m .At last , the author proved that a torsion free group Abel is not finitely axiomatizable in a formal language L .

摘要： 模型论是数学逻辑的主要分支科学之一.本文研究了一阶理论模型的相关性质,利用拓扑学方法探讨了ω-范畴理论的特征,并对模型个数问题进行了讨论.

摘要： 该文尝试着适用统一的模型分析了三种不同的并发控制方法：时间加冲突分析法、二段提交加死锁预防法、二段提交加孔锁检测法的性能。通过比较在各种不同情况下的执行时间，给出了三者性能上的差别，同时，得到了把这些方法适用于实际系统中如何提高效率的启示，证实了这种模型是清晰、有效的。（本刊录）

摘要： 该文尝试着适用统一的模型分析了三种不同的并发控制方法：时间加冲突分析法、二段提交加死锁预防法、二段提交加孔锁检测法的性能。通过比较在各种不同情况下的执行时间，给出了三者性能上的差别，同时，得到了把这些方法适用于实际系统中如何提高效率的启示，证实了这种模型是清晰、有效的。（本刊录）

摘要： 该文尝试着适用统一的模型分析了三种不同的并发控制方法：时间加冲突分析法、二段提交加死锁预防法、二段提交加孔锁检测法的性能。通过比较在各种不同情况下的执行时间，给出了三者性能上的差别，同时，得到了把这些方法适用于实际系统中如何提高效率的启示，证实了这种模型是清晰、有效的。（本刊录）

摘要： 该文尝试着适用统一的模型分析了三种不同的并发控制方法：时间加冲突分析法、二段提交加死锁预防法、二段提交加孔锁检测法的性能。通过比较在各种不同情况下的执行时间，给出了三者性能上的差别，同时，得到了把这些方法适用于实际系统中如何提高效率的启示，证实了这种模型是清晰、有效的。（本刊录）

摘要： 该文尝试着适用统一的模型分析了三种不同的并发控制方法：时间加冲突分析法、二段提交加死锁预防法、二段提交加孔锁检测法的性能。通过比较在各种不同情况下的执行时间，给出了三者性能上的差别，同时，得到了把这些方法适用于实际系统中如何提高效率的启示，证实了这种模型是清晰、有效的。（本刊录）

摘要： 该文提出了一套评价数据模型的标准，并根据此标准，对三种传统模型：关系、网络、层次模型与语义模型之一的IFO模型做了比较。指出：在对应用的更自然、更直接的表达方式和提供更多的抽象机制方面，IFO模型具有三种传统模型所不能及的优点。（本刊录）

摘要： 该文提出了一套评价数据模型的标准，并根据此标准，对三种传统模型：关系、网络、层次模型与语义模型之一的IFO模型做了比较。指出：在对应用的更自然、更直接的表达方式和提供更多的抽象机制方面，IFO模型具有三种传统模型所不能及的优点。（本刊录）

摘要： 该文提出了一套评价数据模型的标准，并根据此标准，对三种传统模型：关系、网络、层次模型与语义模型之一的IFO模型做了比较。指出：在对应用的更自然、更直接的表达方式和提供更多的抽象机制方面，IFO模型具有三种传统模型所不能及的优点。（本刊录）

摘要： 操作路径生成部(210)基于从状态传感器(101)输出的计测状态量，生成针对致动器(111)的操作量时间序列。预测模型部(220)将所述计测状态量和所述操作量时间序列作为输入来运算预测模型，由此，生成状态量预测时间序列。神经网络部(230)将从环境传感器(102)输出的计测环境量和所述状态量预测时间序列作为输入来运算神经网络，由此，校正所述状态量预测时间序列。状态量评价部(240)生成针对所述校正后的状态量时间序列的评价结果。操作路径生成部在所述评价结果满足适当基准的情况下，将所述操作量时间序列的前头的操作量向所述致动器输出。

摘要： 一种基于Matlab的机理模型、概念模型与数据模型的城市排水系统仿真控制混合模型，包括如下步骤：确定精细化建模范围和粗略建模范围、构建在线机理模型、构建概念模型、在线机理模型与概念模型耦合、模型参数校正、通讯指令关系建立、降雨过程建立、排水系统水量和水质模拟、排水系统仿真控制、数据模型辅助应用和模拟结果分析展示。使用该方法构建的混合模型是一种通用性的城市排水系统仿真控制混合模型，其融合在线机理模型SWMM模型、概念模型及数据模型，可实现城市排水系统水量、水质的快速模拟、高效仿真控制和自动策略优化。

摘要： 一种基于C语言的机理模型、概念模型与数据模型的城市排水系统仿真控制混合模型，包括如下步骤：确定模型范围：确定精细化建模范围和粗略建模范围；在线机理模型构建；概念模型构建；在线机理模型与概念模型耦合；模型参数校正；降雨过程建立；排水系统水量、水质模拟；排水系统仿真控制；数据模型辅助应用：构建神经网络模型，通过接收特征数据建立降雨与径流、管网流量与深度的关系，关系建立后用于径流及管网深度的预测；模拟结果分析展示。该模型融合C语言的在线机理模型SWMM模型、概念模型及数据模型的丰富功能，实现城市排水系统水量、水质的快速模拟、高效仿真控制和自动策略优化。

摘要： 提供用于构建能够生成多种数据的生成模型的技术。本发明的一个方面涉及的模型生成装置具备：生成部，使用生成模型生成数据；发送部，将生成的数据分别发送至多个学习完毕的识别模型，使各识别模型对数据执行识别，多个学习完毕的识别模型分别通过使用本地学习数据的机器学习获得了识别被提供的数据是否为本地学习数据的能力；接收部，接收各识别模型对被发送的数据进行识别的结果；以及学习处理部，通过使用接收到的识别的结果的机器学习来训练生成模型，以生成使多个识别模型中的至少任意一个识别模型的识别性能降低这样的数据。

摘要： 三维模型编码装置(300)，具备：投影部(301)，将三维模型投影到至少一个以上的二维平面，从而生成二维图像；校正部(302)，利用二维图像，对二维图像中包括的构成没有投影三维模型的无效区域的一个以上的像素进行校正，从而生成校正图像；以及编码部(304)，对校正图像进行二维编码，从而生成编码数据。

摘要： 三维模型分发方法，根据三维模型，生成深度图像(S121)，分发深度图像以及用于根据深度图像恢复三维模型的信息(S122)。例如，三维模型分发方法也可以，进一步，利用二维图像压缩方式，对深度图像进行压缩，在所述分发中，分发压缩后的深度图像。例如，在所述深度图像的生成中也可以，根据三维模型，生成不同视点的多个深度图像，在所述压缩中，利用多个深度图像间的关系，对多个深度图像进行压缩。

摘要： 提取部(120)从建筑信息模型即BIM(40)中提取起点要素。提取部(120)针对BIM(40)，将起点要素作为起点来检索彼此相邻的多个建筑物要素，在作为检索结果的多个建筑物要素中分别配备虚拟部件，由此，从BIM(40)中提取由虚拟部件构成的虚拟房间。生成部(130)对虚拟房间的各个虚拟部件设定BIM(40)包含的属性信息中的、与配备有虚拟部件的建筑物要素对应的属性信息，生成设定有属性信息的虚拟房间作为房间模型(51)。

摘要： 提供一种有效进行利用特定条件的学习数据执行了DNN的声学模型的自适应且可提高精度的统计声学模型的自适应方法。在采用了DNN的声学模型的说话人自适应方法中，包括：第1存储装置分别存储不同的说话人的讲话数据(90～98)的步骤；准备按说话人区分的隐藏层模块(112～120)的步骤；在切换选择讲话数据(90～98)的同时，一面用与选出的讲话数据相对应的隐藏层模块(112～120)动态地置换特定层(110)，一面进行针对DNN(80)的所有层(42、44、110、48、50、52、54)的准备性学习的步骤；用初始隐藏层置换已完成准备性学习的DNN的特定层(110)的步骤；和将初始隐藏层以外的层的参数固定，采用特定说话人的声音数据进行DNN的学习的步骤。

摘要： 一种模型化装置，具备：分类部120，其为了鉴别收容室外机11、室内机12、室外机21、室内机22、冷冻机31及冷冻机41等的设施10的热平衡模型的构筑所需的参数而计测的计测数据按作为对参数赋予影响的条件的分类条件每一个分类；鉴别部130，其基于按分类条件每一个分类的计测数据，按分类条件每一个鉴别参数。

摘要： 本实用新型属于装饰装修模型技术领域，公开了圆形穹顶装修模型及具有该模型的模型箱和模型间，包括多个弧形龙骨架(1)彼此连接构成的圆形穹顶骨架(2)，圆形穹顶骨架(2)连接有三角状的弧形面板(3)，构成圆形穹顶；还包括圆形的加固龙骨架(4)，加固龙骨架(4)与各个弧形龙骨架(1)固定连接。通过本实用新型的展示，能够让行业工作者更容易理解圆形穹顶装修的施工工艺，有利于实现标准化施工，同时让消费者能够直观地了解圆形穹顶装修，为装修质量提供依据。