Protégé知识模型的研究

研究了Protégé知识模型和元类体系结构，用元类描述了Protégé的知识模型并将protégé知识模型转换为RDF知识模型。     

Hénon映射的Hopf分岔分析及PSpice电路模拟

以3阶Hénon映射作为研究对象，应用一类分岔临界准则和投影法分别分析了Hénon映射的Hopf分岔临界值和分岔解的稳定性．并以此数学模型为依据，设计了Hénon电路，基于OrCAD／PSpice建立了相关仿真模块，成功地对Hénon映射的Hopf分岔现象进行了电路模拟．模拟结果表明：该方法可以作为研究非线性动力学现象的一种有效手段，可以有效而直观地对非线性动力学进行研究和分析．     

抛物线边界二次系统单中心环域的Poincaré分支

主要利用Picard—Fuchs方程和Riccati方程法，解决了一类以抛物线为边界的单中心环域可积非Hamilton系统在二次多项式扰动下的Poincaré分支问题，得出此系统的Poincaré分支最多可以扰动出三个极限环。     

一类高阶Liénard型方程周期解的存在性

研究了一类高阶Liénard型方程x(n)(t)+f(x(t))x′(t)+g(x(t-(τt,x(t))))=p(t)的周期解问题,利用Mawhin延拓定理和一个改进的先验估计,获得了一些新的结果.同时也改进并推广了已有文献中的一些结果,所得结果体现了滞量对周期解存在性的影响.     

基于Protégé的VF教学本体建模方法研究

本体是一种有效的知识建模方法．以大学计算机教学中的VF程序设计领域为研究对象，以Protégé 2000为本体建模工具，结合领域本体构建方法，初步探讨了该领域本体的构建过程．     

Carathéodory系统解的存在性

将Carathéodory系统转化为Kurzweil广义常微分方程,利用已知的Kurzweil广义常微分方程解的存在性理论讨论了Carathéodory系统解的存在性.     

多项式Liénard方程的中心条件

作者研究了多项式Liénard方程具有非退化中心的条件，运用消元法给出了计算此条件的一个算法．     

均匀有理B-样条与有理Bézier表示之间的变换

利用L.Romani与M. A. Sabin提出的关于均匀B-样条与Bézier表示之间的变换的递推算法以及B-样条与有理B-样条、Bézier曲线与有理Bézier曲线之间的关系,研究有理B-样条曲线与有理Bézier曲线表示之间的变换,其基本方法是将有理B-样条曲线意义下的控制点变换为有理Bézier曲线意义下的控制点,将有理B-样条曲线意义下的权因子变换为有理Bézier曲线意义下的权因子.反之亦然.上述变换可以通过文献[1]中提供的变换以及权因子得到.     

具有两个偏差变元的广义Liénard型方程周期解的存在性

考察了具有两个偏差变元的广义Liénard型方程,利用重合度理论研究其周期解问题,得到了该方程周期解存在的充分条件,结论丰富了现有文献的结果。     

时滞位移反馈Liénard振子的多稳态解

对Lifinard振子系统引入时滞反馈,定性地研究时滞反馈对Lifinard振子系统周期解的影响,发现时滞可使系统出现多个周期解共存的现象．利用一阶近似多尺度法直接地预测了由时滞导致的系统周期解个数及其稳定性随着时滞反馈增益和时滞量的变化规律．数值上采用四阶Runge-Kutta法,验证了理论分析结果的有效性,并划分不同周期解所对应的吸引域．研究结果对控制系统的镇定和系统同步有着潜在的应用价值．     

基于Poincaré散点图和符号动力学的心电分析方法

心率变异性（heartrate variability,HRV）可以用于进行心脏相关疾病的预测、预防和预后评价等.结合心电散点图和符号动力学的方法,从ECG信号中提取HRV序列,绘制心电散点图,并对散点图中散点进行分区编号编码.计算不同编码的出现概率进而计算整个序列信息熵.以该熵值作为心电特征用于识别和分类.实验得到窦性心律和房颤心律的分类正确率为86.67%,窦性心律与伴有失常心律的早搏分类正确率为90%.证明该方法能有效分类窦性心律与失常心律.      

Jaulent-Miodek方程的Painlevé可积性及精确解

利用基于WTC方法的Kruskal简化法判别了一类特殊的非线性耦合Jaulent-Miodek方程在三种情形下具有Painlevé可积性,一种情形下不具有Painlevé可积性.尽管Jaulent-Miodek方程在一种情形下不具有Painlevé可积性,仍可以通过推广的Painlevé标准截断展开和Painlevé非标准截断展开方法求得非线性耦合Jaulent-Miodek方程行波形式的精确解.     

一类Liénard型方程周期解及概周期解的存在唯一性和渐近稳定性

应用 V-函数法讨论具有强迫项的 L iénard方程 x+f0 (x) x+f1 (x) x2 +g(x) =e(t)周期解与概周期解存在唯一性和渐近稳定性     

Poincaré度量下的偏差定理

几种特殊区域到单位圆的正规化共形映射是存在且唯一的,在此证明基础上,再利用庞加莱度量和共形映射的相关性质得到这几种特殊区域的偏差定理,从而说明不同区域下的偏差定理不是唯一的。     

关于Bernstein-Durrmeyer-Bézier算子的Lp逼近

引入Bernstein-Durrmeyer-Bézier算子,研究了其在Lp（1≤p≤∞）空间的逼近并利用Ditzian-Totik模得到了逼近正定理.     

(2+1)维Lax-Kadomtsev-Patviashvili方程的Painlevé分析和精确解

由Weiss,Tabor和Carnevale(WTC)提出的Painlevé分析法是目前最有效且应用广泛的直接判别非线性偏微分方程的方法之一.借助符号计算软件Maple,首先将判断非线性系统可积性的WTC方法应用于(2+1)维Lax-Kadomtsev-Patviashvili(Lax-KP)方程中,通过领头项分析得到两种情况.然后分别寻找共振点,并验证共振条件是否成立,判别了(2+1)维Lax-KP方程具有Painlevé不可积性.应用Painlevé标准截断展开和非标准截断展开两种方法,构造了Lax-KP方程不同形式的精确解,通过适当选取常数值发现这些精确解都是扭结形状的孤波解.     

Hermite-Fejér插值多项式的二阶导数的收敛阶

给出扩充混合型Ｊａｃｏｂｉ节点的Ｈｅｒｍｉｔｅ－Ｆｅｊｅｒ插值多项式的二阶导数的收敛阶。