中国科学成都计算机应用研究所2008年硕士招生简章

     中国科学院成都计算机应用研究所成立于1958年，是长期从事计算机信息化、应用集成化、智能化的技术开发型研究所，承担国家和地方的计算机软件及计算机应用研究项目，面向市场，提供高科技创新成果、计算机应用及软件的完整解决方案，开发相关产品，同时从事相关的应用基础研究工作。具有雄厚的技术实力和先进的研发设备。取得《几何定理机器证明理论与算法的新进展》、《新型计算机会议系统》等科技成果1000余项，获奖200余项。

    本所拥有包括中科院院士在内的信息技术领域一流人才队伍，师资力量强，科研条件好，课题饱满，学习、生活条件良好。现有计算机软件与理论博士学位授予点，应用数学、计算机软件与理论、计算机应用技术硕士学位授予点和计算机科学与技术博士后科研流动站。

一、培养目标

　　为了培养拥护中国共产党的领导，拥护社会主义制度，为社会主义建设服务，在本门学科内掌握坚实的基础理论和系统的专门知识，具有从事科学研究、教学和独立担负专门技术工作能力的高级专门人才。

二、报考条件

　　（一）符合下列条件的，可以报名参加国家组织的全国统一招生考试：
　　1．拥护中国共产党的领导，愿为社会主义现代化建设服务，品德良好，遵纪守法。
　　2．考生的学历必须符合下列条件之一：
    （1）国家承认学历的应届本科毕业生；
    （2）具有国家承认的大学本科毕业学历的人员（包括通过高等自学考试或国家承认学历的成人高校获得本科毕业文凭的人员）；
（3）已获硕士、博士学位的人员；
    （4）达到与大学本科毕业生同等学力的人员。
同等学力是指：
① 获得国家承认的大专毕业学历后，满2年（从大专毕业到录取为硕士生当年的9月1日，下同），达到与大学本科毕业生同等学力。
② 国家承认学历的本科结业生；
③ 成人高校应届本科毕业生。
同等学历人员报考应具备的条件：
① 已取得报考专业大学本科8门以上主干课程的合格成绩（由教务部门出具成绩证明或出具本科自学考试成绩通知单）；
② 已在公开出版的核心学术期刊发表过本专业或相近专业的学术论文；或获得过与报考专业相关的省级以上科研成果奖（为主要完成人）；或主持过省级以上科研课题。　　
3．年龄一般不超过40岁。
4．身体健康状况符合规定的体检标准。
5．考生所在单位应对考生的政治态度、思想觉悟、道德品质做出全面鉴定。对有突出成绩或犯过错误的考生，应提供翔实的材料。
　　（二)我所可以接收具有推荐免试资格的重点高校优秀应届本科毕业生免试为硕士生。在高校取得推荐免试资格的考生请直接与我所研招办联系接收事宜，并按照我所要求提交推荐免试材料和进行相关考核。被确定接收的推荐免试考生应按时进行网上报名。

三、报名

    考生报名前应仔细核对本人是否符合报考条件。在复试阶段将进行报考资格审查，凡不符合报考条件的考生将不予复试和录取，相关后果由考生本人承担。
第一阶段：以教育部公布的网报时间，一律采取网上报名；
    报名和查询网址：中国研究生招生信息网（http://www.chinayz.com.cn）、中国高等教育学生信息网(http://www.chsi.com.cn)。
考生登录网上报名主页后，在选择招生单位及报名点过程中弹出的重要公告信息，务必要认真阅读。凡不按公告要求报名、网报信息误填、错填或填报虚假信息而造成不能考试或复试的后果，由考生本人承担。
    第二阶段：现场确认
    时间：以教育部规定的时间为准
    地点：各省（市、自治区）高校招生办公室指定的报名点。
    现场确认手续：凭本人身份证（或军官证）、本科毕业证书和学士学位证书（应届生凭学生证）确认报考资格，并办理交费和现场照相等手续。
    被接收的推荐免试生必须在教育部规定的报名时间内到本人所在学校的报考点进行网上报名，并办理现场确认手续。被接收的推荐免试生不得再参加全国统一考试。

四、初试

　　初试日期：以准考证公布的日期为准。
初试科目：计算机专业:政治理论，外国语，数学（一）和一门专业课。
应用数学:政治理论、外国语、数学分析、线形代数与解析几何。
初试地点：本人所在的省（区、市）高校招生办公室指定的考场。　　

五、复试

1.我所采用差额复试，复试比例和形式另行通知。
　 2.以同等学力资格报考的考生，须加试两至三门大学本专业的主干课程（笔试）。

六、体格检查

　　考生根据通知，复试时到指定的医院进行体格检查。

七、录取

　　我所根据考生入学考试的成绩并结合其平时学习成绩和思想政治表现、业务素质以及身体健康状况确定录取名单。定向、委托培养硕士生实行合同制。我所与用人单位之间，必须在录取前分别签署三方定向培养合同。

八、学习年限

　　脱产硕士生学习年限一般为2年半至3年。
九、硕博连读与提前攻搏
    硕博连读与提前攻搏的学习年限一般为5年。报考的考生，应按我所的要求在参加复试前书面提出硕博连读申请，硕博连读生选拔和确认另行通知。

十、违纪处罚

    对于考生申报虚假材料、考试作弊及其它违反考试纪律的行为，按教育部《国家教育考试违规处理办法》进行严肃处理。


十一、毕业生就业

　　定向或委托培养硕士生毕业后回定向或委托单位。
　　非定向硕士生根据社会需要和学以致用的原则，采用毕业研究生与用人单位“双向选择”的方式，落实就业去向。

十二、其他

    1．考生因报考研究生与原所在单位或委培、定向及服务合同单位产生的纠纷由考生自行处理。若因上述问题使招生单位无法调取考生档案，造成考生不能复试或无法被录取的后果，我所不承担责任。
    2．现役军人报考硕士生，按解放军总政治部的规定办理。
    3．本简章如有与国家、中国科学院的招生政策不符的，以国家和中国科学院政策为准。
    以上要求如有与教育部和中国科学院有关规定不符合的的地方，以教育部和中国科学院相关规定为准。

单位代码：80153
地址：成都市人民南路四段九号
邮编：610041
联系部门：研究生部
电话：028-85224290；028-85249933-8502
联系人：汤琳
E-mail:yzb@casit.com.cn

张景中导师简介
研究方向介绍：

　　计算机自动推理是计算机人工智能的一个重要分支学科。其研究目标主要是为了促进数理科学、技术科学中研究、教学和应用工作中的推理活动的机械化，用计算机代替或辅助人们进行高级的脑力劳动，如科研、教学和其他技术活动中的探索性、创造性的活动。这是近三十年来世界上在计算机科学领域最活跃的研究方向之一。其研究方法主要是数理逻辑、符号代数和有关的数学知识以及其他计算机技术如专家系统、数据库技术的综合运用，依理论－算法－程序的路线反复深入。这个方向的进展对计算机智能软件的研究和开发的作用是不言而喻的．

主要经历：

1979.9-1981.6  中国科技大学数学系，讲师 。

1981.7-1985.4  中国科技大学数学系 ，副教授。

1985.4-1986.12   中科院成都分院数理室 ，副研究员。

1986.12-1990.7   中科院成都分院数理室、 研究员、室主任。

1990.7 –1995.10 中科院成都计算机应用研究所  研究员、 副所长。

1991.7   被批准为享受政府特殊津贴(100元/月)专家。

1993.10 -- 任四川大学博士导师。

1995.10 -- 当选为中国科学院院士。

1995.11 — 任中国科学院成都计算机应用研究所名誉所长。

1996.1 —  任广州师范学院教育软件研究所所长。

研究成果及获奖情况：

　　1990年张景中、杨路提出了定理机器证明的数值并行方法，在世界上首次用计算机实现了有严密理论依据的几何定理例证法。方法优点之一是占用内存小，至今是唯一可用袖珍计算机证明非平凡几何定理的方法，也是机器证明中唯一可高度并行的算法。在国外文献中称此法为“张杨定理”。用此法发现的新定理引起国外专文讨论。

　　1992年张景中等提出了几何定理可读证明自动生成的理论、算法和方法，并实现为通用的微机程序。用此新方法已经证明近千个非平凡的几何定理，其中有几十个非欧几何的新定理，对多数定理计算机自动生成了简捷优美的证明。国外著名计算机科学家在公开发表的出版物中称这一工作是使计算机能像处理算术那样处理几何的发展道路上的里程碑，是自动推理领域三十年来最重要的工作。以此成果为主的项目获中国科学院 1995 年自然科学一等奖，1997年国家自然科学二等奖。

杨路导师简介
研究方向介绍：

　　计算机自动推理（含机器证明）、几何算法、智能软件技术。

主要经历：

1.1959年毕业于北京大学数学系。

2.研究员、计算机软件与理论博士生导师、数学博士生导师。

3.中国科学院“不等式机器证明与机器发现”知识创新项目首席科学家。

4.国家973项目“数学机械化与自动推理平台”（G1998040600）专家委员会成员。

5.国家973项目“构造性实代数几何与不等式自动推理”（G1998030602）主持人。

工作简历：

1979 — 1985 中国科技大学数学系，讲师、副教授。

1986 — 1991 中国科学院成都数理科学研究室，研究员、副主任。

1992 —      中国科学院成都计算机应用研究所，研究员。

1992 — 1996 中科院成都计算机所，数学与计算机科学研究中心，主任。

1992 — 1996 国家85攀登项目“机器证明及其应用” 专家委员会成员。

1993 年      任IMO中国国家代表队领队、主教练。

1995 —      北京大学数学科学学院信息科学系，教授、系主任（兼）。

1995 —      广州市数学与人工智能中心主任、广州大学软件所，教授（兼）。

1997 — 1998 国家95攀登项目“数学机械化的研究与应用” 首席科学家。

1988 — 1989 澳大利亚国立大学等四所大学，客座教授。

1990 — 1991 意大利理论物理中心、德国Bielefeld大学等，客座教授。

1993 — 1994 美国纽约州立大学、Wichita州立大学等，客座教授。

1995年11月访问联合国大学国际软件所。

1995年12月访问新加坡国立大学。

1996年7月  访问奥地利符号计算研究所。

1997年9月  访问台北中中央研究院、台北清华大学等多个单位。

1998．3-7月  法国国家科研中心，客座研究员。

研究成果及获奖情况：

1.1995年获中国科学院自然科学一等奖。

2.1997年获国家自然科学二等奖。

3.2001年获中国第8届专利博览会金奖。

4.2003年获全国“五一”劳动奖章。

王晓宇导师简介

研究方向介绍：

      计算机自动检测与视觉系统主要涉及基于计算机应用技术的工业自动化检测与控制技术、基于图像处理分析和人工智能的工业视觉系统相关理论、技术的研究与应用系统开发，目前主要集中在工业高速在线自动检测、高速图像自动识别技术的研究与应用系统开发。

主要经历:

    　电子科技大学硕士，研究员，享受国务院政府特殊津贴专家。历任中国科学院成都计算机应用研究所第六研究室副主任、主任、副所长、研究员，中科院成都信息技术有限公司董事长、研究员。

研究及获奖情况：

　　1、  卷烟生产数据微机自动检测与管理系统，获1992年四川省科技进步一等奖。

　　2、  WYJ—Ⅲ型高速机群联网与多屏显示系统，获1991年中科院科技进步二等奖。

　　3、  分布式微机实时检测控制系统，获1988年中科院科技进步三等奖。

　　4、  印钞号码实时检测系统，获2000年中国人民银行科技进步二等奖。

　　5、  新型计算机选举系统，获2004年四川省科技进步一等奖。

联系方式:

　　Email: wxy@casit.com.cn

　　Tel: 028-85249900-8508

符红光导师简介

研究方向介绍：

　　研究自动推理的理论、算法及程序自动生成的方法和应用。研究内容包括基于符号计算和逻辑推理的定理机器证明和自动发现，机器人学，自然语言和图形的计算机理解，以及人工智能程序的自动生成及其实现。

教育经历:

1986 毕业于四川大学数学系计算数学专业。

1986年-1989年 中国科学院分院数理室应用数学专业，硕士学位。

1995年-1996年 澳门联合国大学国际软件技术研究所访问学者。

1996年-1999年 四川大学，基础数学师从杨路研究员，博士学位。

1999,7-1999,10 美国纽约州立大学石溪分校高级信息管理培训。

工作经历:

1996 - 1997 年，中科院成都计算机应用研究所副研究员 。

1998 - 现在，中科院成都计算机应用研究所研究员。

2001 - 现在，中科院成都计算机应用研究所副所长，所学术委员会副主任。

研究成果及获奖情况:

1.  采用几何不变量方法，成功地解决了关节机器人的反运动学问题的符号解。

2.  1997年 “定理机器证明理论与算法的新进展”项目，国家自然科学二等奖。

3.  1995年“定理机器证明理论与算法的新进展”项目，科学院自然科学一等奖。

4.  主持研发的《数学实验》通过国家教育部中、小学教材审定委员会审定。

5.  主持研发的《数学实验》获2001年中国软件行业协会教育软件类排名第一。

6.  2002年四川省第七届青年科技奖 。

7.  四川省学术技术带头人后备人选。

联系方式:

Email: Fu_hongguang@hotmail.com

Tel: 028-85249933-8515

王晓京导师简介

主要研究方向：

1.编码与密码理论与应用。

2.数字认证技术

3.计算机自动推理与信息安全

工作经历：

    理学博士,研究员,博士生导师,中国科学院研究生院教授，成都市科技顾问团顾问, 四川省科技厅电子信息专家组成员, 四川中科信息技术公司、中国科学院成都计算机应用研究所研究员、科技委主任，先后在计算站、中科院成都计算所、日本横滨大学工学部、日本东京大学工业科学研究所、四川中科信息技术有限公司工作，历任研究实习员、助理研究员、副研究员、以及东京大学和国立横滨大学客座研究员等职。

研究成果及获奖情况：

    参加过“三峡工程可行性研究”等国家85、95重大科技攻关项目，主持子专题。目前承担着中国科学院知识创新项目的子课题研究和四川省重点科技项目研究等工作。

    在编码与密码方面，与日本东京大学与横滨国立大学合作，提出了全关联超长纠错码寻找的矩阵法，该项工作引起日本学者的注意，曾得到东京大学和国立横滨大学的科研基金的特别支持，以及中国科学院的科研基金支持。

    在信息安全技术研究方面,与英国阿斯顿大学计算机科学系合作，提出了基于离散动力系的新型密码体制和信息安全技术。该研究也得到王宽诚基金项目支持以及四川省重点科技项目的支持。
   

    在计算机自动推理和人工智能方面,开发出国内第一个基于自动推理的智能化学教学软件，该软件首创化学物名与分子式双向自动翻译推理技术、化学式与分子结构计算机自动推理理解和校正技术、并有化学方程式自动推理配平、化学知识库和题库开放等首创的智能型功能。

    此外,研究兴趣还包括：计算机科学-脑科学-科学哲学、人工智能与知识工程、组合代数与集成最优化等交叉领域在国内外发表研究论文40多篇，合作专著一本(科学出版社1992年出版)；

联系方式:

付忠良导师简介

研究方向介绍：

   图像分析处理理论与软件设计主要研究图象分析处理、图象识别、三维视觉等相关理论、实现技术、算法设计及软件方法，目前重点在高速图像分析处理算法设计、机器视觉技术与软件实现、高速工业在线基于图象的检测系统设计与开发，涉及图象信息高速采集、传输、处理、识别、工业在线检测、控制等问题。

工作经历：

   中科院成都信息技术有限公司副总经理、党委委员、研究员、博士生导师。汉族，1967年1月生于重庆合川，1987年在四川大学获理学学士学位，1990 年在中国科学院成都计算机应用研究所获计算机软件硕士学位。历任中科院成都计算机应用研究所研究室副主任、主任，研究所转制成公司后任部门经理、总经理助理，副总经理。目前兼任中国科学院成都计算机应用研究所学术委员会委员，中国科学院研究生院兼职教授，中国科学院成都教育基地学术指导委员会委员，成都市科技顾问团顾问，四川省科青联理事，中国科学院青联委员，《计算机应用》编委等职。

研究及获奖情况：

    国务院政府特殊津贴，中国科学院科技进步二等奖，四川省科技进步一等奖，中国人民银行科技发展二等奖，成都市科技进步二等奖，四川省青年科技奖，四川省优秀科技工作者，四川省学术与技术带头人后备人、中国科学院“西部之光”人才，中国科学院成都分院首届“十佳优秀青年”。

  联系方式:

  Email: Fzliang@netease.com

  Tel: 028-85249933-8317

钟勇导师简介
钟勇，男，1966年11月10日出生，籍贯四川岳池。1989年成都理工学院应用数学系本科毕业参加工作,1994年成都理工学院应用数学专业硕士毕业进入中科院成都计算机应用研究所工作，2002年获得计算机软件与理论专业博士学位，现任职四川中科院信息技术有限公司研究员、博士导师、软件与通信事业部经理，高级咨询师，担任过程序员、高级程序员、系统分析员、系统管理员、技术经理、项目经理、经理。从事软件开发、项目管理及团队管理工作达10多年。

    在科研及学术方面，长期从事计算机应用与计算机软件的科研开发及应用推广工作，现代集成制造系统(CIMS)理论、技术与应用；工作流技术、BPM技术与应用；软件工程与过程方法技术（敏捷方法、CMM、软件重用技术等），辅助建模、设计（UML、RUP等）与开发技术，软件质量管理与控制技术；软件与工程过程评测方法与技术，数据仓库技术、体系结构、多维分析与数据挖掘技术与应用；基于J2EE技术、Web服务和 EIP构架的企业信息化平台技术与实现；工作流技术、BPM技术与应用等方面有深入研究，达到了较高的水平。熟悉软件设计或管理工具如Project、Rational Rose、PowerDesigner、VSS以及开发工具C＋＋、PowerBuilder、JSP等，在软件过程改进（SPI）领域，通过ISO、 CMM高级培训，他不仅对CMM连续表述等进行深入研究，而且不断将其科研成果应用于我所的软件过程管理工作中。推进软件质量保证体系的建立与运行，有效地提高了产品和服务的质量，降低了经营成本。先后在专业期刊、学术会议上发表专业技术论文10多篇，培养或协助培养了10名硕士研究生。先后在40个项目中担任技术骨干，其中包括国家自然科学基金项目、863重大项目、“八五”、“九五”、“十五”项目）和横向合作项目，共获得经费（或合同额）约4500 万元。为这些科研、应用项目的顺利完成做出了重要贡献，并获得中国科学院科技进步三等奖、获国家863计划CIMS应用主题先进集体和四川省 CAD/CIMS应用工程先进集体奖。

    注重将技术研究与应用开发相结合,以制造业为研究重点，开展CIMS技术研究与应用开发，先后承担了包括4项国家863/CIMS应用示范工程在内的十余项CIMS应用工程，成为行业CIMS应用中的知名专家，为多家企业或事业单位进行过信息化建设规划、方案、设计与咨询。以ERP软件商品化为目标，推出 ERP／OA／CRM等多个产品，包括我国第一个面向混合制造业的商品化ERP软件—思联RMS和面向政府、企事业单位现代办公的办公自动化商品化软件－思联OA，并获得了国家版权局的著作权两项、专利两项。这些软件已在玉溪红塔集团、剑南春集团、南京卷烟厂等知名的大中型企业进行了30多次推广应用，取得显著的经济效益，成为科技转化为生产力的典型范例。

联系方式:

Email: Zhongyong@cimslabsoft.com

Tel :028-85249933-8217

陈斌导师简介

研究方向介绍:

    图像分析与机器视觉技术是人工智能技术的重要分支，主要涉及视频流处理、图像处理、模式识别、图像理解、三维视觉等方面的问题。目前我们的研究兴趣主要是工业图像的实时图案分析、字符模式识别、智能视觉控制等。

教育即工作经历:

1987年-1992年,清华大学，计算机科学与技术系，学士学位.

1998年-2001年,四川大学，图形图像处理专业，硕士学位.

2001年-2005年 中国科学院研究生院，人工智能与软件专业，博士学位

2000年11月破格晋升为副研究员.

2004年6月破格晋升为研究员.

2006年11月被聘为计算机软件与理论专业博士导师.

研究及获奖情况：

    2003中国人民银行科技发展二等奖，2004中国人民银行科技发展二等奖，2005中国人民银行科技发展二等奖，成都市科技进步二等奖，四川省学术与技术带头人后备人选、四川省技术创新带头人，中国科学院“西部之光”人才，四川省青联委员，《计算机应用》编委。

联系方式:

Email: bchen@casit.com.cn

Tel: 028-85249933-8711

冯勇导师简介
研究方向介绍:

研究符号与数值混合计算的理论、算法及在定理机器证明和以及在信息领域中的应用。研究内容包括：以符号和数值混合计算为基础，解决自动推理和定理机器证明中以及信息安全领域中一系列难题。

教育经历:

1983年-1987年四川师范大学数学系,获学士学位.

1990年-1993年华中理工大学数学系计算数学专业，获硕士学位.

2000年-2003年中科院成都计算所计算机软件与理论，获博士学位.

工作经历:

1987年-1990年西昌农业专科学校,助教.

1993年-1994年成都计算机应用研究所，研究实习员.

1994年-2000年成都计算机应用研究所，助理研究员

1997年-1997 香港理工大学数学系,访问学者.

2000年-2004年 成都计算机应用研究所，副研究员，硕士导师

2004年-现在， 成都计算机应用研究所，研究员，博士生导师

2003年—现在，成都计算机应用研究所自动推理室主任，中国科学院“不等式机器证明与机器发现”知识创新项目负责人。

研究及获奖情况:

       工作十多年来，先后完成了“多维问题数值解新技术”（国家自然科学基金19171086）“数值解多维问题的分裂外推新技术”（国家自然科学基金 19471075）、“基于区域分解的有限元分裂外推法”（国家自然科学基金19771078）、区域分解并行算法（国家“863计划” 863-306-05-01-02）、实几何与实代数的高效能算法（国家973项目2004CB318003），“求解高维问题的有限元分裂外推技术” （中科院“九五”青年科学基金）、气井水锥数值模拟（石油天然气总公司的“九五”项目）和盆地数值模拟等国家重大项目。

      开发的软件主要有:三维两相气井水锥数值模拟软件、三维两相运移聚集史数值模拟软件和基于Linux 的高性能符号代数计算类库。.同时，在国内外发表论文20多篇。

.

email:Yongfeng@casit.ac.cn  

tel:028-85227084