前途无量的符号计算系统

来源 :研究生教育研究 | 被引量 : 0次 | 上传用户:hnazlz
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
一、符号计算系统计算机从单纯计算到文字处理,图形变换与知识表示等正在悄悄地改变科学家、工程师甚至数学家的工作方式。十九世纪以前,计算是数学家们工作的主要部分,Gauss对于Ceres的轨道计算和提出最小二乘拟合的计算方法,便是一个例子。十九世纪以后,数学研究发生了重大的改变,计算的色彩日渐淡薄,数学家们对数学理论、数学结构,远比对特殊问题的解的计算更为关心。然而,现代计算机问世以后,情况又发生了变化。通过计算求解再次成为可行的手段。一提起计算机求解,人们立刻想到的是数值求解,这是因为计算机的早期应用范围主
其他文献
根据信息载体及感受器官等的特点,在运动训练过程中,教练员主要依靠外部信息来获取体操运动技术的信息,运动员则主要依靠自身运动的内部信息来获取。体操运动技术的诊断方法
随着信息技术课程被列为技术类课程之一,学校的课程都将是基于信息技术的课程。于此同时对隐形知识了解的不断加深,使得其重要性也逐渐被各领域重视起来。站在教育教学的方面
摘要:随着计算机网络和信息技术的发展,信息安全在社会各领域发挥着越来越重要的作用,其中安全与保密已成为信息安全技术的一个核心内容。现代密码学的主要研究领域之一就是数字签名,它在身份识别、认证、数据完整性等方面具有其它技术不能取代的作用,在电子商务、电子政务及数据库安全等领域有着极突出的作用。该文首先介绍了数字签名的研究背景原理,接着探讨了基于RSA算法的数字签名系统及应用。  关键词:安全与保密;
摘要:随着互联网技术的迅猛发展,网络信息量及信息类型越来越多,传统网络Best Effort服务机制受到了互联网日益增加的信息类型及信息量的冲击越来越大,QoS算法已经成为人们研究的重点与热点。介绍了路由算法,对QoS及QoS路由进行了阐述,重点对计算机网络基于QoS路由算法进行了探讨,并对计算机网络QoS路由算法的发展进行了展望。  关键词:网络;QoS;路由算法  中图分类号:TP311 文献
摘要:随着高职院校不断深化数字化校园的改造,建设共享型专业教学资源库已迫在眉睫。目前大多数高职院校已经建立了自己的专业教学资源库,并取得了一定的成效,为学校的师生带来了很多的便利,但如何进一步深化专业教学资源库的共享,还是存在很多值得思考的方面。该文分析了高职院校共享型专业资源库现状,阐述了如何利用云计算技术建设高职共享型资源库,拥有提高效率、安全可靠、节约成本等诸多方面的优势。  关键词:云计算
战国时期,楚国的楚襄王即位后,重用奸臣,政治腐败,国家一天天衰亡下去、楚国有一个大臣,名叫庄辛,看到这样情况非常着急,就对楚襄王说:“你在宫里和一些人奢侈淫乐,不管国家大事,国家迟
本文首先介绍了碰撞检测的基本原理及常用的几种碰撞检测方法,并对它们做出比较,指出其优缺点,最后提出基于包围球的快速碰撞检测优化算法,并在此基础上实现了一个简单的应用碰撞
摘要:培养大学生的计算思维能力已经是高校计算机教育的共识。在分析当前计算机硬件课程教学模式存在的普遍问题,结合计算思维的基本原理,提出了计算机硬件课程教学模式改进的方法,为计算机硬件课程教学改革提供了一种新思路。  关键词:计算思维;计算机硬件课程;教学模式  中图分类号:G642 文献标识码:A 文章编号:1009-3044(2015)13-0125-03  Abstract: The cult
信息技术的高速发展带动了网络安全的日新月异。网络安全课程的实践教学在教学内容上应偏重基本原理的讲解,侧重基于创新的多元化教学活动设计、选用迎合学生特点的教学方法
近两年多来,以江泽民同志为核心的第三代中央领导集体非常重视统战工作,对统战工作的指导思想、方针、政策都作了非常明确深刻的阐述,当前统一战线形势很好,全党办统战的大好