n阶非线性常微分方程n点边值问题解的存在唯一性

n阶非线性常微分方程n点边值问题解的存在唯一性早在20世纪50年代就有人开始研究，所得结果都是在条件及其复杂，假设了一些边值问题解的存在性或唯一性(甚至包括其自身的)的基础上得到的，这给应用带来了困难。至今还没有人得到条件简单明了的便于应用的存在唯一性定理。这篇文章成功地将上述边值问题转化成了积分方程问题．并利用格林函数，不动点定理得到了较好的存在唯一性结果。为研究n阶非线性常微分方程非线性n点边值问题奠定了基础。     

离散广义线性系统的若干结论

本文将常义离散线性系统中的部分结论推广到了广义系统的情形，给出了广义系统的正则性定理，稳定性定理、能稳性定理和输出调节定理。     

非线性颤振极限环稳定性判别的复数正规形法

研究了一类含立方非线性二元机翼颤振系统的分岔现象.应用Hopf分岔定理验证了系统在颤振临界点必发生Hopf分岔.利用中心流形定理将系统降维, 然后应用Hopf分叉的复数正规形法判别了极限环的稳定性, 所得结果与数值解吻合.      

飞行器壁板颤振的无限维非线性分析

 一、无限维Hopf分叉定理和中心不变流形定理 由于偏微分方程的矢量场（在任一适当的Banach空间中）常常不是光滑函数,Marsden-McCracken利用（相）流的光滑性提出了流的Hopf分叉定理和中心流形定理。这里的流都是半（相）流,也就是半群。     

拓扑线性空间上连续线性泛函的延拓

本文在线性空间中给出了线性球的定义，由此我们得出：拓朴线性空间中连续线性泛函延拓定理成立的主要条件为当其任意子空间中的线性球为开集时，存在原拓扑上的凸邻域，使此凸邻域限制在子空间上时属于线性球。     

二维严格凸域上介值定理的一个证明

利用拓扑度的同伦不变性，证明了二维严格凸域上的介值定理。     

翼板颤振主动抑制的无限维非线性分析

 <正> 1.混合动力学系统的Hopf分叉定理 本文将Marsden-McCracken关于分布参数的Hopf分叉定理推广至混合动力学系统。 设在积空间X=E×R~n中依赖参数μ的演化方程为     

台劳公式的新证明及其推广

中值定理及其台劳公式的证明一般采用构造辅助函数的方法。利用行列式构造了一个统一格式的辅助函数,利用该辅助函数可以证明各中值定理及台劳公式,而且很容易得出台劳公式的推广形式。     

无穷维情形下的Rolle定理

设Ω是自反的实Banach空间X中的有界开凸集,Y为一实赋范线性空间。证明了一个无穷维情形下的Rolle定理：如果算子A∶Ω→Y在Ω上强连续,在Ω内Frèchet可微,并且存在Y上的非0连续线性泛函f,使得f（Ax）=0对一切x∈Ω成立,则至少存在一点∈Ω,使对一切u∈X,都成立f（A′（x）u）=0。     

一类非线性微分方程极限环的唯二性和唯n性

本文给出微分方程n＝ψ（y)-F(x)恰好y=g(x)存在n个极限环的充分条件定理。本文是在更广泛条件下－－F(x）为n级拟奇可微函数的情形进行讨论。定理的给出的条件,更充分地体现存在n个极限环方程的实际背景的物理意义。     

一种凸多边形区域的无人机覆盖航迹规划算法

 覆盖航迹规划技术对于提高无人机的侦察能力和目标搜索能力具有重要的意义。首先从能量、路程、时间角度,理论上证明了转弯过程比直线平飞过程的效率低。其次给出了凸多边形跨度和宽度的定义,并把凸多边形区域的覆盖航迹规划问题转化为求凸多边形宽度的问题。最后证明了凸多边形区域的宽度只可能出现于“点边式”跨度之中,并给出了一种高效的“点边式”宽度算法。无人机只需要沿着宽度出现时的支撑平线方向飞行,即可以取得最少的转弯次数。通过仿真分析,证明了所提出的算法能够有效解决无人机在凸多边形区域中的覆盖航迹规划问题。     

关于非扩张映像的修正粘滞迭代格式

设H是Hilbert空间,X是Banach空间,C是H或X中的非空闭凸子集,T是C→C的非扩张映射,且f是C→C的压缩映射。受H．K．Xu对粘滞迭代算法讨论的启发,提出一种新的粘滞迭代算法,xn＋1=T[（1-αn）xn＋αnf（xn）],n≥0,其中x0∈C,C是Banach空间中的非空闭凸子集,分别在Hilbert空间和Banach空间框架下证明了序列{xn}是强收敛的。     

过驱动飞行器积分滑模容错控制方法

针对过驱动飞行控制系统中执行器故障时的协调分配问题,提出了一种基于积分滑模的容错飞行控制器设计方法.引入虚拟控制思想,构造了多执行器故障条件下飞行器层级结构控制的数学模型.运用小增益定理,推导了系统闭环稳定的充分条件,并基于线性矩阵不等式,建立了最优状态反馈的凸优化模型.以积分滑模面切换函数为变量,选取李雅普诺夫能量函数,设计了渐近稳定的积分滑模控制器.仿真结果表明,该方法可综合考虑执行器完好和故障时的控制效能,能够实现多操纵面容错飞行控制,具有较好的鲁棒性.     

超椭球凸集合可靠性综合指标定义及求解方法

针对失效域与超椭球凸集合发生干涉与不发生干涉两种情况下,超椭球凸集合非概率可靠性与非概率可靠度两种指标各自存在的不足,将两指标相结合提出多个超椭球凸集合描述时的可靠性综合指标定义,并提出将改进的有限步长迭代法(MLSA)与Monte-Carlo法结合来求解综合指标的方法.MLSA是在有限步长迭代法的基础上提出的,根据增...     

一类有理保形插值

给出了一个适用于一般数据集的有理保形插值函数。它不仅具有插值函数的形式简单、参数易于选取等特点,而且其C~2保形插值的参数可以很方便地求得,而不必求解非线性方程组。在给出C~k类函数(k=1,…,4)的Hermite插值的最佳误差估计的基础上,本文得到了一般数据集的保形插值的误差估计;作为其推论,又得到了对严格凸函数的保凸插值的误差估计。本文中C~1和C~2保形插值的参数仍可在一定范围内自由选取。故可利用其适当调整曲线的形状,使之更符合设计要求;或利用参数的适当选取以获得较好的逼近阶。提出的有理保形插值已用于正在开发的微机CAD并行系统。     

Bézier作图定理与三次Bézier曲线的几何特征

P.E.Bézier利用速端曲线,苏步青和刘鼎元运用仿射变换,都对Bézier曲线的几何特征作了深入研究。Bézier在文献[1]中提出用几何作图求Bézier曲线上的点及其切线的方法即Bézier作图定理。本文从作图定理入手详细地分析了平面三次Bézier曲线的几何特征,指出图2所示的λ、μ（或）是决定几何特征的一对不变量,给出了λ、μ（或）全平面图（见图3）,进而讨论了空间三次Bézier曲线的某些几何特征。     

曲线保凸光顺拟合中的支持向量回归模型

几何逆向工程中的光顺曲线重构问题本质上属于回归问题,支持向量回归机是求解回归问题的新的十分有效的方法.研究用支持向量回归机处理光顺曲线的重构问题,鉴于后者有着对于光顺性的特殊要求,通过修正惩罚因子对支持向量机加以改造,即根据测量数据点的分布情况,利用各测量点圆率及保凸条件的特性确定对应的惩罚因子,从而实现了自由曲线的保凸光顺重构.数据实验也表明该方法的有效性.     

Electrochemical machining of a convex strips structure on a revolving part by using site directed power interruption

Revolving parts with complex surface structures are widely used in machinery and mechanical equipment. The ECM process provides its adequacy to cut hard materials with different shapes, and its applications are widely increased, due to its outstanding advantages. In this paper, a new method for machining a convex strips structure on a cylinder by using site directed power interruption(SDPI) in the ECM process is presented. A variable correction value of the power-off time was defined and optimized to obtain the ideal interval for better machining accuracy and stability.The electric field distribution and the simulated convex profiles show that the stray current density can be reduced effectively by using the proposed method. The correction value has an important influence on the machining accuracy. A suitable correction value in the range of 0.6–1.2 s can effectively improve the machining accuracy of the convex strips structure. Experiments were also conducted to verify the proposed method. Results have confirmed that the stray corrosion on the convex strips surface is significantly reduced and the machining accuracy of convex strips structure is remarkably improved by using the proposed method with a suitable correction value in the ECM process. Finally, a convex strip with a height of 2 mm on a thin-wall revolving part was also produced successfully using a correction value of 0.9.