导读:本文包含了符号模拟论文开题报告文献综述及选题提纲参考文献，主要关键词:过程系统,符号计算,多项式系统,Gr?bner基
符号模拟论文文献综述
郑天宇[1]（2019）在《基于符号计算的过程模拟与优化的叁角化方法》一文中研究指出过程系统领域中存在以多项式结构表示的系统,这样的系统以非线性系统居多。数值计算解法在求解这类系统过程中,由于在中间过程中涉及处理精度以及容易陷入局部最优解等难题,会导致所得结果与实际存在偏差。在传统的数值计算的基础上,提出以下两类问题:a.如果可以寻找一个等解空间且利于数值计算求解的形式表征原始系统,则可以提高数值计算的计算效率;b如果有算法能给出全部的可行解,就可以从可行解中获取符合要求的全局最优解。为了解决这两类问题,本文引入符号计算的计算思想和理论。本文的主要研究内容如下:1.对于过程模拟,即自由度为0的多项式方程求解,在引入符号计算中Gr?bner基方法的基础上,本文提出结合系统分解方法加以改进。Gr?bner基是将系统从耦合结构转变成一个有助于数值计算的等解空间的叁角化结构的方法,通过这个方法所得的叁角化结构在每次求解计算中可序贯求解,且每次序贯均只含一个方程。但是Gr?bner基的叁角化计算受限于模型规模和方程相互影响。本文引入过程模拟中的系统分解理论降低其运算复杂度,从过程系统的角度并利用拓扑结构将大系统的叁角化问题转化为若干子系统的叁角化问题,减少Gr?bner基计算的计算规模以及减少方程之间相互影响。通过实际例子可以看到,采用系统分解的方法实现了叁角化过程的加速。2.对于过程优化问题,即自由度不为0的多项式规划问题,本文提出多项式投影-提升算法。该算法基于符号数学中的柱形代数理论,引入“投影算子”,将多项式系统以符号形式从高维往低维度转化,然后再通过低维提升至高维,对可行域的扩张进行检验,获得高维关于低维的叁角化表达形式。扩张过程采用深度优先搜索算法(Depth-First-Search,DFS),从低维起延伸并获取对应各个维度的可行范围。考虑到优化问题的目标函数值唯一,因此本文将柱形代数理论与优化思想进行结合,设计适用于多项式规划的投影-提升算法。通过实际例子,给出算法的具体求解过程,并与实际结果进行比较,论证该算法的可行性。3.对于整数规划问题的求解,本文分别采用Gr?bner基方法与多项式投影提升算法进行求解。对于整数规划中的非多项式部分,本文引入二进制转化并进行等解空间的多项式方程引入,将规划问题转化为可以采用Gr?bner基算法与多项式规划的符号计算方法的形式,再根据实际问题的最优性即可获得问题的最优解。通过实际例子论证了这两种算法在整数规划中的可行性,并与GAMS(The General Algebraic Modeling System)软件的整数规划算法进行比较,也论证了这两种算法的准确性。(本文来源于《浙江大学》期刊2019-03-14）
胡翰彬[2]（2016）在《模拟集成电路符号化低阶模型自动生成方法与应用》一文中研究指出如今,模拟集成电路设计仍然在很大程度上依赖于手工分析,这严重阻碍了SoC的整体设计进程。作为模拟集成电路设计中不可或缺的一环,可靠的宏模型缺乏系统化自动化的生成方法。本文讨论了电路拓扑结构和双图决策树(Graph Pair Decision Diagram,GPDD)符号化方法之间的联系,并提出拓扑简化的想法,开发了一套行之有效的自动化低阶模型生成算法。这套算法生成的简化符号化模型与原始电路无论在性能上,还是拓扑结构上都有很好的匹配。算法的有效性和鲁棒性得到了不同电路结构、不同电路元件尺寸的广泛验证。本论文将提出的模型生成方法应用至两方面。其一是通过在简化电路模型添加电流限制,来实现自动化构造大信号分析中用到的时域模型,从而进一步分析其转换速率。另一个应用是使用符号化多端口构造方法下的敏感度计算用于分析电路的共模抑制比和电源抑制比。本文给出了相关的测试结果和算法性能结果。(本文来源于《上海交通大学》期刊2016-01-01）
周计武[3]（2015）在《论当代艺术对消费符号的挪用:模拟》一文中研究指出破解消费文化的迷梦是当代艺术必须要直面的时代难题。自20世纪80年代以来,中国当代艺术普遍采用的一种视觉表征策略就是挪用。在消费文化的语境中,符号挪用的行为本质上是一种模拟。模拟是消费文化中广泛采用的一种表意方式。它通过符号之间的象征性交换和自恋式地编码来运作,具有结构上的自主性和"模型在先"的特点。如果说消费文化是对表象世界的模拟,那么当代艺术则是对模拟的模拟,即对"仿像"的模拟。它具有叁个特点,一是视觉形象的物化;二是视觉表意的表层化;叁是视觉风格的混杂化。在一个审美过剩和符号泛滥的时代,当代艺术能否通过"模拟的模拟",释放审美批判的社会潜能,依然是一个值得追问的问题。(本文来源于《艺苑》期刊2015年06期）
王亿本[4]（2015）在《反映、模拟与隐喻:非言语符号塑造新闻真实感的方式》一文中研究指出新闻真实一直是新闻界争论的重要话题之一,从新闻接受过程看,受众直接感受到的是新闻的真实感,而非言语符号是构成新闻真实感的关键因素。分析非言语符号影响新闻真实感的方式,对于新闻真实的探讨有一定启发。(本文来源于《中外文化与文论》期刊2015年03期）
周宁[5]（2015）在《代数化符号模拟验证的应用研究》一文中研究指出传统的模拟验证技术与形式化验证方法是集成电路验证理论中最重要的两类验证方法,模拟验证技术原理简单,可操作性强,应用范围广,但无法进行完全测试：形式化方法具备完全性,但应用范围受到局限。而模拟技术与形式化方法混合验证是近十几年来验证领域方兴未艾的重要研究方向之一,它有机地结合了模拟验证方法的动态性与形式化方法无需测试矢量的优点,是一个既有理论依据又能实际运用的方法。本文重点研究代数符号计算理论与模拟验证方法的交叉与融合。在数字集成电路设计验证领域,符号模拟通过系统的动态符号执行检查预设条件或断言的真假来进行功能的正确性验证,是一种在工程实践应用中发挥了重要作用的有效方法。目前的符号模拟特别是高层符号模拟方法,存在着符号表达结果难以判定和空间爆炸等问题,使得其本身的构建理论和应用都受到了很大的限制。基于此,本文将代数符号计算方法运用到符号模拟验证领域,作为可验证计算的核心计算方法。并针对模拟验证计算的特点,着重研究基于断言验证方法学下符号模拟算法的代数化方法面临的理论问题,分别提出基于吴特征列方法和基于Groebner基的代数化算法。主要工作和取得的研究成果如下：(1)PSL布尔层的代数化符号模拟断言验证提出了将基于PSL布尔层断言验证的符号模拟验证问题转化为符号计算理论适用的代数问题方法,并且初步建立代数化的模拟验证的基本理论框架。首先将待验证的布尔断言表达式和系统符号执行的结构转换为适当的非线性代数方程组的形式,本文采用基于数据流的多项式代数表达方法。根据符号代数的特点,将PSL中逻辑规范中关于布尔逻辑的定义进行了修改,定义了信号逻辑与断言逻辑以适应断言验证的要求。PSL布尔层断言虽然简单,但却是本文验证方法的起始点和基础,在布尔断言与组合电路模型分别代数化的基础上,给出相应的Groebner基方法和吴方法的验证算法,并通过实例验证。(2)PSL时序层的代数化符号模拟断言验证提出了将基于PSL时序层断言验证的符号模拟验证问题转化为符号计算理论适用的代数问题方法,并且初步建立时序电路代数化模拟验证的基本理论框架。针对符号模拟的特点以及通过Symbolic Trajectory Evaluation (STE)技术对比,重点研究符号断言的刻画和验证问题。由于布尔值的真与假与电路信号的高与低在当前PSL规范中未加以区分,从而导致符号代数验证方法无法实施,所以首先定义了SERE的简单约束子集以及对每种时序操作符代数化,在此基础上,给出时序电路在时帧展开基础上参数化多项式集合的建模方法。最后借鉴SymbolicTrajectory Evaluation (STE)技术的断言图方法来解决PSL中时序层断言的刻画和验证问题。(3) SystemVerilog断言的代数化符号模拟断言验证提出了将基于SystemVerilog断言验证的符号模拟验证问题转化为符号计算理论适用的代数问题方法,首先定义了SystemVerilog断言的约束子集,并给出了每个序列以及属性的操作符代数化步骤。然后在布尔断言以及时序电路断言验证的基础上,给出基于多项式理论的电路模型与SystemVerilog断言模型建模方法,将基于模拟的验证问题转换为符号代数计算问题。最后给出相应的Groebner基方法和吴方法的验证算法,并通过实例验证。综上所述,本文基于断言验证方法学,将符号模拟技术代数化,提出一种集成电路代数化符号模拟的断言验证方法。该方法在代数符号计算与形式化验证方法以及模拟技术之间搭建起一座桥梁,将传统模拟验证技术、形式化方法、代数符号计算相融合,有效避免纯形式化方法与传统电路验证技术之间的割裂,并为集成电路验证理论提供了一种新的解决思路。(本文来源于《北京交通大学》期刊2015-03-01）
邓辉[6]（2014）在《基于符号与数值混合计算的多项式变迁系统近似互模拟》一文中研究指出计算机飞速发展,促使用户需求单个程序实现更多功能,导致程序行为及结构复杂化,不利于程序设计及性质验证工作。因此,程序行为及结构优化亟待研究及实现。程序行为及结构优化过程中,创建合理的程序形式化刻画系统是研究程序行为及结构的前提。早期的程序形式化刻画系统大都离散化,由抽象的动作、离散的状态及状态间的转移关系构成,可对程序进行基于状态遍历的计算和推理。遗憾的是,它们无法对程序行为即数据流交换过程进行表示和处理。从形式化的角度出发,数据流交换过程可用多项式系统表示的程序是最基础的一类。在了解程序具体行为及整体结构后,定义及判定程序行为等价是实现行为及结构优化的根本。具有相同行为的程序称为等价。基于最精确的系统等价关系互模拟实现程序等价判定,一方面去掉程序中重复的非确定性分支可实现结构优化,另一方面利用行为简单的分支代替行为复杂的分支可实现行为优化。但是,在大部分程序实际应用中,精确的等价关系显得太过严格,适当的近似不会对程序最终结果产生很大影响。为加强程序间关系的灵活性,可在误差范围内放宽等价限制,提出程序近似互模拟概念,并利用数值计算方法创建带误差且误差可控的近似互模拟计算方法,最终实现程序行为及结构近似优化。立足以上需求,本文围绕程序行为及结构优化这一主旨展开研究。针对数据流交换过程可以用多项式系统表示的程序,根据行为特征将之细分为叁类,然后分别建立可描述其数据流交换过程的形式化刻画系统,并利用符号与数值混合计算创建程序互模拟及近似互模拟计算方法,其主要贡献包括：(1)构建了程序数据流交换过程划分规则。针对数据流交换过程可用齐次线性多项式系统描述的一类程序,构建了数据流交换过程与齐次线性多项式系统间转换规则。研究得到齐次线性多项式变迁系统,用于描述此类程序数据流交换过程及结构。提出了程序精确行为等价概念,称之为互模拟。基于齐次线性多项式系统系数矩阵的性质,给出了程序互模拟等价计算方法。同时,在给定的变量取值及误差范围内,建立了带误差且误差可控的近似互模拟定义及计算方法,通过矩阵范数实现了近似过程中实际误差的度量。对于实际误差大于给定误差但不大于两倍的给定误差的程序,通过奇异值分解实现了近似程序的求解。实验证明近似互模拟可实现一类程序行为及结构优化。(2)针对数据流交换过程可用非齐次线性多项式系统描述的一类程序,构建了数据流交换过程与非齐次线性多项式系统间转换规则。研究得到非齐次线性多项式变迁系统,用于描述此类程序数据流交换过程及结构。基于互模拟等价及非齐次线性多项式系统增广矩阵的性质,实现了此类程序互模拟等价判定。在非齐次线性多项式系统中,由于常数项的引入,使得针对齐次线性多项式系统建立的近似方法无法得以沿用。为此,在扩大的变量取值范围及给定误差范围内,为此类程序建立了带误差且误差可控的近似互模拟计算方法,通过矩阵范数实现了实际误差的度量。对于实际误差大于给定误差但不大于两倍给定误差的程序,基于QR分解实现了近似程序的求解。实验表明近似互模拟在优化此类程序行为及结构中可行及有效,且近似程序求解过程比齐次线性多项式变迁系统中相应过程节省时间和空间。(3)针对数据流交换过程可用非线性多项式系统描述的一类程序,构建了数据流交换过程与非线性多项式系统间转换规则。研究了非线性多项式变迁系统,用于描述此类程序数据流交换过程及结构。针对线性多项式变迁系统互模拟判定方法无法沿用的问题,基于吴特征列和Groebner基方法实现非线性多项式变迁系统互模拟等价判定,对比分析发现吴特征列方法更优。同时,针对线性多项式变迁系统近似互模拟均需约束变量取值范围的问题,通过对非线性多项式变迁系统近似关系的分析,在无需给定变量取值范围的前提下,在给定误差范围内建立了带误差且误差可控的近似互模拟概念及计算方法。在此过程中近似关系被描述为一个全局最优化问题,称为Max函数,通过填充函数法处理此函数,实现实际误差度量。对于实际误差大于给定误差但不大于两倍的给定误差的程序,通过近似调整非线性多项式系统对应特征列系统中的初式集合,得到了求解近似程序的方法构想。实验表明近似互模拟计算方法实现了程序行为及结构优化,且非线性多项式变迁系统的描述规则及近似互模拟计算方法对于本文所研究的所有类型程序均通用。综上所述,本文以程序行为及结构优化为目标,对可描述程序数据流交换的形式化刻画系统、程序互模拟等价及近似互模拟进行了研究,针对数据流交换过程可用多项式系统表示的程序建立了比较完整的等价及近似理论,为程序行为及结构优化提供了一种形式化的解决思路。(本文来源于《北京交通大学》期刊2014-06-01）
李海涛[7]（2014）在《模拟商务类发布会口译符号运用的实践报告》一文中研究指出自改革开放以来,中国经济快速发展，与国外的交流与联系日益广泛，随着中国成为世界第二大经济体，与西方各国的经济往来更加频繁，各种会议及谈判随之展开，在这种情况下，英语这种国际语言的作用不言而喻。然而在数量庞大的英语学习者中，佼佼者寥寥，专业从事翻译，并具备相关资格者更是凤毛麟角，究其根本，在于口译过程的特殊性，其要求的不仅仅是专业素养要过硬，心理承受能力，反应速度等更是重中之重。而在口译环节中，笔记法的使用不但可以使译员思维连贯，熟练的使用更是可以大幅度提高效率。本文为模拟商务类发布会的口译笔记实际运用报告。模拟会议分为两个主要部分，其一，发言人做总结报告发言，我为译者。二是提问环节。设置叁位，观众共十人，主题既为商务类，本文在笔记法方面着重于数字和商务类词汇的记录，将在课上所学理论与实际操作结合，并且分析和总结实践中的不足和问题。模拟会议的选材以商务数字和常用语为主等，我皆采取笔记法进行转化。该模拟发布会的一大特点是数字数据繁多。本人认为，在此类型发布会中，由于时间有限，内容格式大同小异，译者的精力应主要放在数字数据的翻译上，在实践过程中，我利用所学知识与实际经历归纳总结了几种常见的笔记法来记录数字，同时出现的还有高频的商务类词汇，这类词汇在商务环境下虽然保留了原意，但有稍许改动，我也根据环境做了符号变化，具体演示在扫描附录中展示。口译是一个复杂的过程，没有捷径，只有不断的积累，锻炼，才有可能成为一名合格的译员，在此模拟会议中，我体会到其中的艰辛，在高度紧张的情况下，很多常态下未必会有的错误突显出来，既是一次训练的机会，同时也是我看清自己错误并纠正的一个契机。论文按照顺序记录了模拟会议口译笔记法实践的全过程。(本文来源于《辽宁大学》期刊2014-04-01）
宋阳[8]（2012）在《基于二分判定图的模拟电路层次化符号分析方法实现和性能比较》一文中研究指出符号化仿真器具备数值化仿真器所没有的特性，可以作为数值仿真器之外的重要补充。符号化仿真法基于不同的设计原理又可以分为基于代数方法和基于图的方法。基于图的符号化仿真器具有无对消项的优势。在这篇论文中，一种基于图约化的层次化符号分析方法将被提出。本方法使用二分判定图（Binary Decision Diagram）来实现内部的数据共享，是先前图对判定图（Graph-Pair Decision Diagram）的拓展。图对判定图是面向二端口受控源而设计的，而在新的方法中，我们将使用多端口受控源来构造图对。这样，大规模的电路就可以用层次化的方式进行分析。这个新的方法可以保证在每个电路层次中不存在对消项。根据我们的实验结果，该方法可以极大地降低电路分析的复杂度，并且仿真器的实现以及层次化电路的划分仍然可以很简单。本文进而在该方法与另一种基于代数的层次化符号法，层次化行列式判定图（Hierarchical Determinant Decision Diagram）之间进行实验对比。我们发现该方法在确保无对消项的前提下，可以取得与行列式判定图相当的性能。(本文来源于《上海交通大学》期刊2012-12-01）
董兰兰[9]（2012）在《符号化模拟电路时域行为模型建模方法及其在统计性能分析中的应用》一文中研究指出对于运算放大器宏模型的建立，传统方法是通过运算放大器的性能指标特性来推导出宏模型中的各个参数。对于传统方法，一方面，推导出的宏模型中的各个参数都是数值化的，因此不能通过宏模型实现对原电路性能改进的闭环分析；另一方面，在宏模型中，仍然存在非线性元件，例如MOS管等，因此这样的宏模型不能直接用于符号化分析。在传统应用中，符号化的分析方法被用于对模拟电路运算放大器的小信号频域性能进行分析。在本论文的研究中，提出了一种利用符号化分析方法来建立一般模拟两级运算放大器电路的符号化行为模型，该模型不仅可以实现对放大器电路的小信号频域性能进行分析，而且可以对放大器电路的大信号时域性能进行分析，同时这个建立的符号化的行为模型可以用Hspice进行仿真，可实现对放大器电路的时域转换速率（slew rate）和建立时间（settling time）的统计分布进行快速的分析。实验结果表明，本论文提出的符号化的行为模型能够对两级运算放大电路的频域和时域性能进行精确的预测，同时也能够准确预测电路的时域转换速率（slew rate）和建立时间（settling time）的统计分布，并且与传输管级的统计分布分析相比，通过使用符号化行为模型，显着提高了统计分析的速度。(本文来源于《上海交通大学》期刊2012-12-01）
陈家俊[10]（2012）在《MOS模拟集成电路交互式自动化Sizing符号化方法探索研究和软件实现》一文中研究指出在如今的集成电路设计流程中，所占面积很小的模拟集成电路往往需要很长的设计时间，自动化程度较低。本文尝试在新型的符号化电路仿真器的基础上，研究实现了通过符号化灵敏度计算来优化运算放大器电路Sizing的方法，并完成了一个简单的运算放大器设计软件。本文将主要介绍利用符号化仿真引擎和EKV器件模型，进行灵敏度分析的算法，并在得到的电路灵敏度分析的结果的基础上，尝试了使用灵敏度信息来对电路进行互动设计方法以及自动优化电路的算法（自适应模拟退火算法），比较了这些方法优化后的结果，并尝试结合它们的优点来提高模拟集成电路设计的效率。(本文来源于《上海交通大学》期刊2012-12-01）
符号模拟论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
如今,模拟集成电路设计仍然在很大程度上依赖于手工分析,这严重阻碍了SoC的整体设计进程。作为模拟集成电路设计中不可或缺的一环,可靠的宏模型缺乏系统化自动化的生成方法。本文讨论了电路拓扑结构和双图决策树(Graph Pair Decision Diagram,GPDD)符号化方法之间的联系,并提出拓扑简化的想法,开发了一套行之有效的自动化低阶模型生成算法。这套算法生成的简化符号化模型与原始电路无论在性能上,还是拓扑结构上都有很好的匹配。算法的有效性和鲁棒性得到了不同电路结构、不同电路元件尺寸的广泛验证。本论文将提出的模型生成方法应用至两方面。其一是通过在简化电路模型添加电流限制,来实现自动化构造大信号分析中用到的时域模型,从而进一步分析其转换速率。另一个应用是使用符号化多端口构造方法下的敏感度计算用于分析电路的共模抑制比和电源抑制比。本文给出了相关的测试结果和算法性能结果。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
符号模拟论文参考文献
[1].郑天宇.基于符号计算的过程模拟与优化的叁角化方法[D].浙江大学.2019
[2].胡翰彬.模拟集成电路符号化低阶模型自动生成方法与应用[D].上海交通大学.2016
[3].周计武.论当代艺术对消费符号的挪用:模拟[J].艺苑.2015
[4].王亿本.反映、模拟与隐喻:非言语符号塑造新闻真实感的方式[J].中外文化与文论.2015
[5].周宁.代数化符号模拟验证的应用研究[D].北京交通大学.2015
[6].邓辉.基于符号与数值混合计算的多项式变迁系统近似互模拟[D].北京交通大学.2014
[7].李海涛.模拟商务类发布会口译符号运用的实践报告[D].辽宁大学.2014
[8].宋阳.基于二分判定图的模拟电路层次化符号分析方法实现和性能比较[D].上海交通大学.2012
[9].董兰兰.符号化模拟电路时域行为模型建模方法及其在统计性能分析中的应用[D].上海交通大学.2012
[10].陈家俊.MOS模拟集成电路交互式自动化Sizing符号化方法探索研究和软件实现[D].上海交通大学.2012