检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

一种基于在线蒸馏的轻量化噪声标签学习方法

计算机研究与发展 2024年第12期61卷 3121-3133页

作者：黄贻望黄雨鑫刘声铜仁学院大数据学院贵州铜仁554300 福建理工大学计算机科学与数学学院福州350001 贵州省公共大数据重点实验室(贵州大学) 贵阳550025

利用含有有损标签的噪声数据来训练深度学习模型是机器学习中的研究热点.研究表明深度学习模型训练易受噪声数据的影响而产生过拟合现象.最近,一种将元学习与标签校正相结合的方法能够使模型更好地适应噪声数据以减缓过拟合现象,然而这... 详细信息

利用含有有损标签的噪声数据来训练深度学习模型是机器学习中的研究热点.研究表明深度学习模型训练易受噪声数据的影响而产生过拟合现象.最近,一种将元学习与标签校正相结合的方法能够使模型更好地适应噪声数据以减缓过拟合现象,然而这种元标签校正方法依赖于模型的性能,同时轻量化模型在噪声数据下不具备良好的泛化性能.针对这一问题,本文结合元学习提出一种基于在线蒸馏的轻量化噪声标签学习方法KDMLC(knowledge distillation-based meta-label correction learning),该方法将深度神经网络与多层感知机构成的元标签校正(meta label correction,MLC)模型视为教师模型,对噪声标签进行校正并指导轻量化模型进行训练,同时采用双层优化策略训练并增强教师模型的泛化能力,从而生成更高质量的伪标签用于训练轻量化模型.实验表明,KDMLC在高噪声水平下对比MLC方法准确率提高了5.50个百分点;同时对CIFAR10数据集使用Cutout数据增强,KDMLC在高噪声水平下对比MLC准确率提升了9.11个百分点,而在真实噪声数据集Clothing1M上的实验,KDMLC也优于其他方法,验证了KDMLC的可行性和有效性.

关键词：伪标签标签校正元学习知识蒸馏噪声数据

同方期刊数据库

在线全文

学校读者我要写书评

暂无评论

基于行为时序逻辑模型检测的研究与应用

基于行为时序逻辑模型检测的研究与应用

作者：黄贻望贵州大学

学位级别：硕士

模型检测是一种基于形式化方法的自动分析和验证技术,问题的关键是状态空间爆炸的解决。Lesilie Lamport提出行为时序逻辑(TLA)理论体系,运用TLA对软件或协议进行建模,它能在一种语言中同时表达程序与属性,在理论和实际应用中,这种模型... 详细信息

模型检测是一种基于形式化方法的自动分析和验证技术,问题的关键是状态空间爆炸的解决。Lesilie Lamport提出行为时序逻辑(TLA)理论体系,运用TLA对软件或协议进行建模,它能在一种语言中同时表达程序与属性,在理论和实际应用中,这种模型检测技术具有一定研究价值。本文在详细介绍行为时序逻辑基本概念的基础上,分析了使用行为时序逻辑基本理论对并发系统的建模,运用TLA+规约语言与检测工具对并发系统和网络安全协议进行简要分析与检测,所作的主要工作与创新之处如下: 1、在行为时序逻辑(Temporal Logic of Action)的基础上严格定义了行为路径对行动的强弱公平性,并详细证明了并发系统中行为对行动的强弱公平性,介绍TLA语法与语义,并分析TLA的逻辑推理规则,以简单程序实例分析和证明并发系统所具有的不变性,对程序的不同TLA时序公式之间等价性进行分析;2、TLA+是基于TLA的描述并发系统的规约语言,阐述了使用TLA+语言描述并发系统的规约方法,分析检测工具TLC的结构组成、各命令参数的功能及检测原理及要求,研究了协议的分析、建模及检测流程;3、基于TLA的网络协议与并发系统模型的形式化建模、分析与检测,以时钟并发系统为实例进行TLA+建模与分析,并给出系统所需满足的一些基本性质的TLA时序公式,通过TLC工具检测,系统满足这些属性;4、提出使用基于TLA对网络安全协议分析与检测的分析与研究,对NS协议进行形式化分析,建立了入侵者参加的简化模型,通过对模型进行FSM建模,严格转化为TLA+描述的规约系统,然后对其进行TLC检测,得到一些安全协议的相关分析结果,为网络安全协议提供了可行的分析与检测方法。

关键词：模型检测时序逻辑形式化方法 TLA TLA+ TLC

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

一种目标感知的可配置业务流程分析方法

电子学报 2014年第10期42卷 2060-2068页

作者：黄贻望何克清冯在文黄颖武汉大学软件工程国家重点实验室武汉大学计算机学院湖北武汉430072 铜仁学院数学与计算机科学系贵州铜仁554300 赣南师范学院数学与计算机学院江西赣州341000

可配置业务流程模型能够使得在不同的组织之间以可控的方式共享公共流程成为可能,这种模型旨在通过配置满足特定组织的需求,派生出个性化的流程.流程配置由于其配置决策之间的各种依赖关系而变成异常困难,因此,对其进行形式化建模和验... 详细信息

可配置业务流程模型能够使得在不同的组织之间以可控的方式共享公共流程成为可能,这种模型旨在通过配置满足特定组织的需求,派生出个性化的流程.流程配置由于其配置决策之间的各种依赖关系而变成异常困难,因此,对其进行形式化建模和验证是一个非常重要的问题.由于目标模型能够良好的表达用户需求意图的特点,本文提出一个基于目标感知的可配置业务流程分析方法,这种方法是通过将目标关联到WF-net(即GWF-net),将用户需求意图与业务流程模型进行整合;然后通过增加配置操作将用GWF-net表达的业务流程模型转换成可配置业务流程模型;最后,分析这种可配置业务流程的逻辑结构的正确性并提出用户需求与可配置业务流程配置过程中的一致性定理,为分析与验证在目标约束下可配置业务流程提供一种行为有效的方法.

关键词：目标模型目标工作流网可配置业务流程模型流程配置

在线全文

学校读者我要写书评

暂无评论

基于本体的业务流程适应性配置方法研究

电子学报 2016年第3期44卷 699-708页

作者：黄颖何克清冯在文黄贻望武汉大学软件工程国家重点实验室武汉大学计算机学院湖北武汉430072 赣南师范学院数计学院江西赣州341000

本文提出了一种基于描述逻辑的本体和规则的半自动业务流程配置框架.设计并实现了可配置节点本体及业务规则本体,提出七类元规则指导业务规则的撰写.最后提出基于C-i EPC的流程配置算法,对可配置流程进行配置.本文使用案例进行验证,结... 详细信息

本文提出了一种基于描述逻辑的本体和规则的半自动业务流程配置框架.设计并实现了可配置节点本体及业务规则本体,提出七类元规则指导业务规则的撰写.最后提出基于C-i EPC的流程配置算法,对可配置流程进行配置.本文使用案例进行验证,结果证明本文方法能够在降低人工成本的基础上,取得与国际主流的问卷式流程配置方法相近的效果,并使用经验验证的方法证明了本文方法的实用性和有效性.

关键词：业务流程配置本体流程可配置节点本体业务规则本体

一种基于RGPS着色的C-net模型及其应用

在线全文

学校读者我要写书评

暂无评论

计算机研究与发展 2014年第9期51卷 2030-2045页

作者：黄贻望何克清冯在文黄颖谢芳软件工程国家重点实验室(武汉大学计算机学院) 武汉430072 铜仁学院数学与计算机科学系贵州铜仁554300 赣南师范学院数学与计算机学院江西赣州341000 湖北工业大学计算机学院武汉430068

可配置业务流程模型描述面向领域的相似流程模型家簇,这种模型能够通过配置操作获取满足特定用户需求的个性化流程模型.提出一个在角色和目标约束下以流程为中心的可配置业务流程模型,首先对因果网模型(C-net)进行扩展,将该模型中的活... 详细信息

可配置业务流程模型描述面向领域的相似流程模型家簇,这种模型能够通过配置操作获取满足特定用户需求的个性化流程模型.提出一个在角色和目标约束下以流程为中心的可配置业务流程模型,首先对因果网模型(C-net)进行扩展,将该模型中的活动元素增加角色和目标两个约束关系,从而利用RGPS需求元模型框架中对角色(R)、目标(G)、流程(P)、服务(S)之间的约束规则和关联关系去约束业务流程活动之间的执行序列,使得模型有效反映了业务流程活动中的实际行为;然后将活动的输入绑定和输出绑定端口设置配置操作标记,通过对端口配置标记的操作形成个性化流程;最后,给出了模型的形式化定义并分析模型在业务流程配置中的应用,使得能够指导业务流程的配置等管理操作.

关键词：可配置业务流程活动着色C-net RGPS 配置

在线全文

学校读者我要写书评

暂无评论

并发系统中谓词行为图的行为时序逻辑表达

计算机应用研究 2013年第9期30卷 2752-2754页

作者：黄贻望袁科铜仁学院数学与计算机科学系贵州铜仁550025 武汉大学计算机学院软件工程国家重点实验室武汉430072 南开大学信息技术科学学院天津300071

行为时序逻辑(TLA)组合时序逻辑与行为逻辑,可以对并发系统进行描述与验证,它引入动作和行为的概念,使得系统和属性可用它的规约公式表示,但存在用TLA描述复杂系统时TLA公式复杂且难以理解的不足。类似于状态转移图,对于并发转移可以用... 详细信息

行为时序逻辑(TLA)组合时序逻辑与行为逻辑,可以对并发系统进行描述与验证,它引入动作和行为的概念,使得系统和属性可用它的规约公式表示,但存在用TLA描述复杂系统时TLA公式复杂且难以理解的不足。类似于状态转移图,对于并发转移可以用谓词行为图进行图形化表示,谓词行为图与行为时序逻辑规约具有相同的表达能力。介绍行为时序逻辑的语法、语义及简单推理规则,用一个简单的实例说明使用谓词行为图去描述并发转移系统的有效性,并用系统规约的TLA公式对谓词行为图表达能力进行证明,表明两者具有等价性,为描述和分析并发转换系统提供了一种可行的方法。

关键词：并发性规约谓词行为图行为时序逻辑

在线全文

学校读者我要写书评

暂无评论

一种面向领域知识的大数据价值服务建模方法

武汉大学学报（理学版） 2020年第5期66卷 462-472页

作者：黄贻望何克清彭长根铜仁学院大数据学院贵州铜仁554300 贵州大学贵州省公共大数据重点实验室贵州贵阳550025 武汉大学计算机学院湖北武汉430072

在网络大数据价值服务系统中,面对复杂的异构数据关联与交互,如何实现智慧的大数据价值发现与服务成为当前亟需解决的一个重要问题。为解决该问题,提出了面向领域主题大数据价值服务的语义内容标签及其语义矢量元模型,在元模型中给出4... 详细信息

在网络大数据价值服务系统中,面对复杂的异构数据关联与交互,如何实现智慧的大数据价值发现与服务成为当前亟需解决的一个重要问题。为解决该问题,提出了面向领域主题大数据价值服务的语义内容标签及其语义矢量元模型,在元模型中给出4种语义基本矢量及其关联的9种语义单位矢量,基于该模型构建赋予本体概念的语义矢量本体模型,并进一步结合树形层次状态机对语义矢量元模型进行形式化描述,更精确地描述大数据价值服务。该方法能够有效地用于有序化组织大数据主题知识及其价值服务空间,实施面向主题的大数据知识及其价值服务的规模化定制。通过城市交通需求物联网服务领域阐述该方法在服务交互融合过程中实现按需价值服务,说明该方法的有效性。

关键词：元模型框架语义基本矢量需求驱动交互与融合价值服务

在线全文

学校读者我要写书评

暂无评论

基于数据流约束的可配置业务流程分析与验证

计算机集成制造系统 2017年第8期23卷 1797-1808页

作者：黄贻望徐松金冯在文黄颖何克清彭长根铜仁学院大数据学院/铜仁市文化科技产业创新研究中心贵州铜仁554300 贵州大学贵州省公共大数据重点实验室贵州贵阳550025 武汉大学软件工程国家重点实验室湖北武汉430072 赣南师范学院数学与计算机学院江西赣州341000

可配置的业务流程模型通过隐藏、阻断或允许可配置业务过程模型中的某些片段来实现流程配置,在实际配置过程中可能会导致不正确的配置。针对这一问题,采用着色Petri网作为形式化模型表达业务过程模型,同时在流程的控制流加入数据流,将... 详细信息

可配置的业务流程模型通过隐藏、阻断或允许可配置业务过程模型中的某些片段来实现流程配置,在实际配置过程中可能会导致不正确的配置。针对这一问题,采用着色Petri网作为形式化模型表达业务过程模型,同时在流程的控制流加入数据流,将活动产生的数据流整合到基于数据流的业务流程模型,从而使待处理的业务过程模型具有数据流的语义。通过在业务流程模型中添加配置操作,将基于数据流的业务流程模型转换成基于数据的可配置业务流程模型。最后,使用ASK-CTL逻辑表达基于数据流的可配置业务过程模的型数据语义约束,然后应用着色Petri网的相应工具分析和验证了该模型的数据语义约束的属性正确性,表明了所提方法的有效性。

关键词：可配置业务流程流程配置着色Petri网数据流

在线全文

学校读者我要写书评

暂无评论

基于浅层网络预测的元标签校正方法

计算机应用 2024年第11期44卷 3364-3370页

作者：黄雨鑫黄贻望黄辉福建理工大学计算机科学与数学学院福州350118 铜仁学院大数据学院贵州铜仁554300 福建农业职业技术学院现代农业技术学院福州350119

针对深度神经网络(DNN)对含有噪声标签的图像数据具有记忆行为而导致的过拟合问题,提出一种基于浅层神经网络预测的元标签校正方法。该方法采用弱监督训练方式,通过设置标签重加权网络对噪声数据进行加权操作,利用元学习方法使模型动态... 详细信息

针对深度神经网络(DNN)对含有噪声标签的图像数据具有记忆行为而导致的过拟合问题,提出一种基于浅层神经网络预测的元标签校正方法。该方法采用弱监督训练方式,通过设置标签重加权网络对噪声数据进行加权操作,利用元学习方法使模型动态地学习噪声数据,并将模型中深层与浅层网络的预测输出作为伪标签训练模型,同时利用知识蒸馏算法使深层网络指导浅层网络训练,以有效缓解模型的记忆行为并提升模型鲁棒性。在CIFAR10/100、Clothing1M数据集上的实验结果表明,相较于元标签校正(MLC)方法,所提方法在对称噪声比例为60%与80%的CIFAR10数据集上的准确率分别提升了3.49、1.56个百分点;此外,在CIFAR100数据集的消融实验中,非对称噪声比例为40%时,所提方法比无预测标签训练的模型准确率最高提升了5.32个百分点,验证了所提方法的可行性与有效性。

关键词：噪声标签元学习标签校正标签重加权知识蒸馏