公理化理论论文_王勇勇

导读:本文包含了公理化理论论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:公理化,理论,逻辑,命题,人机,系统,类型。

公理化理论论文文献综述

王勇勇^[1]（2018）在《G?del n值公理化扩张系统的真度理论》一文中研究指出通过添加新的连接词Δ,在G?del n值命题逻辑系统中,给出了公式的条件真度的定义,并验证了在该系统下条件真度的一些基本性质,并在此基础上建立了度量空间.接着,在增加了Δ算子的G?del n值命题逻辑系统中给出了公式平均真度的定义,讨论了在该条件下平均真度的一些重要性质,并给出了偏差的定义及相关性质.然后,借助诱导函数的定义,在G_(~,Δ)中首先给出公式的k绝对真度的定义、推理规则及性质;其次,在此基础上又定义了公式的k绝对相似度、k绝对伪距离,并且讨论了两者具有的一些良好性质;最后,给出了k绝对真度的近似推理理论,并给予证明(k任取~,Δ;G_(~,Δ)为增加连接词~和Δ下的G?del n值命题逻辑系统).最后,利用赋值集随机化的方法,在G_(~,Δ)中定义了公式在t连接词下相对于局部有限理论Γ的Γ-t随机真度,并讨论了Γ-t真度的推理规则和一些重要性质.(本文来源于《延安大学》期刊2018-06-01）

李文娟^[2]（2018）在《基于公理化设计理论与可拓学的农业机械概念设计方法研究》一文中研究指出目前我国的农业机械设计在概念设计阶段仍缺乏有效的理论支撑,导致创新设计能力仍有不足,为了提高我国农业机械设计水平,需要形成一套普遍适用的设计理论方法体系,指导面向功能需求的正向概念设计,为农机设计提供理论依据。针对“在不依赖现有设计方案的情况下如何进行农业机械概念方案设计”、“在进行概念方案设计时应遵循哪些步骤”、“在每一步骤中要考虑哪些内容,如何考虑”、“如何引导创新型的概念设计”等问题,本文提出了一套基于AD理论与可拓学的设计体系 MAE(Integrated methodology based on Axiomatic Design and Extenics),从功能分析入手进行概念方案设计,将抽象、无序的思维有序化、结构化、程式化,同时引导方案的发散,使设计者在IMAE体系的引导下能够较为顺利地完成多方案创新型的农业机械概念设计。(1)基于目前农业机械的设计现状以及设计理论的研究现状,本文选择了目前应用最为广泛,能够简化设计过程的AD理论作为农业机械设计理论的基础。同时,为了解决AD理论因其较强的普适性而导致的实际指导作用不强的问题,引入能够对事物进行有效描述且具有一系列创新方法的可拓学理论,与AD理论互补完善。在此基础上,分析了建立农业机械设计理论体系所面临的主要问题及解决方案,确定了本文的研究内容和技术路线。(2)针对处于“土壤-机器-植物”环境中的农业机械的特点,分析了农业机械设计需求的主要影响因素,建立了农业机械的用户需求模型,并从动态发展的角度出发,应用TRIZ理论的需求进化理论以及技术进化理论分别对农民用户需求和农业机械技术的进化方向进行了分析,作为农业机械设计宏观方向上的基本依据。(3)对AD理论与可拓学进行了深层次的分析,研究了二者的融合机制并建立了相应的数学描述模型。应用可拓学中的事元模型、物元模型和关系元模型分别针对AD理论中的功能需求、设计参数和耦合问题进行了详细建模,解决了AD理论“域”中元素和称合问题缺乏统一而详细的表达的问题,并基于上述表达方式,建立了从功能域到物理域映射过程的基元模型。(4)基于AD理论与可拓学的融合模型,研究了基于可拓学“求行问题”的初始概念设计方案求解方法,完善了由功能域到物理域的映射分解流程与方法。解决了设计矩阵元素的独立性判断困难、域间映射分解困难、设计方案不够发散等问题,建立了用于指导设计流程的DPAE(Design Process based on Axiomatic Design and Extenics)设计体系。(5)针对AD理论中耦合问题难以描述、缺乏具体的解耦方法等问题,建立了用于解耦的DMAE(Decoupling Method based on Axiomatic Design and Extenics)体系。以 AD 理论关于解称问题的叁项定理作为指导方向,结合可拓学基元理论和创新方法体系,对每一项定理下的解耦过程进行了详细建模,构建了叁种耦合方式下的解耦模型。(6)DPAE体系与DMAE体系共同构成了面向功能需求的正向概念设计理论体系,即“IMAE体系”,作为农业机械设计的指导体系。为了验证该体系的可行性和对设计的指导意义,以一种小型蔬菜田间作业动力机械的设计作为实例进行说明,并基于体系的理论框架开发了相应的IMAE计算机辅助设计平台。(本文来源于《中国农业大学》期刊2018-05-01）

惠小静,高晓莉,朱乃调^[3]（2017）在《Goguen公理化扩张系统的Γ-k随机真度理论及性质》一文中研究指出本文首先对n值Goguen命题逻辑进行公理化扩张Goguen_(~,Δ),记为∏_(~,Δ).利用赋值集的随机化方法,给出公式在k(k取~或Δ)连接词下相对于局部有限理论Γ的Γ-k随机真度的定义;讨论了∏_(~,Δ)中Γ-k随机真度的MP规则、HS规则等相关性质;接着,在Γ-k中定义了两公式间的Γ-k随机相似度与Γ-k随机伪距离,得到了公式在连接词下相对于局部有限理论Γ的Γ-k随机相似度与Γ-k随机伪距离所具有的一些良好性质;最后,在∏_(~,Δ)中介绍了任意理论Γ相对于特定理论Γ_0的相对随机发散度和相对随机相容度概念,得到了相对随机发散度与相对随机相容度之间联系的关系式.(本文来源于《电子学报》期刊2017年11期）

高晓莉^[4]（2017）在《Goguen公理化扩张系统的真度理论研究》一文中研究指出摘要:通过增加新的连接词～,△对n值Goguen命题逻辑系统进行公理化扩张,得到Π～,△.在该系统中给出公式的k真度、k相似度与k伪距离的定义.证明了k真度的MP规则、HS规则等性质.说明了把命题公式中的部分原子命题分别与它的对合否定互换,公式的k真度不变.接着,在Π～,△中给出公式的k随机真度、k随机相似度与k随机伪距离间的计算公式.论证了k随机真度的MP规则、HS规则等基本性质.同时介绍了叁种近似推理模式以及讨论了叁种推理模式之间的等价性.然后,借助公式的诱导函数,在Π～,△中给出公式在k连接词下相对于局部有限理论r的Γ-k真度、Γ-k相似度与Γ-k伪距离的概念.得到了Γ-k真度的交并运算规则、MP规则、HS规则等基本理论.最后,利用赋值集的随机化方法,在Π～,△中提出公式在k连接词下相对于局部有限理论r的Γ-k随机真度、Γ-k随机相似度与Γ-k随机伪距离.引入了任意理论r相对于特定理论Γ0的相对随机发散度和相对随机相容度,建立了相对随机发散度与相对随机相容度之间的关系式.(本文来源于《延安大学》期刊2017-06-01）

孙锐^[5]（2016）在《真理论的公理化》一文中研究指出本文采用公理化方法研究真理论.用公理及其推论建立真理论体系,使真理论成为完备的、自洽的公理系统.本文是对真理论公理化的一次尝试.并且受到彻底约定论和佛学思想的启发,建立的真理论也是有别于传统或经典的真理论.(本文来源于《数学学习与研究》期刊2016年23期）

韦雷雷^[6]（2016）在《公理化组合真之理论研究述评》一文中研究指出公理化真之理论的基本思想是将真公理添加到基础理论中,并以真谓词T对基础理论的语言进行扩充。用塔斯基定义真时所使用的归纳条款进行公理化并添加到基础理论,就能得到组合真之理论系统。公理化组合真之理论在以PA和ZF集合论为基础理论的研究方向上取得了若干成果。公理化组合真之理论以真谓词是否允许作用于本身带有该真谓词的语句为划分标准,分为"类型组合真之理论"和"无类型组合真之理论"两个路径。(本文来源于《湖南科技大学学报(社会科学版)》期刊2016年03期）

全涛^[7]（2015）在《一种科学审视概率论的新视角——评《伯恩斯坦的公理化理论及其概率思想研究》》一文中研究指出近年来,以近现代概率思想发展史为主要学术方向的徐传胜教授,在该领域研究中可谓取得了丰硕成果。2010年出版专着《从博弈问题到方法论学科:概率论发展史研究》~([1]);2013年在《自然辩证法研究》期刊上发表学术论文《伯恩斯坦的公理化理论及其概率思想研究》(下简记为《公理化研究》)~([2])等。徐传胜教授成为国内最早对伯恩斯坦公理化理论进行系统介绍与阐释的学者。《公理化研究》赋予概率论一种崭新的研究视角,提升了国内(本文来源于《临沂大学学报》期刊2015年06期）

曹群^[8]（2015）在《基于公理化设计理论的结肠镜操作手柄再设计》一文中研究指出结肠镜是一种用于大肠以及小肠末端检查的内窥镜,主要应用于临床结肠疾病的诊断。但是传统的结肠镜已经不能满足单人单手操作的需要,并且目前单手操作结肠镜手柄仍存在着许多问题。这些问题主要存在于操作手柄的可操作性及人机工程学两方面。本论文的总体目标是解决上述问题,对现有的结肠镜操作手柄进行再设计,使得再设计更加符合人机工程学。为了达到这一目标,需要完成以下两个具体目标：(i)提出一种适用于人机协作类产品设计的系统设计方法,使得该类产品设计具有很好的可操作性及符合人机工程学；(ii)通过提出的设计方法对结肠镜操作手柄进行再设计,且该设计能够解决现有结肠镜操作手柄存在的问题。本论文为了达到上述目标,主要做了以下四项工作：(1)对人手的运动规律及操作力分析；(2)用公理化设计理论,对现有的操作手柄的操作手柄进行分析,从中寻找-种改善方法；(3)通过得到的改善方法对结肠镜操作手柄进行再设计；(4)建立人手及新设计的操作手柄的叁维模型,并进行虚拟交互验证再设计手柄的合理性。本文通过上述工作,得到以下结论：(1)现有的设计方法对于人机协作类产品的设计并不是很适用；(2)本文中设计的操作手柄很好的解决了现有结肠镜手柄存在的可操作性及人机工程学方面的问题。本论文的主要贡献在于：(1)在设计理论与方法方面,提出了一种更加系统、有条理的人机协作类产品设计的方法；(2)在设计成果方面,设计了一种轨迹球型结肠镜操作手柄,该设计具有很强的可操作性及符合人机工程学。(本文来源于《华东理工大学》期刊2015-04-22）

周海欧^[9]（2014）在《效用可度量性假设对经济学理论体系构建的影响——基于公理化体系自洽性原则的解析》一文中研究指出公理化体系自洽性原则要求进入经济学理论体系的每一个命题必须是科学可判的。效用可度量性假设决定了经济学命题满足科学可判性条件的难易程度,因此对经济学理论体系的构建具有系统性的影响。这正是效用可度量性假设引发经济学家广泛关注的原因。消费者理论分析框架从"边际效用递减"向"边际替代率递减"转变,是效用可度量性假设影响经济学理论体系构建的一个重要例证。尽管在消费者行为分析中采用序数效用论是一种进步,但从整个经济学的理论发展和应用需要来看,彻底取消基数效用论假设是困难的。(本文来源于《经济科学》期刊2014年06期）

贺柏和,邵强进^[10]（2014）在《“真”之公理化理论》一文中研究指出在传统的逻辑研究中,"真"通常作为一种谓词而被定义。但在"真"之公理化理论中,"真"被看作是一个由特定公理和规则所支配的初始谓词。贺柏和教授在本文中分析了真谓词几种不同的公理系统,并比较了各自的证明—理论强度。(本文来源于《哲学分析》期刊2014年04期）

公理化理论论文开题报告

（1）论文研究背景及目的

此处内容要求：

首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。

写法范例：

目前我国的农业机械设计在概念设计阶段仍缺乏有效的理论支撑,导致创新设计能力仍有不足,为了提高我国农业机械设计水平,需要形成一套普遍适用的设计理论方法体系,指导面向功能需求的正向概念设计,为农机设计提供理论依据。针对“在不依赖现有设计方案的情况下如何进行农业机械概念方案设计”、“在进行概念方案设计时应遵循哪些步骤”、“在每一步骤中要考虑哪些内容,如何考虑”、“如何引导创新型的概念设计”等问题,本文提出了一套基于AD理论与可拓学的设计体系 MAE(Integrated methodology based on Axiomatic Design and Extenics),从功能分析入手进行概念方案设计,将抽象、无序的思维有序化、结构化、程式化,同时引导方案的发散,使设计者在IMAE体系的引导下能够较为顺利地完成多方案创新型的农业机械概念设计。(1)基于目前农业机械的设计现状以及设计理论的研究现状,本文选择了目前应用最为广泛,能够简化设计过程的AD理论作为农业机械设计理论的基础。同时,为了解决AD理论因其较强的普适性而导致的实际指导作用不强的问题,引入能够对事物进行有效描述且具有一系列创新方法的可拓学理论,与AD理论互补完善。在此基础上,分析了建立农业机械设计理论体系所面临的主要问题及解决方案,确定了本文的研究内容和技术路线。(2)针对处于“土壤-机器-植物”环境中的农业机械的特点,分析了农业机械设计需求的主要影响因素,建立了农业机械的用户需求模型,并从动态发展的角度出发,应用TRIZ理论的需求进化理论以及技术进化理论分别对农民用户需求和农业机械技术的进化方向进行了分析,作为农业机械设计宏观方向上的基本依据。(3)对AD理论与可拓学进行了深层次的分析,研究了二者的融合机制并建立了相应的数学描述模型。应用可拓学中的事元模型、物元模型和关系元模型分别针对AD理论中的功能需求、设计参数和耦合问题进行了详细建模,解决了AD理论“域”中元素和称合问题缺乏统一而详细的表达的问题,并基于上述表达方式,建立了从功能域到物理域映射过程的基元模型。(4)基于AD理论与可拓学的融合模型,研究了基于可拓学“求行问题”的初始概念设计方案求解方法,完善了由功能域到物理域的映射分解流程与方法。解决了设计矩阵元素的独立性判断困难、域间映射分解困难、设计方案不够发散等问题,建立了用于指导设计流程的DPAE(Design Process based on Axiomatic Design and Extenics)设计体系。(5)针对AD理论中耦合问题难以描述、缺乏具体的解耦方法等问题,建立了用于解耦的DMAE(Decoupling Method based on Axiomatic Design and Extenics)体系。以 AD 理论关于解称问题的叁项定理作为指导方向,结合可拓学基元理论和创新方法体系,对每一项定理下的解耦过程进行了详细建模,构建了叁种耦合方式下的解耦模型。(6)DPAE体系与DMAE体系共同构成了面向功能需求的正向概念设计理论体系,即“IMAE体系”,作为农业机械设计的指导体系。为了验证该体系的可行性和对设计的指导意义,以一种小型蔬菜田间作业动力机械的设计作为实例进行说明,并基于体系的理论框架开发了相应的IMAE计算机辅助设计平台。

（2）本文研究方法

调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。

观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。

实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。

文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。

实证研究法：依据现有的科学理论和实践的需要提出设计。

定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。

定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。

跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。

功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。

模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。

公理化理论论文参考文献

[1].王勇勇.G?deln值公理化扩张系统的真度理论[D].延安大学.2018

[2].李文娟.基于公理化设计理论与可拓学的农业机械概念设计方法研究[D].中国农业大学.2018

[3].惠小静,高晓莉,朱乃调.Goguen公理化扩张系统的Γ-k随机真度理论及性质[J].电子学报.2017

[4].高晓莉.Goguen公理化扩张系统的真度理论研究[D].延安大学.2017

[5].孙锐.真理论的公理化[J].数学学习与研究.2016

[6].韦雷雷.公理化组合真之理论研究述评[J].湖南科技大学学报(社会科学版).2016

[7].全涛.一种科学审视概率论的新视角——评《伯恩斯坦的公理化理论及其概率思想研究》[J].临沂大学学报.2015

[8].曹群.基于公理化设计理论的结肠镜操作手柄再设计[D].华东理工大学.2015

[9].周海欧.效用可度量性假设对经济学理论体系构建的影响——基于公理化体系自洽性原则的解析[J].经济科学.2014

[10].贺柏和,邵强进.“真”之公理化理论[J].哲学分析.2014

论文知识图

标签：公理化论文;  理论论文;  逻辑论文;  命题论文;  人机论文;  系统论文;  类型论文;