重要通知
所在位置:首页 >> 高校院所
院校名称: 中国科学院成都计算机应用研究所 级别: 国家级
地 址: 成都人民南路四段九号 邮 编: 610041
联系人: 张海盛 电 话: 028-5217501
传 真: 028-52229357 E-mail: jss2@ntr.cdb.ac.cn
网 址: http://未填
单位简介:

中国科学院成都计算机应用研究所(简称成都计算所)成立于1958年11月。建所之初为中国科学院四川省分院数学研究所,1960年更名为中国科学院四川省分院计算机技术研究所,1981年启用现名。1997年全所职工352人,其中科技人员287人,有中国科学院院士1人,研究员(包括正研级高级工程师)14人,副研究员、高级工程师60人,中级科技人员129人。 
研究开发设有4个系统工程部和2个研究中心。即计算机会议系统工程部、烟草计算机应用研究开发中心、综合应用研究开发部、CIMS实验室和数学与计算机科学理论研究中心、计算中心等。有与联合国大学软件所联建的“自动推理与程序生存实验室”。分别从事信息系统集成,网络与通讯,智能软件,办公自动化,工业控制与检测,数学与计算机科学理论,自动推理等方面的研究与开发。 
所办公司面向市场开展产品销售、技术服务等工作;计算机培训学校(中心)面向社会培养计算机应用人才。 
成都计算所设有计算机应用、计算机软件和应用数学3个硕士学位点,并与四川联合大学联合培养博士生。所先后向国外派遣访问学者约60人,与世界20多个国家和地区的科研机构、大专院校有学术交流、合作关系,所拥有包括IBM3081大型计算机在内的各种科研设备。 
1997年全所在研项目65项,其中国家“攀登计划”、“863”、自然科学基金等纵向项目17项,横向合同项目48项。上述项目中新开项目44项,延续项目21项。全年结题、鉴定、验收项目15项,获得科技成果15项。获奖项目2项,“几何定理机器证明理论与算法的新进展”获国家自然科学二等奖。 
中国科学院院士张景中和杨路研究员共同完成的“几何定理机器证明理论与算法”课题,创立了计算机生成几何定理可读证明的原理和算法推出了世界上第一个能够自动产生几何定理可读证明的算法和程序,被国际机器证明专家视为自动推理领域30多年来最重要的工作,是计算机发展处理几何问题能力道路上的里程碑。在此成果的基础上1997年研究开发了智能教育软件,得到国家教委和著名专家的高度评价,称之为国内最高水平的教育软件。 
1997年成都计算所承担了中共中央办公厅下达的研制新型选举系统的工作,新型选举系统在党的第十五次全国代表大会上使用获得圆满成功,受到了中央办公厅和中国科学院的表彰。系统成套设备在上海、青岛、浙江、云南推广的基础上,1997年又推广到深圳,为我国会议自动化建设做出了贡献。 
面向烟草行业的CIMS技术,继续保持国内领先的优势。涪陵卷烟厂CIMS应用工程顺利完成,卷烟生产过程自动控制技术的研究开发取得新的进展。数据采集、加香控制、发酵温度控制、在线计量检测等项技术设备实现了更新换代;多媒体电视监控技术进一步完善和提高。应用范围已遍及国内10多个省市的上百家烟草企业,社会经济效益显著,是成都计算所经费的主要来源之一。

 

已发布的成果:

推荐院校:

合作单位

主办:湖州迈坦信息科技有限公司 协办:德清县科学技术局 版权所有:湖州迈坦信息科技有限公司、德清县科学技术局

地址:浙江省德清县武康镇中兴北路1088号7号楼4楼 浙ICP备18044431号-1