微分代数多项式系统的可解集

本文对一般微分代数方程给出了几类可解集的概念，并讨论了多项式微分代数方程的可解集，得到子多项式系统具有唯一解。特别是有多于一个的解的条件，并得到了低次多项式在一定意义下的充分必要条件。     

关于一类非散度型非线性退化抛物方程的一些结果

In this paper, we are concerned with the initial and boundary value problem for the following equations not in divergence form:     

NCD系统的数学理论

无索赔折扣系统(No Claim Discount system,简记为NCD系统)是世界各国机动车辆险中广泛采用的一种经验费率厘定机制.本文尝试建立了NCD系统严谨的数学理论, 重点讨论了NCD系统的数学建模和稳态分析.此外,作为本文必要的数学前提,首先在第2节着重探讨了随机矩阵间的随机优序关系,并将所得结论运用至齐次不可约且遍历的马尔科夫链的研究中,这些内容也有其独立的数学上的兴趣.     

Banach空间非线性混合型微分-积分方程整体解的存在性和唯一解

研究了Banach空间中非线性混合型微分-积分方程初值问题u′=f(t,u,Tu,Su),u(0)=x0的整体解,完全没有要求f的任何增性,利用Mnch不动点定理和比较结果得到了初值问题整体解的存在性和唯一解,并且给出了一致收敛于唯一解的迭代序列,改进推广和统一了已有的许多结果.     

非Chetaev型变质量非完整系统的Lie对称性与Noether对称性

研究非Chetaev型变质量非完整系统的Lie对称性与Noether对称性以及其间的 关系,给出Lie对称性导致Noether对称性以及Noether对称性导致Lie对称性的条件.     

应用自动微分的Newton-PCG算法

一类新的使用符号微分的Newton-PCG型算法在文献[1]和[2]被导出来了。本文建立和研究应用自动微分的相应的Newton-PCG算法，理论分析和数值实验结果显示应用自动微分之后，目标函数的维数或复杂性越大，Newton-PCG算法对Newton法的改进越显著。     

Critical Point Theorems and Applications to Differential Equations

This paper contains a generalization of the well-known Palais-Smale and Cerami compactness conditions. The compactness condition introduced is used to prove some general existence theorems for critical points. Some applications are given to differential equations.     

多维Lotka-Uolterra周期系统周期解的存在性及其全局吸引性

研究了m-维离散Lotka-Volterra竞争系统，并获得了该系统周期解的存在性及其全局吸引性.     

光纤传感振动检测系统及其实验研究

实际工程结构中的振动检测是十分重要的，也是十分复杂的，常用的结构振动检测传感器易受工程现场恶劣环境的影响．而光纤传感器具有小巧、抗电磁干扰、灵敏度高、适合长期监测等优点。本文建立了基于马赫—曾德(Mech-Zehnder)干涉原理的光纤传感振动检测系统．研制了运用先进的数字信号处理技术采集和处理数据的专用软件，并在典型结构件——钢制悬臂梁结构上进行了外加信号作用下的强迫振动检测和冲击载荷作用下的自由衰减振动检测，测量了该结构件的频率及振幅，其结果与同时进行的成熟的电测结果相近，说明光纤传感器用于结构件的振动测量是可靠的。本文为光纤传感器应用于实际工程的振动检测提供了新的技术装置，具有工程应用前景。     

一种微型空调器的优化设计

介绍了一种微型空调器的研制背景及设计方案 ,采用仿真优化的设计手段对空调器的制冷、制热系统进行了优化设计 ,实践证明其设计是成功的。同时说明了该型空调器所具有的特点及应用场合