包络环面蜗杆传动的计算机代数系统（CAS） 被引量：1

1

作者 姚立纲 陈德海 +2 位作者 李尚信 徐晓俊 李华敏 《大庆石油学院学报》 EI CAS 北大核心 1995年第2期87-90,共4页

在环面蜗杆传动啮合理论分析的基础上，运用计算机代数系统ＲＥＤＵＣＥＶ３．３．１，得出包络环面蜗杆传动啮合特性分析方程自动求解的计算机代数系统ＣＡＳ。这套系统包括坐标变换模块，啮合函数和啮合方程求解模块，蜗杆齿廓方程求... 在环面蜗杆传动啮合理论分析的基础上，运用计算机代数系统ＲＥＤＵＣＥＶ３．３．１，得出包络环面蜗杆传动啮合特性分析方程自动求解的计算机代数系统ＣＡＳ。这套系统包括坐标变换模块，啮合函数和啮合方程求解模块，蜗杆齿廓方程求解模块，界限函数求解模块以及诱导法曲率求解模块等。该系统所有的求解结果均以ＦＯＲＴＲＡＮ标准形式输出，直接调用即可进行数值计算。 展开更多

关键词 蜗杆传动 计算机代数系统 啮合

在线阅读 下载PDF 职称材料

一种新型计算机代数系统编译器的设计与实现 被引量：2

2

作者 覃安 符红光 《计算机工程》 EI CAS CSCD 北大核心 2006年第16期83-85,91,共4页

计算机代数系统(ComputerAlgebraSystem,CAS)是集大整数运算和符号运算于一体的计算平台,这方面的代表软件有Maple和Mathematica。然而,在计算机代数系统的设计中,编译器的设计与实现始终是一个关键和难点。GiNaC是Linux平台上开放源码... 计算机代数系统(ComputerAlgebraSystem,CAS)是集大整数运算和符号运算于一体的计算平台,这方面的代表软件有Maple和Mathematica。然而,在计算机代数系统的设计中,编译器的设计与实现始终是一个关键和难点。GiNaC是Linux平台上开放源码的符号计算包,该文以它为基础提出了一种新型CAS编译器的设计方法,并在Linux平台上实现。新的CAS编译器兼容Maple编程语言,对比测试结果显示它的效率并不逊色于Maple。 展开更多

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

在线阅读 下载PDF 职称材料

计算机代数系统mu MATH在量子力学中的应用

3

作者 黄纯青 黄皙桓 熊钰庆 《华南师范大学学报（自然科学版）》 CAS 1992年第1期55-60,共6页

本文以两个实例说明在量子力学中如何应用小型的计算机代数系统mu MATH,并得到较理想的计算结果.说明尽管mu MATH系统的功能不太强,但它占内存小、容易普及,应引起物理学工作者的重视.

关键词 计算机代数系统 球贝塞尔函数 量子力学

全文增补中

一种混合高性能计算机代数环境模型 被引量：1

4

作者 张骏 陈良育 曾振柄 《计算机应用》 CSCD 北大核心 2007年第11期2834-2837,共4页

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

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

在线阅读 下载PDF 职称材料

高效符号数值混合计算系统研究与设计 被引量：1

5

作者 秦小林 冯勇 李骏 《计算机工程与应用》 CSCD 北大核心 2009年第5期64-66,共3页

符号与数值混合计算是一种利用数值计算和符号计算方法解决大规模问题的计算方法,它为符号计算与数值计算提供一种新的思维模式和方法。近年来,混合计算的理论研究取得一些重要的进展。然而,混合计算的系统软件设计还处于探索阶段。基于... 符号与数值混合计算是一种利用数值计算和符号计算方法解决大规模问题的计算方法,它为符号计算与数值计算提供一种新的思维模式和方法。近年来,混合计算的理论研究取得一些重要的进展。然而,混合计算的系统软件设计还处于探索阶段。基于此,提出了一种基于改进的开放源代码的符号数值计算应用环境库(SYNAPS)的高效符号数值混合计算系统的设计方法,并进行了实现。实验结果表明,该系统高效可靠。 展开更多

关键词 计算机代数系统 符号与数值混合计算 数学软件 符号与数值混合应用

在线阅读 下载PDF 职称材料

关于等角航线的航迹计算公式及改进 被引量：3

6

作者 陈浩 吴迪 李厚朴 《海洋测绘》 CSCD 2018年第1期67-70,共4页

对航海常用等角航线的航迹计算公式存在的常数化和近似化问题进行了详细的分析,由地图投影等角变形理论,推导其严密计算的表达式,并借助计算机代数系统对其中复杂的数学公式进行优化,提高了航线的精度,为航海人员提供了理论依据与实用... 对航海常用等角航线的航迹计算公式存在的常数化和近似化问题进行了详细的分析,由地图投影等角变形理论,推导其严密计算的表达式,并借助计算机代数系统对其中复杂的数学公式进行优化,提高了航线的精度,为航海人员提供了理论依据与实用公式。实验结果表明,改进的墨卡托航法航迹计算公式精度得到了大幅度的提高,正解误差和反解误差均在毫秒级,满足航迹精确计算的需要。 展开更多

关键词 地图投影 变形理论 等角航线 墨卡托航法 航迹解算 计算机代数系统

在线阅读 下载PDF 职称材料

正常重力场导出参数的计算新方法 被引量：1

7

作者 席梦寒 《海洋测绘》 CSCD 2020年第4期17-21,共5页

针对以往计算正常重力场导出参数的方法中存在的公式复杂、计算过程繁琐等问题,利用水准椭球的基本参数,推导出第一偏心率平方的表达式,再利用第一偏心率,推导得到正常重力场导出参数的函数表达式。推导得到的正常重力场导出参数的函数... 针对以往计算正常重力场导出参数的方法中存在的公式复杂、计算过程繁琐等问题,利用水准椭球的基本参数,推导出第一偏心率平方的表达式,再利用第一偏心率,推导得到正常重力场导出参数的函数表达式。推导得到的正常重力场导出参数的函数表达式,相较传统计算方法更加简洁,可以由椭球的基本参数直接求得,计算效率也得到了提高。一方面为正常重力场导出参数的推导过程提供新的思路;另一方面提高了计算正常重力场导出参数的计算效率。 展开更多

关键词 正常重力场导出参数 椭球第一偏心率 水准椭球 计算机代数系统 偶阶带谐系数

在线阅读 下载PDF 职称材料

Boussinesq方程的新显式精确行波解 被引量：13

8

作者 黄文华 张解放 盛正卯 《浙江大学学报（理学版）》 CAS CSCD 2003年第2期145-149,共5页

借助计算机代数系统 Mathematica,利用双函数法和吴文俊消元法 ,获得 Boussinesq方程的多组新的显式精确行波解 ,包括孤波解和周期性解 。

关键词 BOUSSINESQ方程 显式精确行波解 双函数法 吴文俊消元法 计算机代数系统 孤波解 周期性解 非线性科学

在线阅读 下载PDF 职称材料

基于重力梯度的潜艇探测方法研究 被引量：12

9

作者 孙岚 李厚朴 +2 位作者 边少锋 李宏武 周超烨 《海洋测绘》 2010年第2期24-27,45,共5页

提出了一种基于重力梯度探测潜艇的新方法。借助计算机代数系统Mathematica,计算了模拟潜艇在不同位置产生的重力垂直梯度,分析了其变化情况,结果表明如果现有的重力梯度仪精度为10-4E,即使下潜深度达300m,在海面上100m范围内也能够探测... 提出了一种基于重力梯度探测潜艇的新方法。借助计算机代数系统Mathematica,计算了模拟潜艇在不同位置产生的重力垂直梯度,分析了其变化情况,结果表明如果现有的重力梯度仪精度为10-4E,即使下潜深度达300m,在海面上100m范围内也能够探测到;当重力梯度仪的精度达到或超过10-6E时,可在海面上1000m范围内实现探测。 展开更多

关键词 重力梯度 重力垂直梯度 潜艇探测 计算机代数系统

在线阅读 下载PDF 职称材料

子午线弧长和等面积纬度函数变换的直接展开式 被引量：10

10

作者 李厚朴 刘敏 +1 位作者 孔海英 夏静欣 《海洋测绘》 2011年第1期17-19,共3页

为实现等距离投影和等面积投影间的直接变换,借助计算机代数系统Mathematica,推导出了子午线弧长和等面积纬度函数变换的直接展开式,将式中系数统一表示为椭球偏心率的幂级数形式,可解决不同参考椭球下的变换问题。算例分析表明导出公... 为实现等距离投影和等面积投影间的直接变换,借助计算机代数系统Mathematica,推导出了子午线弧长和等面积纬度函数变换的直接展开式,将式中系数统一表示为椭球偏心率的幂级数形式,可解决不同参考椭球下的变换问题。算例分析表明导出公式的精度分别高于10-3km2和10-4m,可供实际使用。 展开更多

关键词 地图投影 子午线弧长 等距离纬度 等面积纬度函数 计算机代数系统

在线阅读 下载PDF 职称材料

复变函数表示的高斯投影非迭代公式 被引量：18

11

作者 李厚朴 王瑞 边少锋 《海洋测绘》 2009年第6期17-20,共4页

借助复数理论讨论了高斯投影的复变函数表示。引入了等量纬度反解的直接展开式,借助计算机代数系统Mathematica推导出了子午线弧长与等量纬度之间的关系式,并将其拓展至复数域,导出了形式紧凑、结构简单的高斯投影正反解非迭代公式,并... 借助复数理论讨论了高斯投影的复变函数表示。引入了等量纬度反解的直接展开式,借助计算机代数系统Mathematica推导出了子午线弧长与等量纬度之间的关系式,并将其拓展至复数域,导出了形式紧凑、结构简单的高斯投影正反解非迭代公式,并在此基础上给出了适合计算机计算的表达式及其相关系数在不同参考椭球下的数值形式。算例结果表明本文公式计算精度在10-6s以上,可供实际使用。 展开更多

关键词 高斯投影 复变函数 非迭代公式 计算机代数系统

在线阅读 下载PDF 职称材料

一种解算椭球大地测量学反问题的方法及应用 被引量：9

12

作者 陈成 边少锋 李厚朴 《海洋测绘》 CSCD 2015年第6期8-13,共6页

针对解算椭球大地测量学理论反问题的复杂性,通过实例,说明了基于计算机代数系统的符号迭代法解决此类问题计算形式简洁、直观的特点。以幂级数展开理论为基础,通过一系列计算和分析,给出了符号迭代法的理论基础。讨论了符号迭代法在椭... 针对解算椭球大地测量学理论反问题的复杂性,通过实例,说明了基于计算机代数系统的符号迭代法解决此类问题计算形式简洁、直观的特点。以幂级数展开理论为基础,通过一系列计算和分析,给出了符号迭代法的理论基础。讨论了符号迭代法在椭球大地测量学及其他类似领域问题中的应用,最后验证了方法的正确性。 展开更多

关键词 大地测量学 符号迭代法 反问题 计算机代数系统 第一偏心率

在线阅读 下载PDF 职称材料

等角纬度与子午线弧长变换的直接表达式 被引量：4

13

作者 李松林 李厚朴 +1 位作者 边少锋 侯世喜 《海洋测绘》 CSCD 2019年第2期21-25,共5页

为了便于实现等角方位投影与椭球等距离圆柱或圆锥投影之间的变换,借助具有强大符号运算功能的计算机代数系统Mathematica,推导出了等角纬度和子午线弧长之间变换的直接表达式,进一步将表达式改进为适合电算的形式,并将其系数统一表示... 为了便于实现等角方位投影与椭球等距离圆柱或圆锥投影之间的变换,借助具有强大符号运算功能的计算机代数系统Mathematica,推导出了等角纬度和子午线弧长之间变换的直接表达式,进一步将表达式改进为适合电算的形式,并将其系数统一表示为关于椭球偏心率e和椭球第三扁率n的幂级数形式。通过算例分析表明:基于第三扁率n的幂级数表达式具有更紧凑的形式和更好的收敛性,且导出公式的计算误差分别小于10^(-7)″和10^(-8)m,可以满足大地测量和地图制图计算精度要求。 展开更多

关键词 投影变换 等角纬度 子午线弧长 直接表达式 计算机代数系统

在线阅读 下载PDF 职称材料

一个非线性色散-耗散方程的新孤子解和周期解 被引量：6

14

作者 王霞 王书彬 《郑州大学学报（工学版）》 CAS 2002年第3期41-43,共3页

简单介绍用于求非线性偏微分方程精确解的截尾辅助函数法 ,这种方法简洁有效 .利用截尾辅助函数法 ,借助于计算机代数系统Mathematica ,得到了用于描述冷离子和热电子组成的离子体弱非线性离子声波演化的非线性色散 -耗散方程的新的孤... 简单介绍用于求非线性偏微分方程精确解的截尾辅助函数法 ,这种方法简洁有效 .利用截尾辅助函数法 ,借助于计算机代数系统Mathematica ,得到了用于描述冷离子和热电子组成的离子体弱非线性离子声波演化的非线性色散 -耗散方程的新的孤子解、周期解和几组稳态解 .这些解均含有任意常数 ,当任意常数取特定值时 ,利用计算机代数系统Mathematica给出了部分解的图形 . 展开更多

关键词 非线性色散-耗散方程 孤子解 周期解 计算机代数系统

在线阅读 下载PDF 职称材料

辅助纬度反解公式的Lagrange级数法推演 被引量：10

15

作者 王瑞 李厚朴 《海洋测绘》 2008年第3期18-23,共6页

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

关键词 地图投影 辅助纬度 计算机代数系统 Lagrange级数公式

在线阅读 下载PDF 职称材料

等量纬度展开式的新解法 被引量：8

16

作者 李厚朴 边少锋 《海洋测绘》 2007年第4期6-10,共5页

对地图投影学中经常遇到的等量纬度正反解展开式进行了新的研究。借助M athem atica计算机代数系统强大的数学分析功能,给出了新的正解公式,发现并纠正了前人正解公式中的错误;并且以此为基础,导出了用第一偏心率幂级数形式表示的反解... 对地图投影学中经常遇到的等量纬度正反解展开式进行了新的研究。借助M athem atica计算机代数系统强大的数学分析功能,给出了新的正解公式,发现并纠正了前人正解公式中的错误;并且以此为基础,导出了用第一偏心率幂级数形式表示的反解展开式和三种主要的参考椭球下的实用反解计算式。本文研究表明计算机代数系统的应用不但极大地提高了公式推演的效率和准确度,而且反解系数从此可以表示为更简单和更便于记忆的符号形式。 展开更多

关键词 等量纬度 计算机代数系统 地图投影 埃尔米特插值法

在线阅读 下载PDF 职称材料

对高斯投影与横轴墨卡托投影差异的研究 被引量：5

17

作者 孙东磊 赵俊生 郭忠磊 《海洋测绘》 2011年第1期9-11,共3页

借助计算机代数系统Mathematica推导了较为严密的横轴墨卡托投影公式和高斯-克吕格投影公式,通过数值计算对二者进行了分析比较,证明由于公式推导思路和公式的结构不同,两种投影方法在较为严密的计算中还是存在一定的差异的。

关键词 高斯-克吕格投影 横墨卡托投影 计算机代数系统

在线阅读 下载PDF 职称材料

用泰勒级数展开法求解等量纬度反解问题的新方法 被引量：1

18

作者 常国宾 欧阳永忠 +2 位作者 李胜全 金际航 李科 《测绘通报》 CSCD 北大核心 2012年第S1期104-106,共3页

对由等量纬度求解大地纬度的等量纬度反解问题进行新的研究。首先在偏心率为0的情况下,由等量纬度得到近似的大地纬度,并代入等量纬度正解公式得到近似等量纬度。然后将等量纬度反解隐函数在近似的大地纬度和等量纬度处进行泰勒级数展开... 对由等量纬度求解大地纬度的等量纬度反解问题进行新的研究。首先在偏心率为0的情况下,由等量纬度得到近似的大地纬度,并代入等量纬度正解公式得到近似等量纬度。然后将等量纬度反解隐函数在近似的大地纬度和等量纬度处进行泰勒级数展开,从而将等量纬度反解公式表示为偏心率和等量纬度的函数形式。推导过程由Mathematica计算机代数系统完成,推导结果由计算机存储,无需人工推演和记忆。试算结果表明:当泰勒级数取到4阶时,其精度就可以全面超越之前的方法;取到5阶时,在几乎所有纬度处的精度都比传统方法高一个数量级。 展开更多

关键词 等量纬度 大地纬度 泰勒级数 计算机代数系统

在线阅读 下载PDF 职称材料

Benney方程新的显式精确解 被引量：1

19

作者 王霞 刘强 曲双红 《郑州轻工业学院学报（自然科学版）》 CAS 2003年第2期66-68,78,共4页

利用齐次平衡法,借助计算机代数系统Mathematica,得到了Benney方程新的显式精确解,修正和完善了已有文献给出的结果。

关键词 Benney方程 显式精确解 齐次平衡法 计算机代数系统 偏微分方程

在线阅读 下载PDF 职称材料

六杆送进机构运动模拟及分析的MAPLE方法 被引量：1

20

作者 王浩程 《机械设计》 CSCD 北大核心 2004年第3期61-62,共2页

介绍了用MAPLE对六杆送进机构进行运动分析的方法。该方法可以直观地得到机构运动的动态模拟效果 ,同时 ,也可得到各个运动参数变化的图形及数值结果。该方法对于其它各种机构的运动分析 ,具有普遍的适用性。

关键词 六杆送进机构 运动模拟 运动分析 MAPLE 计算机代数系统

在线阅读 下载PDF 职称材料