杀戮机器：科莫多龙

带着两个孩子来这里，看来的确不够谨慎。我们刚在印度尼西亚东南部一个偏远岛上停泊下来，在接下来的5小时里，我们要在旱季的烈日下徒步穿越岩石嶙峋的暴露山脊。     

a-Si∶H/a-SiN_x∶H超晶格薄膜的光声谱

我们应用光声技术,研究a-Si:H/a-SiN_x:H超晶格薄膜中载流子的非辐射复合和量子尺寸效应,发现载流子的非辐射复合与超晶格薄膜中的缺阱有关;超晶格薄膜的光学能隙随着势阱宽度减小而增大。     

TYWK型驼峰控制系统在重钢的应用

TYWK控制系统可以实现车皮解体作业过程中的溜放进路和溜放速度的自动控制功能。     

定理机器证明思想的产生与发展

一、定理机器证明思想的产生与发展所谓定理的机器证明 ,是指使用计算机证明定理的成立 ,即把人证明定理的过程 ,通过一套符号体系加以形式化 ,变成一系列在计算机上自动实现的符号计算过程。其实质是把具有智能特点的推理演绎过程机械化。定理的机器证明是涉及人类智能问题的主要研究课题之一。从传统的手工证明到定理的机器证明 ,是现代数学思想方法的一次重大突破。机器证明大体上经历了这样一个过程 :公理化代数化坐标化机械化。近代的机器证明思想由莱布尼兹首先提出 ,并直接导源于他的定理证明机械化设想。到１９世纪末 ,希尔伯…     

柔性仿生机器鱼的复合推进结构设计

针对目前柔性仿生机器鱼推进结构单一等问题，文章针对性地进行了柔性仿生机器鱼的复合推进结构的设计，主要包括鱼身驱动推进结构、鱼身摆动推进结构、胸鳍扑动结构以及胸鳍浮潜结构，以提高柔性仿生机器鱼的推进效率；以及通过对所设计齿轮的校核，设计一款安全可靠、用于水下监测、环境保护的柔性仿生机器鱼。     

迎接纳米技术时代

微型机器人将会一次一个原子地制造钻石吗?从表面上看，这样的说法似乎荒谬至极，但却有可能成为现实：纳米技术是一项神奇的世界高科技，它的用途多得令人难以置信：可以治疗疾病、延缓衰老、清除有毒废料、增加世界食品供应，还可以修路、造汽车、建摩天大楼……纳米技术工程师们声称这些都能够成为现实，甚至有可能在21世纪上半叶结束之前实现。     

太空电站能否点亮未来

格拉泽的梦想1881年,美国科学家尼古拉·特斯拉(1856～1943年)给美国电器工程学会写了一封信,信中提出了太空中充满能量的观点,他说,"太空中充满着能量,假若它们是静态的,我们的希望自然没有用处,然而假若它们是动态的——我们知道,这一点可以肯定——那么现在就应该考虑用我们的机器去利用这种伟大的自然之力了。"     

关于智能、思维和人工智能的思考

在计算机科学的众多领域中，人工智能（AI）无疑是最富有挑战性和创造性的一个领域。多少年来，人们梦寐以求是让计算机象人那样会学习以获取解决问题所必需的知识，象人那样具有智能，能够进行创造性的思维。纵观AI发展过程，我们不难看到它既饱尝了成功的欢乐，也经历了争论、批评、阻力的困惑。现在，当面对处于低潮的AI进行思考的时候，我们从AI走过的道路里能够得到什么启示呢？AI要解决的问题是机器智能，什么是智能？怎样才能使机器具有智能？这些理所当然地成为AI工作者面对的问题。1关于图灵试验当谈到智能的时候，不能不涉及…