研招网 > 四川研招网 > 中科院成都计算机应用研究所 > 招生简章

中国科学院成都计算机应用研究所2009年博士招生简章、专业目录和参考书目

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

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

一、报考条件

1、拥护中国共产党的领导,品德良好,遵纪守法,勤奋学习,愿意为社会主义现代化建设服务;
2、已获得硕士学位的在职人员;应届毕业的硕士生(最迟在入学前获得硕士学位);获得学士学位后六年或六年以上(从获得学士学位到博士生入学之日)并达到与硕士毕业生同等学力的人员;
3、身体健康状况符合规定的体检标准;
4、年龄一般不超过45周岁;
5、现役军人报考博士生,按中国人民解放军总政治部的规定办理。

二、报名及考试时间、地点

    我所2009年博士生招生仅秋季一次,录取的考生在2009年9月入学。考生报名前请跟导师取得联系。
报名时间:2008年12月-2009年2月 (具体时间请随时关注报名网站)
初试时间:2009年3月中下旬,具体时间和地点以准考证上的时间为准。

三、报名手续

    09年招生实行网上报名,(具体时间考生可登陆中国科学院研究生院网上报名站点http://wb.gucas.ac.cn/予以确定), 考生在网上报名后打印报名表、专家推荐书等。

    考生须在报名后向我所研究生部送交下列材料
1、报考攻读博士学位研究生登记表;
2、两位专家推荐书;
3、硕士课程学习成绩单,硕士学位论文摘要;
4、硕士学位证书复印件(应届毕业硕士生必须在入学前补交);
5、两张一寸黑白照片;
6、报名费100元;

    同等学力者不交3、4两项材料,但应当提供研究生课程进修班学习成绩单和在计算机类核心刊物上发表的学术论文(复印件)。 我所对报考人员所在单位送交的材料进行审查后,对符合条件的考生核发准考证。

四、考试科目及考试办法

    考试分初试和复试,初试采取笔试形式,每门课考试时间为3小时,考试科目有:
1、英语(不含听力);
2、两门专业课(详见招生专业目录);
3、同等学力考生复试时需加试政治和2门硕士学位主干课程(笔试);

五、录取原则

    我所根据国家和中国科学院下达的招生计划、各导师的招生情况、考生入学考试的成绩(含初试和复试)、硕士(本科)阶段的学习成绩、硕士(学士)学位论文和评议书,思想政治表现、业务素质以及身体健康状况确定录取名单,录取后学制为三到五年。

六、入学时间

    入学时间在2009年9月,具体报到时间以录取通知书为准。

七、培养方式

    实行在学期间不收培养费,学生参与导师指定的科研课题,以科研课题和工程项目为平台,产-学-研结合的培养方式,具体方式根据不同学科研究方向的特点有差别,可跟报考导师联系咨询。

八、毕业

    完成导师指定科研课题任务,达到规定毕业条件且通过答辩后,取得毕业资格,非定向培养研究生按应届毕业生规定双向选择就业单位。

九、其他未尽事宜参照国家和科学院相关规定执行。


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

2009年博士招生专业目录

 

专业名称及研究方向

导师

考试科目

(12人)

01 计算机自动推理与符号计算


02 人工智能与软件工程


03 计算机自动推理及其应用

杨路


张景中、冯勇


符红光、刘忠

1001英语2001计算机软件3001自动推理与符号计算

1001英语2001计算机软件3004离散数学

1001英语2002自动推理与符号计算3004离散数学

(报考01、02、03研究方向可任选本组任意一组考题)

04 编码与信息安全技术

05 形式刻画与验证

王晓京

吴尽昭

1001英语2001计算机软件3004离散数学

06 图象分析处理理论与软件设计

07 图象分析与机器视觉

付忠良

陈斌

1001英语2001计算机软件3003数字图象处理

08 嵌入式系统

09 软件过程技术与方法

古乐野

钟勇

1001英语2001计算机软件 3002软件工程与方法

10自动推理及其应用

陆征一

1001英语2001计算机软件或3001自动推理与符号计算

参 考 书 名 目

计算机软件

 1、《数据库系统基础教程》  清华大学出版社  史嘉权等译

 2、《数据结构与算法-面向对象C++ 设计模式》  电子工业出版社  胡广斌 王崧等译

软件工程
与方法

 《软件工程导论》(第三版)  清华大学出版社  张海藩

自动推理
与符号计算

 《非线性代数方程组与定理机器证明》  上海科技教育出版社(96年)  杨路 张景中

离散数学

 《离散数学》(第四版)电子工业出版社王孝喜等译

数字图象处理

 《数字图象处理》 电子工业出版社 (美)Kenneth R.Castleman著 朱志刚等译

注:英语由中国科学院研究生院统一命题,其他专业课由本所命题,博士学制为3到5年。

考研帮最新资讯更多

考研帮地方站

你可能会关心:

查看目标大学的更多信息

分数线、报录比、招生简章
一个都不能错过

× 关闭