刘思光

作品数:7被引量:34H指数:4
导出分析报告
供职机构:吉林大学计算机科学与技术学院更多>>
发文主题:基于模型诊断SAT问题集合枚举树V4加权融合更多>>
发文领域:自动化与计算机技术更多>>
发文期刊:《计算机研究与发展》《软件学报》《吉林大学学报(工学版)》《吉林大学学报(理学版)》更多>>
所获基金:国家自然科学基金吉林省科技发展计划基金中国博士后科学基金吉林省科技厅发展计划项目更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-7
视图:
排序:
改进多尺度特征的YOLO_v4目标检测方法被引量:17
《吉林大学学报(理学版)》2022年第6期1349-1355,共7页欧阳继红 王梓明 刘思光 
国家自然科学基金(批准号:61876071);吉林省科技发展计划项目(批准号:20180201003SF;20190701031GH);吉林省能源局项目(批准号:3D516L921421)。
针对YOLO_v4模型因颈部网络串行连接的特征会逐渐被稀释,从而影响模型性能的问题,提出一种改进多尺度特征的YOLO_v4目标检测方法.该方法通过引入中间层的方式重构了YOLO_v4颈部网络结构,再通过中间层参与后续特征融合实现特征跨级连接,...
关键词:目标检测 深度学习 多尺度特征 加权融合 
糖尿病视网膜病变分期双分支混合注意力决策网络被引量:5
《吉林大学学报(工学版)》2022年第3期648-656,共9页欧阳继红 郭泽琪 刘思光 
吉林省科技厅发展计划项目(20190701031GH,20180201003SF);国家自然科学基金项目(61876071);吉林省能源局项目(3D516L921421)。
为了缓解大规模糖尿病视网膜病变(DR)筛查需求下医疗资源不足的问题,本文提出了糖尿病视网膜病变分期双分支混合注意力决策网络(BiRAD-Net)。该网络分为特征提取和分类两个阶段:在特征提取阶段,引入混合注意力机制抑制噪声,并设计了特...
关键词:计算机应用 深度学习 糖尿病视网膜病变分期 混合注意力机制 特征分级决策网络 
极小碰集求解中候选解极小性判定方法被引量:5
《软件学报》2018年第12期3733-3746,共14页刘思光 欧阳丹彤 张立明 
国家自然科学基金(61133011;61402196;61272208;61003101;61170092);中国博士后科学基金(2013M541302);吉林省科技发展计划基金(20140520067JH);浙江师范大学计算机软件与理论省级重中之重学科开放基金(ZSDZZZZXK12)~~
极小碰集问题是人工智能中的重要问题,应用广泛.碰集极小性判定,作为极小碰集求解过程中的关键步骤,效率的高低会对极小碰集求解算法的耗时产生直接影响.现有的极小碰集求解算法主要使用子集检测方法进行碰集极小性判定.针对子集检测方...
关键词:基于模型诊断 极小碰集 碰集极小性判定 预剪枝 增量方法 
结合DOEC极小化策略的SAT求解极小碰集方法被引量:4
《计算机研究与发展》2018年第6期1273-1281,共9页王荣全 欧阳丹彤 王艺源 刘思光 张立明 
国家自然科学基金项目(61672261;61502199;61402196;61373052);浙江省自然科学基金项目(LY16F020004)~~
在基于模型诊断中,诊断解通常是根据极小冲突集合簇进行相应的计算得到所有的极小碰集,所以提高极小碰集的求解效率是模型诊断的核心问题.因此提出结合基于元素覆盖集合度(degree of element coverage,DOEC)极小化策略的SAT求解极小碰...
关键词:基于模型诊断 极小碰集 可满足性问题 碰集极小化 集合覆盖 
结合SE-Tree结构特征的极小碰集求解算法被引量:3
《计算机研究与发展》2016年第11期2556-2566,共11页刘思光 欧阳丹彤 王艺源 贾凤雨 张立明 
国家自然科学基金项目(61133011;61402196;61272208;61003101;61170092);中国博士后科学基金项目(2013M541302);吉林省科技发展计划基金项目(20140520067JH);浙江师范大学计算机软件与理论省级重中之重学科开放基金项目(ZSDZZZZXK12)~~
在结合SE-Tree计算集合簇极小碰集的过程中,现有算法会对大量不会产生碰集的冗余节点进行访问.这无疑将影响算法的效率,冗余节点比例越高,影响越大.通过对SE-Tree中叶节点的特殊性质的分析,并结合现有碰集算法有解空间中冗余节点的特征...
关键词:基于模型诊断 极小碰集 集合枚举树 辅助剪枝树 无解空间剪枝 
结合互补度的基于扩展规则#SAT问题求解方法被引量:4
《计算机研究与发展》2016年第7期1596-1604,共9页欧阳丹彤 贾凤雨 刘思光 张立明 
国家自然科学基金项目(61402196;61272208;61133011;61003101;61170092);中国博士后科学基金项目(2013M541302);吉林省科技发展计划基金项目(20140520067JH)~~
#SAT问题又称模型计数(model counting)问题是人工智能领域的研究热点之一,在人工智能领域被广泛应用.在对基于扩展规则的#SAT问题求解方法 CER(counting models using extension rules)深入研究的基础上,提出一种结合互补度的#SAT问题...
关键词:扩展规则 模型计数 CER方法 互补度 集合枚举树 
结合扩展规则重构的#SAT问题增量求解方法被引量:4
《软件学报》2015年第12期3117-3129,共13页贾凤雨 欧阳丹彤 张立明 刘思光 
国家自然科学基金(61272208;61133011;61402196;61003101;61170092);国家教育部博士点专项基金(2010 0061110031);中国博士后科学基金(2013M541302);吉林省科技发展计划(20101501;20140520067JH)~~
#SAT问题是人工智能中的重要问题,在人工智能领域被广泛应用.在对基于扩展规则的模型计数求解方法CER深入研究的基础上,重构CER中使用的计算公式,并对其正确性进行了证明;提出极大项相交集和扩展极大项相交集的概念,并给出根据两者关系...
关键词:扩展规则 模型计数 极大项相交集 互补表 增量方法 
检索报告 对象比较 聚类工具 使用帮助 返回顶部