一类二次微分系统在三次多项式扰动下的极限环估计

计算了一类二次Hamilton微分系统的一阶Mel’nikov函数,通过此方法对该系统在三次多项式扰动下分岔的极限环个数进行了估计。     

均匀平面薄片重心公式的推导

给出均匀平面薄片重心公式的两种推导 ,同时介绍了古鲁金 (P .Guldin)定理及其应用。     

Estimating the point availability with right‐censored data

The point availability of a one‐unit system at a specified time is defined as the probability that the component is operating at that time. When both operating time and repair time are subject to random (right) censorship, we propose an asymptotic nonparametric approach for constructing confidence intervals for the point availability of the system. The technique is based on the fact that a product limit estimator converges to a Gaussian process. The method is also extended to finding confidence intervals for the point availability of a complex system using the δ‐Method. © 1999 John Wiley & Sons, Inc. Naval Research Logistics 46: 119–127, 1999     

一类差分方程的三点边值问题的正解

研究了一类离散型三点边值问题:Δ2y(k-1) a(k)f(k,y(k))=0,k∈N={1,2,…,T},Δy(0)=0,y(T 1)=βy(l),式中:f是变号的,l∈N1={2,3,…,T-1},T∈{3,4,…}。应用双锥上的不动点定理,得到了至少存在两个正解的充分条件,并给出了上述边值问题的Green函数。     

基于SQP法的助推-滑翔导弹助推段弹道优化研究

轨迹优化是飞行器总体优化设计中的重要组成部分,它贯穿于飞行器的整个设计过程。高超声速助推-滑翔导弹的弹道优化问题涉及攻角、法向过载、最大动压等多种约束条件,是一种复杂的最优控制问题。序列二次规划法（SQP）是解决该类问题行之有效的数值优化方法。本文利用SQP算法对助推-滑翔导弹助推段进行弹道优化,为这一高超声速飞行器的整体结构设计提供了有益的参考。     

含有p-Laplacian算子的非齐次边值问题正解的存在性

研究非齐次边界条件下,含有p-Laplacian算子的微分方程的可解性,在Banach空间中应用Krasnoselskii不动点定理,得到了边值问题正解存在性结果。     

具有时滞的二阶多点边值问题3个正解的存在性

研究具有时滞的二阶多点边值问题,应用Avery和Peterson推广的Leggett-Williams不动点定理,给出了该边值问题至少存在3个正解的充分条件。     

取值于p型Banach 空间随机变量列的收敛性

本文将Ｗ．Ｆ．Ｓｔｏｕｔ［１］关于实值随机变量列的收敛性的一些结果,推广到了ｐ型Ｂａｎａｃｈ空间值情形上,得到了刻划ｐ型Ｂａｎａｃｈ空间的二个充分必要条件及二个必要条件     

软件无失效测试数据的统计分析

软件可靠性估计是软件可靠性研究的重要问题之一,文中对分布式软件系统可靠性的评估方法进行了研究,给出了软件系统可靠度的最优置信下限.最后以某大型软件的评估为例,说明该方法的应用.     

一类比率型捕食系统的定性分析

研究一类比率型捕食者-食饵模型dxdt=x(a-bx)-x2c+x2myy2dydt=y(-r+x2d+xm2y2),应用微分方程定性理论,得出该系统极限环的存在性与正平衡点的全局渐近稳定性的充分条件。