关于机器证明

本文简介机器证明的理论与实践．并附一篇关于用模型论方法证明无限地图的四色定理．     

平台科学评估，挖掘耗能大户节能潜力

节能型电机研发公共服务平台对上海爱知锻造有限公司出具的评估报告显示，预计该公司每年可节电357．7万KWh、节电率达14．8％，节能潜力相当可观。     

耕地现状调查与潜力分析技术研究——以深圳市宝安区为例

耕地现状调查与潜力分析的重要性毋庸讳言,笔者以参与宝安区耕地现状调查与潜力分析项目为契机,从流程标准化的角度探讨了这一问题,这些方法经过笔者的理论提炼,可以应用到全国的其他地区,尤其是文章第四部分的耕地潜力评价分析方法。全文以项目经验为线索,希望建立的是一整套技术流程和方法,具有较高的理论价值和实践可操作性,相信对从事相关工作的同行有着重要的借鉴意义。     

盐碱地造林技术措施

<正>盐碱地是石河子地区主要低产土壤,也是现今大面积退耕还林造林的主要区域。挖掘这些低产土壤的经济潜力,发展林业综合经营,提高低产土壤的经济效益,是林业发展的一项重要任务。从1998年到2008年,石河子林业站通过开     

探索二氧化碳转化成甲醇的新途径

正编辑圈点:在阳光照射下,把二氧化碳变成可燃物,似乎是植物的专长。但现在人们也做到了这一点。尽管这项成果暂不具备盈利能力,但靠人工光合作用制造燃料肯定是一条     

冷聚变的新突破

意大利物理学家AndreaRossi日前在博罗尼亚大学公开演示了一台“冷核聚变”机器E-Cat。这台机器输入了不多的能量，但是引发了氢和镍原子的反应，使其输出了输入能量的10倍还多，因为尚未通过专利申请，Rossi现在拒绝公布E-Cat的工作细节。     

《我的机器人女友》中绘制的人机交互版图

机器帝国无限扩张，人类与机器之间将拥有一个怎样的未来？《我的机器人女友》最具创意的莫过于机器帝国的崛起带给人机伦理维度的思考。所描画的人机爱情图景为实现机器人情感提供了鲜活的载体，为绘制人机交互版图提供了可能路径。     

机器雄狮

刚进入虚拟世界,晨晨就碰上了强大的敌人——机器雄狮。现在,让我们动手制作这头凶猛的狮子吧。1将部件1折叠、黏合成狮子的身体。2将部件2和3折叠、黏合成狮子的头部。     

数字出版方兴未艾

本文从数字出版的定义界定入手，重点将数字出版和传统出版在出版方式、受众群体及阅读习惯等方面进行比较分析，在明确数字出版具备的特点和优势的同时，提出了该产业在发展过程中存在的问题及其发展趋势。     

曲麻莱扎家同那矿区金地球化学特征及找矿潜力预测

扎家同那金矿是青海省地质调查院2005年开展1∶5万矿调工作时发现的,矿床点总体位于大场特大型金矿的东侧。随着近几年的勘查工作,扎家同那金矿资源量已超过20 t。该金矿的发现源于1∶5万金地球化学异常的指示,从地质体金丰度背景、1∶20万、1∶5万水系沉积物测量到1∶1万土壤测量,金地球化学异常特征明显,异常重现性好,直接指导金矿找矿,找矿潜力大。