共查询到20条相似文献,搜索用时 687 毫秒
1.
2.
3.
4.
机器证明的回顾与展望 总被引:4,自引:0,他引:4
机器证明的回顾与展望中国科学院院士中国科学院成都计算机应用研究所研究员张景中机器证明及其应用,是我国攀登计划项目之一。项目核心内容主要是几何定理机器证明和非线性代数方程组理论、算法和应用。实际上,机器证明研究领域的范围要广泛得多。在国外更一般地叫做自... 相似文献
5.
6.
去年11月19~20日,由本刊牵头,.苏州市轻工业品设计研究所主持召开的“沪苏海洋生物科研产业化研讨会”在苏州举行。隔天的苏州日报头版在报道这次会议时用了“别开生面”一词,作为会议的牵线人,我的感觉是,这是一次务实的会议,是一次科技专家与科技企业家,基础应用研究与科研产业化之间跨地区交融互助的有益尝试.本次研讨会的主题是海洋生物科研如何产业化,议题事先由东道主苏州轻工所拟出,共有8项,包括:国内外开发海洋生物食品与保健食品的动向与信息及为此采用的高新技术;海藻糖保鲜剂的研究动向;海洋生物化妆品的开发信… 相似文献
7.
8.
1930年10月25日是中国科学社成立15周年纪念日,上海、杭州、苏州、沈阳、北平、广州等地社友会举行社庆活动.社友们齐声唱起了由赵元任谱曲的中国科学社社歌: 相似文献
9.
10.
11.
科学家发现.气候变暖正在促使部分高山上升得更快,原因是气温上升融化了沉重的冰川,地壳在摆脱了冰川的重量后上升得更快。科学家解释说,厚重的冰川迫使地壳下沉,一旦冰川消失,地壳便会反弹,失去冰川覆盖的山体会相对迅速地上升。 相似文献
13.
14.
15.
生活史进化和繁殖生态学是进化生物学领域的重要研究内容.20世纪90年代以来,国际上进化生态学研究的迅速崛起且异常活跃,极大地推进了该领域的发展.而在我国,有关的研究则非常缺乏,尚处于起步阶段.因此,一本能够反映该领域最新进展,系统介绍该领域主要研究内容的著作就显得非常必需.北京师范大学生命科学学院 相似文献
16.
现在我们面临着一些严重问题,危及我们的未来.为改变这种局面,科学家们在一个很广泛的领域内,对许多特殊问题正致力于艰苦卓绝的研究,但很多工作进展得不尽如人意.我认为这需要对科学家工作的最根本的出发点作一检查,并竭力地探索出若干思考科 相似文献
17.
中国的汽车发展太快了,快得令人猝不及防。
有一个怪现象已经让我们见怪不怪了,城市的道路天天在拓宽,停车场在拼命地建,可是我们的交通拥堵仍旧不见好转,相反却越发严重了。什么原因使然? 相似文献
18.
19.