导读:本文包含了度量逻辑论文开题报告文献综述及选题提纲参考文献，主要关键词:粗粒度,分组密码,映射,加权度量
度量逻辑论文文献综述
杜怡然,南龙梅,戴紫彬,李伟[1]（2019）在《可重构分组密码逻辑阵列加权度量模型及高能效映射算法》一文中研究指出针对基于粗粒度可重构阵列结构的分组密码算法映射情况复杂、难以实现统一度量的问题,该文采用多目标决策手段,以性能及功耗参数为决策目标,基于分组密码算法轮运算及粗粒度可重构阵列结构特征约束,提出了一种面向分组密码算法映射的加权度量模型.同时,采用主客观综合分析法,定义了模型权重参数的计算方式,从而通过配置合理的权重参数,以高能效映射算法实现差异化的映射.为了降低决策时间,该文进一步提出了基于二进制编码的枚举搜索算法,实现了最优映射结果搜索与映射矩阵建立的并行,使决策的时间复杂度降至O(2n).实验结果表明,该文提出的加权度量模型能实现高效的分组密码算法映射方案决策,单位面积性能提升了约14. 2%,能效提升了约一倍.(本文来源于《电子学报》期刊2019年01期）
段景瑶[2]（2018）在《剩余格上逻辑度量空间的拓扑性质》一文中研究指出首先研究了逻辑度量空间([0,1],ρ_R)与度量空间(F(X),H_R)的关系,其次讨论了[0,1]剩余格上逻辑度量空间中Cauchy-列的收敛性问题,最后在一般剩余格上建立了一致拓扑结构,为我们研究一般剩余格的结构提供了一种新的方法,并为逻辑推理系统的鲁棒性分析奠定了理论基础。(本文来源于《山东大学学报(理学版)》期刊2018年12期）
王运生,王黎明,聂芬[3]（2018）在《基于焦点度量与模糊逻辑的多聚焦图像融合算法》一文中研究指出目的为了使多聚焦灰度图像融合时保持源图像清晰信息,并有效抑制块效应和重影现象,基于3种不同聚焦测量与模糊推理系统,设计一种焦点度量与模糊逻辑的多聚焦灰度图像融合方案。方法首先,分别利用空间频率(SF)、改进的Laplacian能量和(SML),以及梯度和(SOG)计算输入灰度图像在像素邻域的局部焦点特征,并利用像素相关性改善对比度,从而得到SF,SML,SOG等3种聚焦度量。其次,根据SF与SML强度关系,建立焦点叁态图,结合互补聚焦信息,并进行形态、中值滤波和一致性检查,消除狭窄的鸿沟和突起问题。然后,引入模糊逻辑算子,将每个图像像素的SF,SML图以及SOG作为模糊化的输入,通过模糊规则和去模糊器,生成每个图像的融合权重。最后,根据焦点权重执行加权融合,形成最后的融合图像。结果实验结果表明,与当前流行的融合方案相比,对于灰度图像,所提算法在融合性能上具有一定的优势,其融合图像具有更好的景深信息,避免了块效应与重影现象。结论所提算法具有良好的融合质量,能够有效提高灰度图像的分辨率,在图像处理领域具有一定的价值。(本文来源于《包装工程》期刊2018年13期）
惠小静,赵玛瑙,高姣[4]（2015）在《对称逻辑公式在L_4~*逻辑度量空间中的分布》一文中研究指出在四值逻辑系统L*4中引入了对称逻辑公式。运用Matla软件研究了对称逻辑公式在L*4逻辑度量空间中的计数问题,给出了3n元、3n+1元、3n+2元对称逻辑公式的个数。证明了n元对称逻辑公式占全体n元逻辑公式的比例随n的增大而趋于零。(本文来源于《计算机科学》期刊2015年11期）
龚加安,吴洪博[5]（2016）在《模态逻辑系统S4中的度量结构》一文中研究指出在模态逻辑S4中通过有限模型建立了模态公式的(n)真度理论,研究了模态逻辑S4中命题的(n)真度的性质。提出了模态公式间的(n)相似度理论,并由此在全体公式集中,建立了(n)伪距离,得出了(n)模态逻辑S4的度量空间,该空间以经典逻辑度量空间为子空间,提出了一种模态逻辑S4中近似推理的框架。(本文来源于《山东大学学报(理学版)》期刊2016年02期）
赵玛瑙[6]（2015）在《S-逻辑系统中的积分相似度与对称逻辑公式在L_4~*逻辑度量空间中的分布》一文中研究指出与通常相似度定义在真度基础上不同,本文在S-逻辑系统中提出了基于S-蕴含算子的积分相似度,给出了积分相似度的推理性质.建立了与之相对应的伪距离,证明了伪距离空间(FS(S,)ρ)中逻辑蕴涵算子”(?)，∧，∨，→”都是连续的,并研究了S-逻辑系统中的近似推理.在L4*逻辑度量空间中,给出了对称四值R0。函数与对称逻辑公式的定义.通过将对称逻辑公式在L4*逻辑度量空间中的计数问题转化为求解方程的整数解的个数问题,使用MATLAB实现了方程的整数解,从而解决了对称逻辑公式在L4*逻辑度量空间中的计数问题.证明了3n,3n+1,3n+2元对称逻辑公式在L4*中的计数公式.通过具体的例子,给出两种方法实现了对称逻辑公式在L4*逻辑度量空间中的个数问题,得出了相同的结果,证明了结论的正确性.得出了n元对称逻辑公式占全体n元逻辑公式的比例随着n的增大而趋于0;论证了对称逻辑公式的真度之集在[0,1]中稠密.(本文来源于《延安大学》期刊2015-06-01）
李修清,吴果林[7]（2014）在《ξ-逻辑度量空间中理论的开放度》一文中研究指出在n值R0型命题逻辑系统的ξ-逻辑度量空间中,提出理论的ξ-开放度概念,研究理论的开放度与随机概率分布序列取值的关系,证明了理论的开放度依赖于随机概率分布序列的不同分布。(本文来源于《桂林航天工业学院学报》期刊2014年02期）
吴洪博,谢晶晶[8]（2014）在《一种度量结构在四种逻辑代数上的共性》一文中研究指出对MV逻辑代数、Godel逻辑代数、乘积逻辑代数、R0逻辑代数在度量方面的性质进行了进一步研究。首先根据四种逻辑代数的共同性质,在它们的单位区间[0,1]中建立了一种逻辑度量结构:其次对度量结构在四种逻辑代数中的共有性质进行了讨论,并分别在四种逻辑代数中给出了这种度量结构的具体形式;最后证明了四种逻辑代数中的基本运算关于度量结构的连续性。(本文来源于《模糊系统与数学》期刊2014年02期）
李修清[9]（2013）在《随机逻辑度量空间中命题稠密性与逻辑算子连续性》一文中研究指出在赋值域为W=[0,1]的Lukasiewicz命题逻辑系统Luk中展开研究,对在命题逻辑系统Luk中李修清等得到的随机逻辑度量空间进行进一步研究。证明了随机逻辑度量空间中没有孤立点,即命题逻辑系统Luk中的命题公式在该空间中是稠密的;研究了逻辑运算子在随机逻辑度量空间中的连续性,证明了在李修清等给出的随机逻辑度量空间中,命题算子关于运算、∨与→是连续的。(本文来源于《桂林航天工业学院学报》期刊2013年04期）
马巧云[10]（2013）在《n元经典逻辑度量空间中的平移变换》一文中研究指出利用模2的加法运算和逻辑公式的向量表示构造了n元经典逻辑度量空间中的平移变换。得到了平移变换的一些简单性质,证明了平移变换保持非运算,但不保持交、并、蕴涵运算;得到了逻辑理论的发散度、有限理论的相容度在平移变换之下不变的结论。证明了平移变换之集构成一个群;在经典逻辑度量空间中以公式类中公式的真度为范数,进一步证明了(Fn(S)ρ)关于该范数可以构成次范整线性空间。(本文来源于《计算机工程与应用》期刊2013年06期）
度量逻辑论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
首先研究了逻辑度量空间([0,1],ρ_R)与度量空间(F(X),H_R)的关系,其次讨论了[0,1]剩余格上逻辑度量空间中Cauchy-列的收敛性问题,最后在一般剩余格上建立了一致拓扑结构,为我们研究一般剩余格的结构提供了一种新的方法,并为逻辑推理系统的鲁棒性分析奠定了理论基础。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
度量逻辑论文参考文献
[1].杜怡然,南龙梅,戴紫彬,李伟.可重构分组密码逻辑阵列加权度量模型及高能效映射算法[J].电子学报.2019
[2].段景瑶.剩余格上逻辑度量空间的拓扑性质[J].山东大学学报(理学版).2018
[3].王运生,王黎明,聂芬.基于焦点度量与模糊逻辑的多聚焦图像融合算法[J].包装工程.2018
[4].惠小静,赵玛瑙,高姣.对称逻辑公式在L_4~*逻辑度量空间中的分布[J].计算机科学.2015
[5].龚加安,吴洪博.模态逻辑系统S4中的度量结构[J].山东大学学报(理学版).2016
[6].赵玛瑙.S-逻辑系统中的积分相似度与对称逻辑公式在L_4~*逻辑度量空间中的分布[D].延安大学.2015
[7].李修清,吴果林.ξ-逻辑度量空间中理论的开放度[J].桂林航天工业学院学报.2014
[8].吴洪博,谢晶晶.一种度量结构在四种逻辑代数上的共性[J].模糊系统与数学.2014
[9].李修清.随机逻辑度量空间中命题稠密性与逻辑算子连续性[J].桂林航天工业学院学报.2013
[10].马巧云.n元经典逻辑度量空间中的平移变换[J].计算机工程与应用.2013