计算机国内权威期刊

姓名： 赖永 性别： 男 职称： 副教授 最高学位： 博士 所研究方向： 人工智能，具体包括知识表示与推理、易处理学习、概率图模型等讲授课程： 《数据结构》（课程链接）《算法分析》（课程链接）科研项目： 负责自然科学基金青年基金、博士后面上项目各一项学术论文：[1] Yong Lai*, Dayou Liu, Minghao Yin: New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition (Extended Abstract) In: Proceeding of Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI-17), 5010- (CCF推荐为A类会议，人工智能领域顶级会议，口头报告20分钟)[2] Yong Lai*, Dayou Liu, Minghao Y New Canonical Representations by Augmenting OBDDs with Conjunctive D Journal of Artificial Intelligence Research, 2017, 58: 453- (CCF推荐为B类期刊，人工智能领域顶级期刊之一)[3] Dayou Liu, Bo Yang*, Shang Gao*, Yungang Zhu, Yong L Intelligent CPSS and its application to health care SCIENCE CHINA Information Sciences, 2016, 59(5): 050103 (CCF推荐为B类期刊)[4] Shengsheng Wang, Changji Wen, Yong Lai*, Yiting Liu, Dayou L Interactive Activity Learning from Trajectories with Qualitative Spatio-Temporal R Chinese Journal of Electronics, 2015, 24(3): 508-512 (SCI: CM9KL)[5] 刘大有, 赖永*, 王生生 Tableau算法的优化及模型规约技术 计算机学报, 2014, 37(8): 1647-1657 (计算机学科国内权威期刊，EI: 201436063113)[6] Yong Lai, Dayou Liu*, Shengsheng W Reduced ordered binary decision diagram with implied literals: a new knowledge compilation Knowledge and Information Systems, 2013, 35(3): 665- (CCF推荐为B类期刊，SCI: 136PQ)[7] 刘大有*, 赖永, 林海 C2E: 一个高性能的EPCCL编译器 计算机学报, 2013, 36(6): 1254- (计算机学科国内权威期刊，EI: 20132716471292)[8] 赖永, 刘大有* 一种有效的分层加权库编译方法 软件学报, 2012, 23(10): 2550- (计算机学科国内权威期刊，EI: 20124615671333)[9] 赖永, 欧阳丹彤*, 蔡敦波, 吕帅 基于扩展规则的模型计数与智能规划方法 计算机研究与发展, 2009, 46(3): 459- (计算机学科国内权威期刊，EI: 20091712051749)社会兼职：AAAI-19 Program Committee memberKSEM-18 Organizing Committee member

《计算机仿真》，《计算机测量与控制》，《计算机工程与应用》。内容简介：计算机三大顶级期刊以应用为中心、以微处理器为基础，软硬件可裁剪的，适应应用系统对功能、可靠性、成本、体积、功耗等综合性严格要求的专用计算机系统。计算机三大顶级期刊一般由嵌入式微处理器、外围硬件设备、嵌入式操作系统以及用户的应用程序等四个部分组成。相关信息：操作系统是管理、控制和监督计算机软、硬件资源协调运行的程序系统，由一系列具有不同控制和管理功能的程序组成，它是直接运行在计算机硬件上的、最基本的系统软件，是系统软件的核心。操作系统是计算机发展中的产物，它的主要目的有两个：一是方便用户使用计算机，是用户和计算机的接口。比如用户键入一条简单的命令就能自动完成复杂的功能，这就是操作系统帮助的结果。二是统一管理计算机系统的全部资源，合理组织计算机工作流程，以便充分、合理地发挥计算机的效率。

推荐《计算机科学》，核心期刊，以下是关于该杂志的简介和投稿须知，希望有所帮助：《计算机科学》（月刊）创刊于1974年1月，由重庆西南信息有限公司（原科技部西南信息中心）主管主办，是中国计算机学会（CCF）会刊。主编陈国良，系中国科学院院士、全国首届高等学校国家教学名师。主要报道国内外计算机科学与技术的发展动态，涉及面广的方法论与技术和反映新苗头、能起承先启后作用的研究成果。