欧阳丹彤

作品数：170被引量：595H指数：12
导出分析报告
供职机构：吉林大学计算机科学与技术学院更多>>
发文主题：基于模型诊断人工智能离散事件系统本体集合枚举树更多>>
发文领域：自动化与计算机技术电子电信机械工程文化科学更多>>
发文期刊：《计算机教育》《南京大学学报（自然科学版）》《东北师大学报（自然科学版）》《吉林大学学报（信息科学版）》更多>>
所获基金：国家自然科学基金吉林省科技发展计划基金国家教育部博士点基金浙江省自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于增量信息交互的极小不可满足子集求解算法
《计算机研究与发展》2025年第5期1226-1234,共9页蒋璐宇 欧阳丹彤 张奇 太然 张立明 
国家自然科学基金项目(62076108,61872159);吉林省教育厅科学研究项目(JJKH20211106KJ,JJKH20211103KJ)。
极小不可满足子集(minimal unsatisfiable subset,MUS)的求解是理论计算机科学的重要问题.由于MUS的个数随问题规模呈指数级增长,现有算法致力于在合适的时间限制内求解出尽可能多的MUS.在庞大的搜索空间中,选择合适的节点来扩展可以大...
关键词：极小不可满足子集 极大可满足子集 不可行分析 碰集 对偶性 
融合基数约束与单次入队的基于模型诊断方法
《计算机研究与发展》2025年第2期408-417,共10页青杨 欧阳丹彤 周慧思 张立明 
国家自然科学基金项目(62076108,61872159);吉林省教育厅项目(JJKH20211106,JJKH20211103KJ)。
基于模型诊断(MBD)方法在不同的环境中有越来越多的用途,包括软件故障定位、电子表格的调试、Web服务和硬件设计,以及生物系统的分析等.受这些不同用途的启发,近年来MBD算法改进成效显著.然而,对体系庞大、结构复杂的系统,需要对现有方...
关键词：基于模型诊断 压缩模型 基于基数约束的算法 顶层诊断解 单次入队 
地理链接数据的空间拓扑完整性验证
《吉林大学学报(理学版)》2025年第1期60-66,共7页卢禹博 叶育鑫 欧阳丹彤 
吉林省科技厅基础研究项目(批准号:20220101114JC).
为能准确且快捷地验证地理链接数据多重实体空间拓扑关系的完整性,提出一种基于RCC8模型的饱和推理方法,用于检验多重空间拓扑关系是否具有冲突.该方法应用推理规则,将关系对进行两两组合推理,逐步推导出潜在空间关系并对推理结果进行检...
关键词：地理链接数据 空间完整性约束 饱和式推理 完整性验证 空间约束组件 
足够接近的旅行商问题研究综述
《吉林大学学报(理学版)》2025年第1期114-123,共10页史丰源 欧阳丹彤 张立明 
国家自然科学基金(批准号:62076108,61872159,61672261).
考虑组合优化问题中的经典问题旅行商问题(traveling salesman problem,TSP)的变体——足够接近的旅行商问题(close-enough traveling salesman probl em,CETSP).首先,综合介绍TSP和CETSP的历史、求解方法和算法,包括精确算法(如分支定...
关键词：足够接近的旅行商问题 启发式算法 路径规划 模型应用 
超大规模集成电路布图规划方法研究综述
《吉林大学学报(理学版)》2025年第1期139-150,共12页史梓慧 欧阳丹彤 张立明 
国家自然科学基金(批准号:62076108,61872159,61672261).
综述超大规模集成电路(VLSI)布图规划方法,探讨布图规划在集成电路设计中的重要性,以及其对芯片面积、互连线长和设计周期的影响.首先,回顾集成电路技术的发展历程,强调布图规划在确定模块位置、尺寸和旋转角度中的作用.其次,详细介绍4...
关键词：超大规模集成电路 布图规划 布局 构造法 分析法 迭代法 机器学习方法 
针对MUS求解问题的加强剪枝策略
《软件学报》2024年第4期1964-1979,共16页蒋璐宇 欧阳丹彤 董博文 张立明 
国家自然科学基金(62076108,61872159,61972360)。
极小不可满足子集(minimal unsatisfiable subsets,MUS)的求解是布尔可满足性问题中的一个重要子问题.对于一个给定的不可满足问题,其MUS的求解能够反映出问题中导致其不可满足的关键原因.然而,MUS的求解是一项极其耗时的任务,不同的剪...
关键词：极小不可满足子集 极大可满足子集 MUS枚举 幂集探索 不可行分析 
融合协同过滤的神经Bandits推荐算法被引量：3
《吉林大学学报（理学版）》2024年第1期92-99,共8页张婷婷 欧阳丹彤 孙成林 白洪涛 
吉林省自然科学基金(批准号:20210101181JC)。
针对数据稀疏性和“冷启动”对协同过滤的限制以及现有的协同多臂老虎机算法不适用于非线性奖励函数的问题,提出一种融合协同过滤的神经Ba ndits推荐算法COEENet.首先,采用双神经网络结构学习预期奖励及潜在增益;其次,考虑邻居协同作用...
关键词：协同过滤 多臂老虎机算法 推荐系统 冷启动 
强表达描述逻辑本体的后继式公理定位研究
《软件学报》2023年第8期3574-3586,共13页李静 欧阳丹彤 叶育鑫 
国家自然科学基金(42050103,62076108)。
公理定位能够挖掘描述逻辑中可解释的缺陷,并为逻辑蕴含结果寻找隐藏的理由,因此在描述逻辑研究中引起了广泛的关注.平衡描述逻辑表达能力和推理机求解效率问题一直是公理定位研究的重点内容.基于一种后继式判定算法,从白盒和黑盒两个...
关键词：公理定位 后继式判定算法 定位规则 白盒与黑盒 
结合测试点质量的混合测试点集合约简方法
《电子学报》2023年第6期1552-1561,共10页欧阳丹彤 许斌 董博文 周慧思 张立明 
国家自然科学基金(No.62076108,No.61872159,No.61672261);吉林省教育厅科学研究项目(No.JJKH20211106KJ,No.JJKH20211103KJ)。
集成电路中插入测试点是芯片测试中不可或缺的环节,其方法是通过在电路上插入一定数量的测试点来提高芯片的故障覆盖率.集成电路测试是整个设计流程中不可或缺的关键步骤之一.为了进一步缩短测试时间和提高芯片良品率,越来越多的国内外...
关键词：测试点插入 测试点 约简 电路测试 集成电路 
基于正向软标签的轻量级关系抽取被引量：1
《吉林大学学报（理学版）》2023年第2期317-324,共8页宋函宇 欧阳丹彤 叶育鑫 
国家自然科学基金(批准号:42050103,62076108,U19A2061).
针对关系抽取模型规模越来越大、耗时越来越长的问题,提出一种知识筛选机制,利用筛选出的正向软标签构造轻量级关系抽取模型.首先,利用知识蒸馏提取出知识并将其存储在软标签中,为避免知识蒸馏中教师与学生间差距大导致的知识难吸收问题...
关键词：轻量级关系抽取 知识筛选 正向软标签 知识蒸馏 余弦相似度 
全选清除导出
共17页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部