2-一致光滑Banach空间中k-严格伪压缩半群公共不动点的隐格式迭代算法

对于Banach空间中女一严格伪压缩半群的公共不动点给出了隐格式迭代算法,证明了一个强收敛定理,推广并扩展了相关结论。     

具阻尼广义Korteweg-de Vries方程的迭代学习控制

研究了一类具阻尼广义Korteweg-de Vries(KdV)方程的迭代学习控制问题,利用半群理论导出系统状态的表达式及先验估计。若迭代过程中初值允许存在一定偏差,结合P型迭代学习控制算法,证明了跟踪误差在Banach空间■中收敛,并且给出了数值实例。     

模同态广义逆的一些结果

设(U)为结合环(含单位元1),M为左(U)-模.本文考察模同态的广义逆,并用模同态的正则逆对模进行了分类,我们分别给出了直内射模,不可分解模及强不可分解模的充分必要条件.     

投资消费模型中价值函数的正则性

在有交易费的常系数投资消费模型下,讨论了价值函数的一些重要的基本性质,即给出了价值函数的正则性等结果。     

三种局部环的同调刻划

给出了C-M环、Gorenstein环和正则环上C-M模的同调性质,并用这种性质描述了这三种环的联系与区别     

幂零群和π－正规化子

有限群的结构与其子群的性质间的关系问题是群论的一个重要研究方向,通过群的极大子群、正规子群、半正规子群等对该群进行研究,已有一系列结果,将先用群G的p-Sylow子群P及其极大子群去研究群的结构,得到G是幂零群的一个充要条件,然后给出了π－正规化子的定义,讨论了它的一些性质,得到了π－正规化子的一些结论。     

改进非凸估计与非对称时空正则化的红外小目标检测方法

针对复杂背景下的红外小目标检测,在非对称时空正则化约束的非凸张量低秩估计算法基础上,提出了一种新的核范数估计方法代替原算法中的估计方法。提出基于结构张量与多结构元顶帽(Top-Hat)滤波的自适应权重张量对目标张量进行约束,增强目标张量稀疏性的同时抑制其中残存的强边缘结构。实验结果表明,所提改进算法能够更好地消除图像中强边缘结构对检测结果的影响,在保证检测率的情况下,较原算法具有更低的虚警率。     

跟踪误差对指挥仪动态计算精度的影响

本文利用DGCST 幂统[1]分析了跟踪误差对射击诸元的影响;在指定航迹条件下,定量给出了解算随动态系统对不同性质误差的响应和曲线;并且论述了与跟踪误差有关的若干问题。     

Lotka-Volterra捕食方程的Hopf分岔研究

对于具有有限时滞的Lotka-Volterra捕食方程,选用时滞作为分岔参数,得到模型的局部稳定性条件和系统的Hopf分岔值。利用中心流行定理和正则化方法,得到Hopf分岔的方向和周期解的稳定性。     

随机利率情形下幂型期权定价问题

利用随机微分方程,鞅方法及测度变换等方法,讨论了随机利率情形下的幂型期权定价模型,并得到了随机利率情形下的幂型期权定价公式。     

Clifford分析中K超正则函数的Riemann边值问题

Clifford分析中的函数理论被广泛研究,得到的许多结果推广了经典复分析中解析函数的理论。文中研究了Clifford分析中K超正则函数的Riemann边值问题,得到它的一种表示式和Cauchy积分公式等一些性质,利用转化法和积分方程及不动点原理证明了它的一类Riemann边值问题O解的存在唯一性。     

分块模幂算法

RSA是目前最成熟的一种公钥密码体系 ,RSA加解密算法的速度依赖于模幂算法 ,因而快速模幂算法一直是人们感兴趣的课题。该文提出了一种基于分块的模幂算法 ,对算法复杂性进行了讨论 ,并与其他模幂算法作了比较 ,从理论上论证了它具有更快的模幂速度     

PTL 证明器的实现技术

基于文［１０］中的理论,我们用Ｔｕｒｂｏ─ｐｒｏｌｏｇ编程,在３８６微机上成功地实现了命题时态逻辑定理的证明器。该证明器在处理ｎｅｘｔ幂次、归纳、归结、◇（ｘ∧ｙ）、ｕｎｔｉｌ　等方面,均有独到之处。这些方面,克服了以往工作的不足。证明器界面友好、速度快、能力强。     

有限群的极大子群的正规指数

有限群的结构与其子群性质间的关系问题是群论的一个重要研究方向,通过群的极大子群、正规子群、半正规子群、极大子群的正规指数等去研究群的可解性,超可解性、幂零性等,已有一系列结果.应用极小反例方法,利用有限群极大子群的正规指数,得到了一个有限群是π-可解群的充分条件,2个有限群是π-可解群的充分必要条件.     

π-幂零群的一个新刻画

有限群的结构与其子群的性质间的关系问题是群论的一个重要研究方向,通过群的极大子群、正规子群、半正规子群等对该群进行研究,已有一系列结果。该文将用群G的p-Sylow子群P及其极大子群去研究群的结构,得到群G是π-幂零群的一个充分条件。     

P(r)P振子的自由振动频率规律性研究

将恢复力为ε·sign(x)·|x|~r的振子命名为具有单纯r次幂型恢复力的振子,记为P(r)P振子,给出了其自由振动频率的精确计算公式。提出了频率幂次常数和当量刚度等概念,将P(r)P振子自由振动频率归纳为频率幂次常数与当量刚度平方根的乘积。提出了P(r)P振子的分类方法:把幂次r在0和1之间的称为渐柔型P(r)P振子,振幅愈大,其自由振动频率愈小;幂次r大于1的称为渐刚型P(r)P振子,其自由振动频率随振幅的增大而增大。     

灰集与泛灰集的关系及泛灰幂集中的逆合对应

本文讨论了如下三个问题:(1)从同构的角度给出了泛灰幂集的余运算;(2)证明了灰幂集与泛灰幂集就运算、∪、∩、C 来说是同构的;(3)讨论了泛灰幂集中的逆合对应,并说明了(g(u)、∪、∩、′)是Fluzzy 格。     

基于L曲线的跳频信号重构正则化参数优化

研究了基于L曲线的跳频信号重构正则化参数的选取问题,对跳频信号的稀疏性进行了分析,采用L曲线对系统的最优正则化参数进行了选取．在此基础上,通过推广的正则化FOCUSS算法估计了跳频信号的稀疏表示．仿真结果表明,通过L曲线选取的正则化参数在推广的正则化FOCUSS算法下,能够实现跳频信号在噪声环境下的重构．     

一种图像去模糊正则化恢复算法参数确定方法

为了解决模糊正则化恢复算法中参数确定问题,提出一种正则化参数确定方法,该方法根据降质图像特征计算正则化参数.分析了目前普遍应用的全变分正则化方法和该问题的改进拉格朗日迭代解法(SALSA),分析不同正则化参数对恢复效果的影响,提出的正则化参数确定方法与噪声和原图像梯度大小相关.对不同梯度和噪声图像的不同正则化参数恢复效果进行对比,得到提出的正则化参数确定方法能使恢复图像的改进信噪比处于最大值附近.从实验视觉效果得出,该参数确定方法能够抑制降质图像的噪声并能够尽量恢复原图像细节信息.     

余模范畴上单子的构造

根据A-上环（A是代数）的类群元的定义及有关性质,文章首先给出T-余单子（T是单子）的类群元的定义、存在条件,其次研究了类群元与缠绕结构之间的相关性质,最后构造了T-余模范畴上的单子。