一、Steinberg Leibniz代数的定义（论文文献综述）
崔艳英[1]（2020）在《乔姆斯基的心智表征观研究》文中研究表明心智表征是认知科学研究的核心问题之一,也是一个从古至今尚没有解决的谜题。笛卡尔的接触力学没能解决“思维物质”和语言创造性问题,牛顿的万有引力定律解决了力学难题,但是对于“语言创造性”和“心智”无能为力。洪堡特提出“有限形式的无限运用”说明语言创造性,但只是为心智换了一种说法,问题依然没有解决。乔姆斯基迎难而上,反对行为主义,发起一场认知革命,研究语言能力,研究心智表征问题。他的心智表征观主要由几个方面构成。这几方面问题通过七个部分展开讨论。首先,心智表征研究可以追溯到经院哲学时期,其路径研究主要包括一元论和二元论研究,无论是一元论还是二元论都不能成为心智解读的理想路径。乔姆斯基的心智研究继承了笛卡尔的理性主义,通过语言维度研究心智。其次,他的理性主义心智,以“语言创造性”为切入点,追本溯源,找到历史依据,复现笛卡尔的理性主义。他的普遍语法假设可以在波尔·罗亚尔语法中找到原型;他的深层结构和表层结构并非空穴来风,源于历史文献;他的生成理论源于洪堡特的“有限形式的无限运用”。第三,他对心智的研究主要是对心智表征的自然主义追问。心智是不是一种自然现象?是不是可以计算?方法论自然主义是研究自然现象的方法论,可否用于心智表征研究?心智表征是否具有意向性?第四,这些问题的解答,使得意向性成为乔姆斯基关注的主要问题之一,他尝试通过思维的计算表征维度对心智的意向性问题进行解读,但他的解读面临困境,这个困境是概念问题还是术语问题?如果是术语概念问题,那乔姆斯基理论是否要摒弃意向性?摈弃意向性似乎意味着乔姆斯基支持还原论?第五,心智还原论问题,是心智哲学避不开也解决不了的问题。如何处理心智表征还原问题?乔姆斯基像牛顿一样,怀疑物理主义,坚持自然主义方法论。他的普遍语法是语言能力问题,是心智表征问题。第六,普遍语法说明人类具有语言器官,独立于其他认知能力,不受其他认知能力影响。然而,诸多证据说明模块独立不可行,模块互动是真谛。心智模块论具有系统性、互动性。最后,乔姆斯基理论不是终极理论,也有局限性。心智表征的意向性研究不适合自然主义路径研究,意向性自然化构成乔姆斯基理论的局限性。心智表征研究需要总结前人研究之成果,借鉴视觉研究之成果,借鉴语言研究之思路。
王尧[2]（2020）在《开放体系量子力学：耗散子理论》文中认为置身于环境之中的开放量子体系总会经历耗散过程。在物理学、化学和生物学的诸多领域中,量子耗散动力学已然成为被着重研究的课题。开放体系的量子力学描述了在宏观环境中微观体系的状态如何随时间而变化,这对处理实际复杂体系具有十足的重要性。因为对于实际复杂体系而言,环境总是不可避免地存在。本论文的中心内容是开放量子体系耗散子理论的系统发展。耗散子,是反映环境集体耗散效应的准粒子。基于该准粒子的概念,耗散子理论可以处理体系和环境之间的纠缠动力学。完整的耗散子理论不仅包含耗散子坐标和动量的代数,还包括了耗散子动力学空间的量子力学。耗散子动力学空间既涉及研究者感兴趣的体系部分,也涉及了环境中的溶剂化自由度。此外,耗散子理论还提供了一个可操作的计算框架,计算的对象是关于体系和环境溶剂化模的可观测量。为了阐明耗散子的物理图像,我也讨论了耗散子的湮灭和产生,以及耗散波粒二象性可能的潜在含义。在本文中,我还展示了耗散子理论在各方面的严格发展。为了确认耗散子代数的严格性,我通过量子力学的正则形式重新构建了级联运动方程,该方程支配着耗散子理论中动力学变量的演化。这为本文中所发展的耗散子理论提供了坚实的基础。另外,我也介绍了基于耗散子动力学的两个应用方面的研究:电子转移诱导的热传递和Einstein转盘上原子的光响应。根据耗散子动力学理论,我还进一步提出了相空间矩耗散子动力学方法。这是一个耗散子粗粒化的分子动力学方法。它包括从准经典轨迹到半经典Gauss波包,再到高阶自洽的动力学截断方案。这方面的工作还正在进行之中。本论文中发展的体系-环境纠缠定理预计可以为所提出的粗粒化方案提供重要的有效性检验标准。
方仁洪[3]（2017）在《Wigner函数方法在夸克物质中的应用》文中进行了进一步梳理在RHIC和LHC上进行的高能重离子对撞实验的科学目标就是寻找和研究夸克胶子等离子体。这种强相互作用的新物质形态可能存在于宇宙早期。在非对心的对撞中,会产生相同方向的巨大的轨道角动量和超强磁场。我们需要回答的核心问题就是,如此巨大的轨道角动量是如何传递到热密物质中的。另一个相关的问题就是,如此强的磁场是如何影响粒子的行为的。人们认为,巨大的轨道角动量是通过自旋轨道耦合转化为夸克的自旋极化的。产生涡旋的粘滞会使得流体中的夸克发生极化。在碰撞的晚期,夸克和胶子将会发生强子化,夸克的整体极化将会转化成沿着轨道角动量方向的强子的极化。强磁场会导致手征磁效应,这跟手征反常密切相关。实验物理学家正在RHIC和LHC上寻找手征磁效应的可观测量。Wigner函数方法是研究极化效应和手征磁效应的有效的理论工具。Wigner函数是经典力学中单粒子分布函数的量子力学对应量。由于量子力学中的不确定性原理,Wigner函数在相空间的变量并不表示同一粒子的位置和动量。我们介绍了非相对论量子力学和量子场论中的Wigner函数的定义。Wigner函数算符的系综平均可以和热力学平衡时的宏观物理量联系起来,这些宏观物理量的平均值可以用相空间的积分表达出来。我们仔细考察了电磁场存在时的Dirac场的Wigner函数,并推导了 Wigner函数的运动方程,以及相应的16个分量的运动方程。这篇论文的主要目的就是用Wigner函数方法研究由于涡旋引起的极化效应以及反常和涡旋引起的赝标量凝聚。我们将以前的关于无质量或手征费米子的Wigner函数的工作扩展到了有质量费米子的情形。将Wigner函数中的费米子量子场在动量空间进行展开,并将Wigner函数中的规范链取成1,就可以得到领头阶的Wigner函数。把Wigner函数向相应的Dirac矩阵进行投影并进行求迹运算,可以得到它的所有分量。通过推广无质量费米子的次领头阶的轴矢流,可以得到有质量费米子的次领头阶的轴矢流,并满足一定的方程。轴矢流分量的行为很像相空间中的自旋赝矢量。在自旋1/2的情形,这两个量相差1/2的因子。极化密度可以通过对轴矢流分量进行四动量积分得到。我们发现,由于有限的重子化学势,单个费米子的平均极化总是小于单个反费米子的极化,这跟最近STAR测量到的Lambda超子和反Lambda超子的极化结果定性一致。在冻结超曲面上的具有确定动量的单个费米子极化可以用Cooper-Frye公式表示出来,这跟Becattini以前的结果是一致的。利用均匀电磁场情形下的有质量的Wigner函数,我们推导了由反常和涡旋诱导的赝标量凝聚。Wigner函数的赝标量分量可以通过轴矢分量得到。通过直接计算手征流的时空散度,我们可以得到赝标量凝聚,它由E·B和F·ω两项组成。由于费米子和反费米子有一个电荷符号的差别,E·ω项可以认为是力-涡旋耦合。力-涡旋耦合项是赝标量凝聚的新的项。当费米子质量很小时,赝标量凝聚线性正比于质量。对于在具有反常和涡旋的热密等离子体中的有质量的带电费米子都具有这样的赝标量凝聚。中性的π介子和η介子的凝聚可以通过把单味夸克推广到多味夸克而得到,它依赖于夸克质量、夸克化学势和温度。我们可以重新得到在真空中由反常诱导的中性π介子的凝聚。但是,我们的结果还有一项力-涡旋耦合项。在重离子碰撞中,可能存在与电磁场和涡旋有关的赝标量凝聚的可观测量,比如中性π介子和η介子的集体流。
曹则贤[4]（2016）在《物理学咬文嚼字之八十特别二的物理学》文中提出"二"贯穿物理学,two,dual,squared,binary,second-order,quadratic等修饰的各种概念,构成了物理天地之大部分。
杨盼盼[5]（2016）在《基于信息耦合度的自组织分群控制方法研究》文中提出群集系统的分群行为,表征为一个聚合的母群分裂成若干子群的现象。作为群集系统的固有运动模式,分群行为不仅弥补了单一组群运动难以对群集分裂现象进行有效表征的缺陷,而且赋予了群集更多的运动灵活性和行为多样性,是群集对环境适应能力的典型表现。因而,开展群集系统分群控制的研究,对于揭示群集"分裂-融合"行为的内在机制,深化对自组织群集运动机理的认知,以及促进分群行为的工程应用,均具有重要的理论价值和实践意义。本文以国家自然科学基金项目（No.51179156）为依托,针对一类不依赖于指派、协商等智能规划机制的典型自组织分群运动行为,在深入揭示其产生机理的基础上,对基于信息耦合度（Information coupling degree,ICD）的自组织分群控制方法及相关问题展开研究。论文的主要工作和研究成果如下:（1）群集系统自组织分群运动机理与建模研究以生物群集的分群行为作为参考,从刺激信息在群内定向传播的角度出发,研究了分群运动中群集内部信息的传播机制,指出分群行为是多元外部刺激信息在群内传播所引起的一种个体运动分化现象,并发现个体间关联强度的差异是导致分群行为的根本原因。基于该认识,定义了对个体间关联强度进行表征的指标—信息耦合度,并提出了一种基于信息耦合度的分群控制模型框架,为后续分群控制算法的设计奠定了基础。（2）基于信息耦合度的群集系统分群控制方法研究借鉴生物群集个体间的交互作用关系,综合利用个体位置和速度信息,建立了信息耦合度模型。然后,从刺激信息在群内传播最大化的角度出发,提出了一种基于"max-ICD"的分群控制策略。进而,将自组织"成对交互"规则融入传统的"分离/组队/聚合"群集协同规则中,设计了基于信息耦合度的分群控制算法,实现了外部刺激下群集系统的自组织分群行为。理论分析和仿真实验均验证了所提出的分群控制算法的有效性。（3）无速度测量下群集系统分群控制方法研究针对无速度测量下群集系统的自组织分群问题,提出了一种仅利用位置信息的分群控制方法。首先,通过构建分布式观测器,实现了利用个体间的相对位置信息对相对速度信息的实时估计。进而,以基于信息耦合度的分群控制理论框架为基础,结合速度信息未知的情形,利用个体间的相对位置信息和估计的相对速度信息,设计了无需速度测量的分群控制算法,实现了群集系统的自组织分群运动。理论分析和仿真实验均验证了所提出的无速度测量下自组织分群控制算法的有效性。（4）具有时延的群集系统分群控制方法研究针对分群运动中个体信息获取存在时延的问题,首先对前面提出的基于信息耦合度的分群控制算法的时延局限性展开讨论,发现时延的存在会显着降低分群算法的性能。进而,分定常时延和时变时延两种情况,对时延下群集系统的分群控制方法展开研究。对于定常时延情形,采用Lyapunov-Razumikhin定理得出了群集实现稳定分群运动的时延上界及相关收敛条件。对于时变时延情形,利用Lyaponov-Krasovskii泛函得出了线性矩阵不等式形式的时延上界及相关收敛条件。理论分析和仿真实验均验证了所提出的时延下群集系统分群控制算法的有效性。（5）群集机器人系统分群控制实验验证研究以E-puck群集机器人系统为实验平台,对基于信息耦合度的自组织分群控制方法展开实验验证工作。针对E-puck机器人的特点,首先建立其运动学模型,并结合所量测的邻居距离-方位信息,以基于信息耦合度的分群控制思想为基础,设计了面向群集机器人分群应用的控制算法,最后在Webots机器人仿真平台上开展的分群实验验证了所提算法的可行性和有效性。
沈振军[6]（2014）在《Hom-Leibniz超代数的表示和泛中心扩张》文中提出本论文主要目的是定义Hom-Leibniz超代数的表示和上同调群以及泛中心扩张,特别的,仔细研究了Hom-Leibniz超代数的导子和平凡表示,作为Hom-Leibniz超代数的应用,还研究了其上的直和,中心扩张,导子扩张等。
关宝玲[7]（2014）在《Hom-n-李超代数的表示与广义限制李代数的结构》文中研究指明本文研究保积Hom-n-李超代数和接触李超代数的表示,限制莱布尼兹代数、限制左对称代数和限制Hom-李代数的结构.首先研究保积Hom-n-李超代数.给出保积Hom-n-李超代数的表示和上同调,得到保积Hom-n-李超代数b通过交换保积Hom-n-李超代数α的扩张和Z1（b,a）0之间的一一对应关系；也给出保积Hom-n-李超代数的T*-扩张的一些性质；通过选择合适的上同调建立保积Hom-n-李超代数的单参数形变理论.同时,研究n-李超代数的幂零性.证明n-李超代数的Engel定理,得到幂零n-李超代数的一些重要性质,给出n-李超代数是幂零的几个充分条件.其次,本文研究接触李超代数的偶部.用K0,W-0和W1分别表示接触李超代数的偶部和广义Witt李超代数的偶部及奇部.主要研究的是K0到K0-模W0的1阶上圈和K0到K0-模W1的1阶上圈.得到了K0到K0-模W0的负齐次的1阶上圈,也得到K0的负齐次1阶上圈；给出K0到K0-模W0的非负齐次1阶上圈的简约定理,并且得到它的非负齐次1阶上圈.此外,也给出K0到K0-模W1的非负齐次1阶上圈的简约定理,并确定它的非负齐次1阶上圈.最后研究限制莱布尼兹代数、限制左对称代数、限制Hom-李代数的结构.给出限制莱布尼兹代数、限制左对称代数的p-映射性质和它们的可限制性,讨论带有半单元的限制莱布尼兹代数和限制左对称代数,得到限制莱布尼兹代数的Cartan-分解和分解唯一性定理,研究拟环面限制左对称代数.同时,给出限制Hom-李代数的定义和p-映射的性质,并讨论了它的可限制性和上同调.
刘伟伟[8]（2013）在《科学语义学研究》文中指出语义学作为一种科学方法论的工具性意义已经在二十世纪以来的哲学和科学理论的研究过程中得到了凸显。但是,从语义学研究的历史和现状来看,关于语义分析的立场、流派和趋向一直不断涌现,这导致在关涉到语义学研究的对象、主题和特征等方面仍然存在着较大的争论。正是基于此,我们有必要对科学语义学的系统性、结构性和统一性等特征展开研究,以求明确语义分析方法的作用和价值,并给予其恰当而合理的理论定位。首先,我们回顾了语义学研究的早期历史及其“现代性”的成长背景、特征及其影响,其目的在于说明语义学相关问题的理解与哲学本体论、认识论研究的紧密相关性,同时也希望揭示语义学研究在“科学主义”和“理性主义”纲领下的经验、教训及其缺陷。其次,我们通过考察语言学、哲学、逻辑学、文化和历史理论以及计算机信息理论在语义学研究中所具有的作用和价值,以求说明科学语义学的思想来源及其在方法论意义上的横断性和工具性特征。另一方面,我们对意义、真理、指称等科学语义学研究所关注的主题也进行了全面的、系统的和科学的分析,并且对于科学语义学的关联界域及其形而上学背景进行了深入探讨。这部分研究内容的目的在于从科学语义学的理论前提、理论基础、核心论题及其背景空间出发,力求充分地展示出语义学具有“科学性”特征的基本内涵。再次,我们对内在论语义学与外在论语义学的对峙和融合以及实在论语义学与反实在论语义学的论争与借鉴进行了深入剖析,同时我们也探讨了哲学的“解释学／修辞学转向”给科学语义学研究所带来的影响,其目的在于打破传统语义学分析的狭隘思维,对科学语义学的理性发展趋向及其表征形态进行整体把握。第四,我们通过对以法国和德国为代表的欧洲大陆语义学和英美语义学研究传统的分析和比较,一方面希望展示出不同国家语义学研究所独具的发展方向和特征,另一方面也希望揭示出当代英美语义学与欧洲大陆语义学之间对话与融合的历史趋势,这为统一而系统的科学语义学方法论研究提供了契机与可能。最后,通过对语义学研究的“认知转向”和博弈论语义学的分析,我们希望说明当代各种不同类型的科学语义学方法论模型都具有理论解释的包容性和方法论趋向的融合性特征,它们都在各自不同的渠道和层面上为语义学的“科学性”研究做出了贡献,而以霍根为代表所主张的“语境语义学”思想则在语义学的“自然性”与“规范性”协调、统一的立场上为科学语义学的方法论模型研究提供了重要启示。总之,通过对科学语义学内涵的理解、发展趋向性的把握、研究传统差异与融合特征的分析和方法论模型的比较,我们希望能够充分揭示出语义学“科学性”的本质与特征,这一方面能够为语义学的学科性确立提供更加坚实的基础和保证,另一方面也能够使得科学的语义分析方法在哲学与科学理论研究中的作用更加突显。
葛强[9]（2011）在《限制条件下的几何自动推理及应用研究》文中进行了进一步梳理几何学具有悠久的历史,两千多年来积累下来的几何知识是人类的宝贵财富。其中,几何证明是几何学的精华之一。几何题的证法,没有统一的方法可依循,有赖于个人的灵感和技巧,一直是数学教学中的难点和重点内容。用机器来模仿人的思维活动,来帮助人证明几何命题,是历史上一些卓越科学家的梦想,也是具有重要研究价值和应用价值的研究方向。吴文俊建立的数学机械化方法,极大的推动了几何定理机器证明领域的研究。目前,基于不同推理算法的自动推理系统已经出现,在科学研究和工程计算中发挥着重要的作用。但是,几何定理自动推理领域中的丰富成果,在教育中并没有得到充分应用,其教育价值远远没能得到充分体现。原因一方面在于中学教育阶段涉及到的几何知识比较初等,而现有的几何自动推理方法给出的证明过程难于被中学生理解；另一方面,几何知识的教学又涉及语言表达与作图、从图形发现问题、问题分析与解答等多个方面,不仅仅是单纯的几何定理机器证明。面对中学几何教学的应用需求,几何自动推理的研究面临着中学几何知识范围、解答步骤长度、推理时间和推理方法等多方面的限制。针对这些限制条件,本文开展了面向中学几何教学的几何自动推理的研究工作,涉及几何自动推理在动态几何作图、几何问题生成、向量法解题等方面的理论方法与应用,研究成果（创新点）包括以下几个方面：第一：提出动态几何作图中的枢点概念,建立了以枢点为基础的动态几何机制,设计了包括智能作图方法,语义作图方法和文本作图等几何作图方法。实现了相应的动态几何作图系统,拓展了动态几何理论。第二：提出并实现基于向量法的自动推理算法。该自动推理方法基于向量的回路特征,对构造型交点类几何命题能迅速地给出可读的向量式证明,证明过程简洁优美。这种自动推理方法能够在限制条件内能达到推理不动点,在构造型交点类的题目上表现出较高的效率。第三：提出并实现了基于自动推理的几何问题自动生成与答案验证方法。以自动推理为基础,设计了可以生成填空、判断、选择、计算和证明等多种题型的自动出题方法,并实现对用户的解答进行实时验证。这种方法创新了几何学出题方式,提高了测试效率。综合应用上述研究成果,实现了一个面向中学教学应用的几何自动推理原型系统,其主要功能包括动态几何作图、几何自动推理和题目自动生成。这三种主要功能有机集成,可满足教师课堂教学和学生课下自学的需求。最后提出了值得进一步研究的问题和对此方向未来的展望。
李倩怡[10]（2011）在《建筑几何性浅析:15-18世纪意大利和明清中国的完美形式》文中进行了进一步梳理本文试图解释建筑的几何问题，即尝试从建筑史不可计数的案例中，逼问出建筑几何性的实在意义，以明晰建筑中的几何学究竟是如何一门学问。其中“建筑几何性”，是作者构造的一套用来分析建筑最本质几何特征并评判其优劣的普遍模式，其要素包括几何前提，几何原型，数学关系，初始值，整数化和权宜之法。其次，本文选取十五至十八世纪意大利建筑和明清时代中国木构建筑两大范式，从中挑选出含有正多边形、圆形和椭圆形几何规律的完美形式的案例。作者首先收集这些案例的精确测绘数据，剖析了几何特性和几何约束关系，并分析了每座建筑的建筑几何性。最后，作者认为建筑几何性受几何学知识制约，同时也与宗教、哲学和政治等超越几何之上的建筑师信仰密切相关。
二、Steinberg Leibniz代数的定义（论文开题报告）
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
本文主要提出一款精简64位RISC处理器存储管理单元结构并详细分析其设计过程。在该MMU结构中,TLB采用叁个分离的TLB,TLB采用基于内容查找的相联存储器并行查找,支持粗粒度为64KB和细粒度为4KB两种页面大小,采用多级分层页表结构映射地址空间,并详细论述了四级页表转换过程,TLB结构组织等。该MMU结构将作为该处理器存储系统实现的一个重要组成部分。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
三、Steinberg Leibniz代数的定义（论文提纲范文）
（1）乔姆斯基的心智表征观研究（论文提纲范文）
| 中文摘要 |
| ABSTRACT |
| 导言 |
| 第一章 心智表征的思想渊源 |
| 1.1 心智表征研究的术语形成和哲学背景 |
| 1.2 心智表征的方法论 |
| 1.3 心智表征研究的问题和进路 |
| 1.4 小结 |
| 第二章 理性主义:乔姆斯基的内在论基础 |
| 2.1 语言创造性:有限形式的无限运用 |
| 2.2 深层表征形式与表层表征形式 |
| 2.3 杜·马赛斯的构式-语法理论 |
| 2.4 普遍语法——语言刻画与解读 |
| 2.5 语言习得机制与语言能力 |
| 2.6 小结 |
| 第三章 心智计算论:心智表征的自然主义追问 |
| 3.1 方法论自然主义:乔姆斯基心智研究的方法论 |
| 3.2 内在论:心智理论的范式 |
| 3.3 意向性:自然主义研究的天敌? |
| 3.4 计算与内容:心智表征的实质 |
| 3.5 自然主义能否最终解释意向性问题 |
| 3.6 小结 |
| 第四章 心智表征需要意向性理论吗 |
| 4.1 乔姆斯基对思维计算表证承诺了什么 |
| 4.2 思维计算表征理论存在什么问题 |
| 4.3 表征是不是具有意向性 |
| 4.4 意向性问题是术语概念问题所致? |
| 4.5 乔姆斯基需要意向性吗 |
| 4.6 小结 |
| 第五章 心智还原论:心智表征的终极方案? |
| 5.1 心身问题:心智哲学的永恒话题 |
| 5.2 牛顿革命的理解:物理主义批判的原石 |
| 5.3 心智模块论:怀疑主义与自然主义的交融 |
| 5.4 两大主题反对物理主义的一致性 |
| 5.5 心智与意识的同一性 |
| 5.6 小结 |
| 第六章 心智模块论:语言是心智的一个模块? |
| 6.1 心智模块论——语言本能的结果? |
| 6.2 语言天才还是智障 |
| 6.3 模块论能不能解释心智表征问题 |
| 6.4 复杂系统论:模块理论的替代方法 |
| 6.5 小结 |
| 第七章 乔姆斯基范式:视域与局限 |
| 7.1 方法论自然主义:科学研究是否行得通 |
| 7.2 常识概念问题是不是方法论二元论问题 |
| 7.3 形而上学自然主义存在何种问题 |
| 7.4 方法论自然主义可否用于意向性研究 |
| 7.5 小结 |
| 结语 |
| 参考文献 |
| 附录I 乔姆斯基生平及其贡献 |
| 附录II 乔姆斯基着作与文章 |
| 附录III 诺姆·乔姆斯基研究 |
| 攻读学位期间取得的研究成果 |
| 致谢 |
| 个人简况及联系方式 |
（2）开放体系量子力学：耗散子理论（论文提纲范文）
| 摘要 |
| ABSTRACT |
| 第1章 导言 |
| 第2章 量子态的Liouville空间描述与含时外场 |
| 2.1 量子态: 纯态与混态 |
| 2.1.1 纯态: Hilbert空间 |
| 2.1.2 混态: Liouville空间 |
| 2.1.3 量子统计 |
| 2.2 经典外场 |
| 2.2.1 偶极-电场相互作用: 偶极近似 |
| 2.2.2 Gauss脉冲波包: 包络近似 |
| 2.3 量子测量的唯象理论 |
| 2.4 小结 |
| 第3章 量子动力学与含时外场下的响应理论 |
| 3.1 量子动力学的Schrodinger绘景: Schrodinger和Liouville方程 |
| 3.2 绘景变换 |
| 3.2.1 Heisenberg绘景 |
| 3.2.2 相互作用绘景 |
| 3.3 含时微扰理论 |
| 3.4 线性响应理论 |
| 3.4.1 各阶响应函数 |
| 3.4.2 响应与关联 |
| 3.4.3 谱函数与色散函数的Kramers-Kronig关系、谱密度函数 |
| 3.4.4 涨落-耗散定理 |
| 3.5 小结 |
| 3.6 附录 |
| 3.6.1 (3.50)式的证明 |
| 3.6.2 (3.52)式的证明 |
| 第4章 体系-环境纠缠定理 |
| 4.1 Gauss-Wick类环境 |
| 4.2 溶剂化模的Langevin方程 |
| 4.3 体系-环境纠缠定理 |
| 4.4 小结 |
| 第5章 级联运动方程:正则形式下的推导 |
| 5.1 总系统Hamilton量的体系-环境分解 |
| 5.2 开放量子体系的约化动力学 |
| 5.2.1 约化密度矩阵 |
| 5.2.2 环境影响泛函的引入 |
| 5.2.3 环境影响泛函的求解 |
| 5.3 级联运动方程 |
| 5.4 各类主方程 |
| 5.4.1 时间非定域性主方程 |
| 5.4.2 时间定域性主方程 |
| 5.4.3 关联驱动-耗散主方程 |
| 5.5 小结 |
| 5.6 附录 |
| 5.6.1 (5.19)式的证明 |
| 5.6.2 (5.32)式的推导 |
| 5.6.3 (5.35)式的推导 |
| 第6章 耗散子理论的发展 |
| 6.1 耗散子代数 |
| 6.1.1 环境耗散算符的耗散子分解 |
| 6.1.2 耗散子代数的定义 |
| 6.2 耗散子密度算符: 耗散子代数的表示 |
| 6.3 耗散子坐标与耗散子动量 |
| 6.4 耗散子的物理图像 |
| 6.4.1 耗散子的湮灭和产生算符 |
| 6.4.2 耗散波粒二象性 |
| 6.5 耗散子动力学空间的量子力学 |
| 6.5.1 均值的计算 |
| 6.5.2 关联函数的计算 |
| 6.6 数值演示 |
| 6.7 小结 |
| 6.8 附录 |
| 6.8.1 微分时间反演关系 |
| 6.8.2 CODDE空间的量子力学 |
| 第7章 耗散子粗粒化分子动力学的相空间矩方法 |
| 7.1 Born-Oppenheimer分离 |
| 7.1.1 分子Hamilton量 |
| 7.1.2 Born-Oppenheimer基 |
| 7.1.3 Born-Oppenheimer分离 |
| 7.1.4 Born-Oppenheimer近似 |
| 7.2 耗散子粗粒化分子动力学的级联运动方程 |
| 7.3 相空间矩耗散子动力学 |
| 7.3.1 形式结构 |
| 7.3.2 推导过程 |
| 7.4 相空间矩耗散子动力学的截断方案 |
| 7.4.1 耗散子分布和A-A变换 |
| 7.4.2 累积量平均场截断方案 |
| 7.4.3 讨论 |
| 7.5 数值演示初步 |
| 7.6 小结 |
| 第8章 电子转移诱导的热传递 |
| 8.1 电子转移模型 |
| 8.2 严格的速率核:投影算符方法 |
| 8.2.1 速率核的构建 |
| 8.2.2 速率核的一般性质 |
| 8.3 电子转移诱导的热传递 |
| 8.4 小结 |
| 第9章 Einstein转盘上原子的光响应 |
| 9.1 Einstein转盘上的原子-光场相互作用 |
| 9.2 非惯性效应对光场的影响 |
| 9.2.1 旋转参考系中的时空度规 |
| 9.2.2 转盘上的Maxwell方程 |
| 9.2.3 一些常用的微分几何关系式 |
| 9.3 理论模型: 二能级原子与光场 |
| 9.4 数值演示初步 |
| 9.5 小结 |
| 第10章 结语 |
| 附录A Fokker-Planck量子主方程理论 |
| A.1 Calderia-Leggett模型 |
| A.2 Fokker-Planck方程 |
| A.3 Fokker-Planck代数 |
| A.4 本征展开以及x_B和p_B的作用 |
| A.5 小结 |
| 附录B 泛函变分与泛函导数 |
| B.1 泛函数 |
| B.2 泛函变分与泛函导数 |
| B.2.1 泛函变分 |
| B.2.2 泛函导数 |
| B.2.3 泛函导数的微分性质 |
| B.2.4 两类常见泛函的导数 |
| 参考文献 |
| 致谢 |
| 在读期间发表的学术论文与取得的研究成果 |
（3）Wigner函数方法在夸克物质中的应用（论文提纲范文）
| 摘要 |
| ABSTRACT |
| 第一章 绪论 |
| 1.1 物质的相图 |
| 1.2 高能重离子碰撞 |
| 1.2.1 高能重离子碰撞中的轨道角动量和磁场 |
| 1.2.2 高能重离子碰撞中涡旋对夸克物质的影响 |
| 1.2.3 高能重离子碰撞中磁场对夸克物质的影响 |
| 1.3 Wigner函数方法在夸克物质整体极化上的应用 |
| 1.4 Wigner函数与赝标量凝聚 |
| 第二章 Wigner函数 |
| 2.1 经典统计力学中的单粒子分布函数 |
| 2.1.1 单纯粒子体系 |
| 2.1.2 混合粒子体系 |
| 2.2 Heisenberg不确定度关系 |
| 2.3 非相对论量子力学中的Wigner函数 |
| 2.3.1 Wigner函数的定义 |
| 2.3.2 Wigner函数的性质 |
| 2.3.3 Wigner函数的动力学方程和经典统计力学中Liouville定理的联系 |
| 2.4 Wigner的早期工作——关于热力学平衡的量子修正 |
| 2.4.1 经典统计力学中的Gibbs-Boltzmann公式 |
| 2.4.2 经典统计力学中的Liouville定理 |
| 2.4.3 量子统计力学中的Liouville定理 |
| 2.4.4 Wigner函数及其对热力学平衡的量子修正 |
| 2.5 量子场论中的Wigner函数 |
| 2.5.1 复标量场 |
| 2.5.2 Dirac场 |
| 第三章 Λ超子的极化 |
| 3.1 极化密度矩阵 |
| 3.1.1 纯系综和混合系综 |
| 3.1.2 极化密度矩阵 |
| 3.1.3 极化度 |
| 3.1.4 Lambda超子Λ~0的一个系综 |
| 3.2 高能重离子碰撞中Lambda超子Λ~0的整体极化 |
| 3.2.1 静态库仑势散射中的整体极化效应 |
| 3.2.2 Lambda超子Λ~0的整体极化测量 |
| 3.3 微扰方法求解Wigner函数 |
| 3.3.1 存在电磁场时,Wigner函数满足的动力学方程 |
| 3.3.2 均匀弱场情况下,Wigner函数的一级近似解 |
| 3.4 涡旋流体中有质量费米子的极化 |
| 3.4.1 轴矢流作为极化密度 |
| 3.4.2 单个费米子与反费米子极化的比值,STAR最新的实验结果 |
| 第四章 赝标量凝聚 |
| 4.1 Adler-Bell-Jackiw反常 |
| 4.1.1 Noether定理和经典的守恒律 |
| 4.1.2 Adler-Bell-Jackiw反常和PCAC |
| 4.2 Wigner函数的量子动理学理论和赝标量凝聚 |
| 第五章 总结和展望 |
| 参考文献 |
| 附录A 经典力学中的两粒子体系的Lagrange表述和Hamilton表述 |
| 附录B Fourier带宽定理的证明 |
| 附录C 非相对论量子力学中Wigner函数的动力学方程 |
| 附录D 量子力学和经典力学中的Poisson括号 |
| 附录E 正则系综处于平衡态时的密度算符 |
| 附录F 多粒子体系的Wigner函数满足的动力学方程 |
| 附录G 有质量费米子情形的轴矢量流的四维时空散度的计算 |
| 致谢 |
| 在读期间发表的学术论文与取得的研究成果 |
（4）物理学咬文嚼字之八十特别二的物理学（论文提纲范文）
| 1 引子.二哲学与不二哲学 |
| 2 带平方的定律 |
| 3 二元数、两体势与相互作用 |
| 4 二次型 |
| 5 二阶微分方程 |
| 6 二象性与对偶 |
| 7 二值性 |
| 8 二元一次方程组 |
| 9 结语 |
（5）基于信息耦合度的自组织分群控制方法研究（论文提纲范文）
| 摘要 |
| Abstract |
| 第一章 绪论 |
| 1.1 引言 |
| 1.2 研究背景及意义 |
| 1.3 分群控制的研究现状 |
| 1.3.1 基于协调规划的智能化分群 |
| 1.3.2 基于局部交互的自组织分群 |
| 1.4 自组织分群控制研究中的主要问题 |
| 1.5 本论文的主要研究内容 |
| 第二章 基础知识 |
| 2.1 引言 |
| 2.2 代数图论基础 |
| 2.3 矩阵相关理论基础 |
| 2.3.1 克罗内克积 |
| 2.3.2 线性矩阵不等式 |
| 2.4 状态观测器理论基础 |
| 2.4.1 状态观测器系统构成 |
| 2.4.2 状态观测器系统特性 |
| 2.5 LaSalle不变集定理 |
| 2.6 时延系统理论基础 |
| 2.6.1 Lyapunov-Razumikhin定理 |
| 2.6.2 Lyapunov-Krasovskii定理 |
| 2.7 本章小结 |
| 第三章 群集系统的分群运动机理与建模 |
| 3.1 引言 |
| 3.2 分群运动中的信息传播机制 |
| 3.2.1 群集内的信息传播模式 |
| 3.2.2 自组织分群运动中的信息传播 |
| 3.3 群集系统自组织分群行为机理 |
| 3.3.1 个体间的选择性交互作用 |
| 3.3.2 信息在群内的层级式传播 |
| 3.3.3 群集系统的分群运动机理 |
| 3.4 基于信息耦合度的分群控制模型构建 |
| 3.4.1 信息耦合度 |
| 3.4.2 自组织分群控制框架建模 |
| 3.5 分群行为指标参数 |
| 3.5.1 分群性能参数 |
| 3.5.2 分群状态参数 |
| 3.6 本章小结 |
| 第四章 基于信息耦合度的群集系统分群控制方法 |
| 4.1 引言 |
| 4.2 分群控制问题描述 |
| 4.3 群集系统的分群控制策略 |
| 4.3.1 信息耦合度建模 |
| 4.3.2 基于"max-ICD"的分群策略 |
| 4.4 基于信息耦合度的自组织分群控制算法 |
| 4.4.1 分群控制算法设计 |
| 4.4.2 分群算法稳定性分析 |
| 4.4.3 仿真实验与结果分析 |
| 4.5 参数对分群行为的影响讨论 |
| 4.5.1 环境噪声对分群行为的影响 |
| 4.5.2 感知半径对分群行为的影响 |
| 4.5.3 分群阈值对分群行为的影响 |
| 4.6 本章小结 |
| 第五章 无速度测量下群集系统分群控制方法 |
| 5.1 引言 |
| 5.2 无速度测量下的分群控制问题描述 |
| 5.3 无速度测量下的分群控制策略 |
| 5.3.1 无速度测量下的信息耦合度建模 |
| 5.3.2 基于分布式观测器的速度估计 |
| 5.4 无速度测量下群集系统分群控制算法 |
| 5.4.1 分群控制算法设计 |
| 5.4.2 分群算法稳定性分析 |
| 5.4.3 仿真实验与结果分析 |
| 5.5 速度信息缺失对分群行为的影响 |
| 5.6 采样周期对分群行为的影响 |
| 5.7 本章小结 |
| 第六章 具有时延的群集系统分群控制方法 |
| 6.1 引言 |
| 6.2 时延下的分群控制问题描述 |
| 6.3 分群控制算法的时延局限性研究 |
| 6.3.1 引入时延后分群控制算法的性能 |
| 6.3.2 分群控制算法的时延局限性讨论 |
| 6.4 面向时延的群集系统分群控制方法研究 |
| 6.4.1 定常时延下的分群控制算法 |
| 6.4.2 时变时延下的分群控制算法 |
| 6.5 时延对分群行为的影响 |
| 6.5.1 定常时延对分群行为的影响 |
| 6.5.2 时变时延对分群行为的影响 |
| 6.6 本章小结 |
| 第七章 群集机器人分群控制实验 |
| 7.1 引言 |
| 7.2 E-puck机器人简介 |
| 7.2.1 E-puck硬件系统 |
| 7.2.2 E-puck软件开发平台 |
| 7.3 E-puck机器人建模 |
| 7.3.1 E-puck机器人运动学建模 |
| 7.3.2 E-puck机器人量测系统建模 |
| 7.4 E-puck群集机器人分群控制算法实现 |
| 7.4.1 E-puck群集机器人分群控制策略 |
| 7.4.2 E-puck群集机器人分群应用算法 |
| 7.5 E-puck群集机器人分群实验验证 |
| 7.5.1 实验场景及参数设置 |
| 7.5.2 分群实验结果及分析 |
| 7.6 本章小结 |
| 第八章 总结与展望 |
| 8.1 全文总结 |
| 8.2 研究展望 |
| 附录 |
| 参考文献 |
| 博士期间完成的学术论文和参与的科研项目 |
| 致谢 |
（6）Hom-Leibniz超代数的表示和泛中心扩张（论文提纲范文）
| 摘要 |
| Abstract |
| 目录 |
| §1 引言 |
| §2 Hom-Leibniz超代数的导子 |
| §3 Hom-Leibniz超代数的表示 |
| §4 Hom-Leibniz超代数的上同调 |
| §5 Hom-Leibniz超代数的平凡表示 |
| §6 Hom-Leibniz超代数的泛中心扩张 |
| 参考文献 |
| 致谢 |
（7）Hom-n-李超代数的表示与广义限制李代数的结构（论文提纲范文）
| 摘要 |
| Abstract |
| 1 引言 |
| 1.1 广义限制李代数 |
| 1.2 n-李超代数 |
| 1.3 Hom-n-李超代数 |
| 1.4 Cartan型接触李超代数 |
| 1.5 本文的结构 |
| 2 Hom-n-李超代数 |
| 2.1 保积Hom-n-李超代数的定义 |
| 2.2 保积Hom-n-李超代数的上同调 |
| 2.3 保积Hom-n-李超代数的扩张 |
| 2.4 保积Hom-n-李超代数的导子 |
| 2.5 保积Hom-n-李超代数的形变 |
| 2.6 n-李超代数的Engel定理 |
| 2.7 n-李超代数的幂零性 |
| 3 接触李超代数偶部 |
| 3.1 预备知识 |
| 3.2 接触李超代数偶部到偶部的导子 |
| 3.3 接触李超代数偶部到奇部的导子 |
| 4 限制莱布尼兹代数 |
| 4.1 预备知识 |
| 4.2 限制莱布尼兹代数的等价定义 |
| 4.3 p-映射和可限制的莱布尼兹代数的性质 |
| 4.4 具有半单元的限制莱布尼兹代数 |
| 4.5 环面和Cartan-分解 |
| 4.6 分解唯一性 |
| 5 限制左对称代数 |
| 5.1 预备知识 |
| 5.2 限制和可限制左对称代数的等价定义 |
| 5.3 p-映射和可限制左对称代数的性质 |
| 5.4 具有半单元的限制左对称代数 |
| 5.5 拟环面限制左对称代数 |
| 6 限制Hom-李代数 |
| 6.1 限制Hom-李代数的等价定义 |
| 6.2 p-映射和可限制的Hom-李代数的性质 |
| 6.3 限制Hom-李代数的上同调 |
| 结语 |
| 参考文献 |
| 附录 |
| 致谢 |
| 在学期间公开发表（投稿）论文情况 |
（8）科学语义学研究（论文提纲范文）
| 中文摘要 |
| ABSTRACT |
| 绪论 科学语义学研究的意义与价值 |
| 1. 科学语义学研究的源起 |
| 2. 科学语义学研究的现状 |
| 3. 科学语义学研究的历史定位 |
| 4. 科学语义学研究的理论要求 |
| 5. 科学语义学研究的创新 |
| 第一章 科学语义学的历史追溯及其“现代性”反思 |
| 1.1 科学语义学的早期传统 |
| 1.1.1 古希腊罗马时期语义学思想的萌芽 |
| 1.1.2 中世纪经院哲学时期的语义学成就 |
| 1.1.3 十七—十八世纪时期的语义学发展 |
| 1.2 科学语义学的“现代性”反思 |
| 1.2.1 语义学“现代性”的范畴界定 |
| 1.2.2 语义学“现代性”的成长背景 |
| 1.2.3 语义学“现代性”研究的特征 |
| 1.2.4 语义学“现代性”研究的本质 |
| 1.2.5 “结构”语义学的“现代性”内核 |
| 1.2.6 语义学“现代性”研究的启示 |
| 第二章 科学语义学的本质与内涵 |
| 2.1 科学语义学的理论前提 |
| 2.1.1 语义学的“科学性”要求 |
| 2.1.2 语义学的“方法论”特质 |
| 2.2 科学语义学的理论基础 |
| 2.2.1 科学语义学研究的思想来源 |
| 2.2.2 科学语义学发展的动力基础 |
| 2.2.3 科学语义学构造的基本保证 |
| 2.2.4 科学语义学实践的重要领域 |
| 2.3 科学语义学的重要论题 |
| 2.3.1 “意义”的关联性与丰富性 |
| 2.3.2 “指称”的动态性与非确定性 |
| 2.3.3 “真理”的规范性与构造性 |
| 2.4 科学语义学的理论定位 |
| 2.4.1 科学语义学的关联性界域 |
| 2.4.2 科学语义学的本体论背景 |
| 第三章 科学语义学的发展趋向及其表征形态 |
| 3.1 科学语义学与哲学的“解释学/修辞学转向” |
| 3.1.1 “解释学转向”与科学语义学的发展 |
| 3.1.2 “修辞学转向”与科学语义学的走向 |
| 3.2 实在论语义学与反实在论语义学的论争与借鉴 |
| 3.2.1 实在论/反实在论语义学论争的由来 |
| 3.2.2 实在论/反实在论语义学论争的内涵 |
| 3.2.3 实在论/反实在论语义学论争的核心 |
| 3.2.4 实在论/反实在论语义学立场的“弱化” |
| 3.2.5 科学实在论/语境实在论语义学的“超越” |
| 3.3 内在论语义学与外在论语义学的对峙与统一 |
| 3.3.1 内在论语义学的理论内涵与表现特征 |
| 3.3.2 外在论语义学的理论特征与整体趋向 |
| 3.3.3 内在论语义学与外在论语义学的统一 |
| 第四章 科学语义学的地域传统及其融合特征 |
| 4.1 美国语义学研究的路径与趋向 |
| 4.1.1 美国结构语义理论的兴起 |
| 4.1.2 美国当代语义学研究的旨趣 |
| 4.1.3 美国语义学发展的可能趋向 |
| 4.2 英国语义学研究的路径与趋向 |
| 4.2.1 英国传统语义学的现代转型 |
| 4.2.2 英国自然语言语义学的兴盛 |
| 4.2.3 英国当代语义学的发展形态 |
| 4.3 法国语义学研究的路径与趋向 |
| 4.3.1 法国现代语义学的萌芽 |
| 4.3.2 法国“结构”语义学的内涵 |
| 4.3.3 法国现象学语义分析的本质 |
| 4.3.4 法国解释学的语义分析方法论 |
| 4.3.5 法国“后现代”语义学的滥觞 |
| 4.4 德国语义学研究的路径与趋向 |
| 4.4.1 语义分析逻辑传统的渊源 |
| 4.4.2 心理、意向语义分析的产生 |
| 4.4.3 “语用—语境”的语义分析传统 |
| 4.4.4 由隔绝走向对话的语义学趋向 |
| 第五章 科学语义学研究的理论模型 |
| 5.1 科学语义学的“认知”模型 |
| 5.1.1 语义学“认知”研究的根源 |
| 5.1.2 语义学“认知”研究的动力 |
| 5.1.3 语义学“认知”研究的核心 |
| 5.1.4 语义学“认知”研究的内涵 |
| 5.1.5 语义学“认知”研究的意义 |
| 5.2 科学语义学的“博弈”模型 |
| 5.2.1 博弈、逻辑与语义分析的联结 |
| 5.2.2 可能世界、进化理论与语义分析 |
| 5.2.3 语义博弈的逻辑特征与认知结构 |
| 5.2.4 语言的博弈分析及其语境关联性 |
| 5.3 科学语义学的“语境”模型 |
| 5.3.1 “语境语义学”的方法论结构 |
| 5.3.2 “语境语义学”与语言模糊性 |
| 5.3.3 “语境语义学”与自然主义实在论 |
| 结语 科学语义学研究的未来展望 |
| 参考文献 |
| 攻读学位期间取得的研究成果 |
| 致谢 |
| 个人简况及联系方式 |
（9）限制条件下的几何自动推理及应用研究（论文提纲范文）
| 摘要 |
| Abstract |
| 1 绪论 |
| 1.1 研究背景与意义 |
| 1.2 几何自动推理的研究现状 |
| 1.2.1 几何自动推理算法的研究现状 |
| 1.2.2 几何自动推理软件的研究现状 |
| 1.2.3 几何自动推理研究存在的问题 |
| 1.3 本文的研究思路 |
| 1.4 论文的主要工作 |
| 1.5 论文的组织 |
| 2 基于枢点的动态几何机制研究 |
| 2.1 引言 |
| 2.2 相关研究 |
| 2.3 几何命题与几何元素表示 |
| 2.3.1 几何命题 |
| 2.3.2 几何图形的表示 |
| 2.3.3 几何关系的表示 |
| 2.3.4 基于产生式的几何定理表示 |
| 2.4 基于枢点的动态几何理论基础 |
| 2.4.1 基本定义 |
| 2.4.2 枢点构图 |
| 2.4.3 枢点信息获取 |
| 2.4.4 枢点保持动态几何的特性 |
| 2.4.5 指定约束问题 |
| 2.4.6 动态几何的高级功能 |
| 2.5 基于枢点的动态几何作图方法 |
| 2.5.1 智能作图 |
| 2.5.2 语义作图 |
| 2.5.3 文本作图 |
| 2.6 实验结果及分析 |
| 2.7 本章小结 |
| 3 基于向量的几何自动推理算法研究 |
| 3.1 引言 |
| 3.2 相关研究 |
| 3.3 平面几何的向量表示方法 |
| 3.4 欧几里得几何学的向量公理系统 |
| 3.5 基于向量的几何自动推理算法 |
| 3.5.1 向量法解题的步骤 |
| 3.5.2 向量法证明工具 |
| 3.5.3 典型的向量法机器证明算法 |
| 3.6 实例与结果分析 |
| 3.7 本章小结 |
| 4 基于自动推理的几何自动出题方法研究 |
| 4.1 引言 |
| 4.2 相关研究 |
| 4.3 自动推理信息生成理论 |
| 4.3.1 数据源信息 |
| 4.3.2 数据驱动机制 |
| 4.3.3 几何规则算法 |
| 4.3.4 推理机制 |
| 4.3.5 推理链生成 |
| 4.4 基于自动推理的几何自动出题方法 |
| 4.4.1 题目条件的生成 |
| 4.4.2 目标信息的限制 |
| 4.4.3 题型多样化 |
| 4.4.4 多题型的生成与验证方法 |
| 4.5 实例及分析 |
| 4.6 本章小结 |
| 5 几何自动推理原型系统实现及应用 |
| 5.1 引言 |
| 5.2 相关研究 |
| 5.3 几何自动推理原型系统设计 |
| 5.3.1 系统架构 |
| 5.3.2 功能模块 |
| 5.3.3 数据流组织 |
| 5.4 原型实现 |
| 5.4.1 系统概况 |
| 5.4.2 动态几何 |
| 5.4.3 自动推理 |
| 5.4.4 可读证明 |
| 5.4.5 自动出题 |
| 5.5 系统特点 |
| 5.6 原型系统的应用 |
| 5.7 小结 |
| 6 结论与展望 |
| 6.1 论文工作总结 |
| 6.2 下一步工作展望 |
| 参考文献 |
| 附录 测试习题选录 |
| 在校期间发表的论文、科研成果等 |
| 致谢 |
（10）建筑几何性浅析:15-18世纪意大利和明清中国的完美形式（论文提纲范文）
| 摘要 |
| Abstract |
| 第1章 前言 |
| 1.1 概述 |
| 1.2 释题 |
| 1.2.1 问之何所以问——几何学之于建筑学 |
| 1.2.2 问之所问——建筑几何性 |
| 1.2.2.1 建筑几何特征 |
| 1.2.2.2 建筑几何性 |
| 1.2.3 被问及的东西——案例 |
| 1.2.3.1 完美形式的定义——正多边形，圆和椭圆 |
| 1.2.3.2 完美形式的表现方式 |
| 1.2.3.3 完美形式的历史 |
| 1.2.3.4 完美形式的两个范式 |
| 1.3 综述——各种误用和混淆 |
| 1.3.1 语义混淆列举 |
| 1.3.2 与“比例”的混淆 |
| 1.3.3 一些中国学者 |
| 1.3.4 结论 |
| 1.4 研究方法与研究框架 |
| 1.4.1 研究方法 |
| 1.4.2 研究框架 |
| 第2章 建筑几何性的阐释 |
| 2.1 建筑几何性的阐释方法 |
| 2.2 几何学 |
| 2.3 建造中的几何化 |
| 2.4 建筑几何性的标准 |
| 2.4.1 不好的建筑几何性 |
| 2.4.2 良好的建筑几何性 |
| 2.4.3 建筑几何性的标准 |
| 2.4.3.1 概念 |
| 2.4.3.2 建筑几何性的标准 |
| 2.5 建筑几何性的影响因素 |
| 2.5.1 几何之内 |
| 2.5.2 超越几何之上 |
| 2.5.2.1 宗教信仰和世界观 |
| 2.5.2.2 其他——音乐理论 |
| 2.6 完美形式的建筑几何性的分析法则 |
| 2.6.1 正多边形的几何画法 |
| 2.6.2 椭圆形画法 |
| 2.6.3 椭圆形(oval)性质 |
| 第3章 范式一——十五至十八世纪意大利建筑完美形式的几何问题 |
| 3.1 概述 |
| 3.1.1 十五至十八世纪意大利建筑特征 |
| 3.1.2 十五至十八世纪意大利建筑中的完美形式 |
| 3.1.3 十五至十八世纪意大利的科学，宗教和政治 |
| 3.1.3.1 自然科学 |
| 3.1.3.2 新柏拉图主义 |
| 3.1.3.3 反宗教改革运动 |
| 3.1.4 十五至十八世纪意大利建筑度量单位 |
| 3.2 等边三角形 |
| 3.2.1 圣依沃教堂平面（S. Ivo alla Sapienza） |
| 3.2.1.1 现状平面分析 |
| 3.2.1.2 初稿平面分析 |
| 3.2.1.3 建筑几何性特征 |
| 3.2.2 圣卡罗教堂（S. Carlino） |
| 3.2.2.1 几何原型分析 |
| 3.2.2.2 现状平面分析 |
| 3.2.2.3 剖面分析 |
| 3.2.2.4 建筑几何性特征 |
| 3.3 正五边形 |
| 3.3.1 美蒂奇劳伦齐阿纳图书馆稀有图书室（Laurenziana Library for rare books） |
| 3.3.1.1 平面分析 |
| 3.3.1.2 建筑几何性特征 |
| 3.3.2 卡普拉罗拉的法尔内斯别墅（Villa Farnese） |
| 3.3.2.1 现状平面分析 |
| 3.3.2.2 早期平面比较 |
| 3.3.2.3 建筑几何性特征 |
| 3.3.3 圣盖塔诺教堂（S. Gaetano） |
| 3.4 正八边形 |
| 3.4.1 圣玛利亚安康圣殿（S.Maria della Salute） |
| 3.4.1.1 现状平面分析 |
| 3.4.1.2 初稿平面分析 |
| 3.4.1.3 剖面分析 |
| 3.4.1.4 建筑几何性特征 |
| 3.4.2 其他十五至十八世纪意大利含有正八边形（或切角四边形）几何特征的建筑 |
| 3.5 椭圆形 |
| 3.5.1 椭圆形建筑概述 |
| 3.5.2 奎琳圣安德烈教堂(S. Andrea al Quirinale) |
| 3.5.2.1 现状平面分析 |
| 3.5.2.2 初稿平面分析 |
| 3.5.2.3 剖面分析 |
| 3.5.2.4 建筑几何性特征 |
| 3.5.3 奥林匹克剧院（Teatro Olimpico） |
| 3.5.3.1 平面分析 |
| 3.5.3.2 建筑几何性特征 |
| 3.5.4 其他十五至十八世纪的意大利椭圆形建筑 |
| 3.6 圆形 |
| 3.6.1 坦比哀多礼拜堂（Tempietto of San Pietro） |
| 3.6.1.1 用尺分析 |
| 3.6.1.2 平面分析 |
| 3.6.1.3 剖面分析 |
| 3.6.1.4 建筑几何性特征 |
| 第4章 范式二——明清时期中国古代建筑木作完美形式的几何问题 |
| 4.1 概述 |
| 4.1.1 明清时期的数学状况 |
| 4.1.2 明清时期的中国古代建筑中的完美形式 |
| 4.2 正五边形 |
| 4.3 正六边形 |
| 4.3.1 先农坛神厨井亭 |
| 4.3.1.1 用尺分析 |
| 4.3.1.2 平面分析 |
| 4.3.1.3 剖面分析 |
| 4.3.1.4 建筑几何性特征 |
| 4.4 正八边形或类正八边形 |
| 4.4.1 平武报恩寺碑亭 |
| 4.4.1.1 用尺分析 |
| 4.4.1.2 平面分析 |
| 4.4.1.3 建筑几何性特征 |
| 4.4.2 颐和园画中游 |
| 4.4.2.1 平面分析 |
| 4.4.2.2 建筑几何性特征 |
| 4.4.3 登封中岳庙碑亭 |
| 第5章 结论 |
| 5.1 结论 |
| 5.1.1 问之所问——建筑几何性 |
| 5.1.2 被问及的案例 |
| 5.1.2.1 数量统计 |
| 5.1.2.2 特征概要 |
| 5.1.2.3 几何追求 |
| 5.1.3 问之何所以问——几何学之于建筑学 |
| 5.2 不足之处 |
| 参考文献 |
| 致谢 |
| 个人简历、在学期间发表的学术论文与研究成果 |
四、Steinberg Leibniz代数的定义（论文参考文献）
- [1]乔姆斯基的心智表征观研究[D]. 崔艳英. 山西大学, 2020(12)
- [2]开放体系量子力学：耗散子理论[D]. 王尧. 中国科学技术大学, 2020(01)
- [3]Wigner函数方法在夸克物质中的应用[D]. 方仁洪. 中国科学技术大学, 2017(09)
- [4]物理学咬文嚼字之八十特别二的物理学[J]. 曹则贤. 物理, 2016(10)
- [5]基于信息耦合度的自组织分群控制方法研究[D]. 杨盼盼. 西北工业大学, 2016(08)
- [6]Hom-Leibniz超代数的表示和泛中心扩张[D]. 沈振军. 东北师范大学, 2014(02)
- [7]Hom-n-李超代数的表示与广义限制李代数的结构[D]. 关宝玲. 东北师范大学, 2014(02)
- [8]科学语义学研究[D]. 刘伟伟. 山西大学, 2013(12)
- [9]限制条件下的几何自动推理及应用研究[D]. 葛强. 华中师范大学, 2011(04)
- [10]建筑几何性浅析:15-18世纪意大利和明清中国的完美形式[D]. 李倩怡. 清华大学, 2011(01)