赖永
- 作品数：14 被引量：34H指数：3
- 供职机构：吉林大学更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金吉林省自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 一种小样本细粒度图像分类方法及系统
- 本发明适用于图像分类技术领域，提供了一种小样本细粒度图像分类方法及系统，分类方法包括以下步骤：对支持图像和查询图像进行特征提取；运用自注意力机制进行特征的自我重构；利用支持特征重建查询特征，并利用查询特征重建支持特征；计...
- 黄晶杨博姜英东赖永
- 一种小样本细粒度图像分类方法及系统
- 本发明适用于图像分类技术领域，提供了一种小样本细粒度图像分类方法及系统，分类方法包括以下步骤：对支持图像和查询图像进行特征提取；运用自注意力机制进行特征的自我重构；利用支持特征重建查询特征，并利用查询特征重建支持特征；计...
- 黄晶杨博姜英东赖永
- 一种面向有序命题的信息融合新方法
- 本发明公开了一种面向有序命题的信息融合新方法，围绕有序命题类问题，提出了基本支持函数的凸度、扩展无知、基本(或准-基本)支持函数λ*的信息心、信息熵，基本支持函数间的相容性等概念。提出与求质心不同的λ*“信息心”计算新方...
- 刘大有杨博朱允刚赖永王生生刘杰李丽娜董飒陈慧灵金弟刘腾飞
- 基于和积网络深度自动编码器的短文本情感分析方法
- 本发明公开一种基于和积网络深度自动编码器的短文本情感分析方法，该方法包括以下步骤：一、预处理短文本数据；二、利用doc2vec模型训练句向量；三、利用和积网络深度编码器对句向量进行编码，得到句向量的分层抽象特征；四、利用...
- 王生生张航赖永
- 基于和积网络深度自动编码器的短文本情感分析方法
- 本发明公开一种基于和积网络深度自动编码器的短文本情感分析方法，该方法包括以下步骤：一、预处理短文本数据；二、利用doc2vec模型训练句向量；三、利用和积网络深度编码器对句向量进行编码，得到句向量的分层抽象特征；四、利用...
- 王生生张航赖永
- 基于扩展规则的模型计数与智能规划方法被引量：23
- 2009年
- 提出命题扩展规则方法ER的一种高效实现.在此基础上,研究了扩展规则方法在3个领域的应用:提出一次性求解一系列相近SAT问题的快速算法nER;提出基于扩展规则的模型计数算法#ER,同时结合#ER和#DPLL的优点提出算法#CDE;设计基于扩展规则方法的Conformant规划系统.实验结果表明:使用nER算法一次性求解的时间远小于使用ER方法单独求解每个问题的总时间;对于互补因子较高的问题,#ER优于#DPLL;#CDE融合了#ER和#DPLL的优点.研究表明扩展规则方法对于互补因子较高的问题具有较大的优势,具有广阔的应用前景.
- 赖永欧阳丹彤蔡敦波吕帅
- 基于EPCCL理论的知识编译方法研究
- 本文的主要工作是对基于EPCCL理论的知识编译方法进行了研究。具体内容包括:提出了一种新的关于EPCCL理论的编译框架,并基于该框架提出了三个具有不同特点的编译算法KCDP、KCMS和KCOR;为了更好地与其他知识编译语...
- 赖永
- 关键词：知识表示与推理知识编译
- 基于单侧松弛最优传输与纯点基精确定位的密集检测方法
- 本文提出的基于单侧松弛最优传输与纯点基精确定位的密集检测方法，其主要步骤如下：步骤一、预训练一种金字塔视觉自注意力模型。定义好每一层中，视觉自注意力模型的规模大小。高效回归头与多尺度扩张卷积组成预测模块。步骤二、提出一种...
- 王生生梁铭阔赖永
- 带蕴含文字的有序二元决策图
- 本文对有序二元决策图（ordered binary decision diagram，OBDD）进行了泛化，提出了一种新的知识编译语言—带蕴含文字的有序二元决策图（OBDD with impliedliterals，OB...
- 赖永
- C2E:一个高性能的EPCCL编译器被引量：11
- 2013年
- 提出一个新的基于DPLL的编译算法KCDP,从而成功地将EPCCL理论和SAT求解联系起来,使得目前很多应用在基于DPLL的SAT求解器中先进的技术都能被引入到EPCCL理论的编译中以提高编译效率;提出规约规则,并基于该规则,提出能在多项式时间内终止的REDUCE算法对EPCCL理论进行规约;结合KCDP和REDUCE算法,实现了编译器C2E,并在随机问题和国际通用的测试用例上测试了C2E的编译效率和编译质量,实验结果表明,无论从编译效率还是编译质量来说,C2E都是一个高性能的EPCCL编译器.
- 刘大有赖永林海
- 关键词：知识编译
