前言：万博体育手机版客户端“211工程”三期建设自2008年9月全面启动实施以来，学校坚持“强化优势、突出特色、加强创新、重点突破”的建设方针，精心谋划，强化管理，积极组织开展重点学科项目建设，圆满完成了“211工程”三期的建设任务，较好地实现了“211工程”三期建设目标。为进一步发挥学校“211工程”项目建设效益，彰显重点学科建设成效，吉大新闻网协同学科建设办公室共同开展“211工程”三期建设巡礼，对建设情况进行全面展示和总结。

【“211工程”三期建设巡礼】“软件科学与智能信息处理”建设项目依托计算机科学与技术等学科，由计算机科学与技术学院建设。通过“211工程”三期建设，本项目围绕国家科技进步和国家重大需求，持续进行系统、深入研究，在符号计算与软件科学，智能信息处理，网络软件与信息安全，软件新技术和计算机仿真等领域获重要理论、技术突破，形成了富于创新、实力雄厚的高水平科研团队，取得了一批具有国际先进水平并产生重大经济、社会效益和生态效益的科研成果。显著提升了教师队伍的理论、技术创新能力，圆满完成了本期建设任务，达到了预期目标。

在科学研究方面，四年来共承担科研项目253项，经费4797万元，其中国家级项目46项，经费1442万元；获省部级奖项21项；获发明专利17项；发表学术论文1633篇，其中SCI收录106篇，EI收录797篇；出版学术专著3部。

在队伍建设与人才培养方面，进一步加大了人才培养和引进的力度，教育部新世纪优秀人才2人。

在教学方面，获吉林省教学成果一等奖1项，“数据结构与离散数学”国家级教学团队1个，国家级精品课2门，省级优秀教学团队3个，省级教学名师2名。

在学术交流方面，受欧盟项目“Erasmus Mundus External Cooperation Window (EMECW): Bridging the Gap”资助，符号计算与软件科学方向、智能信息处理方向和网络软件与信息安全方向在2008年-2010年期间先后派出30余名教师、研究生和本科生赴欧洲大学、研究所学习、交流。在此基础上，2011年又获得新的欧盟项目“One More Step”资助。主办包括“中日双边信息技术研讨会”、“系统生物学”、“癌症系统生物学”等5次国际学术会议，有170余人次参加国际学术会议。来自美国、英国、澳大利亚、意大利和日本等多个国家的知名专家、学者100余人次到本建设项目进行学术交流。

取得的标志性成果

1.自动推理及其应用研究。在自动推理、约束推理与优化等相关理论、算法及应用方面开展了系统深入的研究，取得一批在国内外具有影响力的代表性研究成果，并被国内外学者多次引用，对促进符号计算与自动推理的理论、方法研究具有重要意义；创造性的提出扩展规则推理方法，著名人工智能学者 Davis评价其是经典归结方法的互补方法。首次提出不完备情况下的诊断方法，攻克了不完备情况下离散事件基于模型诊断这一开问题；提出了带有两个连续时间窗口的诊断方法，离散事件系统的可诊断性判断方法和结合时间区间代数的诊断方法，部分成果发表在《AI Communications》以及人工智能会议权威AAAI和ECAI上。

2.智能决策与时空推理关键技术创新及应用。针对贝叶斯网络学习，提出了面向不完备数据，隐藏、连续变量，增量式和动态等一组高效贝叶斯网学习算法，提出多个针对诊断贝叶斯网的推理算法和基于进化策略的贝叶斯网学习算法，并用于农作物病虫害的主动和动态诊断，有效解决了贝叶斯网结构学习和贝叶斯网构建等难题，其中基于增量朴素贝叶斯网多分类器集成方法于2010年获国家发明专利授权；针对复杂网络分析，首次提出并解决了分布式网络社区结构挖掘问题，将Agent技术与数据挖掘技术有机结合起来，该工作发表在Agent领域国际顶级杂志《Autonomous Agents and Multi-Agent Systems》上，国际同行评价该工作：“对相关领域有重要贡献”；提出了多种面向大规模、符号、分布式和动态等不同种复杂网络的簇结构分析与识别方法，相关研究结果多次发表在《IEEE Transactions on Knowledge and Data Engineering》等数据挖掘领域的国际权威学术期刊上，被IEEE TKDE等著名国际期刊和WWW等著名国际权威会议多次引用；针对基于机器学习方法的专家系统，提出多种专家系统预测模型，并成功应用于乳腺癌诊断、甲状腺疾病诊断、肝炎疾病诊断和企业破产分析，相关论文发表在专家系统领域顶级期刊《Expert Systems With Applications PAKDD》和PAKDD国际会议上；针对现实世界中存在的复杂时空数据，围绕复杂时空建模、时空逻辑、时空推理及其应用等方面，提出可描述多维对象空间关系的MRCC理论、基于时空推理的多粒度时空数据模型和一种受限移动对象模型等，国外学者及《中国科学》、《Information Sciences》等权威期刊对这些工作给出了高度评价。首次研制出支持时空推理的WebGIS平台PMGIS，并基于PMGIS构建了吉林省示范区近10年的包括土壤、气象、水文等信息的农业综合时空数据库；以实现农业生产智能化、精准化为目标，基于智能决策和时空推理等方面的理论研究成果开展农业信息化应用研究，构建了100多个农业生产数据库、知识库、本体库和模型库；研制了精准施肥、价格预测、病虫害预测、农田管理区划分、耕地定位、效益分析、栽培和养殖等一批面向农业生产精细管理的智能系统。

3. 计算网格与网络安全关键技术研究及应用。针对机群计算、网格计算和云计算等大规模高性能计算系统的调度问题和安全性问题，开展了跨域并行作业的调度、资源协同分配、并行与分布式处理、入侵检测与防御、入侵容忍、分布式网络攻击源的追踪、PKI、基于身份加密、基于身份广播加密、计算机取证等领域的关键问题研究。开发了国际上第一个社区元调度程序，作为网格标准工具集的作业执行服务组件发布，并被写入IBM 白皮书。提出了基于信任服务的IBE体系，实现了多入侵检测系统的协同检测和它们间的更高层次关联协作。获1项美国发明专利、1项中国发明专利，出版专著2部，获教育部科技进步奖一等奖1项，吉林省科技进步奖一等奖1项，中国商业联合会科技进步奖一等奖1项，中国商业联合会科技创新奖一等奖1项。

4. 生物识别新技术。在味觉信号识别领域，针对高维非线性味觉信号的辨识问题，提出了一种基于模糊加权型推理法的神经网络，对于五种基本味觉和混合味觉信号识别取得了非常好的识别效果。该项成果推动了计算机味觉的研究朝实用化水准发展，以实现对食品、饮料等味道进行评价和自动识别，对食品加工业的企业管理、产品质量的检测、口味和味道的评定，对食品的贮藏、贩卖过程中的质量品质的检测等有十分重要的意义；在生物识别技术研究领域，对复杂背景下动态多人脸检测与跟踪、人脸和虹膜确认与识别算法、大规模人脸和虹膜数据库的快速检索识别等方面都进行了较为深入的研究和开发工作。

5.车联网的可信数据通信与可靠应用服务平台。本成果对车载信息系统，可信计算、可信移动终端与可信网络架构，新型网络接入、授权、计费，基于策略的网络管理，车联网闭环仿真环境，支持混杂网络的车联网通信中间件，移动IPv6应用于车联网领域等关键技术进行攻关，构建了由接入评估系统、数据传输系统和应用服务系统三部分组成的平台，实现了高安全的可信评估与修复体系、快速高效的信息传输功能，保障了该平台所提供服务的保密性、真实性与完整性。

先后获吉林省科技进步二等奖2项、长春市科技进步特等奖1项、中国商业联合会全国商业科技进步一等奖1项和发明专利授权5项。

6.软件形式化方法及应用。主要针对本体工程的本体形式语义、本体建模、本体演化、本体映射、本体服务等关键方法和技术，以及文档驱动的需求工程技术进行了较为系统的研究。基于上述研究成果，将其应用于无线电管理、语义服务、软件工程等多个领域，为相关实际应用提供理论支撑与技术支持，取得了良好的经济和社会效益。

7. 模型驱动的网络软件开发技术研究。围绕模型驱动的网络软件开发方法及网络数据整合展开研究，攻克了领域分析、领域建模、模型转换、模型映射等环节的技术难点，提出了框架定制的模型驱动软件生成方法、基于可执行元建模语言的两阶段领域建模方法、基于规则的网络数据采集处理方法等，研发了模型驱动的网络软件开发平台，较好地解决了大型网络由于规模大、复杂度高、易变性高带来的软件变化滞后、灵活性及扩展性不能适应网络变化的难题。先后获吉林省科技进步奖一等奖1项、中国商业联合会服务业科技创新奖一等奖1项，发明发利授权4项。

8.群智能优化方法及其应用针对于广义TSP问题，扩展传统粒子群算法，提出了用于求解广义TSP问题的广义离散粒子群算法。该方法可以在统一的模式下求解广义TSP和TSP两类典型旅行商问题，避免了一般算法求解广义TSP问题时维数膨胀的问题，显著地减少了计算量。该项工作自发表以来，连续8个季度排名在《Information Processing Letters》刊物最热门25篇论文的前3位；自2008年以来，在Scopus上被他人引用81次。