计算机代数

作品数：221被引量：339H指数：10
导出分析报告
相关领域：理学自动化与计算机技术更多>>
相关作者：李厚朴边少锋郭冰莹白泉李云东更多>>
相关机构：中国人民解放军海军工程大学上海大学中国科学院华东师范大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家杰出青年科学基金中央高校基本科研业务费专项资金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
信息技术在高中数学课堂中的应用与效果分析
《中国科技期刊数据库 科研》2024年第12期010-013,共4页张雄军 
文章探讨了信息技术在高中数学课堂中的重要性、应用现状、具体应用方法以及其带来的积极效果。通过使用动态几何软件、计算机代数系统、数学建模与仿真软件、在线测评与反馈系统以及翻转课堂与在线学习资源,信息技术显著提升了数学教...
关键词：信息技术 高中数学 动态几何软件 计算机代数系统 翻转课堂 个性化学习 
全张量重力梯度正演计算及其可视化系统构建
《武汉大学学报（信息科学版）》2024年第11期1992-2002,共11页边少锋 李兆权 翟国君 陈永冰 
国家自然科学基金(42430101,42374050,42342024)。
全张量重力梯度测量技术是一种高精度地球物理探测方法,在密度异常精准识别与深入解析方面具有独特优势,在重力梯度探测资料解释工作体系中,梯度正演计算至关重要。然而,此前相关研究虽涉及重力梯度正演计算可视化展示,但存在计算灵活...
关键词：全张量重力梯度 正演计算 可视化 计算机代数 
椭球大地测量计算机代数可视化探究
《测绘科学》2024年第8期25-31,共7页刘训琪 边少锋 周东权 刘福江 
中央高校基金项目(GLAB2022ZR07);国家自然科学基金项目(42074010);火星大地基准与正常重力场研究项目(42374051);新中国测绘教育与学术发展研究项目(42342024)。
针对经典椭球几何大地测量计算中许多计算、推导的可视化效果仍停留在手工计算时代,可视化效果不佳问题,该文利用Mathematica强大的公式推导能力以及可视化功能,对常用纬度之间的关系、常用地图投影及部分椭球大地测量计算内容(渐曲线...
关键词：地图投影 大地线 三维可视化 椭球大地测量 
依不同纬度变量的常用曲率半径的直接展开式
《测绘地理信息》2024年第2期45-50,共6页李晓勇 李厚朴 刘国辉 边少锋 
国家自然科学基金(41871376,41971416);国家优秀青年科学基金(42122025)。
通过计算机代数系统Mathematica推导出了以地心纬度、归化纬度为变量的卯酉圈曲率半径、子午圈曲率半径和平均曲率半径的直接表达式,该表达式适用于任何椭球参数,具有通用性。并将常规的基于第一偏心率e表示的公式改写为基于第三扁率n...
关键词：子午圈曲率半径 卯酉圈曲率半径平均曲率半径 归化纬度 地心纬度 计算机代数系统 
一种计算机代数系统的设计与实现
《河北软件职业技术学院学报》2023年第4期27-32,共6页汪明 
为利用计算机对数学表达式进行自动推理,实现自主可控的计算机代数系统,提出了基于抽象语法树模式匹配的计算机代数系统设计方法。在对计算机代数系统设计过程进行认知与分解的基础上建立了总体设计模型,并利用F#强大的函数式编程语言能...
关键词：计算机代数系统 符号计算 特定领域语言 解析器 
GeoGebra环境中一道高考试题的深层次探究
《高中数学教与学》2023年第11期23-25,共3页赵然 
当今社会信息技术的飞速发展给教育带来巨大的推动作用,借助先进的信息技术改进学生的学习方式和教师的教学方式,实现信息技术与教学的有机融合,为更高效的数学学习提供了新的探索方向[1].动态几何和计算机代数系统在过去的软件中没有...
关键词：计算机代数系统 信息技术 图形图象 视觉思维 文字符号 动态几何 高考试题 教学方式 
SymPy在“高等传热学”教学中的应用实践
《科技资讯》2023年第20期203-206,共4页孙昆峰 李小民 
2022年度中原工学院研究生教育质量提升工程项目(项目编号:12120009)。
SymPy是Python的计算机代数系统库CAS,具有强大的符号计算功能,它免费开源,是商业数学软件很有潜力的替代方案。“高等传热学”理论教学中,绝大多数需要求解微分方程,有大量内容需要数学推导,这部分既是重点也是难点。在实践教学中,通...
关键词：SymPy 传热学 计算机代数系统 拉普拉斯变换 
基于变量排序的乘法器电路验证结果的认证器
《计算机科学与应用》2023年第10期1980-1987,共8页史美琦 齐爽 冯天烁 江建国 
验证算术电路特别是门级乘法器电路的正确性是一项重要的研究,目前最有效的验证方法是结合计算机代数和SAT求解来验证门级整数乘法器。为了增加验证结果的可信度,进一步生成证明证书,使用认证器检查以实用代数演算(PAC)证明格式生成单...
关键词：乘法器电路 计算机代数 实用代数演算 认证器 
一种非线性系统的群叶状方法
《延安大学学报（自然科学版）》2022年第3期80-83,共4页李晓燕 黄协 苏鹏飞 纪加强 
延安大学疫情防控应急科研项目(ydfk057);延安大学校级科研计划项目(YDQ2019-11)。
通过研究等价活动标架理论与非线性系统精确解的关系,提出一种基于活动标架理论的群叶状方法来求解微分方程的精确解,并用计算机代数得到了1+1维非线性偏微分方程的变量分离的新精确解,验证了群叶状方法的有效性和便捷性。从而推广和丰...
关键词：非线性系统 群叶状 计算机代数 精确解 
地球椭球向径和平均曲率半径的积分表达式被引量：2
《武汉大学学报（信息科学版）》2022年第7期1063-1070,共8页宗敬文 李厚朴 钟业勋 
国家自然科学基金(41671459,41871376,41771487);湖北省杰出青年科学基金(2019CFA086)。
引入地球向径积分平均值和地球平均曲率半径积分平均值的概念,借助计算机代数系统推导出了两者的符号表达式,并将它们表示为偏心率e的幂级数形式。将地球向径积分平均值和地球平均曲率半径积分平均值分别与平均球半径、等面积球半径、...
关键词：大地测量 地球向径积分表达式 平均曲率半径积分表达式 计算机代数系统 差异符号表达式 
全选清除导出
共22页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部