导读:本文包含了符号建模论文开题报告文献综述及选题提纲参考文献，主要关键词:符号执行,家居网关,协议级,指令级
符号建模论文文献综述
何香凝,郭荣佐,黄君[1]（2019）在《基于符号执行的家居网关协议级能耗建模》一文中研究指出为分析智能家居网关协议转换过程中的能量消耗情况,利用符号执行对路径敏感的特性,提出一种基于符号执行的协议级能耗分析模型。用符号执行将协议转换部分的不可达路径排除,用指令级能耗分析模型对家居网关协议层级的能耗进行分析。在STM32F103硬件平台上,对Modbus/TCP和Modbus/RTU协议进行转换,实验结果表明,该模型计算得到的能耗与实际测量的能耗误差在4.9%左右,能够较准确评估家居网关在协议级的能量消耗,为智能家居网关的低功耗设计提供指导。(本文来源于《计算机工程与设计》期刊2019年09期）
陈苗苗,程嫩生[2]（2018）在《建模系统理论下对《新闻联播》语言符号的模型分析》一文中研究指出符号学的研究一直是各学科关注的焦点,西比奥克在符号学基础上提出了建模系统理论,建模系统理论将混乱的符号学概念统一起来,形成完整理论框架。《新闻联播》节目以高度模式化的语言符号为主体,本文将在建模系统理论下对《新闻联播》中的语言符号进行建模分析。(本文来源于《安徽文学(下半月)》期刊2018年08期）
邹青青,姚保峰,夏伟,陈晨[3]（2018）在《一种基于符号形式文法的叁维建模方法》一文中研究指出在虚拟场景中模型数量激增的情况下,现有建模技术的生产代价随之大幅上升。基于符号形式文法的叁维建模是一种新颖的建模方法,该方法从现实世界抽象出模型的文法产生式规则,通过产生式规则的迭加演算,提供一种从基础几何形状迭代生成目标模型的过程。实现产生式规则的模型生成器允许用户采用CGA脚本描述规则,脚本为输入,叁维模型为输出。实验证明:基于该方法的模型生成器其输出具有较高质量可视化效果和模型细节,其实现原理有利于模型的重用与重构;在批量叁维场景建模场合,该方法有较高生产效率。(本文来源于《安徽理工大学学报(自然科学版)》期刊2018年04期）
赵子琦[4]（2017）在《学习数学建模 把抽象的数学知识符号化》一文中研究指出在数学课上,教师应发挥学生的主观能动性,调动多种感官让学生一起参与学习,动口、动手、动脑,让学生自觉地对数学产生兴趣,自主地探究数学知识,运用数学建模等数学思想方法,把抽象的数学知识具体化、趣味化、符号化,有效地培养学生的数学核心素养。(本文来源于《中学课程辅导(教师教育)》期刊2017年24期）
孙超群[5]（2017）在《以建模为载体实现宏观与微观的辩证统一——以“微粒的模型与符号”复习教学为例》一文中研究指出化学教学是一系列科学思维与方法的渗透教育,因此,在复习教学中需挖掘科学思维与方法的内涵要素,引领学生领悟科学思维与方法。现以"微粒的模型与符号"复习教学为例,谈谈如何以建模为载体引领学生系统探究物质的宏观组成与微观构成的辩证统一,如何在复习教学中体现科学本质。一、创设情境,引导建模情境:可乐喷泉:可乐遇上美味的曼妥思,会发生怎样奇妙的反应呢?[教师]在纸上画出二氧化碳气体从瓶中扩散到空(本文来源于《中学化学教学参考》期刊2017年20期）
朱声荣,刘斌彬,陈飞翔,苏小慧[6]（2017）在《地质二维矢量点符号的自动叁维建模》一文中研究指出针对传统的叁维点符号库实现方法工作量大、扩展性差等问题,提出了直接从二维矢量点符号到叁维点符号的自动建模方案。采用叁维图元的设计思路,解决符号扩展性差的问题。借鉴二维矢量点符号的表达,来进行叁维符号的设计与建模,是对二维符号库的资源再利用,有利于实现二叁维符号库的统一。通过设计内存池及内存拷贝的优化策略来提高模型的可视化效率。实验结果表明,提出的方案不仅有较好的可视化效果,并且具有相关文件数据量小、符号的可扩展性好等优势,对叁维GIS的符号库研究具有重要的参考价值。(本文来源于《测绘科学》期刊2017年07期）
王启鹏[7]（2014）在《基于模态型符号数据建模的群体推荐系统研究》一文中研究指出在过去的十几年中,信息技术得到了飞速的发展,如今互联网早已普及,并已经深入到社会的各个角落。但与此同时信息科技也带来了网络上数据量的爆炸性增长,用户面对海量的数据资源时不得不耗费大量的时间以及精力去获取有用的信息。在这种情况下,如何能够使人们更加快速、准确地获取有用的信息已经成为了越来越多信息技术领域学者的研究重点。而推荐系统作为一种有效的信息过滤技术和个性化服务工具,已被证明是一种解决网络上“信息超载”问题的有效手段,并得到了广泛的关注和深入的研究。目前面向个体用户进行推荐的个体推荐系统的研究已经比较成熟。近十年间也有不少学者开始从个体推荐系统出发,开始着眼于能满足群体共同活动需求的群体推荐系统的研究和开发,并在该领域取得了一定的研究成果。但群体推荐技术并不能仅仅依靠对个体推荐技术的简单迭加,很多在个体推荐领域比较成熟的方法也难以直接推广到群体推荐领域。同时由于群体推荐远比个体推荐复杂,群体推荐中要考虑的信息要远多于个体推荐,群体推荐也比个体推荐面临着更多的问题,造成了在算法复杂性方面群体推荐的算法复杂性要远远高于个体推荐。目前已有的一些群体推荐系统并没有充分考虑这些问题,因此尚需要进一步研究以提高群体推荐系统的效率和推荐精度。因此,本文结合符号数据分析法提出了一种新的群体推荐算法。在该算法中,我们使用了模态型符号数据把群体作为一个整体建立了群体模型,在群体模型建立之后将其当作群体中的一个特殊的虚拟的个体,并使用在个体推荐领域已经比较成熟的协同过滤技术进行推荐产生最终的推荐结果。其中,群体模型的建立过程是最核心的内容。为了使群体模型能最好地表达个体的偏好,群体中所有个体模型到该群体模型的距离之和应尽量小。这样,群体建模的过程就被转化成了一个最优化求解问题,我们使用了遗传算法来求解该最优化问题。实验部分使用了Movielens数据库进行了3组实验来考察本文提出的算法。实验的结果表明,使用该算法建立的群体模型能够反映群体中不同用户的偏好差异,因此,在其基础上进行的群体推荐是符合逻辑的并且有意义的。本文提出的群体推荐算法的推荐精度要优于实验中选用的其他四种对比算法,并且这种差异具有显着性。敏感性分析的实验结果表明本文提出的算法在群体内成员偏好差异度较小且有充足的信息用来建模时具有最高的推荐精确度,同时无论这两个因素如何变化,本文提出的算法推荐精确度均优于对比算法。(本文来源于《天津大学》期刊2014-12-01）
万兆荣[8]（2014）在《展示建模过程,建立符号意识——“用字母表示数”的教学实录》一文中研究指出所谓符号意识就是有意识地运用恰当的符号表述研究的对象,达到清晰、准确、简洁地表达思想、概念、方法和逻辑关系的目的。建立符号意识有助于学生理解符号的使用,是数学表达和数学思考的重要形式,有利于学生运用符号表征和解决实际问题。本文谈谈如何有效引导学生建立符号意识。一、唤醒"经验"——建立符号意识的基础【片段一】师:(课件展示同花色的一组扑克牌)一幅扑克牌中同一种花色的牌有多少张?生:13张。师:(扑克牌背面朝上)下面请任意抽取3张牌,(本文来源于《教育科学论坛》期刊2014年06期）
万兆荣[9]（2014）在《展示建模过程 建立符号意识——关于“用字母表示数”的教学思考》一文中研究指出所谓符号意识就是有意识地运用恰当的符号去表述研究对象,以达到清晰、准确、简洁地表达思想、概念、方法和逻辑关系的目的。建立符号意识有助于学生理解符号的使用是数学表达和数学思考的重要形式,有利于学生运用符号表征解决实际问题。本文以苏教版《用字母表示数》一课教学为例,谈谈如何有效引导学生建立符号意识。一、唤醒"经验"——建立符号意识的基础案例:师:(课件展示同花色的一组扑克牌)一幅扑克牌中同一种花色的牌有多少张?(本文来源于《教学与管理》期刊2014年11期）
程建东[10]（2013）在《开关电容电路符号化分析方法及其在故障建模和Sigma-Delta ADC SNR快速计算中的应用》一文中研究指出开关电容电路是一类重要的基础模拟电路，如可以用来实现高精度Sigma-Delta模数转换器。但由于其离散时间特性，使得频域分析比较困难。本文应用双图决策图符号化分析方法，通过引入开关电容的符号化等效模型，将离散时间开关电容电路转化为连续时间线性电路，从而进行符号化分析。我们应用开关电容电路符号化分析解决了两个问题。第一个问题是开关电容电路的符号化故障建模。通过实现双图决策图上的极限操作，开关故障可以通过对开关元件对应的符号变量取极限建模，从而可以方便地进行故障仿真。解决的第二个问题是开关电容Sigma-Delta模数转换器的SNR快速计算。在开关电容电路符号化分析的基础上，对于开关电容电路实现的Sigma-Delta模数转换器，我们实现了其信号环路传输函数的符号化分析，并利用泰勒近似，实现了信噪比的快速计算，建立了信噪比与电路元件参数的映射，从而可以实现信噪比偏移分析及优化。本文给出了偏移分析和基于模拟退火算法的优化探索的结果。(本文来源于《上海交通大学》期刊2013-12-01）
符号建模论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
符号学的研究一直是各学科关注的焦点,西比奥克在符号学基础上提出了建模系统理论,建模系统理论将混乱的符号学概念统一起来,形成完整理论框架。《新闻联播》节目以高度模式化的语言符号为主体,本文将在建模系统理论下对《新闻联播》中的语言符号进行建模分析。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
符号建模论文参考文献
[1].何香凝,郭荣佐,黄君.基于符号执行的家居网关协议级能耗建模[J].计算机工程与设计.2019
[2].陈苗苗,程嫩生.建模系统理论下对《新闻联播》语言符号的模型分析[J].安徽文学(下半月).2018
[3].邹青青,姚保峰,夏伟,陈晨.一种基于符号形式文法的叁维建模方法[J].安徽理工大学学报(自然科学版).2018
[4].赵子琦.学习数学建模把抽象的数学知识符号化[J].中学课程辅导(教师教育).2017
[5].孙超群.以建模为载体实现宏观与微观的辩证统一——以“微粒的模型与符号”复习教学为例[J].中学化学教学参考.2017
[6].朱声荣,刘斌彬,陈飞翔,苏小慧.地质二维矢量点符号的自动叁维建模[J].测绘科学.2017
[7].王启鹏.基于模态型符号数据建模的群体推荐系统研究[D].天津大学.2014
[8].万兆荣.展示建模过程,建立符号意识——“用字母表示数”的教学实录[J].教育科学论坛.2014
[9].万兆荣.展示建模过程建立符号意识——关于“用字母表示数”的教学思考[J].教学与管理.2014
[10].程建东.开关电容电路符号化分析方法及其在故障建模和Sigma-DeltaADCSNR快速计算中的应用[D].上海交通大学.2013