检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于二型模糊逻辑的元胞自动机模型

模糊系统与数学 2013年第4期27卷 48-54页

作者：王宏翟艺书姜君娜河北联合大学理学院河北唐山063009 天津职业技术师范大学理学院天津300222

将二型模糊逻辑推理引入到元胞自动机模型中,把二型模糊逻辑推理与经典的元胞自动机模型结合起来,建立一种新的推理演化模型,基于二型模糊逻辑的元胞自动机模型。元胞自动机模型的关键部分是演化规则和元胞状态。将元胞自动机模型中的... 详细信息

将二型模糊逻辑推理引入到元胞自动机模型中,把二型模糊逻辑推理与经典的元胞自动机模型结合起来,建立一种新的推理演化模型,基于二型模糊逻辑的元胞自动机模型。元胞自动机模型的关键部分是演化规则和元胞状态。将元胞自动机模型中的演化规则二型模糊化,将经典元胞自动机模型中的元胞状态模糊化为二型模糊状态,建立基于二型模糊逻辑的元胞自动机模型。

关键词：元胞自动机二型模糊逻辑二型模糊演化规则二型模糊元胞状态

基于二型模糊逻辑的多线程数据竞争检测方法研究

在线全文

学校读者我要写书评

暂无评论

计算机科学 2017年第12期44卷 135-143页

作者：杨璐余守文严建峰苏州大学计算机科学与技术学院苏州215006

多线程机制以其诸多优势在程序开发中被广泛使用,然而随着多线程软件规模的增长,程序中潜存着许多并发缺陷,最常见的并发缺陷是数据竞争和死锁。目前,针对这些并发缺陷的检测手段都无法处理线程时序的不确定性,无法处理运行时环境对线... 详细信息

多线程机制以其诸多优势在程序开发中被广泛使用,然而随着多线程软件规模的增长,程序中潜存着许多并发缺陷,最常见的并发缺陷是数据竞争和死锁。目前,针对这些并发缺陷的检测手段都无法处理线程时序的不确定性,无法处理运行时环境对线程时序的影响,同时也不能计算这些并发缺陷发生的概率并根据概率生成其处理优先级。针对以上问题,提出了一种基于二型模糊逻辑的多线程数据竞争检测方法。该方法将传统的多线程时序分析和缺陷检测方法作为预处理,考虑程序运行时环境因素对线程时序的影响,利用二型模糊逻辑和隐马尔科夫模型对待检测程序建模,计算待检测程序在某一系统负载下的时序概率,并根据时序概率生成时序缺陷处理优先级列表供软件开发人员参考。

关键词：二型模糊逻辑隐马尔科夫模型数据竞争检测

在线全文

学校读者我要写书评

暂无评论

基于二型模糊逻辑系统的改进卡尔曼滤波算法

计算机工程与设计 2015年第12期36卷 3269-3272,3278页

作者：华晶何火娇王映龙江西农业大学软件学院江西南昌330045 南昌大学机电工程学院江西南昌330031 江西农业大学江西省高等学校农业信息技术重点实验室江西南昌330045

针对量测噪声协方差不能准确获知或随时间不断变化这一问题,提出一种基于二型模糊逻辑系统的自适应卡尔曼滤波算法。利用二型模糊逻辑对量测噪声进行自适应调整,使残差的理论协方差和实际协方差相一致,影响滤波的增益值,修正状态的估计... 详细信息

针对量测噪声协方差不能准确获知或随时间不断变化这一问题,提出一种基于二型模糊逻辑系统的自适应卡尔曼滤波算法。利用二型模糊逻辑对量测噪声进行自适应调整,使残差的理论协方差和实际协方差相一致,影响滤波的增益值,修正状态的估计值。为验证该算法的有效性,将其与传统卡尔曼滤波、一型模糊卡尔曼滤波两种算法进行对比,比较结果表明,二型模糊卡尔曼滤波算法能有效提高状态估计的准确度。

关键词：二型模糊逻辑自适应卡尔曼滤波状态估计准确度

基于二型模糊逻辑的死锁与数据竞争检测方法研究

在线全文

学校读者我要写书评

暂无评论

基于二型模糊逻辑的死锁与数据竞争检测方法研究

作者：翁东良苏州大学

学位级别：硕士

多线程技术因其可以提高计算效率、共享数据存储和节省资源开销在程序开发中得到了广泛应用,然而随着多线程程序的复杂度越来越高,软件开发人员面临着程序设计中出现的大量并发错误,其中死锁和数据竞争是较为常见的错误。国内外很多机... 详细信息

多线程技术因其可以提高计算效率、共享数据存储和节省资源开销在程序开发中得到了广泛应用,然而随着多线程程序的复杂度越来越高,软件开发人员面临着程序设计中出现的大量并发错误,其中死锁和数据竞争是较为常见的错误。国内外很多机构在这一方面做了大量研究,并取得很多研究成果。目前死锁和数据竞争的检测方法可分为静态检测和动态检测,然而静态检测的精度低,存在很多误报,而动态检测的覆盖率低,存在漏报。此外在检测过程中,它们几乎都没有考虑到线程时序的不确定性,同时无法计算死锁和数据竞争发生的概率并根据概率生成优先级列表。针对这些问题,本文提出了基于二型模糊逻辑的死锁和数据竞争检测方法。方法分为四个步骤：（1）搜集可以静态确定线程时序的语句并定义规则库,根据此规则库,静态扫描目标程序,得到时序关系依赖图（Time Sequence Graph, TSG）;（2）根据TSG图,使用静态分析技术对目标程序进行预处理,获得潜在死锁和数据竞争;（3）使用基于区间型二型模糊逻辑的隐马尔科夫模型（Interval Type-2Fuzzy Logic Hidden Markov Model, IT2FHMM）获得目标程序中所有潜在死锁和数据竞争位置点对的时序先后概率;（4）根据得到的时序先后概率对死锁和数据竞争进行评估,计算出所有死锁和数据竞争发生的概率,并通过发生概率生成死锁和数据竞争优先级列表供软件开发人员优先处理发生概率高的死锁和数据竞争。基于上述方法,本文开发了死锁检测工具DLdetector和数据竞争检测工具DRdetector,并将两个工具应用于实验,检测两组多线程程序。通过分析检测结果,表明本文方法可以有效提高死锁和数据竞争的检测精度,减少误报,并提供优先级列表。本文方法是该领域的一项新的探索,是现有检测工具的一项重要补充。

关键词：死锁数据竞争二型模糊逻辑隐马尔科夫模型多线程程序

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于二型模糊逻辑的信任评价模型

湖南工程学院学报（自然科学版） 2015年第3期25卷 36-38,50页

作者：陈淑红颜国风湖南工程学院计算机与通信学院湘潭411101

提出采用二型模糊逻辑系统来建立信任评价机制.二型模糊集合是三维的,它是一型模糊集合的扩展,引入了新的一维数据来表示成员关系的级别,为描述和处理信任的不确定性提供了更大的灵活性.建立了基于二型模糊逻辑的信任评估控制规则,实现... 详细信息

提出采用二型模糊逻辑系统来建立信任评价机制.二型模糊集合是三维的,它是一型模糊集合的扩展,引入了新的一维数据来表示成员关系的级别,为描述和处理信任的不确定性提供了更大的灵活性.建立了基于二型模糊逻辑的信任评估控制规则,实现信任评价奖惩机制,从而建立了自适应的信任评价体系.

关键词：信任评价二型模糊逻辑评估控制规则自适应体系

基于改进模糊逻辑的VAV系统GPC控制策略研究

在线全文

学校读者我要写书评

暂无评论

兵器装备工程学报 2023年第7期44卷 297-306页

作者：贺宁李尚刘利强高峰西安建筑科技大学机电工程学院西安710055

为了提高多输入多输出变风量(VAV)空调广义预测控制(GPC)系统控制性能,提出一种新型GPC控制策略。该方法通过考虑系统的输出绝对误差和基于误差变化率获得输出初次达到设定值的时间等指标,建立了一个新型二型模糊逻辑模型来在线整定GPC... 详细信息

为了提高多输入多输出变风量(VAV)空调广义预测控制(GPC)系统控制性能,提出一种新型GPC控制策略。该方法通过考虑系统的输出绝对误差和基于误差变化率获得输出初次达到设定值的时间等指标,建立了一个新型二型模糊逻辑模型来在线整定GPC控制器中的加权系数。同时,采用天牛群算法(BSO)来明确二型模糊逻辑输出区间范围,使其可以更贴切地反应系统当前时刻的输出状态。此外,在前述BSO的基础上,提出通过线性以及事件触发地衰减种群规模的方法,缩短BSO的收敛周期,以进一步提升GPC控制策略的性能。实验结果表明:基于二型模糊逻辑整定的GPC控制器性能显著优于已有GPC控制器。

关键词：广义预测控制二型模糊逻辑 BSO算法空调系统静压控制温度调节

基于type-2模糊逻辑在图像处理中的研究

在线全文

学校读者我要写书评

暂无评论

基于type-2模糊逻辑在图像处理中的研究

作者：张芬广东工业大学

学位级别：硕士

在信息时代数字图像处理已经成为人们获取复杂信息的重要手段,在一定程度上拓展了人类的视觉,图像处理技术的相关研究和应用具有非常重要意义。图像去噪、边缘检测技术是数字图像处理中的重要环节。由于图像成像过程中受各种因素的影响... 详细信息

在信息时代数字图像处理已经成为人们获取复杂信息的重要手段,在一定程度上拓展了人类的视觉,图像处理技术的相关研究和应用具有非常重要意义。图像去噪、边缘检测技术是数字图像处理中的重要环节。由于图像成像过程中受各种因素的影响,人们事先很难了解成像过程中信息丢失的情况,使得图像处理过程中带有一定的相似性和不确定性。而模糊集合论及模糊信息处理技术,在处理带有模糊不确定性的事件及对不精确知识的描述与处理上都具有极大的优势。本文研究了以模糊信息处理技术为基础的图像滤波算法、边缘检测技术,提出了一些新的思想和方法。本文结合图像去噪、边缘检测信息的不确定性,研究了区间-2型模糊逻辑算法在图像处理中的相关问题,论文的主要工作和研究成果如下:1)提出了一种区间-2型模糊神经网络滤波算法对图像去噪。在IT2FNN的每个模糊规则中,先行部分使用区间-2型模糊集合,其后续部分是Mamdani类型。使用间隔类型-2模糊集有助于提高网络的抗噪声能力。IT2FNN学习包括结构学习和参数学习,对于结构学习,提出了一种在线聚类算法来自动生成规则并灵活地将其分配到输入空间中。对于参数学习,提出了一种规则排序的卡尔曼滤波器算法来调整随后的部分参数。通过与类型-1和类型-2模糊神经系统之间的比较验证了IT2FNN的学习能力和鲁棒性,在去除图像脉冲噪声的同时,能够较完整的保留图像的边缘和重要细节。2)提出了一种基于形态学梯度技术和type-2型模糊逻辑的边缘检测方法。α-平面的理论被用来实现type-2型模糊逻辑的边缘检测。对于去模糊化过程,使用高度和逼近方法。最后给出了一类模糊推理系统、区间二类模糊推理系统、type-1模糊推理系统和type-2模糊推理系统的边缘检测仿真结果。所提出的type-2型模糊边缘检测方法用基准图像和合成图像进行测试,证明了广义二型模糊逻辑在图像处理中的优越性。

关键词：图像处理图像去噪边缘检测二型模糊逻辑

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

一种改进的区间二型模糊控制器设计

控制与决策 2009年第10期24卷 1597-1600页

作者：曹江涛李平刘洪海西北工业大学自动化学院西安710072 辽宁石油化工大学信息与控制工程学院辽宁抚顺113001 朴茨茅斯大学工业研究所

针对二型模糊控制器设计中出现的降型计算方法损失不确定性信息的问题,提出一种改进的区间二型模糊控制器.该控制器在充分利用二型模糊推理结果的前提下,对区间模糊输出进行再次优化,其优化指标可直接与被控系统性能相关,由此可得到更... 详细信息

针对二型模糊控制器设计中出现的降型计算方法损失不确定性信息的问题,提出一种改进的区间二型模糊控制器.该控制器在充分利用二型模糊推理结果的前提下,对区间模糊输出进行再次优化,其优化指标可直接与被控系统性能相关,由此可得到更有利于提高系统整体性能的准确输出量.最后,将改进的控制器用于汽车非线性悬架系统的控制,仿真结果验证了所提出方法的有效性.

关键词：二型模糊逻辑区间推理模糊控制器再次优化

区间型二型模糊集重心的直接Karnik-Mendel算法

在线全文

学校读者我要写书评

暂无评论

系统仿真学报 2010年第10期22卷 2326-2328页

作者：胡怀中张伟斌杨华南西安交通大学自动化系西安710049

区间型二型模糊集重心区间的计算在区间型二型模糊系统中有重要的应用。Karnik-Mendel迭代算法是目前计算此区间的常用算法。但是迭代的计算模糊集合的重心,使得该算法的效率受到很大的影响。证明了区间型二型模糊集上、下限隶属度函数... 详细信息

区间型二型模糊集重心区间的计算在区间型二型模糊系统中有重要的应用。Karnik-Mendel迭代算法是目前计算此区间的常用算法。但是迭代的计算模糊集合的重心,使得该算法的效率受到很大的影响。证明了区间型二型模糊集上、下限隶属度函数分界点的取值与重心值间的数值关系,并据此提出一种直接Karnik-Mendel算法。仿真实验表明,该算法能将重心区间的计算时间缩短65%-75%。

关键词：二型模糊逻辑 Karnik-Mendel算法降型模糊系统