导读:本文包含了符号测度论文开题报告文献综述、选题提纲参考文献及外文文献翻译,主要关键词:符号,方程,电路,模型,故障诊断,可能性,符号化。
符号测度论文文献综述
王灯桂,杨蓉[1](2019)在《基于线性判别分析的Choquet积分的符号模糊测度提取》一文中研究指出在解决分类问题时,建立在Choquet积分上的分类器以其非线性和不可加性的特点,扮演着越来越重要的角色。由于Choquet积分中的符号模糊测度可以描述各特征对结果的影响,因此Choquet积分在解决数据分类及融合问题方面具有显着的优势。但是,关于Choquet积分符号模糊测度值的求解,学术界一直缺乏有效的方法。目前最常用的方法是遗传算法,但是遗传算法在解决符号模糊测度值的优化问题时存在算法较为复杂、耗时较长等缺陷。由于符号模糊测度值在Choquet积分分类器中是决定性的重要参数,因此设计出一种有效的符号模糊测度提取方法十分必要。文中提出基于线性判别分析的Choquet积分符号模糊测度的提取方法,推导出在分类问题下Choquet积分的符号模糊测度值的解析式表达,其能够有效、快速地得出关键性参数。分别在人工数据集及基准实际数据集上进行测试与验证,实验结果表明所提方法能有效解决Choquet积分分类器中符号模糊测度的优化问题。(本文来源于《计算机科学》期刊2019年02期)
方昕,李兴兴,曹海燕,潘鹏[2](2019)在《基于金融时间序列的符号聚合近似测度的改进》一文中研究指出针对金融时间子序列模式匹配准确率低的问题,提出了一种在金融时间序列中定位图形模式的新方法,即改进的符号聚合近似表示方法。利用子序列每个区段的最小值、平均值和最大值进行符号化,并采用余弦相似度作为模式相似性的衡量标准。采用香港股票市场的恒生指数HIS的历史数据进行仿真实验,实验结果表明,无论是从匹配时间还是匹配的准确性角度分析,所提算法均比传统的SAX方法和TD_SAX方法更有效,所需时间较短且可以产生更少的假阴性和假阳性序列。(本文来源于《杭州电子科技大学学报(自然科学版)》期刊2019年01期)
雷丽晖,郭越,张延波[3](2018)在《可能性测度下的CTL符号化模型检测》一文中研究指出随着系统复杂性的增加,系统中的不确定信息亟待处理,状态爆炸问题也越来越严峻,现有的模型检测技术已不能完全适用于复杂系统的验证。对可能性测度下CTL符号化模型检测进行了研究。首先用多终端二值决策图和布尔公式分别描述系统模型和待验证性质,然后再对系统模型进行归一化和简化,最后利用不动点计算完成系统验证。该研究是对可能性测度下的模型检测技术和符号化模型检测技术的整合,不但能处理系统的不确定信息,而且保持了符号化模型检测对计算时空要求低的优点,对于复杂系统模型检测具有重要意义。(本文来源于《计算机工程与科学》期刊2018年11期)
张延波[4](2018)在《可能性测度下并发系统的符号化模型检测研究与实现》一文中研究指出模型检测是一种形式化的自动验证技术。1981年,由Clarke,Emerson,Quielle和Sifakis提出。它的基本思想是:通过状态空间的穷举搜索来验证有穷状态系统上性质的正确性。它不仅可以自动执行,而且能在系统不满足性质时提供反例。但近些年随着系统复杂性的增加,系统中不确定信息亟待处理,且状态爆炸问题也越来越严峻,现有的模型检测技术已经不能完全适用于复杂系统的验证。因此,对模型检测技术进行扩展是重要的也是必要的。目前,国内外学者在经典的模型检测和概率模型检测领域对符号化模型检测做出了大量的研究,但对于可能性测度下的模型检测却没有相应的符号化研究。本文对可能性测度下符号化模型检测进行了研究,是对可能性测度下的模型检测技术和符号化模型检测技术的扩展,对于复杂系统的模型检测的实现与推广具有一定的意义。本文研究了可能性测度下并发系统的符号化模型检测,并设计了一个可能性测度下的符号模型检测器。一方面处理了复杂系统验证中的不确定信息,另一方面缓解了复杂系统验证中的状态爆炸问题。本文研究内容主要分为以下几点:(1)提出可能性测度下并发系统的符号化模型。当并发系统的状态较多时,符号化模型可以较好的表示系统状态及状态之间的迁移关系,以减少存储空间和提高验证效率。(2)研究了可能性测度下的符号化模型检测算法。将系统模型和状态利用多终端二叉树进行符号化表达,并且利用不动点技术实现了验证算法。(3)基于NuSMV的基础,研究并设计了一个可能性测度下的符号化模型检测器,给出了可能性测度下的模型检测器的实现方案,探讨了该模型检测器的实现方法。研究意义主要有:补充了可能性测度下并发系统的符号化模型检测理论,给出了可能性测度下的模型检测器的实现方案,为可能性测度下并发系统检测的推广奠定了基础。(本文来源于《陕西师范大学》期刊2018-05-01)
黄洁[5](2017)在《符号空间与不变测度的存在性》一文中研究指出本文整理分形几何中符号空间与函数迭代系统的相关理论.通过构造符号空间中的不变测度,并利用符号空间到Rn空间的投影映射,得到了 Rn空间上的诱导测度并证明它为函数迭代系统生成的不变测度.由此,给出了 Rn空间中不变测度存在性的一个新的证明.需要说明的是,文献[3]在要求函数迭代系统满足强分离的条件下也给出了一个证明.(本文来源于《华中师范大学》期刊2017-05-01)
王玮,韩新方,马丽[6](2015)在《半狄氏型的符号光滑测度扰动》一文中研究指出假设(Xt,Px)是与L2(E;m)上的半狄氏型(E,D(E))相联系的右过程.μ为符号光滑测度,Aμt为μ对应的连续可加泛函.定义广义Feynman-Kac半群Pμtf(x)∶=E[e-Aμtxf(Xt)].设Eμ(f,g)=E(f,g)+(f,g)μ,f,g∈D(Eμ)=D(E)∩L2(E,|μ|),我们得到以下两个命题等价:①(Eμ,D(Eμ))是下半有界的;②对任意的t>0,存在一个常数α0≥0使得‖Pμt‖2≤eα0t.如果①和②中有一个成立,则(Pμt)t≥0是L2(E;m)上强连续的半群.(本文来源于《北京交通大学学报》期刊2015年06期)
史艳维,马春晖[7](2015)在《符号Loeb测度以及符号测度的绝对连续性》一文中研究指出在■1-饱和模型中,研究了符号Loeb测度与符号测度绝对连续的有关性质.首先,构造了符号Loeb测度,并给出了符号测度绝对连续的非标准刻画.讨论了符号Loeb空间中的Radon-Nikodym定理和符号测度变差的一些性质.(本文来源于《浙江大学学报(理学版)》期刊2015年03期)
郑致刚,胡云安[8](2012)在《模拟电路符号法可测度分析的改进》一文中研究指出可测度是电路测试和故障诊断中一个重要概念,是测试节点选择的一个量化指标;使用符号分析的方法进行电路可测度计算;为了解决当诊断方程分母多项式的最高项系数不等于1时,符号法不能应用的问题,提出了一种原始诊断方程变换的新方法,利用符号法计算变换后诊断方程的可测度;电路实例分析表明,改进后的方法可以处理任意形式的电路诊断方程,计算中避免了误差的引入,具有计算简单、结果准确的特点。(本文来源于《计算机测量与控制》期刊2012年09期)
郑致刚,王小强,胡云安[9](2012)在《符号分析法在模拟电路可测度计算中的应用》一文中研究指出为消除模拟电路可测度计算的符号法在应用中的限制条件,提出一种可测度计算的方法。该方法在故障诊断方程分母多项式的最高项系数不等于1的情况下,通过诊断方程的等价变换计算电路可测度,可以处理任意形式的诊断方程,同时避免计算误差的引入。实例电路分析与工程应用结果表明,该方法具有计算简单、结果准确的优点,适用于模拟电路的自动测试和故障诊断。(本文来源于《计算机工程》期刊2012年18期)
郑致刚,娄伟[10](2011)在《基于符号方法的模拟电路可测度分析》一文中研究指出现有电路可测度符号分析方法在低可测度电路故障诊断中没有考虑元件故障模糊组的影响。可测度分析时需要计算所有元件参数组合的可测度,但实质上其中部分参数组合的可测度是相同的,不必重复计算。鉴于上述问题,在可测度符号分析方法的基础上,提出根据系数依赖矩阵划分元件故障模糊组,将各个模糊组中的元件参数赋值后计算电路可测度。该方法减少了符号法可测度分析的计算量,适用于模拟电路的自动测试与故障诊断。(本文来源于《山东科技大学学报(自然科学版)》期刊2011年06期)
符号测度论文开题报告
(1)论文研究背景及目的
此处内容要求:
首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。
写法范例:
针对金融时间子序列模式匹配准确率低的问题,提出了一种在金融时间序列中定位图形模式的新方法,即改进的符号聚合近似表示方法。利用子序列每个区段的最小值、平均值和最大值进行符号化,并采用余弦相似度作为模式相似性的衡量标准。采用香港股票市场的恒生指数HIS的历史数据进行仿真实验,实验结果表明,无论是从匹配时间还是匹配的准确性角度分析,所提算法均比传统的SAX方法和TD_SAX方法更有效,所需时间较短且可以产生更少的假阴性和假阳性序列。
(2)本文研究方法
调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。
实证研究法:依据现有的科学理论和实践的需要提出设计。
定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。
定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。
跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。
模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
符号测度论文参考文献
[1].王灯桂,杨蓉.基于线性判别分析的Choquet积分的符号模糊测度提取[J].计算机科学.2019
[2].方昕,李兴兴,曹海燕,潘鹏.基于金融时间序列的符号聚合近似测度的改进[J].杭州电子科技大学学报(自然科学版).2019
[3].雷丽晖,郭越,张延波.可能性测度下的CTL符号化模型检测[J].计算机工程与科学.2018
[4].张延波.可能性测度下并发系统的符号化模型检测研究与实现[D].陕西师范大学.2018
[5].黄洁.符号空间与不变测度的存在性[D].华中师范大学.2017
[6].王玮,韩新方,马丽.半狄氏型的符号光滑测度扰动[J].北京交通大学学报.2015
[7].史艳维,马春晖.符号Loeb测度以及符号测度的绝对连续性[J].浙江大学学报(理学版).2015
[8].郑致刚,胡云安.模拟电路符号法可测度分析的改进[J].计算机测量与控制.2012
[9].郑致刚,王小强,胡云安.符号分析法在模拟电路可测度计算中的应用[J].计算机工程.2012
[10].郑致刚,娄伟.基于符号方法的模拟电路可测度分析[J].山东科技大学学报(自然科学版).2011