检索结果-内蒙古大学图书馆

沈阳师范大学学报（自然科学版） 2014年第4期32卷 545-548页

作者：孟宪吉沈阳师范大学数学与系统科学学院沈阳110034

数学分析课程是高等院校数学专业一门最重要的基础课程,学生对此门课程的学习效果直接影响对后续课程的学习。所以如何上好数学分析这门课程,是任课教师应该积极思考,认真反思的问题。对计算机代数系统应用到教学中的情况进行分析讨论... 详细信息

数学分析课程是高等院校数学专业一门最重要的基础课程,学生对此门课程的学习效果直接影响对后续课程的学习。所以如何上好数学分析这门课程,是任课教师应该积极思考,认真反思的问题。对计算机代数系统应用到教学中的情况进行分析讨论。计算机代数系统在数学分析教学中是一种重要的认知工具,对教师和学生都有很大的影响,计算机代数系统不仅是有效的运算、作图工具,并且为数学实验及其他数学实践教学提供了的强有力保障,对数学思维的培养有很大作用。数学分析教学利用计算机代数系统不但可以使学生掌握数学知识,而且可以提高学生的创造力及应用能力。

关键词：计算机代数系统数学分析教学整合

来源：评论

学校读者我要写书评

暂无评论

用计算机代数系统求解磁屏蔽问题

引用

淮南师范学院学报 2003年第5期5卷 3-5页

作者：杜建明安徽淮南师范学院物理系安徽淮南232001

借助Mathematica4.1系统软件精确求解了具有轴对称分布磁场的磁屏蔽问题,显示了计算机代数系统强大的符号运算和作图能力。

关键词：计算机代数系统磁屏蔽符号运算

来源：评论

学校读者我要写书评

暂无评论

三位使用计算机代数系统数学家的不幸——我们能信任这些系统吗？

引用

数学译林 2016年第4期35卷 360-364页

作者： Antonio J. Duran Mario Perez Juan L. Varona 张伟(译) 郭磊磊(译) 王世坤(校) 铁梦玲(校) 西班牙Universidad de Sevilla 西班牙Universidad de Zaragoza 西班牙Universidad de La Rioja

1．引言如今，数学家经常使用计算机代数系统辅助他们的数学研究；他们做思考，然后把冗长的计算留给计算机．每个人都“知道”计算机比人们能更好地执行这些工作．但是，当然，我们必须相信这些强大的计算机代数系统的计算结果．首先... 详细信息

1．引言如今，数学家经常使用计算机代数系统辅助他们的数学研究；他们做思考，然后把冗长的计算留给计算机．每个人都“知道”计算机比人们能更好地执行这些工作．但是，当然，我们必须相信这些强大的计算机代数系统的计算结果．首先，让我们澄清这篇论文不是以任何方式去比较不同的计算机代数系统，而是作为一个例子，看看当数学家使用这类软件时，他们所期望水平的当前状态．尽管我们的例子是一个特定的软件系统，我们确信类似的情况可能在其它的程序也会发生．

关键词：计算机代数系统数学家信任三位软件系统数学研究计算结果期望

来源：评论

学校读者我要写书评

暂无评论

基于动态几何及计算机代数系统的电子书系统

基于动态几何及计算机代数系统的电子书系统

引用

作者：管皓何义兵林咏鱼徐桃张中文尧刚 614000 四川省成都市天府新区华阳街道天府大道南段846号

本发明公开了一种基于动态几何及计算机代数系统的电子书系统，包括文本模块、动态几何图形模块、计算机代数系统、交互控件模块和排版模块，所述排版模块分别与文本模块、动态几何图形模块、计算机代数系统、交互控件模块电连接，所述... 详细信息

标准号: CN105677630A

本发明公开了一种基于动态几何及计算机代数系统的电子书系统，包括文本模块、动态几何图形模块、计算机代数系统、交互控件模块和排版模块，所述排版模块分别与文本模块、动态几何图形模块、计算机代数系统、交互控件模块电连接，所述交互控件模块分别与文本模块、动态几何图形模块、计算机代数系统电连接，所述计算机代数系统分别与文本模块、动态几何图形模块电连接。本发明通过插入动态文本、公式、带约束关系的几何对象、控制参数变换的控件(按钮、输入框、滑竿等)等，结合文档的分页、排版，制作一本前后内容连贯、参数、动作驱动的动态可交互的书籍；该书籍制作完成后，可以在浏览器上跨平台地进行阅读、操作、分享，无需任何插件和播放器。

关键词：计算机代数系统动态几何图形文本模块控件电连接排版模块播放器电子书系统动态几何动态文本动作驱动几何对象控制参数约束关系书籍跨平台输入框浏览器按钮插件分页滑竿文档连贯排版制作阅读操作

来源：评论

学校读者我要写书评

暂无评论

伊辛感知计算机布尔代数系统构建方法及伊辛机编程接口

伊辛感知计算机布尔代数系统构建方法及伊辛机编程接口

引用

作者：罗剑文哈亚军 201210 上海市浦东新区华夏中路393号

本发明提出伊辛感知计算机布尔代数系统构建方法及伊辛机编程接口，涉及一种面向约束优化问题求解的伊辛感知计算机布尔代数量子电路综合系统，同时也涉及相应实施量子绝热计算的量子伊辛机与其他通用伊辛机的编程接口，属于约束优化与... 详细信息

标准号: CN117742678A

本发明提出伊辛感知计算机布尔代数系统构建方法及伊辛机编程接口，涉及一种面向约束优化问题求解的伊辛感知计算机布尔代数量子电路综合系统，同时也涉及相应实施量子绝热计算的量子伊辛机与其他通用伊辛机的编程接口，属于约束优化与量子绝热计算领域。采用惩罚项描述的布尔约束原语表达系统作为基本表达对象，并通过伊辛感知的计算机代数系统进行自动的、高效的、可靠的重排与化简，结合伊辛机特点缩减优化问题实例规模、提高优化问题实例在伊辛机上的求解效率。

关键词：优化问题量子感知绝热编程接口布尔代数计算机代数系统原语表达系统布尔约束量子电路求解效率系统构建综合系统惩罚项计算机重排求解通用优化

来源：评论

学校读者我要写书评

暂无评论

Design and implementation of a novel CAS compiler

引用

Jisuanji Gongcheng/Computer Engineering 2006年第16期32卷 83-85+91页

作者： Qin, An Fu, Hongguang Institute of Computer Applications Chinese Academy of Sciences Chengdu 610041 China

A computer algebra system (CAS) is a software platform that facilitates the symbolic computation and the big number computation. The typical software includes Maple and Mathematica. However, in building CAS, one of difficult problems is the design and implementation of its compiler. GiNaC is a symbolic computation package running on the Linux platform. Based on the package, this paper presents a new design method to implement the CAS compiler, and implements a new CAS compiler on Linux platform. The novel CAS compiler is compatible with Maple's program language. The testing results show its efficiency is not inferior to Maple.

关键词：计算机代数系统虚拟机编译器

来源：评论

学校读者我要写书评

暂无评论

一种混合高性能计算机代数环境模型

引用

计算机应用 2007年第11期27卷 2834-2837页

作者：张骏陈良育曾振柄华东师范大学软件学院上海200062

提出一种高性能计算机代数环境HHPCAS,综合现有的多种计算机代数软件,通过添加内核扩展函数、外部调用等方法,结合集群管理软件和并行环境,可以提供高性能的计算机代数计算环境。HHPCAS根据Slot/Ticket模型可以有效管理可用计算资源和... 详细信息

提出一种高性能计算机代数环境HHPCAS,综合现有的多种计算机代数软件,通过添加内核扩展函数、外部调用等方法,结合集群管理软件和并行环境,可以提供高性能的计算机代数计算环境。HHPCAS根据Slot/Ticket模型可以有效管理可用计算资源和作业优先等级,充分发挥多种计算机代数软件的特长,并且提供并行的消息传递机制,将大量复杂的计算平均分配到每个计算节点,解决单台机器内存受限和计算能力有限等问题。通过并行差分代换方法测试表明HHPCAS可以为符号计算和计算机自动推理提供有效的计算平台。

关键词：计算机代数系统数学软件并行计算高性能计算

来源：评论

学校读者我要写书评

暂无评论

等距离纬度等量纬度和等面积纬度展开式

引用

测绘学报 2007年第2期36卷 218-223页

作者：边少锋纪兵海军工程大学导航工程系湖北武汉430033

对数学制图学中经常遇到的等距离纬度、等量纬度和等面积纬度展开式进行新的研究.借助计算机代数系统强大的数学分析功能,给出这些纬度用偏心率幂级数形式表示的正解公式,并且以此为基础,给出纬度用偏心率幂级数形式表示的反解展开式,... 详细信息

对数学制图学中经常遇到的等距离纬度、等量纬度和等面积纬度展开式进行新的研究.借助计算机代数系统强大的数学分析功能,给出这些纬度用偏心率幂级数形式表示的正解公式,并且以此为基础,给出纬度用偏心率幂级数形式表示的反解展开式,与以往数值形式表示的反解公式不同,这些反解展开式是以符号形式给出,研究表明计算机代数系统的应用不但极大地提高公式推演的效率和准确度,而且反解系数可以表示为更简单和更便于记忆的符号形式.

关键词：数学制图学大地测量计算机代数系统等距离纬度等量纬度等面积纬度

来源：评论

学校读者我要写书评

暂无评论

等面积纬度函数和等量纬度变换的直接解算公式

引用

武汉大学学报（信息科学版） 2011年第7期36卷 843-846页

作者：李厚朴边少锋陈良友海军工程大学导航工程系武汉市430033 海岛(礁)测绘技术国家测绘局重点实验室青岛市266510 75230部队惠州市512100

为实现等面积投影和等角投影间的直接变换,借助计算机代数系统Mathematica,推导出了等面积纬度函数和等量纬度变换的直接解算公式,并将式中系数统一表示为椭球第一偏心率的幂级数形式,可解决不同参考椭球下的变换问题。算例分析表明,本... 详细信息

为实现等面积投影和等角投影间的直接变换,借助计算机代数系统Mathematica,推导出了等面积纬度函数和等量纬度变换的直接解算公式,并将式中系数统一表示为椭球第一偏心率的幂级数形式,可解决不同参考椭球下的变换问题。算例分析表明,本导出公式的计算误差分别小于10 m2和10-4(″),可供实际使用。

关键词：地图投影等面积纬度函数等量纬度计算机代数系统

来源：评论

学校读者我要写书评

暂无评论

地图投影中三种纬度间变换直接展开式

引用

武汉大学学报（信息科学版） 2013年第2期38卷 217-220页

作者：李厚朴边少锋刘敏海军工程大学导航工程系武汉市解放大道717号430033 海岛(礁)测绘技术国家测绘地理信息局重点实验室青岛市前湾港路579号266510 海军司令部航海保证部

利用等距离纬度、等角纬度和等面积纬度这三种纬度和大地纬度间的正反解展开式,全面导出了它们之间变换的直接展开式,并将式中系数统一表示为椭球偏心率e的幂级数形式并展至e10,解决了不同参考椭球下的变换问题。算例分析表明,直接展开... 详细信息

利用等距离纬度、等角纬度和等面积纬度这三种纬度和大地纬度间的正反解展开式,全面导出了它们之间变换的直接展开式,并将式中系数统一表示为椭球偏心率e的幂级数形式并展至e10,解决了不同参考椭球下的变换问题。算例分析表明,直接展开式的计算精度优于10-8″,满足地图投影精密计算的需要。

关键词：地图投影等距离纬度等角纬度等面积纬度直接展开式计算机代数系统

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：