关于弱半素理想的一些研究

主要给出了弱半素理想的一些性质,证明了弱半素环的中心是约化环.     

基于多重分形的地形辅助导航路径规划算法

地形导航是一种利用航行器下方地形信息获取航行器位置的导航技术。为了得到较高的定位精度并使飞行长度尽可能短,需要预先规划飞行路径。该文将地形数字高程图(digital elevation model,DEM)看作二维灰度图像,引入在图像处理中得到广泛应用的多重分形理论,将利用小波变换求得的奇异指数作为地形提供定位精度能力的一种度量。选择合适的阈值划分得到定位优区,利用A*算法寻找最短路径,此路径即是规划路径。选用粒子滤波作为导航算法,沿规划路径和其他路径进行多次飞行仿真,结果显示规划路径的定位精度和稳定度都比较高,而且路径长度短,有较强的实用性。     

一类Fredholm积分方程解的存在性

利用不动点理论给出一类Fredholm积分方程存在解的充分性定理,同时给出了该定理的一些应用.     

一类变系数非稳态对流扩散方程的四阶紧致差分格式

针对一类变系数非稳态对流扩散问题,构造了一种四阶Runge-Kutta高阶紧致有限差分格式.该格式具有时空四阶收敛精度,即O(h4,4τ),而且构造方法简单、易推广应用到其他问题.最后给出数值算例验证了所提出方法在求解非齐次对流扩散问题上的有效性和可靠性.     

关于s-置换嵌入与弱s-置换子群

设H是有限群G的一个子群.称H在G中s-置换嵌入的,如果对于|H|的每个素因子p,H的Sylow p-子群也是G的某个s-置换子群的Sylow p-子群;称H在G中弱s-置换的,如果存在G的一个次正规子群T使得G =HT且H∩T≤HsG,其中HsG是由包含在H中的G的所有s-置换子群生成的群.利用s-置换嵌入和弱s-置...     

一些特殊子群对有限群可解性的影响

讨论了有限群的某些特殊子群与有限群可解性的关系,得到有限群可解的一些充分条件.     

关于有限群S-弱拟正规子群

从某一个特殊的子群出发研究一些子群对群结构的影响是群论研究的一个重要方向,利用S-弱拟正规子群及弱拟正规子群来研究一些群的结构,得出了一些群的可解性,超可解性以及幂零性.     

一类非齐次拟线性双曲型方程组混合初边值问题的整体经典解

考虑半无界区域{(t,x)|t≥0,x≥0}上的一类拟线性双曲型方程组的混合初边值问题.假设正特征弱线性退化,方程右端项满足匹配条件,可以得到慢衰减小初值问题C1解的整体存在性和唯一性.     

基于至少满足弱硬实时限制的调度算法

提出了一种用于保证实时周期任务满足“至少满足”弱硬实时限制的算法.针对以往算法的缺点,扩充了弱硬实时限制的性质,定义了下确界限制并给出求解法.下确界限制用于保证任务满足“至少满足”弱硬实时限制,是任务满足限制的下确界.下确界限制的求解法计算负责度较低,因此在该求解法的基础上设计了调度算法MAA,用于保证任务满足“至少满足”弱硬实时限制.     

具有两个滞量的微分差分方程的周期解

讨论了具有两个滞量的微分差分方程周期解的存在性.在HT1空间内,构造了一个泛函φ(u),并且证明了方程存在周期解和泛函具有临界点的等价性.再利用泛函的临界点理论,得到了方程具有周期解的充分条件.