检索结果-内蒙古大学图书馆

Model theory : an introduction = 模型论引论 /

引用

2007年

作者： Marker D.

来源：内蒙古大学图书馆图书评论

学校读者我要写书评

暂无评论

模型论及其在计算机科学中的应用

引用

丛书名：数学与应用数学基础课系列教材

2012年

作者：北京师范大学数学科学学院

本书已于2011年1月27日正式签署合同。本书是为了给数学系和计算机科学系的本科生和研究生开设模型论课而写的，其主要内容是模型论的基本原理和它在计算机科学中的计算复杂度理论和机器证明等方面的应用。

ISBN: (纸本)9787303136025

关键词：模型论应用

来源：内蒙古大学图书馆图书评论

学校读者我要写书评

暂无评论

模型论及其哲学思考

引用

科学技术与辩证法 1999年第3期16卷 17-21页

作者：郝宁湘山西大学科技与社会所 030006

本文揭示了模型论的基本思想和几个重要结论的哲学意义，并运用模型论的思想探讨了数学与科学的相互关系。

关键词：形式语言赋值模型论哲学思考科学数学

来源：评论

学校读者我要写书评

暂无评论

应用模型论及回答集程序的民族服饰图案配色重构方法

引用

计算机应用 2024年第S2期44卷 332-337页

作者：黄悦欣宋燕芳牛秦洲桂林理工大学计算机科学与工程学院广西桂林541006 桂林理工大学艺术学院广西桂林541006

色彩是民族服饰的重要元素,不同的色彩搭配可以体现不同的意象和民族特色。为了规范化表达色彩重构方法中的配色需求,提出一种基于模型论的形式化配色重构方法。以嘉绒藏族服饰为例,首先,将服饰纹样信息抽象化为无向图;其次,通过结构建... 详细信息

色彩是民族服饰的重要元素,不同的色彩搭配可以体现不同的意象和民族特色。为了规范化表达色彩重构方法中的配色需求,提出一种基于模型论的形式化配色重构方法。以嘉绒藏族服饰为例,首先,将服饰纹样信息抽象化为无向图;其次,通过结构建模无向图和色彩信息,并通过形式化语言表示配色的要求或约束,从而表达该民族风格的基本特征;再次,使用回答集程序(ASP)生成配色方案的解集,并优化解集;最后,对获得的配色方案解集进行美度筛选排序,从而得到符合要求的色彩搭配方案。实验结果表明:模型论与ASP在色彩重构中不仅能从理论上分析计算的复杂度,还可以将计算的复杂度限制在多项式(P)复杂度内;并且,根据孟斯宾瑟色彩调和原理对重构方案的评估结果表明该方法是有效的。

关键词：模型论回答集程序形式化建模色彩重构

来源：评论

学校读者我要写书评

暂无评论

模型论及其应用

模型论及其应用

引用

该项目研究了模型个数问题，对可数齐次情形，证明了沃特猜想。给出了可数饱和模型的一个等价性刻划，讨论了可数饱和模型与几乎可数饱和模型以及可数满模型之间的关系。给出了w范畴完全理论的一个等价性描述。讨论了可数模型与型的关... 详细信息

标准号: 0700071453

该项目研究了模型个数问题，对可数齐次情形，证明了沃特猜想。给出了可数饱和模型的一个等价性刻划，讨论了可数饱和模型与几乎可数饱和模型以及可数满模型之间的关系。给出了w范畴完全理论的一个等价性描述。讨论了可数模型与型的关系。对无限方钾的冷子管及对角化问题进行了研究。确定了有理数理论的计算复杂性上界。对哥德巴赫猜想性质作了进一步的推广。

关键词：模型论沃特猜想可数饱和模型

来源：评论

学校读者我要写书评

暂无评论

计算机科学中的一些逻辑理论的推理性质研究

引用

计算机学报 1999年第6期22卷 571-576页

作者：张玉平北京航空航天大学计算机科学与工程系北京100083

由于一阶谓词逻辑的基本特征是具有可靠性、完全性，在推广一阶谓词逻辑表达能力及扩充其推理能力时，可以定义一些具有可靠性、完全性的逻辑，对此，在分析逻辑理论特征的基础上，给出一些逻辑的推理系统之间相似性的实质，证明这些逻... 详细信息

由于一阶谓词逻辑的基本特征是具有可靠性、完全性，在推广一阶谓词逻辑表达能力及扩充其推理能力时，可以定义一些具有可靠性、完全性的逻辑，对此，在分析逻辑理论特征的基础上，给出一些逻辑的推理系统之间相似性的实质，证明这些逻辑在实质上并不能扩充一阶谓词逻辑的推理能力，并指出非单调推理中的缺省推理及限定推理所采用的技术是扩充时必需的．

关键词：计算机科学逻辑理论推理性质模型论

来源：评论

学校读者我要写书评

暂无评论

限制到理想时模理论的初等性质的保持性

引用

北京大学学报（自然科学版） 1997年第1期33卷 104-109页

作者：王捍贫北京大学计算机科学和技术系

设Ｉ是有单位元的环Ｒ的一个理想，ＭＲ是一个Ｒ－模，则ＭＲ也可看作一个Ｉ－模ＭＩ。证明了ＭＲ与ＭＩ之间，模理论的纯性、纯入射性、初等等价。

关键词：模型论模理论理想纯性纯入射性

来源：评论

学校读者我要写书评

暂无评论

自抗扰控制的传承与发展

引用

控制理论与应用 2023年第3期40卷 593-595页

作者：高志强克利夫兰州立大学美国俄亥俄州克利夫兰市44115

(Control Theory and Technology英文自抗扰控制专刊导读)从从思想的传承到技术的落地自抗扰控制思想起源于钱学森创立的工程控制论[1],得益于关肇直对现代控制理论的反思[2],成就于韩京清对模型论的质疑[3].在三位先驱创建的工程控制体... 详细信息

(Control Theory and Technology英文自抗扰控制专刊导读)从从思想的传承到技术的落地自抗扰控制思想起源于钱学森创立的工程控制论[1],得益于关肇直对现代控制理论的反思[2],成就于韩京清对模型论的质疑[3].在三位先驱创建的工程控制体系(简称钱关韩体系)中,自抗扰控制技术的诞生与发展势在必行,其本质是在复杂、多变的物理过程中,通过建立系统输入输出之间的串级、循环因果关系.

关键词：现代控制理论自抗扰控制工程控制论物理过程模型论传承与发展思想起源输入输出

来源：评论

学校读者我要写书评

暂无评论

关于仿真理论的探讨

引用

系统仿真学报 2000年第6期12卷 604-608页

作者：王子才哈尔滨工业大学仿真中心哈尔滨150001

系统仿真经过几十年的发展，逐渐形成了一个相对独立的学科领域。作为学科，应该有其自己相应的基础理论。本文提出将模型论、仿真算法和仿真可信度评估理论作为系统仿真学科的基础理论的观点。

关键词：仿真理论模型论仿真算法系统仿真机理建模

来源：评论

学校读者我要写书评

暂无评论

形式语用学浅论

引用

外国语 2003年第4期26卷 15-23页

作者：吕公礼青岛大学外语学院英语系山东青岛266071

形式语用学是以语用为研究对象的一种形式化理论形态,因而包含着理论主体的语用学取向和形式化系统的选择。本文从上述两个方面对形式语用学的基本研究态势进行了初步的考辨。为了超越现有理论的局限性,本文从莫里斯、卡尔纳普及蒙太格... 详细信息

形式语用学是以语用为研究对象的一种形式化理论形态,因而包含着理论主体的语用学取向和形式化系统的选择。本文从上述两个方面对形式语用学的基本研究态势进行了初步的考辨。为了超越现有理论的局限性,本文从莫里斯、卡尔纳普及蒙太格的语用学思想出发,讨论了语用的本体特征,把语用学定义为研究语言与非语言维度的信息如何整合为话语具体完整状态的科学。作者认为,以集合论为基础,以问题逻辑为起点建构形式语用学,能对语用作出更充分和逻辑上更一致的解释。文章最后讨论了形式语用学的理论本质及方法论和跨学科意义。

关键词：形式语用学模型论问题逻辑本质特征方法论研究态势语义学语用本体论

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：