期刊文献+
共找到188篇文章
< 1 2 10 >
每页显示 20 50 100
基于Mathematica的符号计算方法 被引量:4
1
作者 邓瑞基 陈自力 唐小弟 《中南林学院学报》 CSCD 北大核心 2006年第3期90-93,共4页
介绍了M athem atica软件符号计算功能,并根据初值问题数值计算方法,运用了M athem atica进行符号运算,建立了一种解初值问题的符号计算方法,算例表明该方法计算简单,易程序化,计算结果比传统的数值方法优越.
关键词 mathematica 符号计算 初值问题 迭代法
在线阅读 下载PDF
非线性波方程准确孤立波解的符号计算 被引量:114
2
作者 李志斌 张善卿 《数学物理学报(A辑)》 CSCD 北大核心 1997年第1期81-89,共9页
该文将机械化数学方法应用于偏微分方程领域,建立了构造一类非线性发展方程孤立波解的一种统一算法,并在计算机数学系统上加以实现,推导出了一批非线性发展方程的精确孤立波解.算法的基本原理是利用非线性发展方程孤立波解的局部性... 该文将机械化数学方法应用于偏微分方程领域,建立了构造一类非线性发展方程孤立波解的一种统一算法,并在计算机数学系统上加以实现,推导出了一批非线性发展方程的精确孤立波解.算法的基本原理是利用非线性发展方程孤立波解的局部性特点,将孤立波表示为双曲正切函数的多项式.从而将非线性发展方程(组)的求解问题转化为非线性代数方程组的求解问题.利用吴文俊消元法在计算机代数系统上求解非线性代数方程组,最终获得非线性发展方程(组)的准确孤立波解. 展开更多
关键词 非线性波方程 孤立波解 符号计算
在线阅读 下载PDF
基于符号计算的风洞试验测量不确定度评估 被引量:4
3
作者 黄勇 钱丰学 董立新 《流体力学实验与测量》 CSCD 北大核心 2002年第3期91-95,共5页
基于符号计算进行风洞试验测量不确定度分析可以实现实验数据处理公式及误差灵敏度系数的自动推导 ,采用该方法对ZSDD 1导弹标模风洞试验结果进行了定量的试验不确定度评估 ,计算得到的气动力系数精度极限与重复性试验得出的试验精度吻... 基于符号计算进行风洞试验测量不确定度分析可以实现实验数据处理公式及误差灵敏度系数的自动推导 ,采用该方法对ZSDD 1导弹标模风洞试验结果进行了定量的试验不确定度评估 ,计算得到的气动力系数精度极限与重复性试验得出的试验精度吻合良好 ,气动力系数偏离极限计算值通常是其精度极限的 3~ 4倍 ,其不确定度大约是其精度极限的 4倍。笔者所述分析方法和分析程序为定量评估风洞试验数据的可靠性提供了一种有效手段。 展开更多
关键词 评估 风洞试验 不确定度分析 符号计算 飞机
在线阅读 下载PDF
判定线性偏微分方程组解的完备性的一个符号计算方法 被引量:2
4
作者 张鸿庆 谢福鼎 陆斌 《应用数学和力学》 EI CSCD 北大核心 2002年第10期1008-1012,共5页
从微分代数的角度出发 ,借助于吴微分特征集理论 ,对于线性偏微分方程组 ,给出了判定它的解的完备性的一个符号计算方法· 这个算法是一个机械化的算法 ,借助于符号计算软件Maple 。
关键词 完备性 微分代数 偏微分方程组 符号计算 特征集
在线阅读 下载PDF
求解孙子问题的算法及符号计算软件 被引量:2
5
作者 衷仁保 马建 《小型微型计算机系统》 EI CSCD 北大核心 1996年第12期20-25,共6页
本文阐述在计算机上求解孙子问题的算法,并在微型机上用符号计算语言CASC实现了这些算法。软件CHINREMD可对任意大整数情况求解孙子问题。
关键词 符号计算 计算机代数 孙子问题 软件
在线阅读 下载PDF
基于Matlab符号计算工具箱的内点法最优潮流研究 被引量:2
6
作者 李尹 韦化 《电力自动化设备》 EI CSCD 北大核心 2003年第7期34-39,共6页
为提高最优潮流算法的通用性,利用Matlab符号计算工具箱完成了一种基于扰动KKT条件的内点算法最优潮流的符号计算。可以获得系统状态变量的显式符号结果,该方法使得复杂的最优潮流修正方程的形成与求解过程简化为在每次迭代中进行一次... 为提高最优潮流算法的通用性,利用Matlab符号计算工具箱完成了一种基于扰动KKT条件的内点算法最优潮流的符号计算。可以获得系统状态变量的显式符号结果,该方法使得复杂的最优潮流修正方程的形成与求解过程简化为在每次迭代中进行一次简单的代数替换。通过对4个不同的目标建模仿真,结果表明,该方法可极大地简化最优潮流计算程序的复杂程度,提高代码的通用性和易维护性。 展开更多
关键词 最优潮流 路径跟踪法 内点算法 符号计算 MATLAB 电力系统
在线阅读 下载PDF
到期一次还本付息债券利息调整详解——基于符号计算 被引量:1
7
作者 王磊 徐金亚 尹波 《财会月刊》 北大核心 2017年第7期63-66,共4页
根据企业会计准则的规定,企业应当对到期一次还本付息债券的投资和发行采用实际利率法,按摊余成本进行后续计量。在会计实务中进行利息调整时,会出现"利息过度调整"的现象。在采用Maple软件进行符号计算的基础上,通过对实际... 根据企业会计准则的规定,企业应当对到期一次还本付息债券的投资和发行采用实际利率法,按摊余成本进行后续计量。在会计实务中进行利息调整时,会出现"利息过度调整"的现象。在采用Maple软件进行符号计算的基础上,通过对实际利息和名义利息的符号表达式的数学推演,得出避免"利息调整过度"现象出现的充要条件:对于折价发行的债券,发行价可能存在两个临界值,发行价在二者之间时,不会产生"利息过度调整"现象;对于溢价发行的债券,发行价存在一个临界值,发行价大于或等于临界值时,不会产生"利息过度调整"现象。 展开更多
关键词 到期一次还本付息债券 实际利率法 符号计算 利息过度调整
在线阅读 下载PDF
近似符号计算的神经网络模型方法的研究──多项式因式分解的神经网络机理 被引量:2
8
作者 周永权 《计算机工程与设计》 CSCD 北大核心 1999年第5期60-64,共5页
定义了代数神经元与代数神经网络,将符号计算融入代数神经网络,讨论多项式园式分解机理。设计出一类一元,多元多项式团式分解的神经网络模型。以整数城Z,复数域C上多项式为例,指出其网络模型的可行性。
关键词 神经网络 多项式 因式分解 近似符号计算
在线阅读 下载PDF
守恒密度的符号计算方法及其应用
9
作者 范筑军 杨力军 马东魁 《中山大学学报(自然科学版)》 CAS CSCD 北大核心 2002年第2期8-11,共4页
文中首先给出了守恒密度的符号计算方法 ,然后 ,应用守恒密度计算软件 ,给出了具有足够多守恒律的高阶KdV方程系数的推导方法 ,最后 ,给出了推导 9阶KdV方程具有一致阶时系数之间关系式的
关键词 守恒密度 符号计算 高阶KDV方程 非线性发展方程 一致阶 守恒律 多项式密度
在线阅读 下载PDF
SGARP中符号计算模块的实现及其应用
10
作者 张景中 张传军 +2 位作者 郑焕 饶永生 邹宇 《计算机研究与发展》 EI CSCD 北大核心 2014年第6期1341-1351,共11页
可持续发展的几何自动推理平台(sustainable geometry automated reasoning platform,SGARP)支持用户按需添加或修改几何定理机器证明所涉及的几何对象、谓词、定理和规则,以发展多种多样基于规则的机器自动推理或人机交互推理方法.为... 可持续发展的几何自动推理平台(sustainable geometry automated reasoning platform,SGARP)支持用户按需添加或修改几何定理机器证明所涉及的几何对象、谓词、定理和规则,以发展多种多样基于规则的机器自动推理或人机交互推理方法.为进一步提高SGARP的推理能力和扩展其适用范围,提出一种在SGARP中实现符号计算功能的快捷方法,并成功添加了质点法和解析法推理模块.质点法可证明希尔伯特交点类几何命题,解析法能用于辅助证明各种类型有一定难度的几何定理,如著名的Thebault定理.对这两种方法用基于Web的机器证明测试用的几何问题库(thousands of geometric problems for geometric theorem provers,TGTP)中180道几何题进行评估,均在合理时间内给出令人满意的可读机器证明,表明升级后的SGARP能更好地满足用户学习与发展几何机器推理的需求. 展开更多
关键词 可由用户持续发展的几何自动推理平台(SGARP) 几何定理机器证明 符号计算 PYTHON语言 质点法 Thebault定理
在线阅读 下载PDF
随机大系统的Lyapunov函数构造与符号计算
11
作者 张应利 陈宗穆 刘洪伟 《湖南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2001年第3期58-63,共6页
讨论了如何利用随机第一积分为构造非线性随机动态系统的Lyapunov函数的基本原理与方法 ,并在这个基础上建立孤立子系统的第一积分与随机大系统 Lyapunov函数的关系 ,然后利用这个基本原理来构造随机大系统的备选 Lyapunov函数 .这一方... 讨论了如何利用随机第一积分为构造非线性随机动态系统的Lyapunov函数的基本原理与方法 ,并在这个基础上建立孤立子系统的第一积分与随机大系统 Lyapunov函数的关系 ,然后利用这个基本原理来构造随机大系统的备选 Lyapunov函数 .这一方法即可以得到一般随机系统的Lyapunov函数的结构 。 展开更多
关键词 随机大系统 第一积分 稳定性 LYAPUNOV函数 非线性随机动态系统 构造方法 符号计算
在线阅读 下载PDF
几类非线性数学物理方程精确解的符号计算
12
作者 周凯 杨军 +1 位作者 马立媛 沈守枫 《高校应用数学学报(A辑)》 北大核心 2020年第2期223-234,共12页
利用符号计算软件Maple,研究了几类非线性数学物理方程的精确解.由Hirota双线性方法构造了可积非局部离散mKdV方程的N-孤子解的显式表达式,且对于2-孤子解,分析了渐近行为.从Jacobi椭圆函数出发,得到了多分量Klein-Gordon方程和长波-短... 利用符号计算软件Maple,研究了几类非线性数学物理方程的精确解.由Hirota双线性方法构造了可积非局部离散mKdV方程的N-孤子解的显式表达式,且对于2-孤子解,分析了渐近行为.从Jacobi椭圆函数出发,得到了多分量Klein-Gordon方程和长波-短波方程的行波解.当模m→1,这些解退化为相应的双曲函数解,如钟型孤子解. 展开更多
关键词 精确解 非局部离散m KdV方程 KLEIN-GORDON方程 长波-短波方程 符号计算
在线阅读 下载PDF
寻求2n+1阶KdV孤立子方程的符号计算方法
13
作者 范筑军 朱思铭 《华南理工大学学报(自然科学版)》 EI CAS CSCD 北大核心 2002年第9期10-13,29,共5页
将符号计算方法和守恒密度计算软件相结合 ,得到了具有足够多守恒律的 9阶、11阶KdV方程 ,从而得出确定 2n + 1阶KdV方程具有一致阶时的系数之间关系式的一种方法 .
关键词 2n+1阶KdV孤立子方程 符号计算方法 守恒密度 守恒律 分步积分 密度函数
在线阅读 下载PDF
基于Hensel构造的回归神经网络符号计算模型及算法
14
作者 周永权 刘宣会 《广西科学》 CAS 2003年第3期176-178,182,共4页
将传统意义下 Hensel构造提升的方法与回归神经网络模型有机地结合起来 ,提出一种基于 Hensel构造方法的回归神经网络近似代数符号计算新模型和 PFRNN网络算法 .该模型不但具有回归神经网络的特点 ,而且具有 Hensel构造提升的思想 ,给... 将传统意义下 Hensel构造提升的方法与回归神经网络模型有机地结合起来 ,提出一种基于 Hensel构造方法的回归神经网络近似代数符号计算新模型和 PFRNN网络算法 .该模型不但具有回归神经网络的特点 ,而且具有 Hensel构造提升的思想 ,给人们研究代数符号计算与近似代数符号计算提供一种可视化手段 .通过多元多项式近似因式分解算例分析可以看出 ,新模型刻划出在符号计算意义下精确计算与近似计算的本质与联系 . 展开更多
关键词 回归神经网络 Hensel构造方法 近似分解 代数符号计算
在线阅读 下载PDF
符号计算主义与意向实在论
15
作者 田平 《北京师范大学学报(社会科学版)》 CSSCI 北大核心 2005年第6期105-109,共5页
符号计算主义的意向实在论论证的要点,是表明具有语义性质的命题态度的因果效力。然而,在这里,命题态度的因果效力是通过命题态度的句法性质而得到论证的。这就给符号计算主义的意向实在论论证带来了问题:命题态度的语义性质如何能够对... 符号计算主义的意向实在论论证的要点,是表明具有语义性质的命题态度的因果效力。然而,在这里,命题态度的因果效力是通过命题态度的句法性质而得到论证的。这就给符号计算主义的意向实在论论证带来了问题:命题态度的语义性质如何能够对认知系统的行为具有因果相关性?语义性质的因果效力问题是意向实在论论证的关键所在。因此,符号计算主义对意向实在论的论证是不成功的。 展开更多
关键词 符号计算主义 意向实在论 常识心理学 心灵哲学 认知科学
在线阅读 下载PDF
关于符号计算的探讨 被引量:6
16
作者 李梓 《计算机应用与软件》 CSCD 1993年第6期25-28,共4页
众所周知,科学计算包括数值计算和符号计算两种计算。计算机能够对数值进行一系列运算是人所共知的事,但计算机也能够对含未知量的式子直接进行推导、演算则并不是人人皆知的事。数值计算和符号计算本来应该是并存的两种计算,是计算的... 众所周知,科学计算包括数值计算和符号计算两种计算。计算机能够对数值进行一系列运算是人所共知的事,但计算机也能够对含未知量的式子直接进行推导、演算则并不是人人皆知的事。数值计算和符号计算本来应该是并存的两种计算,是计算的平行的两个部分,决不能厚此薄彼,因此这两种计算都是一样重要的。利用计算机对一个函数进行求导、积分,这早已成为事实。本文将着重讨论符号计算所涉及的一些问题,符号数学软件的发展情况和使用情况,以及对较有名气的符号数学软件 muMATH 的探讨。 展开更多
关键词 符号计算 数学软件
在线阅读 下载PDF
符号计算课程教学调查
17
作者 张韵华 《研究生教育研究》 1996年第4期21-23,共3页
符号计算课程教学调查张韵华一、前言应国内部份高等学校数学系的要求,1986年国家教委统一将“计算数学”专业更名为“计算数学及其应用软件”(以下仍简称计算专业),这一更名顺应了社会需要,符合学科发展趋势,得到了各高校有... 符号计算课程教学调查张韵华一、前言应国内部份高等学校数学系的要求,1986年国家教委统一将“计算数学”专业更名为“计算数学及其应用软件”(以下仍简称计算专业),这一更名顺应了社会需要,符合学科发展趋势,得到了各高校有识之士的赞同。随之而来的一个问题是... 展开更多
关键词 符号计算 课程教学 计算机基础 计算机技术 计算数学 学习积极性 学习态度 数值计算 课程设置 计算机辅助教学
在线阅读 下载PDF
符号计算语言CASC数学表达式核心化简系统
18
作者 谢果然 衷仁保 任朝阳 《小型微型计算机系统》 CSCD 北大核心 1992年第11期34-42,48,共10页
数学表达式的化简是符号计算系统的基础,又是一项很困难的工作。本文提出了一个基于“复杂关系”概念的化简方法,并用Turbo Pascal在微型机上实现,建造了符号计算语言CASC数学表达式化简系统的核心化简系统。
关键词 符号计算 数学表达式 CASC语言
在线阅读 下载PDF
利用符号计算方法研究生物系统全时滞稳定性
19
作者 柳君 牛薇 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2015年第12期2363-2369,共7页
生物系统全时滞稳定性表明系统对于时滞具有很好的可靠性,因此一直是学者们研究的热点,该研究通常采用传统的数学方法或数值计算方法.针对高维非线性含参数的生物系统,利用Hurwitz判据和多项式完全判别系统提出了带参数的非线性生物系... 生物系统全时滞稳定性表明系统对于时滞具有很好的可靠性,因此一直是学者们研究的热点,该研究通常采用传统的数学方法或数值计算方法.针对高维非线性含参数的生物系统,利用Hurwitz判据和多项式完全判别系统提出了带参数的非线性生物系统全时滞稳定性的一个充要代数判据.在此基础上,研究了如何利用Grbner基、三角化分解和实解分类等符号计算方法来处理得到的代数问题,并提出了一个利用符号计算方法系统化、算法化和自动化分析生物系统全时滞稳定性问题的方法.该方法使用的计算均是精确的,这为生物学家以及工程师研究某些生物系统的稳定性提供了理论基础.最后,通过对实际生物模型,比如时滞Lotka-Volterra模型和SIR传染病模型全时滞稳定性问题分析得到的有效结果,证明了符号计算方法分析生物系统全时滞稳定性的可行性及其相较于传统数学方法的优越性. 展开更多
关键词 符号计算 全时滞稳定性 代数方法 生物系统 非线性
在线阅读 下载PDF
利用符号计算求解高阶非线性演化方程的新方法
20
作者 史振华 夏铁成 《上海大学学报(自然科学版)》 CAS CSCD 北大核心 2011年第3期270-274,共5页
用〔G′/G〕扩展法进一步求解(2+1)维Bogoyavlenskii破裂孤子方程和(3+1)维Kadom tsev-Petviashvili(K-P)方程,成功得到双曲函数解、三角函数解和有理解.结果表明,该方法对于求解高维非线性偏微分方程同样有效.
关键词 G′/G〕扩展法 符号计算 Bogoyavlenskii破裂孤子方程 Kadomtsev-Petviashvili(K-P)方程
在线阅读 下载PDF
上一页 1 2 10 下一页 到第
使用帮助 返回顶部