期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
国外逻辑学习软件初探——兼谈国内逻辑学习软件情况 被引量:2
1
作者 李娜 孙雯 《逻辑学研究》 2011年第4期98-110,共13页
一、逻辑教学的可视化——逻辑学习软件20世纪中期,人们设想用计算机进行逻辑推理。1956年,国际著名的逻辑学家、数学家和计算机科学家Newell和Simon等人首先取得突破,他们编制的程序"逻辑理论家"证明了罗素和怀德海合著的《数学原理... 一、逻辑教学的可视化——逻辑学习软件20世纪中期,人们设想用计算机进行逻辑推理。1956年,国际著名的逻辑学家、数学家和计算机科学家Newell和Simon等人首先取得突破,他们编制的程序"逻辑理论家"证明了罗素和怀德海合著的《数学原理》第二章中的38条逻辑推理。后来经过改进,又证明了该章的全部52条逻辑推理。 展开更多
关键词 逻辑教学 学习软件 计算机科学家 国内 国外 20世纪中期 逻辑推理 《数学原理》
在线阅读 下载PDF
政治理想(节选)
2
作者 Bertrand Russell 禾沐(译) 《英语学习》 2013年第6期56-58,共3页
罗素(BertrandRussell,1872—1970),英国哲学家、逻辑学家、数学家和历史学家。他在20世纪初掀起了一场“反对理想主义的动乱”,是分析哲学的奠基人之一。他与英国著名的数学家、哲学家怀特海合著《数学原理》,对数学、逻辑学等... 罗素(BertrandRussell,1872—1970),英国哲学家、逻辑学家、数学家和历史学家。他在20世纪初掀起了一场“反对理想主义的动乱”,是分析哲学的奠基人之一。他与英国著名的数学家、哲学家怀特海合著《数学原理》,对数学、逻辑学等产生重大影响。他还是一位积极的和平主义社会活动家。他因为“在各种出色的写作中彰显了人道主义理想和思想的自由”而于1950年获得诺贝尔文学奖。他的重要著作还有《西方哲学史》、《数理哲学导论》、《幸福之路》、《物的分析》等。罗素的语言逻辑严密、洗炼明澈,非常具有可读性。 展开更多
关键词 政治理想 《西方哲学史》 节选 《数学原理》 诺贝尔文学奖 人道主义理想 逻辑学家 社会活动家
在线阅读 下载PDF
Research on Uniform Array Beamforming Based on Support Vector Regression
3
作者 林关成 李亚安 金贝利 《Journal of Marine Science and Application》 2010年第4期439-444,共6页
An approach was proposed for optimizing beamforming that was based on Support Vector Regression (SVR). After studying the mathematical principal of the SVR algorithm and its primal cost function, the modified cost fun... An approach was proposed for optimizing beamforming that was based on Support Vector Regression (SVR). After studying the mathematical principal of the SVR algorithm and its primal cost function, the modified cost function was first applied to uniform array beamforming, and then the corresponding parameters of the beamforming were optimized. The framework of SVR uniform array beamforming was then established. Simulation results show that SVR beamforming can not only approximate the performance of conventional beamforming in the area without noise and with small data sets, but also improve the generalization ability and reduce the computation burden. Also, the side lobe level of both linear and circular arrays by the SVR algorithm is improved sharply through comparison with the conventional one. SVR beamforming is superior to the conventional method in both linear and circular arrays, under single source or double non-coherent sources. 展开更多
关键词 array beamforming support vector regression OPTIMIZATION FRAMEWORK cost function
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部