范全润  博士

　　范全润博士，云南宣威人，西安电子科技大学，计算机应用技术专业，主要研究方向电子设计自动化。

　　一、科研项目

　　1.云南省自然科学基金(高校联合)项目1项

　　2.云南省教育厅科研基金项目1项。

      3.国家自然科学基金1项。

　　二、论文发表

　　[1]   Fan Quanrun.  Using Min-cut for CNF Formula Partition.MIDA2017.

　　[2]   范全润，段振华.一种布尔子句的两阶段聚类方法，西安电子科技大学学报，2016，43(3).  (EI检索)

　　[3]  范全润,段振华. 基于聚类和划分的SAT分治判定.软件学报，2015，26(9) (EI检索)

　　[4] Quanrun Fan, Zhenhua Duan, Cong Tian and Hongwei Du, Clustering and Partition Based Divide and Conquer for SAT Solving. IEEE MSN 2014.  (EI检索)

　　[5] 范全润，潘峰. 针对网络服务提供商的一种流量分类和应用框架. 网络安全技术与应用，2013年第2期.

　　[6]  范全润，秦海菲. 应用驱动的操作系统教学研究.计算机教育,2013年第15期.

　　[7] Fan Quanrun,Pan Feng.Technology Mapping for Heterogeneous FPGA in Different EDA Stages,  Applied Mechanics and Materials Vols. 229-231 (2012) pp.1866-1869. （EI检索）

　　[8]Quanrun Fan, Feng Pan  and Xindong Duan, Using Logic Synthesis and Circuit Reasoning for Equivalence Checking, Advanced Manufacturing Systems.2011（EI检索）

　　[9] Fan Quanrun, Sun Jianyong. SAT for Heterogeneous FPGA Technology Mapping, International Conference on Electric Information and Control Engineering, 2011. （EI检索）

 [10] Quanrun Fan, Yu Gu, Feng Pan. Technology Mapping for Heterogeneous FPGA with Design Tool Support,  The 2011 International Conference on System Design and Data Processing, 2011. （EI检索）

　　[11] FAN Quanrun, PAN Feng. A Network Traffic Classification Framework for ISPs, The 2010 International Conference on Information, Electronic and Computer Science, 2010.（ISTP检索）

　　[12]   FAN Quanrun, PAN Feng. Small-large Ratio Based Multi-subjected Clustering, The Chinese Symposium on Information Science and Technology, 2010. （EI检索）

　　[13]  范全润,段振华，徐国培.用AIG推理检验组合电路的等价性. 西安电子科技大学学报.2009年5期（EI检索）

　　三、获奖情况

　　2006年获云南省科技进步奖（三等）

　　2009年获陕西省科技进步奖（二等）