运用复规范形法计算Hopf分岔系统的最简规范形

为简化最简规范形的求解过程，提出了一种应用复规范形理论计算Hopf分岔系统最简规范形的有效方法．建立了复坐标下Hopf分岔系统的规范形及非线性变换，以复数运算替代原有实数形式矩阵表示法的矩阵推导过程，获得了此类Hopf分岔系统的最简规范形，归纳出了这一非线性系统最简规范形系数的选择规律．通过算例验证了本方法对于简化传统规范形结果的有效性．     

高维Hopf分岔系统的最简规范形

针对高维Hopf动态分岔问题,研究了不经计算其传统规范形,直接计算高维任意阶数的Hopf分岔系统的最简规范形.利用中心流形定理,将原n维动力系统降为二维的中心流形,根据规范形理论,对中心流形上流的方程进一步化简,在不经过计算传统规范形的情况下,直接计算出其最简规范形中只包含的三阶和五阶项.编写了Mathematica程序,利用该程序,可直接由原n维动力系统计算出其最简规范形.通过3个算例验证了该方法的正确性和计算程序的高效性.     

复规范形法求解非共振双Hopf分岔系统的最简规范形

提出了一种应用复规范形理论获取非共振双Hopf分岔系统最简规范形的有效方法,以简化最简规范形的求解过程.建立了复坐标下非共振双Hopf分岔系统的规范形及非线性变换,采用复数运算替代原有实数形式矩阵表示法的矩阵推导过程,获得了系统高阶关键方程的一般形式,简化了非线性变换的表达式,并且由此推导出了此类系统的最简规范形表达式.所附算例验证了最简规范形理论对于简化传统规范形结果的有效性.     

不经中心流形化简计算半单系统的最简规范形

为了在不经中心流形降维的情况下高效计算半单系统的最简规范形,基于矩阵表示法研究了半单系统的最简规范形．在系数矩阵的补算子空间上选取适当的近恒同变换代入原动力系统,求得含有低阶变换的传统规范形,通过逐次比较补算子空间上同阶项系数确定近恒同变换和系统最简规范形,利用符号运算语言Mathematica编制了计算半单系统最简规范形的通用程序,在不经过中心流形降维的情况下,可计算多种奇点类型的高维半单系统最简规范形,并给出了2个算例以证明该方法的有效性．     

具有一对纯虚及单零特征根系统的最简规范形

最简规范形在分析高余维非线性系统分岔及稳定性等动力学特性方面具有重要的研究价值.为简化系统最简规范形的求解过程,采用复规范形理论,以复数运算替代原有的实数形式矩阵分析过程,获得了具有一对纯虚和单零特征根(Hopf-zero)分岔系统的最简规范形,归纳出了该类系统高阶关键方程的一般形式,并且重新定义了新的非线性变换表达式.所附算例验证了最简规范形理论对于简化传统规范形结果的有效性.     

高维Hopf分叉的数值计算

本文通过引入一个阵变换，把导求维动力系统的Ｈｏｐｆ分叉点问题转化为求一个矩阵的最大模共轭复特征值问题。提出了一个新的计算高维动力系统的Ｈｏｐｆ分叉点的数值方案。     

用内积法研究Hopf分岔系统的规范形

在动力系统的规范形理论基础上，用内积法研究了Hopf分岔系统的规范形，对矩阵表示法进行了改进，研究了Hopf分岔系统的规范形系数与原系统的关系，得出比传统规范形更简化的一个表达式。     

乔姆斯基的最简方案探究

乔姆斯基理论的活力表现为不断地自我完善、自我更新。本文简要地分析了乔姆斯基最简方案形成的背景及其提出的一些基本假设。     

非简谐振子的最陡下降理论计算

本文将由Ｃｉｏｓｌｏｗｓｋｉ提出并被文根旺发展了的最陡下降理论用于非简谐振子的计算中，同时讨论了各参数对计算结果的影响．计算表明，在给定的精度下，利用最陡下降法可以得到与精确解相同的结果。     

几类复系统的规范型的计算

本文给出几类复系统的规范型的计算公式。     

一类具双时滞的食饵-捕食系统的Hopf分支分析

 讨论了具有追捕时滞(捕食者的成熟时滞)τ₁、两种群生长时滞τ₂的双时滞食饵-捕食系统稳定性,确定各时滞取值范围对系统中食饵与捕食者数量的影响.首先,分别以追捕时滞(捕食者的成熟时滞)τ₁、两种群的生长时滞τ₂为参数,通过对系统线性化方程特征根的分布分析,找到特征根具严格负实部的时滞取值范围,得到系统平衡点的稳定性条件,确定了系统平衡点的线性稳定性区域.其次,讨论系统追捕时滞(捕食者的成熟时滞τ₁)在稳定区域内时,以两种群的生长时滞τ₂为参数时系统的稳定性,及系统Hopf分支的存在条件,利用中心流形理论和规范型方法计算了系统Hopf分支方向和分支周期解的稳定性,得到了系统参数的取值范围.     

一个光滑Chua系统的Hopf分岔分析

研究了一个带有三次光滑非线性项的Chua系统,通过严格的分析和符号运算,展示了该系统的稳定性和Hopf分岔的一些特征,并通过数值模拟证明结果的正确性.     

关于半拟齐次函数芽正规型的证明

运用半拟齐次函数芽f=f0+f′的性质:f~0f+∑ckek(~表示右等价)给出了一类解析函数芽jxnf的正规型的简单证明方法。     

命题公式主范式的自动生成与形式输出

在文[1]和文[2]的基础上,给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法,并实现了多个命题公式主范式的同时形式化输出.