导读:本文包含了模型论论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:模型,干支,定理,标记,谓词,着作,系统论。
模型论论文文献综述
张娟[1]（2019）在《数字着作权交易法律模型论纲》一文中研究指出计算机信息技术和网络技术的迅速发展将人类社会带入了信息时代,信息时代不仅为科技和人类日常生活带来了改变,也影响了法律的变革。例如在互联网时代背景下,着作权正在往信息化、数字化的方向发展,以着作权保护为代表的知识产权保护工作受到了比较大的挑战,正在由传统着作权保护逐渐发展为新型数字着作权保护,因此为了保护各种创作与交流,对数字着作权的法律保护相较之前更为重要和必要。本文针对数字着作权申请过程和交易过程中的法律保护进行了讨论,初步建立了数字着作权的法律交易模型,从法律方面为数字着作权的交易过程提出了一定的建议。(本文来源于《法制博览》期刊2019年20期）
刘佶鑫[2]（2019）在《模型论视角下对正规多元模态逻辑的阐述（英文）》一文中研究指出本文对正规多元模态逻辑做了模型论视角的整体阐述。正规多元模态逻辑(PML)是对一元模态逻辑系统K,在n元算子上的推广。而多元模态逻辑的研究相对于一元逻辑较为匮乏。文献中的一系列有关PML的结果也被看作是有关K的结论的直接推广,而缺少部分完整证明,且已有证明多为代数证明。PML对于K的推广在某些方面是非平凡的,忽略这一点导致了一些教材及文章中甚至存在各种错误。从证明的角度上讲,对于PML的证明有时也需要不同的方法。基于以上几点考虑,我们认为有必要从模型论视角对PML做一个细致的考察,并给出一些模型论版本的证明,来简化以往的代数证明,从而给研究者提供一个统一的参考。本文从两个模态逻辑常用的模型构造方法(滤子和超滤扩张)出发,以经典教材中的定义为准,补全一些重要定理在多元语言下的模型论方法的详细证明。然后我们对van-Benthem刻画定理的多元版本证明做了一个澄清,考察了多元语言和一元语言下证明的具体区别。最后我们用模型论方法证明了PML具有插值性,而该定理在文献中往往是被当作一些代数事实的推论。(本文来源于《逻辑学研究》期刊2019年03期）
鲍韵昕,任亚慧,张瑞桃,李京京[3]（2019）在《以经济学模型论流动人口规模的影响因素》一文中研究指出近年来,随着社会科技与经济的不断发展,我国出现大规模人口流动的现象,引起了社会的广泛关注。人们对人口流动现象的研究开始转向对主体规模更深一层次的研究。本文笔者首先应用经济学中的效用理论,建立一个有关人口流动的行为分析模型;在收入决定理论的基础上,分析产生人口流动规模变化的微观动因,以及在相关影响因素变动的情况下人口流动决策机制的变动问题;从现实的角度对我国流动人口的行为进行分析,结合相关文献经验及调查数据,得出相应的结论。总结出收入水平、地区差别以及教育程度等多个方面都会对流动人口的规模产生影响。(本文来源于《大众投资指南》期刊2019年09期）
罗文淇,戴启迪,靳九成[4]（2019）在《二十八宿背景下的七曜才是破解干支纪年及其特性的完备天文学背景——与日、月二曜“天”模型论者商榷》一文中研究指出如何解读干支纪年及相关特性,一直是百年来几代学者的梦想。20世纪末有些学者发文宣称:日、月二曜天人合一"天"模型就能破解干支纪年,影响几代人。文章将从"六十甲子"特性及现代天文物理学等指出:①日、月二曜"天"模型不能破解干支纪年,仅是其天文学背景之一。②二十八宿背景下的日、月、水、金、火、木六曜,是破解支纪年及其特性的必备和充分"天"模型。③二十八宿背景下的日、月、水、金、火、木、土七曜,才是破解干支纪年及其特性的完备天文学背景。(本文来源于《中华中医药杂志》期刊2019年04期）
陆煜杰,陈国龙[5]（2019）在《模型论方法在格中的应用》一文中研究指出模型论方法在抽象代数,数论,拓扑学,概率论等领域有着重要的应用.运用模型论中的紧致性定理和完全理论对格中的相关性质进行研究,证明满足一定条件下的格是子格,完备∧-半格和完备格。(本文来源于《佳木斯大学学报(自然科学版)》期刊2019年01期）
赵鹏[6]（2018）在《反基础模型论解悖方法探析》一文中研究指出受情境语义学解悖方案的启发,巴威斯和莫斯把超集理论应用于模型论,构造了解悖的数学框架——反基础模型论。在此基础上,通过给语言L增加真谓词true,提出谎言定理。然后,以说谎者悖论、强化的说谎者悖论、佐丹卡片悖论为例,说明反基础模型论解悖方法的巧妙之处。此外,在反基础模型论的基础上,还可以通过给语言增加指派谓词,消解指称悖论。(本文来源于《重庆理工大学学报(社会科学)》期刊2018年04期）
聂梓欣[7]（2018）在《基于胜任力模型论管理者在新时期应具备的能力》一文中研究指出学术界对于管理者胜任力有不同的定义,但对胜任力模型维度的开发通常可以从专业知识、管理技能、动机态度、价值观等角度进行研究。在全球化发展的新时期,科学技术高速发展,组织对管理者的能力素质提出了更高的要求。因此,高级领导者应当在持续变革、技术创新、组织转型、盈利能力等方面提高专业能力,增强个人竞争力。(本文来源于《当代旅游(高尔夫旅行)》期刊2018年03期）
成汹涌[8]（2017）在《基于原型-模型论的英汉语言被动态标记性对比分析》一文中研究指出本文基于原型-模型论视角尝试对比分析英汉语言被动态标记性特征之差异。人类语言原型共性揭示英汉主动态趋向自然、符合事件发生顺序而不带标记,被动态注重结果、忽视施动、违背事件发生顺序而带标记。英汉语言共轭相生模型相异性同时又表明英语被动态与文体相关,用于强调客观的科技文体中的被动态无标记,而用在赋有浓厚主观色彩的文学体裁中的被动态则有标记。汉语被动态与文体关联不大,且使用频率远低于英语被动态更显标记性。标记理论分析法运用于二语习得有助于预测英汉被动句习得顺序,更好指导语言教师拟定合理有效的教学计划。(本文来源于《外语教学理论与实践》期刊2017年02期）
王敦,王鑫[9]（2017）在《广西职业教育贯通培养“立交桥”支撑体系模型论析》一文中研究指出职业教育立交桥支撑体系是现代职业教育体系大系统中一个不分割的部分。文章运用系统论方法,以"人的终身学习"为目,依据空间尺度和性质的不同,将广西职业教育贯通培养"立交桥"支撑体系模型分为直接作用体系统、多元作用体系统和外围支持体系统,研究分析了其内涵、结构与功能、运行机制等相互关系和存在不足,并提出了对策建议。(本文来源于《教育现代化》期刊2017年03期）
成汹涌[10]（2017）在《原型—模型论观照下的英汉空间隐喻成对词排序标记性对比研究》一文中研究指出隐喻既是一种修辞又是人类认知客观世界的手段和方式,人的躯体是空间隐喻的认知原型,其上下、前后和里外的不对称,左右的对称以及不同文化习俗的影响使英汉均有许多空间隐喻成对词。此类成对词排序是按先作为非标记性原型的肯定项而后作为标记性模型的否定项进行的,这不仅符合语言习惯,而且也符合人类认知一般规律。本文尝试从原型—模型论视角通过对5组空间隐喻成对词在英汉中的喻体选择与其内部结构的对比分析来揭示人类因为有相似生活环境和认知基础使得英汉空间隐喻有着许多惊人雷同之处,但同时由于英汉文化不同又存在一定差异。(本文来源于《外语学刊》期刊2017年01期）
模型论论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
本文对正规多元模态逻辑做了模型论视角的整体阐述。正规多元模态逻辑(PML)是对一元模态逻辑系统K,在n元算子上的推广。而多元模态逻辑的研究相对于一元逻辑较为匮乏。文献中的一系列有关PML的结果也被看作是有关K的结论的直接推广,而缺少部分完整证明,且已有证明多为代数证明。PML对于K的推广在某些方面是非平凡的,忽略这一点导致了一些教材及文章中甚至存在各种错误。从证明的角度上讲,对于PML的证明有时也需要不同的方法。基于以上几点考虑,我们认为有必要从模型论视角对PML做一个细致的考察,并给出一些模型论版本的证明,来简化以往的代数证明,从而给研究者提供一个统一的参考。本文从两个模态逻辑常用的模型构造方法(滤子和超滤扩张)出发,以经典教材中的定义为准,补全一些重要定理在多元语言下的模型论方法的详细证明。然后我们对van-Benthem刻画定理的多元版本证明做了一个澄清,考察了多元语言和一元语言下证明的具体区别。最后我们用模型论方法证明了PML具有插值性,而该定理在文献中往往是被当作一些代数事实的推论。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
模型论论文参考文献
[1].张娟.数字着作权交易法律模型论纲[J].法制博览.2019
[2].刘佶鑫.模型论视角下对正规多元模态逻辑的阐述（英文）[J].逻辑学研究.2019
[3].鲍韵昕,任亚慧,张瑞桃,李京京.以经济学模型论流动人口规模的影响因素[J].大众投资指南.2019
[4].罗文淇,戴启迪,靳九成.二十八宿背景下的七曜才是破解干支纪年及其特性的完备天文学背景——与日、月二曜“天”模型论者商榷[J].中华中医药杂志.2019
[5].陆煜杰,陈国龙.模型论方法在格中的应用[J].佳木斯大学学报(自然科学版).2019
[6].赵鹏.反基础模型论解悖方法探析[J].重庆理工大学学报(社会科学).2018
[7].聂梓欣.基于胜任力模型论管理者在新时期应具备的能力[J].当代旅游(高尔夫旅行).2018
[8].成汹涌.基于原型-模型论的英汉语言被动态标记性对比分析[J].外语教学理论与实践.2017
[9].王敦,王鑫.广西职业教育贯通培养“立交桥”支撑体系模型论析[J].教育现代化.2017
[10].成汹涌.原型—模型论观照下的英汉空间隐喻成对词排序标记性对比研究[J].外语学刊.2017
论文知识图
