工具类服务
编辑部专用服务
作者专用服务
王浩与机器证明
机器证明是人工智能的一个重要研究领域,人工智能作为一门新兴学科,是自然科学与社会科学的交叉学科,是逻辑学、思维科学、生理学、心理学、计算机科学、电子学、语言学、教育学等多学科相互渗透的结果.20世纪以来,数理逻辑的发展和完善、计算机科学的产生和发展为人工智能的产生提供了基础.机器证明是把人类证明定理的过程通过一套符号体系加以形式化,变成一系列能在计算机上自动实现的符号演算过程,即把具有智能特点的推理演算过程机械化.纽厄尔、西蒙和肖三人提出的"逻辑理论家"程序开创了定理机器证明这一分支,著名逻辑学家、计算机科学家王浩也为这一领域的发展做出了突出贡献,成为定理机器证明的开创者之一.王浩于1958年设计了三个逻辑定理证明程序,程序Ⅰ给出了命题演算的一个证明判定程序,它能根据命题是否是定理打印出一个证明或一个反证;程序Ⅱ用于处理具有最小范围形式的AE谓词演算,这个程序指令机器从基本符号形成自己的关于命题演算的命题并选出重要的定理;程序Ⅲ是为带等词的整个谓词演算所编写的大一点的程序的一部分.王浩用这三个程序在计算机上用了不到9分钟时间就证明了怀特海和罗素合著的《数学原理》中一阶逻辑的全部定理(将近400条),为此他获得了1983年国际人工智能联合会颁发的第一届"数学定理机械证明里程碑奖".王浩的贡献不仅在于他在机器上用相当快的速度证明了这些定理,而且还在于他表明了机器在一个广泛的研究和发展领域中的巨大潜力.他的一些有关机器证明的精辟论点,诸如以量的复杂取代质的困难,以及基础机证与特例机证应有区别等等,也是发人深思和使人深受启迪的.王浩还第一次明确提出了"走向数学的机械化"的口号,促进了数学基础研究的发展.
学科专业：
授予学位：
学位授予单位：
导师姓名：
学位年度：
本文读者也读过
相关检索词
万方数据知识服务平台--国家科技支撑计划资助项目（编号：2006BAH03B01）(C)北京万方数据股份有限公司
万方数据电子出版社超声电化学协同处理难沉降煤泥水的实验研究--《煤炭工程》2015年05期
超声电化学协同处理难沉降煤泥水的实验研究
【摘要】：为了强化难沉降煤泥水的絮凝沉降,使用超声电化学法对其进行预处理,用上清液浊度和沉降速度作评价指标,分析了电极、电解质、超声能量密度、超声时间四个因素对实验结果的影响。利用接触角仪和影像分析仪表征了超声电化学处理前后煤泥润湿性和絮团形貌,结果表明:该方法能强化煤泥水絮凝沉降,上清液浊度较单独电化学预处理降低5.88NTU,沉降速度提高2cm/min。最佳超声电化学条件为:阴极选用不锈钢,阳极选用石墨,硫酸镁为电解质,超声时间4min,超声能量密度0.5W/cm3。
【作者单位】：
【关键词】：
【基金】：
【分类号】：TD94【正文快照】：
随着对选煤厂洗水闭路循环及环境保护要求的日益提高,煤泥水处理已成为制约选煤厂发展的关键环节。煤泥水是由粒度、形状、密度、岩相、矿物组成和表面性质不同的颗粒与水混合构成的分散悬浮体系,煤泥的粒度非常小、密度低,甚至以胶体的形式存在,煤泥表面荷负电,同性电荷的斥
欢迎：、、)
支持CAJ、PDF文件格式，仅支持PDF格式
【参考文献】
中国期刊全文数据库
康文泽,路迈西,李哲,胡军;[J];煤炭科学技术;2005年10期
朱红,王淀佐,李虎林,欧泽深;[J];煤炭学报;2000年03期
【共引文献】
中国期刊全文数据库
康文泽;丁淑芳;胡军;;[J];黑龙江科技学院学报;2010年03期
康文泽;沈永宇;;[J];黑龙江科技学院学报;2012年03期
蒲文秀,赵炜,孔金泳,郝俊杰,陈修奇,李文辉,刘军;[J];洁净煤技术;2005年01期
王光辉;陈雪;匡亚莉;申迎松;;[J];煤炭工程;2012年02期
马力强;陈清如;;[J];煤炭科学技术;2011年04期
朱红,王淀佐,李虎林,欧泽深;[J];煤炭学报;2000年03期
朱红,杨玉芬,戴春爱,王淀佐,欧泽深;[J];煤炭学报;2003年06期
康文泽;王慧;孔小红;吕玉庭;胡军;;[J];煤炭学报;2008年01期
杨玉芬,朱红,陈清如;[J];煤炭转化;2003年02期
崔馨;杨穆;张欣欣;高鸿毅;王戈;;[J];化学通报;2012年09期
中国重要会议论文全文数据库
董宪姝;牛东方;姚素玲;路畅;;[A];2011年全国选煤学术交流会论文集[C];2011年
中国博士学位论文全文数据库
郭红玉;[D];河南理工大学;2011年
李哲;[D];中国矿业大学（北京）;2010年
王海锋;[D];中国矿业大学;2010年
张成联;[D];中国矿业大学(北京);2012年
王博涛;[D];中国矿业大学（北京）;2013年
刘令云;[D];安徽理工大学;2013年
中国硕士学位论文全文数据库
董宪姝;[D];太原理工大学;2002年
朱英;[D];北京化工大学;2000年
张福凯;[D];重庆大学;2005年
岳紫龙;[D];贵州大学;2007年
郭琼;[D];中国地质大学（北京）;2009年
荀海鑫;[D];黑龙江科技学院;2009年
武乐鹏;[D];太原理工大学;2010年
赵晴;[D];安徽理工大学;2012年
朱蒙恩;[D];长安大学;2012年
赵国飞;[D];太原理工大学;2013年
【二级参考文献】
中国期刊全文数据库
董晓丹,王恩德,王晨煜;[J];安全与环境学报;2002年01期
阚小华,赵济强;[J];电镀与环保;2003年01期
陈海燕;[J];广东化工;2004年02期
吴星五,高廷耀;[J];中国给水排水;2002年06期
张萍;王建中;;[J];甘肃联合大学学报(自然科学版);2006年03期
陈希慧,王志江,黄初升,蔡民廷;[J];广西大学学报(自然科学版);2003年02期
陈武,杨昌柱,梅平,董玲玲,袁谷;[J];工业水处理;2004年08期
李传运,闫怀国,赵慧敏,张俊贞,安鼎年;[J];工业水处理;1998年05期
张桂芬,吴琳,曲翔滨;[J];环境保护科学;1997年06期
杨岳平,宋爽;[J];环境保护;2000年08期
中国硕士学位论文全文数据库
董宪姝;[D];太原理工大学;2002年
【相似文献】
中国期刊全文数据库
王少会,徐初阳;[J];安徽理工大学学报(自然科学版);2004年S1期
王少会,徐初阳;[J];矿业研究与开发;2004年04期
聂容春,徐初阳,郭立颖;[J];煤炭科学技术;2005年02期
金明;[J];选煤技术;2005年02期
方立春;;[J];煤矿现代化;2006年02期
安琦;何志明;贾慧;;[J];矿山机械;2006年07期
周云峰;胡永红;韩建军;;[J];采矿技术;2006年03期
李德高;李平理;魏礼春;;[J];能源技术与管理;2007年06期
王彦;;[J];科技情报开发与经济;2008年25期
王荣彩;;[J];河北煤炭;2009年05期
中国重要会议论文全文数据库
曹学章;冯晔;;[A];2011年全国选煤学术交流会论文集[C];2011年
张明青;曾艳;刘炯天;;[A];煤矿节能减排与生态建设论坛论文集[C];2009年
赵江涛;祝学斌;刘磊;;[A];2010年全国选煤学术交流会论文集[C];2010年
罗彩勇;;[A];2010年全国选煤学术交流会论文集[C];2010年
黎影;董广印;;[A];2011年全国选煤学术交流会论文集[C];2011年
谷庆明;;[A];第3届全国煤炭工业生产一线青年技术创新文集[C];2008年
王圣磊;王学红;;[A];煤矿高效集约化开采技术与机电一体化装备论文集[C];2007年
中国重要报纸全文数据库
张君;[N];经理日报;2008年
沈谦?通讯员
杨建奇;[N];陕西日报;2008年
武晓勇;[N];山西经济日报;2009年
中国博士学位论文全文数据库
张英杰;[D];中国矿业大学;2014年
杨津灵;[D];太原理工大学;2012年
刘令云;[D];安徽理工大学;2013年
中国硕士学位论文全文数据库
杨春兰;[D];安徽理工大学;2006年
张传俊;[D];安徽理工大学;2007年
张志军;[D];东北大学;2009年
李孟婷;[D];安徽理工大学;2013年
李宏亮;[D];安徽理工大学;2013年
王雷;[D];安徽理工大学;2013年
苟鹏;[D];西安建筑科技大学;2008年
王倩倩;[D];太原理工大学;2012年
彭陈亮;[D];安徽理工大学;2013年
侯志翔;[D];安徽理工大学;2013年
&快捷付款方式
&订购知网充值卡
400-819-9993
《中国学术期刊（光盘版）》电子杂志社有限公司
同方知网数字出版技术股份有限公司
地址：北京清华大学 84-48信箱 大众知识服务
出版物经营许可证 新出发京批字第直0595号
订购热线：400-819-82499
服务热线：010--
在线咨询：
传真：010-
京公网安备75号镁合金电化学氧化膜的检验探讨--《工业计量》2013年06期
镁合金电化学氧化膜的检验探讨
【摘要】：文章探讨了如何对镁合金的电化学氧化膜膜层质量的好坏进行检验,并针对其膜层外观出现的各种不正常现象,给出了相对应产生的原因,以及如何消除的方法。从而对整个工艺过程进行有效的检查、监督和控制,保证膜层质量。
【作者单位】：
【关键词】：
【分类号】：TG146.22【正文快照】：
镁合金具有较高的比强度、比刚度、减震性、导热性、可切削加工性和可回收性,它是重要的军工、航空及宇航结构材料之一[1]。但是镁合金的化学活动性高,在空气中自然形成的碱式碳酸盐膜防护性很差,极易腐蚀,大大限制了其应用。因此只有在采取措施,防护零件不受周围介质的破坏作
欢迎：、、)
支持CAJ、PDF文件格式，仅支持PDF格式
【参考文献】
中国期刊全文数据库
吴敏,吕柏林,梁平;[J];表面技术;2005年05期
李轶;程培元;华林;;[J];江西有色金属;2007年02期
【共引文献】
中国期刊全文数据库
朱立群;王喜眉;张玲玲;;[J];北京航空航天大学学报;2008年12期
李文;李卫平;刘慧丛;朱立群;;[J];北京航空航天大学学报;2011年09期
高丽丽;张春红;黄晓梅;张密林;;[J];表面技术;2008年02期
王敬丰;覃彬;吴夏;潘复生;汤爱涛;;[J];表面技术;2008年05期
杨贵荣;宋文明;马颖;张旭明;郝远;;[J];材料保护;2010年01期
黄晓梅;刘亮;王艳艳;;[J];电镀与环保;2011年05期
赵立新;顾云飞;邵忠财;魏守强;;[J];电镀与涂饰;2009年01期
黄晓梅;刘亮;王艳艳;;[J];电镀与涂饰;2010年06期
乔军;边福勃;何敏;张庆丰;张永彬;陈敏;王瑜;;[J];北京科技大学学报;2013年04期
欧爱良;余刚;胡波年;何晓梅;张俊;易海波;陈云;;[J];化工学报;2009年08期
中国博士学位论文全文数据库
陈克豹;[D];沈阳工业大学;2010年
周乐;[D];沈阳工业大学;2011年
吴锋景;[D];重庆大学;2011年
赵铁钧;[D];东北大学;2009年
刘妍;[D];浙江大学;2012年
郑润芬;[D];大连理工大学;2007年
张晓华;[D];哈尔滨工业大学;2009年
张华;[D];东北大学;2008年
雷细平;[D];湖南大学;2012年
中国硕士学位论文全文数据库
李瑞雪;[D];辽宁师范大学;2010年
袁满;[D];西安工业大学;2011年
李小川;[D];沈阳工业大学;2011年
贾金龙;[D];兰州理工大学;2011年
王蕊;[D];兰州理工大学;2011年
李长青;[D];河南科技大学;2011年
何玉娟;[D];大连海事大学;2008年
徐二领;[D];山东理工大学;2008年
毛祖莉;[D];兰州理工大学;2008年
王晟;[D];兰州理工大学;2008年
【二级参考文献】
中国期刊全文数据库
叶宏,冯燕熹,王希山;[J];表面技术;2002年06期
陈宏,郝建民,王利捷;[J];表面技术;2004年03期
李瑛,余刚,刘跃龙,叶立元,郭小华,雷细平;[J];材料保护;2003年10期
单大勇,周婉秋,韩恩厚,柯伟;[J];材料保护;2004年03期
张淑芬,张先锋,蒋百灵;[J];材料保护;2004年04期
王立世,蔡启舟,魏伯康,毕艳;[J];材料保护;2004年07期
张新平,熊守美,许庆彦,柳百成;[J];材料保护;2004年08期
吕渠东,吕宜振,曾小勤,丁文江,卢晨;[J];材料导报;2000年06期
李晓敏;[J];世界有色金属;2001年09期
郭洪飞,安茂忠;[J];电镀与环保;2004年02期
【相似文献】
中国期刊全文数据库
关学丰;;[J];材料科学与工程学报;1987年04期
;[J];轻合金加工技术;1992年07期
李玉兰,刘江,彭晓东;[J];特种铸造及有色合金;1999年S1期
文斯雄;[J];电镀与精饰;1999年05期
;[J];特种铸造及有色合金;2001年01期
;[J];有色冶金节能;2001年03期
;[J];中国金属通报;2001年18期
李宝东,申泽骥;[J];材料保护;2002年04期
王家弟,王业双,卢晨,丁文江;[J];机械科学与技术;2003年02期
李锋,林立,童晓旻,刘正,陈立佳;[J];铸造;2003年07期
中国重要会议论文全文数据库
刘川林;曹洋;黄少东;唐全波;赵祖德;;[A];2002年材料科学与工程新进展（上）——2002年中国材料研讨会论文集[C];2002年
张娅;曾小勤;卢晨;丁文江;;[A];2004年材料科学与工程新进展[C];2004年
周学华;卫中领;徐乃欣;陈秋荣;;[A];2008年全国腐蚀电化学及测试方法学术交流会论文摘要集[C];2008年
李忠盛;杨明波;潘复生;张静;;[A];2004年中国材料研讨会论文摘要集[C];2004年
张娅;曾小勤;卢晨;;[A];2004年中国材料研讨会论文摘要集[C];2004年
毛萍莉;刘正;王长义;王峰;;[A];中国有色金属学会第十四届材料科学与合金加工学术年会论文集[C];2011年
李权;彭建;潘复生;;[A];2011中国材料研讨会论文摘要集[C];2011年
韩恩厚;陈荣石;;[A];中国空间科学学会第七次学术年会会议手册及文集[C];2009年
韩德利;高玉龙;兰伟;;[A];2010中国·重庆第七届表面工程技术学术论坛暨展览会论文集[C];2010年
高瑾;涂运骅;李久青;张薇;;[A];第二届全国重防腐蚀与高新涂料及涂装技术研讨会论文集[C];2004年
中国重要报纸全文数据库
房中学;[N];中国有色金属报;2008年
;[N];中国冶金报;2001年
许月旺;[N];中国有色金属报;2006年
戴丽昕;[N];上海科技报;2007年
全运;[N];中国有色金属报;2002年
冯竞;[N];科技日报;2007年
;[N];中国有色金属报;2003年
;[N];中国有色金属报;2002年
立冬;[N];中国有色金属报;2010年
陈岩;[N];中国有色金属报;2007年
中国博士学位论文全文数据库
袁传军;[D];大连理工大学;2010年
邹东利;[D];哈尔滨工业大学;2010年
李东南;[D];华中科技大学;2004年
刘娅莉;[D];复旦大学;2006年
贾素秋;[D];吉林大学;2006年
李光玉;[D];吉林大学;2006年
牛丽媛;[D];吉林大学;2006年
房灿峰;[D];大连理工大学;2006年
杨旭;[D];重庆大学;2009年
王金国;[D];吉林大学;2005年
中国硕士学位论文全文数据库
赵康培;[D];哈尔滨理工大学;2004年
苏允海;[D];沈阳工业大学;2006年
杨宁宁;[D];西北工业大学;2005年
黄亮;[D];中国科学院上海冶金研究所;2001年
龙治辉;[D];重庆大学;2007年
刘云静;[D];太原理工大学;2011年
王恒;[D];大连理工大学;2006年
麻彦龙;[D];重庆大学;2004年
沈勇;[D];大连理工大学;2006年
许曙光;[D];吉林大学;2006年
&快捷付款方式
&订购知网充值卡
400-819-9993
《中国学术期刊（光盘版）》电子杂志社有限公司
同方知网数字出版技术股份有限公司
地址：北京清华大学 84-48信箱 大众知识服务
出版物经营许可证 新出发京批字第直0595号
订购热线：400-819-82499
服务热线：010--
在线咨询：
传真：010-
京公网安备75号