切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
微分、差分方程的机械化方法
微分、差分方程的机械化方法
来源 :系统科学与数学 | 被引量 : 0次 | 上传用户:chueri1
【摘 要】
:
介绍了微分与差分方程机械化方法研究若干最新进展.主要结果包括,微分、差分方程的特征列理论与算法,微分、差分方程系统的分解算法以及微分、差分方程解析解求解算法.
【作 者】
:
高小山
李子明
【机 构】
:
中国科学院系统所,数学机械化重点实验室,100190
【出 处】
:
系统科学与数学
【发表日期】
:
2009年9期
【关键词】
:
数学机械化
微分方程
差分方程
特征列方法
函数分解
闭形式解.
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
介绍了微分与差分方程机械化方法研究若干最新进展.主要结果包括,微分、差分方程的特征列理论与算法,微分、差分方程系统的分解算法以及微分、差分方程解析解求解算法.
其他文献
烧伤大鼠休克期红细胞趋化因子受体结合活性的变化
目的:探讨烧伤大鼠休克期红细胞趋化因子受体(ECKR)结合活性的变化.方法:SD大鼠随机分成烧伤组和对照组; 烧伤组大鼠体表总面积(TBSA)的30%为Ⅲ度烫伤.应用ELISA法, 以IL-8为
期刊
烧伤
红细胞趋化因子受体
白细胞介素-8
差分代换矩阵与多项式的非负性判定
主要分析了差分代换矩阵的基本性质,证明了存在有限个差分代换矩阵的乘积可以将单位点(1,0,…,0)变换到指定的非负(本原)整点.利用这一结果可以导出R^n+上判定半正定型的充要条件.根据此
期刊
差分代换矩阵
差分代换集序列
终止性
半正定型.
一类无单位元环的同调不变量Tor(~A)m(Z,Z)的计算
设s,t1,t2,…,tr为正整数,A=s(Zst1(+)Zst2(+)…(+) Zstr), ~A=A(+) Z,本文作者给出了当(s,t1)=(s,t2)=…=(s,tr)=d时~A-模Z的自由预解,并以此为基础计算了Tor~Am(Z,Z).
期刊
自由模
映射族
投射(自由)预解
张量积
Observer design for matrix second order linear systems with uncertain disturbance input-a parametric
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
期刊
几何代数在定理证明中的消元与化简算法
在符号计算中,最困难的一个地方是中间计算过程的表达式快速膨胀.基于不变量代数的符号几何计算为解决这个困难提供了可能.比如,利用零几何代数证明欧氏几何定理时,就可以给出很短
期刊
共形几何代数
零括号代数
几何自动推理
算法.
Yang-Mills规范场的存在性、可解性(一)
应用数学机械化方法研究欧氏空间中SU(2)Yang-Mills规范场的存在性问题.首先对YM-方程的结构进行了讨论,说明YM-方程由它的奇部份和偶部份联立组成.对于YM-方程构造了一类线
期刊
数学机械化
SU(2)Yang-Mills规范场
示性变换.
Output feedback adaptive control of multivariable nonlinear systems using Nussbaum gain method
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
期刊
排污约束下企业的投资与定价
考察了在政府对企业污染排放进行限制的条件下,当企业资本存在随机波动时企业如何进行动态投资和价值评估.运用随机动态最优控制方法,得到了企业价值的自由边界常微分方程以
期刊
排污约束
最优投资
企业价值
资本清算
Decentralized robust stabilization of discrete-time fuzzy large-scale systems with parametric uncert
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
期刊
三级四阶显式辛R-K-N格式的完全构造
s级p阶辛Runge-Kutta-Nystr(o)m(R-K-N)方法的一种充要条件是用关于参数的非线性方程组来表示的,辛R-K-N格式的构造问题因而转化为该方程组的求解问题.在一些特殊的限定条件
期刊
辛格式
R-K-N方法
完全构造
吴方法.
与本文相关的学术论文