一类可积的变系数线性微分方程

利用变换的方法,给出了二阶、三阶、四阶变系数线性微分方程可积的一个充分条件.     

CFSM模型的有限自动机语义

研究 CFSM模型的自动机语义 ,提出一种从 CFSM到自动机转换的算法。该算法的核心思想是构造一个包含控制自动机、输入自动机、输出自动机的有限状态自动机系统 ,利用自动机的同步性模拟 CFSM的异步行为。本文的工作为进一步利用自动机理论和工具对 CFSM模型进行分析和验证奠定了基础     

线性空间的幂等变换与对合变换的几个等价表示

给出数域F上线性空间(不一定是有限维的)的线性变换是对合变换与幂等变换的几个等价描述.作为其推论,得到数域F上n阶方阵是对合矩阵与幂等矩阵的几个等价描述.     

某些赋范线性空间中非线性联合逼近的α阶强唯一性

本文给出了满足某些条件的赋范线性空间上联合逼近的α阶强唯一性定理,利用这些定理获得了:若G是L_P(H~(K.P))中的联合太阳集(或弱拟凸集,如果g_o是G中对F={f_i}∈σ联合最佳逼近,则M>O,存在C_P>O,使得g∈G∩B(g_o,M)有sum from i=1 to ∞γ_i‖f_i-g‖~p≥sum from i=1 to ∞γ_i‖f_i-g_o‖~p C_p‖g-g_o‖~α。其中α=max(2,P)     

一类无散射耦合的Kotreweg-de Vries方程组的约化和精确解

将一类无散射耦合的Korteweg -deVries方程组约化为一阶拟线性双曲型方程 ,并给出了它们之间的一种变换关系 ,然后利用拟线性双曲型方程的解 ,得到无散射耦合的Korteweg-deVries方程组的精确解     

对流扩散问题在三角形网格上的一种有限体积法的误差估计

利用三角形剖分网格,对对流扩散方程构造一个四点有限体格式,并证明这种格式有0(h)阶误差估计。     

66阶群之构造

有限群的构造理论是有限群之研究中的-个重要方面.而研究有限群之构造问题实际上是群的分类问题.本文利用了 sylow五-子群的关系证明了66阶群之构造,其结论是:66阶群 G,当它含有阶为33的循环子群时,其个数为4.     

正规子群及群阶与表现的关系之相关问题的证明

本文利用了“正规子群及群阶与表现的关系”中的理论及有关定理证明了8个相关问题:(1)奇阶群中非单位元的任何不能与其逆元共轭。(2)奇阶群的阶与共轭元类之个数r(G),有关系式O(G)≡r(G)(mod16)。(3)有限群G之正则表现如有非恒同的实不可约成份,则O(G)为偶数。(4)奇阶群中任一个共轭元素类与它的逆类互异(单位元类除外)。(5)奇阶群G中共轭元素类之个数也必为奇数。(6)有限群G之共轭元素类的个数等于1/0(G)sun from x∈G to(O(Z_G(x)))。(7)H是群G之真子群,则r(H)<[G:H]·r(G),但r(H)与r(G)分别为H、G中共轭类个数。(8)H是G之子群。不论x是G之任何元,恒有O(Z_G(x))≤[G:H]·O(Z_H(x))。又“等号”成立的充要条件是G=H·Z_G(x)。在证明中问题4利用问题2的结论。问题5利用了问题4的结论。问题7利用了问题6的结论。     

基于FrFT和子空间正交的LFM信号参数估计

基于分数阶Fourier变换和子空间正交性,提出了一种低信噪比下线性调频信号检测与参数估计方法。讨论过程中将线性调频信号通过适当的分数阶Fourier变换得到一个单频复正弦信号,在此基础上,利用信号子空间与噪声子空间的正交性处理其正弦信号,再对线性调频信号的检测和参数估计转化为函数极值求解;最后,利用计算机模拟证实了方法的有效性。     

微分方程(系统)的不变量(组)及其应用

利用自变量变换,[1]得到了二阶线性微分方程的不变量,文[2]得到了三阶和四阶线性微分方程的不变量组。设想,如果施行因变量变换,定会求出上述方程的另一种不变量(组)。本文没有单独施行这种变换,而将自变量变换与因变量变换揉合在起,希望获得上述方程的蕴含着上述两种不变量(组)的新不变量(组)。本文这种统一的方法,在用于线性微分方程和某种非线性微分方程,以及用于线性微分系统,都获得了成功。最后简要地讨论了这些不变量(组)的应用。     

一类新的2+1维非线性发展方程及其解的对合表示

由线性谱问题的相容性条件得到一个新的2+1维非线性发展方程。利用位势函数与特征函数之间的约束获得Bargmann系统,通过Euler Lagrange方程及Legendre变换构造Jacobi Ostrogradsky坐标。应用Lax对非线性化方法,生成了一个新的有限维Hamilton正则系统。最后证明其为Liouville意义下完全可积系统,并得到发展方程族的对合表示。     

广义KDV-MKDV方程的精确解

利用直接积分方法将广义KDV-MKDV方程化为一阶变系数非线性常微分方程组,然后用待定系数法确定相应的常数获得了广义KDV-MKDV方程新的精确解;利用先作假设变换后选取试探函数的方法来直接构造广义KDV-MKDV方程新的精确解.     

一种求解Riccati方程的方法

由于Riccati方程为非线性方程，常用的初等积分方法难以获得其解析解，但如果知道Riccati方程一个特解，则可通过变换将其简化为一阶线性非齐次微分方程求解.文章以实例形式分析了一阶线性微分方程与Riccati方程之间存在相同特解的情况，在求解思路上，提出了将一阶线性微分方程作为Riccati方程求解的引导方程，分析了引导方程与Riccati方程之间存在共同特解的条件，给出了寻求可解Riccati方程的方法，并通过示例验证了此方法的可行性.     

非线性逼近的P阶强唯一性

本文讨论了1相似文献   

关于有限群的超可解性

利用弱拟正规和广义中心元概念得到有限群为超可解群的若干充要条件,推广了现有的结果.     

关于α-拟 Hermite-Fejér 插值算子的逼近阶

本文讨论了以 Jacobi 多项式 P_n~(1/2,-(1/2))(x)的零点为节点组时的 a-拟 Hermite-Fejér,插值算子 S_(2n)(f,x)的点态通近阶.并进而证明对函数类 Hω而言,本文所得到的结果就阶而言是不可改进的.     

也谈矩阵逆的求法

矩阵在高等代数(线性代数)中具有非常重要的作用,其中矩阵的逆尤为重要。那么如何判断一个矩阵是否可逆,如何去更快更好地解决求逆矩阵的问题,在许多高等代数(线性代数)教科书中,主要介绍用初等行(或列)变换求可逆矩阵的逆矩阵的方法。鉴于此,主要介绍了伴随阵法、初等行(列)变换法、行列初等变换并用法、哈密尔顿—凯莱定理法、利用线性方程组求逆矩阵、分块矩阵求逆等十四种方法,并对几种比较重要的方法进行了简要论证,分析了各方法的优势和劣势,以此希望能对今后的研究起到一定的参考作用。     

一类随机前馈时变时滞非线性系统的状态反馈控制

基于低增益齐次占优技术和坐标变换等方法,针对随机前馈并且输入和状态均有时间延迟现象的非线性系统,主要研究其状态反馈控制问题.通过构造合适的Lyapunov泛函,巧妙地设计出了一个与时间延迟互为独立的状态反馈控制器,该控制器可以使整个闭环随机系统的平衡点是依概率全局渐近稳定.最后,仿真示例表明了该控制器设计方法是行之有效的.     

一类耦合方程有限元解及其高阶时间导数的超收敛性

本文讨论了一类拟线性二阶双曲一抛物耦合方程有限元方法,对任意阶的时间导数,有限元解具有一阶一致的超收敛性及平均超收敛性.     

一类刚性系统基于线性多步法的并行计算方法

针对一类分解的刚性系统,提出了一类并行组合方法.该方法将系统分割与方法分割的并行化方法相结合,采用显式线性多步方法求解非刚性子系统,采用隐式线性多步方法求解刚性子系统.讨论了方法的相容阶、收敛性和数值稳定性.数值试验结果表明,该方法对于求解分解的刚性系统是可行的.