论文部分内容阅读
介绍了微分与差分方程机械化方法研究若干最新进展.主要结果包括,微分、差分方程的特征列理论与算法,微分、差分方程系统的分解算法以及微分、差分方程解析解求解算法.
微分、差分方程的机械化方法
【摘 要】
：
介绍了微分与差分方程机械化方法研究若干最新进展.主要结果包括,微分、差分方程的特征列理论与算法,微分、差分方程系统的分解算法以及微分、差分方程解析解求解算法.
【机 构】
：
中国科学院系统所,数学机械化重点实验室,100190
【出 处】
：
系统科学与数学
【发表日期】
：
2009年9期
其他文献
目的:探讨烧伤大鼠休克期红细胞趋化因子受体(ECKR)结合活性的变化.方法:SD大鼠随机分成烧伤组和对照组; 烧伤组大鼠体表总面积(TBSA)的30%为Ⅲ度烫伤.应用ELISA法, 以IL-8为
主要分析了差分代换矩阵的基本性质，证明了存在有限个差分代换矩阵的乘积可以将单位点（1，0，…，0）变换到指定的非负（本原）整点．利用这一结果可以导出R^n＋上判定半正定型的充要条件．根据此
设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
期刊
在符号计算中，最困难的一个地方是中间计算过程的表达式快速膨胀．基于不变量代数的符号几何计算为解决这个困难提供了可能．比如，利用零几何代数证明欧氏几何定理时，就可以给出很短
应用数学机械化方法研究欧氏空间中SU(2)Yang-Mills规范场的存在性问题.首先对YM-方程的结构进行了讨论,说明YM-方程由它的奇部份和偶部份联立组成.对于YM-方程构造了一类线
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
期刊
考察了在政府对企业污染排放进行限制的条件下,当企业资本存在随机波动时企业如何进行动态投资和价值评估.运用随机动态最优控制方法,得到了企业价值的自由边界常微分方程以
Decentralized robust stabilization of discrete-time fuzzy large-scale systems with parametric uncert
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
期刊
s级p阶辛Runge-Kutta-Nystr(o)m(R-K-N)方法的一种充要条件是用关于参数的非线性方程组来表示的,辛R-K-N格式的构造问题因而转化为该方程组的求解问题.在一些特殊的限定条件