专业介绍#吉林大学硕士研究生专业介绍#计算机软件与理论

jing_ssy

吉林大学研究生计算机软件与理论专业介绍如下咨询QQ、微信：2544906。研究工作先后获吉林省科技进步一等奖和二等奖各1项、长春市科技进步一等奖1项。
智能信息处理
主要研究内容：智能规划与自动推理、约束程序、智能决策支持系统等研究领域的科学研究与软件开发工作。
主要成果：研究成果居国内领先地位。现有教师12人，其中教授（博士生导师）3人，两人获教育部“新世纪优秀人才支持计划”支持，不间断地承担过近20项国家自然科学基金课题，在研国家和省部级课题4项、横向软件开发项目4项。承担《人工智能原理》等研究生课程和《离散数学》等本科生课程，其中《离散数学》为国家精品课程。
软件形式化
主要研究内容：软件形式化方法、语义网、程序分析技术、各种程序设计语言与实现技术、移动代码安全、并发语义、软件检查等。
主要成果：承担并完成了国家自然科学基金项目4项、教育部博士点基金1项、省部级项目2项、协作项目3项、省级校级教改项目3项、发表学术论文70余篇、编著学术著作13部。承担研究生课程《形式语义学》、《程序分析》，本科生课程《编译原理》和《高级语言程序设计》。《编译原理》课程被评为吉林大学精品课、吉林省精品课程和教育部-微软精品课程，获得三项省级奖励。
软件工程
主要研究内容：组件技术和软件复用技术、基于软件体系结构的软件开发方法、软件维护和软件设计改进方法、软件演化方法和软件自动化技术、软件重构方法和技术、软件测试、面向方面的编程技术、基于移动代理的软件开发方法、软件工程环境和软件开发辅助工具等。
主要成果：近年来，研究组成员完成国家重点攻关项目和国家自然科学基金项目4项，在国内核心刊物或国际会议上发表论文50余篇。
数据库与web智能
主要研究内容：数据库理论、机器学习、数据挖掘与Web挖掘、网络搜索引擎。
主要成果：完成国家自然科学基金项目“基于Petri网的主动型面向对象数据库管理系统(1997-1999)”、吉林省科技发展计划项目“第二代网络搜索引擎的研制(2000-2003)”。目前正承担国家自然科学基金项目“具有增量性质的移动式主题爬行系统(2004-2006)”。在国际会议和《软件学报》等核心刊物上发表论文40余篇，其中被三大检索结构检索论文9篇，出版教材和学术专著4部。获得国家级和部委级奖励5项。
数据库与智能网络
主要研究内容：面向高维、海量数据的智能处理理论，数据挖掘基础理论与应用，Internet组播路由技术，并行程序设计，并行工程与工程数据库系统，计算机支持协同工作与设计。目前的研究重点在于嵌入式数据库理论与技术，数据挖掘与信息融合技术，面向网络计算的大规模仿真和海量数据处理技术。
主要成果：承担国家攻关项目2项，国家863计划项目1项，国家自然科学基金项目5项，省部级及其它科研项目几十项。获国家科技进步二等奖1项，机械工业部科技进步一等奖1项，及多项省部级其它奖项。近期在《计算机学报》、《软件学报》等权威学术刊物上发表论文三十余篇，在国际会议、核心期刊上发表论文一百五十余篇。