导读:本文包含了符号演算论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:符号,算子,进程,量子,代数,概率,认知。
符号演算论文文献综述
杨志刚[1]（2017）在《基于μ演算的认知难题符号化模型检测》一文中研究指出动态认知逻辑(DEL)是一种研究智能体认知状态变化的一般逻辑方法,不仅可以用于推理多智能体系统(MAS)中的静态认知性质,还可用于推理包含知识更新的MAS系统中的动态认知性质。动态认知逻辑已在认知难题求解、认知规划、安全通信协议、博弈论等多智能体系统研究领域得到越来越深入的应用。本文面向一类多智能体认知难题,提出并实现一种扩展认知计算的μ演算逻辑及其符号化模型检测算法,实验结果表明我们方法的性能优势显着。本文研究成果概括如下:首先设计一种建模描述语言,用于刻画具有线性认知公告行为的认知难题;提出一种融合状态迁移关系和智能体认知关系的认知公告形式模型;设计并实现了一个模型构造算法,将含有认知公告行为的建模描述语言自动转化为相应的认知公告模型;通过在标准μ演算逻辑上扩展认知算子,提出一种新的认知μ演算逻辑,并在认知公告模型上提出了认知μ演算逻辑语义;设计并实现基于有序二元决策图OBDD的认知μ演算符号化模型检测算法;成功地对泥孩子、和与积这两个MAS的经典认知难题进行建模、求解、以及相关时态认知性质的验证。本文研究成果融合了μ演算、静态认知、认知公告(一种动态认知逻辑)的建模与验证方法。所提出的认知μ演算的时态表达能力不仅强于目前主流的时态认知模型检测工具MCK、MCMAS和MCTK,而且也是动态认知模型检测工具DEMO不具备的。上述两个认知难题的实验表明,本文方法的求解效率指数级优于基于DEMO的方法。(本文来源于《华侨大学》期刊2017-03-13）
陈权启,刘长久,杨建文[2]（2014）在《巧用符号规则快速演算Maxwell关系式》一文中研究指出Maxwell关系式是化学热力学中非常重要的公式,但公式中存在交替出现的偏导数和状态函数变量,导致公式结构相似、难记忆。本文针对Maxwell关系式难记忆的问题,介绍一种简单、高效的记忆方法—符号规则记忆法,在教学过程中引入符号规则,成功解决学生记忆Maxwell关系式的难题,学生熟练掌握Maxwell关系式。(本文来源于《广东化工》期刊2014年09期）
王程飞[3]（2013）在《基于符号演算的分子积分算法研究和应用》一文中研究指出理论生物学发展迫切需要一个可信的理论模型和计算工具来模拟生物大分子的结构和功能。量子化学计算有惊人的预测精度和令人信服的理论解释，但受到当今计算能力的限制，在生物大分子体系上的模拟应用仍然面临计算量过大的问题。加快量子化学计算中分子积分的计算速度是本文的工作目标。我们用符号运算的新思路探索计算方法的改进，通过优化、编译分子积分的运算表达式，提出了新的算法，并成功将其运用到我们编写的量子化学计算软件包SymQM中。本文的主要工作包括软件应用和算法理论两个方面：在应用方面，我们实现了一个高效的量子化学计算软件包SymQM，并进行初步的福克矩阵运算测试。在软件设计上，我们采用了分层的方法，控制了整个软件的复杂性，并用动态语言和静态语言混合编程的方法兼顾了SymQM运算上的高效性和扩展上的灵活性。在算法理论研究方面，我们做了以下几点工作：1.我们研究了迄今为止各种分子积分算法的数学实质及其表达式特点，验证了不同算法在数学本质上的等价性。不同双电子积分算法计算过程最终简化后的数学实质相同，不同的是计算顺序和表达形式，而设计最优的分子积分算法的问题亦可转化为对表达式的最优化问题。2.重点分析了目前广泛使用的Gaussian软件中PRISM算法的优点和可改进之处。PRISM算法继承了第叁代算法的优点，使用递推公式来计算高角动量的双电子积分，利用了同类型分子积分数据共享的特点，并用穷举计算路径的方法解决了收缩问题。但Gill对PRISM路径的浮点运算数的理论统计并不完备，受到数值运算编程的限制，计算路径的选择也极为有限。3.研究测试了用符号运算优化积分表达式的各种方法，尝试了Simplify、Horner、Optimize和带缓存的MD方法，探索了HRR的使用，最终确定了最佳的算法组合，并将其作为我们实现的SymQM软件包中的算法方案，还进一步比较了SymQM软件包中的新算法和目前广泛使用Gaussian软件中PRISM算法的运算效率。(本文来源于《电子科技大学》期刊2013-04-01）
王程飞,姜明艳,何彬,赵卉,王先龙[4]（2012）在《基于符号演算和子表达式缓存技术的分子积分优化算法》一文中研究指出生物大分子结构的计算和模拟在计算生物学中是一个非常重要的问题,但现阶段量子化学从头计算的方法计算量巨大,难以直接运用在生物大分子的研究上,彻底解决这一问题需要改进量子化学计算的效率。分子积分是从头量子化学计算的基础,也是最为耗时部分。随着人工智能语言的发展和硬(本文来源于《中国化学会第28届学术年会第13分会场摘要集》期刊2012-04-13）
肖国伟[5]（2009）在《柔性杆件系统动力学及其符号演算研究》一文中研究指出随着杆件设计轻型化和杆件运动的高速化发展,轻质柔性杆件固有的弹性和振动特性对整个系统的性能产生了重要影响。对包含整体运动和柔性变形的柔性杆件系统动力学展开广泛、深入的研究已成为高精度、高性能的现代机械设计所要求的重要课题。本文以广泛应用的柔性杆件系统(柔性曲柄滑块机构作为算例)为研究对象,分析和建立了这一非线性、时变系统的动力学模型,并采用合适的数值方法求取其动态响应,进行了一系列的理论推导、仿真和相关的实验研究。其主要内容包括:研究了有限元与拉格朗日方程相结合的综合建模方法,经过严格的理论推导得到柔性杆件系统动力学方程的各系数矩阵,并给出柔性曲柄滑块机构算例作系统建模研究;针对柔性杆件系统的时变性和非线性,对算例柔性曲柄滑块机构的动态响应采用不直接求解微分方程的QDA法进行求解,并用数值上可靠的直接积分方法—Newmark法求解作比较。结果表明:QDA法在求解的结果与Newmark法一致,但是求解速度和方便性得到大为提高。同时在机械动力学虚拟仿真分析软件ADAMS上进行柔性杆件系统动态响应可视化求解研究,为柔性杆件系统动力学研究提供了一种更直接、更简便的方法;提出了在计算机软件MATLAB环境下对柔性杆件系统动力学研究的符号演算,完成了对柔性曲柄滑块机构系统动力学研究的符号推演,结果表明这种思路在柔性杆件系统动力学研究中是可行的,而且避免了人工操作的低效率、不可靠性,具有很高的实用价值;设计了研究柔性杆件系统的柔性曲柄滑块机构实验台,通过相关测试获得可靠数据,为前面柔性杆件系统的动力学研究算例提供参量,并验证了文中动力学建模和动态响应求解的正确性。(本文来源于《湖南工业大学》期刊2009-03-10）
宋磊[6]（2009）在《概率符号Pi演算的有限公理化》一文中研究指出随着计算机技术和网络通信技术的高速发展,以并发性、分布性、实时性、异构性和互操作性等主要特征的并发分布式系统已成为计算机技术的主流方向。并发现象以其固有的复杂性,对计算机科学家提出了挑战。与顺序计算不同,我们对并行与并发计算实质的认识尚处于初级阶段。进程代数主要是用来描述并发计算的数学模型,它研究并发现象,即多个计算主体(进程)同时活动,通过交换信息(通讯)进行协作,以共同完成预期任务的特定计算现象。对于一个进程演算,通常需要研究其语法语义,而公理化系统便是理解其操作语义的一个很好的方法。近年来,在解决并发系统问题的算法构造过程中,随机方法被证明是一种重要的工具。相对确定算法而言,随机算法可以更加有效,因为它们通常有着更加简单的结构,使用更少的内存,并且可以得到一些确定算法不能得到的好结果。传统上,对并发系统进行建模的进程演算中,并不涉及定量分析,因此对于一个并发系统会以多大的概率发生某个动作这样的问题就无法提供有用的信息。但是从应用的角度来看,进行这样的定量分析非常必要,因为在本质上并发系统的许多方面是与随机相关的,或至少可以建模成随机行为。因此,在传统的模型中加入随机因素可以使我们更加有效来分析并发系统。在本文中,首先介绍一种概率进程演算,称为πsp。πsp是π演算的一个概率扩展,在π演算的基础上加入概率选择符,同时支持概率选择和不确定选择。接着,分别介绍强概率符号互模拟、弱概率符号互模拟以及概率符号同余的定义,并给出强概率符号互模拟和概率符号同余的公理化系统,最后证明公理化系统的正确性和完备性。公理化系统的正确性比较容易证明,故本文的大部分篇幅用于证明其完备性。对于强概率符号互模拟,我们首先证明其同余性,在此基础上给出包含推导规则、选择规则和约束规则的公理化系统。同样地,我们证明任意进程都可以分解为多个相对简单的子进程之和。对于弱概率符号互模拟,由于其不具有同余性,我们提出了符号观测同余,并在强概率符号互模拟的基础上加入τ规则,组成了其公理化系统,其完备性证明同强互模拟一样。为了处理并发算子,我们使用了扩展规则,使任意并发算子都能够转化为等价的不含并发算子的进程。本文的创新点在于首次在概率选择和不确定选择同时存在的情况下,给出了概率符号互模拟的公理化系统。(本文来源于《上海交通大学》期刊2009-01-01）
孔德芳,徐宪民[7]（2008）在《n维单位球面上的Toeplitz符号演算(英文)》一文中研究指出探讨了C~n中单位球面S上Berezin变换和Toeplitz算子的性质,证明了由{T_(?),(?)∈L~∞(S)}所生成的C~*-代数中算子T的符号恰好为单位球B上函数(?)(称为丁的Berezin变换)的非切向边界值.此外,本文还得到了经典Toeplitz符号演算的有趣推广.(本文来源于《应用泛函分析学报》期刊2008年04期）
黄银强[8]（2006）在《非对称X～≠-演算符号互模拟验证》一文中研究指出随着计算机技术和网络通信技术的高速发展，以并发性、分布性、实时性、异构性和互操作性等为主要特征的并发分布式系统已经成为计算机技术的主流方向。与此同时，并发计算本身固有的复杂性，使得并发系统的研究和开发非常困难，系统的正确性和可靠性难以得到保证。 形式化方法是认识并发分布式系统、提高并发分布式系统正确性和可靠性的行之有效的重要研究方法。进程演算是一类重要的形式化方法。着名的进程代数包括CCS、CSP和π-演算等。π-演算是在CCS基础上发展起来的一种移动进程演算。以π-演算为代表的进程代数，由于其概念简洁，可用的数学工具丰富和数学方法灵活，在并发分布式系统的规范、分析、设计、验证和信息安全等方面得到了广泛的应用。 x-演算是π-演算的改进和发展。从操作观点看，x-演算是通过消除π-演算的非对称性而得到的，是一种对称的移动进程演算。这一改进导致观察性质的重要变化。有关x-演算的研究丰富了类π-演算的内容，这些研究有助我们增进对类x-演算的认识。有关x-演算的有意义的结果包括揭示弱观察等价关系的微妙差别，以及发现这些关系的复杂规律。但在现实的并发分布式系统中，绝大部分通信都是非对称的，并且往往要求不等名测试，因此本文研究具有非对称通信和带不等名算子的x-演算，即非对称x~≠-演算。本文的主要工作包括以下叁个方面： 1．参照傅育熙教授关于x~≠-演算的开互模拟定义，给出非对称x~≠-演算的强开互模拟关系定义，以及其弱的版本定义。 2．基于林惠民院士的符号化思想以及钟发荣老师关于非对称x~≠-演算的操作语义的定义，给出非对称x~≠-演算的符号操作语义，并定义了符号强开互模拟、以及符号弱的版本定义，并证明了符号开互模拟与其开互模拟关系足一致的。 3．完成了带不等名测试算子的非对称x-演算的符号强开互模拟的验证算法，证明了算法的正确性。 上述结果既具有重要的实际意义和理论意义；从实际上来看，我们的工作为开发非对称x-演算上进程互模拟等价关系的自动验证工具奠定了理论基础。从理论上来看，我们的工作说明了用符号化的方法来研究非对称x-演算是可行的，为进一步研究符号化方法在非对称x-演算上的应用做了初步的探索。(本文来源于《浙江师范大学》期刊2006-12-01）
孔德芳,徐宪民[9]（2006）在《n维单位球面上的Toeplitz符号演算》一文中研究指出探讨了n中单位球面S上Berezin变换和Toep litz算子的性质,证明了由{Tφ,φ∈L∞(S)}所生成的C*-代数I(L∞(S))中算子T的符号恰好为单位球B上函数T(称为T的Berezin变换)的非切向边界值.(本文来源于《嘉兴学院学报》期刊2006年06期）
黄银强,钟发荣[10]（2006）在《非对称X-演算的符号互模拟验证算法》一文中研究指出非对称X-演算是一种移动计算模型。文介绍非对称X-演算的语法和符号操作语义,给出非对称X-演算的符号互模拟的验证算法,该算法根据算法输出的谓词等式系,求解最大符号解。并证明算法正确性,这在一定程度上为今后的自动机验证提供了理论基础。(本文来源于《2006年全国开放式分布与并行计算学术会议论文集（一）》期刊2006-10-01）
符号演算论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
Maxwell关系式是化学热力学中非常重要的公式,但公式中存在交替出现的偏导数和状态函数变量,导致公式结构相似、难记忆。本文针对Maxwell关系式难记忆的问题,介绍一种简单、高效的记忆方法—符号规则记忆法,在教学过程中引入符号规则,成功解决学生记忆Maxwell关系式的难题,学生熟练掌握Maxwell关系式。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
符号演算论文参考文献
[1].杨志刚.基于μ演算的认知难题符号化模型检测[D].华侨大学.2017
[2].陈权启,刘长久,杨建文.巧用符号规则快速演算Maxwell关系式[J].广东化工.2014
[3].王程飞.基于符号演算的分子积分算法研究和应用[D].电子科技大学.2013
[4].王程飞,姜明艳,何彬,赵卉,王先龙.基于符号演算和子表达式缓存技术的分子积分优化算法[C].中国化学会第28届学术年会第13分会场摘要集.2012
[5].肖国伟.柔性杆件系统动力学及其符号演算研究[D].湖南工业大学.2009
[6].宋磊.概率符号Pi演算的有限公理化[D].上海交通大学.2009
[7].孔德芳,徐宪民.n维单位球面上的Toeplitz符号演算(英文)[J].应用泛函分析学报.2008
[8].黄银强.非对称X～≠-演算符号互模拟验证[D].浙江师范大学.2006
[9].孔德芳,徐宪民.n维单位球面上的Toeplitz符号演算[J].嘉兴学院学报.2006
[10].黄银强,钟发荣.非对称X-演算的符号互模拟验证算法[C].2006年全国开放式分布与并行计算学术会议论文集（一）.2006
论文知识图
