金沙老虎机手机客户端

技术:计算机平滑了整合的道路

作者:公良甙怩    发布时间:2018-01-02 00:01:04    

作者:ELISABETH GEAKE计算机程序能够进行数学整合或证明无法完成整合必须成为每个A级学生努力学习似乎不可能完成的功课的梦想本月早些时候,这些梦想成真,以一个名为Axiom的计划的形式实现,该计划已经开发了13年 “你输入公式,”巴斯大学信息技术教授詹姆斯达文波特说,“该计划的类型支持解决方案或证明它无法完成”他说这种类型的计划允许人们解决以前根本无法尝试的问题积分是曲线与曲线轴之一的曲线图上的区域了解这一领域在许多学科中都很重要,包括物理,工程,化学和生物学可以通过将区域划分为具有规则形状的块并计算出所有块的组合区域来近似积分结果的准确性取决于区域划分的精细程度但如果曲线可以描述为数学公式,则可以用代数方式进行积分,给出确切的答案例如,将曲线y = 2x相对于x积分得x为+ c的幂计算机需要一组指令,一种算法,告诉它如何集成数学家使用的方法涉及猜测和简单规则的组合 “这种方法并不完整,”达文波特说,“你尝试了10条规则,如果它们不起作用,你就会寻找更大规则的教科书它为你提供了一个可能无限的尝试列表'数学家们在上个世纪开始寻找系统的整合方法,但直到20世纪60年代后期才取得真正的进展到1981年,达文波特已经制定出一套完整的系统算法如果计算机通过算法工作并且没有解决方案,那么就没有解决方案但是,根据伦敦玛丽皇后学院和韦斯特菲尔德学院应用数学教授马尔科姆麦卡勒姆的说法,达文波特的算法“非常糟糕,以至于没有人完全实现它”该算法的部分内容已经制作成Axiom,由位于纽约Yorktown Heights的IBM研究实验室开发 Axiom已被用于控制商用遥感卫星Spot上的摄像头对卫星的控制是如此微妙和复杂,以至于其操作人员在执行命令之前必须对其进行测试命令的效果变成一系列数学方程式,由Axiom处理例如,它确保将摄像机指向地球不会使太阳能电池板远离太阳,切断卫星的电源巴斯软件工程教授,达文波特的同事约翰·菲奇说,他不再困扰传统的集成,

 

Copyright © 网站地图