范全润 作品数:20 被引量:51 H指数:4 供职机构: 西安电子科技大学计算理论与技术研究所 更多>> 发文基金: 国家自然科学基金 陕西省自然科学基金 更多>> 相关领域: 自动化与计算机技术 天文地球 文化科学 电子电信 更多>>
基于分治的布尔可满足性判定 SAT是最著名的NPC问题。NPC类问题有两方面的特性,首先,这类问题的解可以在多项式时间复杂度内得到验证。其次,其它NP问题可以在多项式时间内转换为NPC问题来求解。因此,SAT判定技术的研究具有重要的理论意义。 S... 范全润关键词:布尔可满足性 分治法 合取范式 聚类分析 数据挖掘及其应用 被引量:2 2002年 本文介绍了数据挖掘的定义以及数据挖掘的三个过程 :数据预处理、数据建模和评估、模型应用 ,重点阐述了数据建模的三种主要技术 :关联规则、分类和聚类 ,最后对数据并不能挖掘在科学研究、金融、电信和 Internet上的应用进行了论述。 杨泽民 范全润关键词:数据挖掘 数据库 基于频繁项目集的多隶属聚类算法 被引量:1 2004年 通过分析目前的聚类算法 ,提出了多隶属聚类的概念 ;提出了一种基于频繁项目集的多隶属聚类算法 。 范全润 田林关键词:聚类 频繁项目集 基于聚类和划分的SAT分治判定 被引量:1 2015年 提出了一种将布尔公式划分为子句组来进行布尔可满足性判定的方法.CNF(conjunctive normal form)公式是可满足的当且仅当划分产生的每个子句组都是可满足的,因此,通过判定子句组的可满足性来判定原公式的可满足性,相当于用分治法将复杂问题分解为多个子问题来求解.这种分治判定方法一方面降低了原公式的可满足性判定复杂度;另一方面,由于子句组的判定可以并行,因而判定速度能够得到进一步的提高.对于不能直接产生布尔子句组划分的情形,提出了一种利用聚类技术将CNF公式聚类成多个簇,然后消去簇间的公共变量来产生子句组划分的方法. 范全润 段振华关键词:合取范式 布尔可满足性 聚类 基于EDA软件和FPGA的IP核保护技术 被引量:3 2009年 随着电路复杂性的增加,越来越多的设计者开始采用拥有知识产权的、设计良好的功能模块来加快系统开发。因此,需要相应的技术手段保护这些功能模块不被非法复制、篡改或窃取。针对FPGA开发中的知识产权保护问题,提出一种结合EDA软件和FPGA的IP(Intellectual Proterty)核保护方法,有效的防止IP核被窃取,以及防止最终在FPGA上实现设计的非法复制。 章礼宏 范全润关键词:知识产权 电子设计 FPGA IP核 一种布尔子句的两阶段聚类方法 2016年 针对布尔子句的聚类问题,根据合取范式布尔子句的特点,提出了一种两阶段的子句聚类方法.初始时每个子句被看作1个簇,第1阶段的聚类采用基于连接的方法,根据两个子句或者子句组之间的共同邻居的个数来决定是否要合并它们;第2阶段根据子句或者子句组之间的相似度来进行聚类.该方法的第1阶段采用全局的观点来实现子句的聚类,在一定程度上避免了聚类的局部性最优性,第2阶段利用相似度来决定是否合并两个簇,因而无需指定聚类结果中簇的个数.实验结果表明,该聚类方法得到的结果中公共变量的个数较少,聚类结果更好. 范全润 段振华关键词:子句 聚类 数据挖掘技术及其应用进展 被引量:11 2002年 数据挖掘就是要从数据中抽取出知识。首先阐述了数据挖掘的任务和方法 ,然后论述了数据挖掘面临的问题 ,给出了建议的研究方向 ,最后介绍了几个现有的数据挖掘工具和一些与数据挖掘研究相关的资源。 范全润 陈莉 杨泽民关键词:数据挖掘技术 关联规则分析 电子商务数据 计算机操作系统课程的教学研究 2012年 阐述操作系统课程体系、课程研究及教学情况,通过对操作系统教学情况的详细分析,提出对不同教学对象选择不同的教学内容和方法的观点。 秦海菲 徐庆生 范全润关键词:操作系统 课程体系 教学对象 教学内容 事务数据的多隶属聚类问题研究 聚类是将数据分组成为簇或类,使得处于同一个簇中的数据之间相似度较高,而处于不同簇的数据之间差别较大。人们对于聚类问题已经进行了深入的研究,提出了很多的算法来解决各种各样的聚类问题。目前的算法大体上可以分为两类,一类是硬聚... 范全润关键词:聚类算法 文献传递 应用驱动的操作系统教学研究 被引量:4 2013年 针对目前操作系统课程教学中存在的不足,提出一种应用驱动的操作系统教学模式,即教师布置一些有针对性的实验,促使学生学好操作系统基本理论并用理论知识指导编程实验,通过编程实验加深对理论知识的理解。 范全润 秦海菲关键词:操作系统 教学实践