无穷区间上分数阶积分边值问题正解的存在唯一性

该文研究一类无穷区间上带有积分边界条件和扰动参数的分数阶微分方程特征值问题.运用带参数的和算子不动点定理,建立了上述特征值问题存在唯一正解的最大特征值区间,并讨论了正解对参数的连续依赖性.特别地,给出了参数的临界值估计,最后,给出一个例子作为所获结果的应用.     

非线性分数阶微分方程特征值问题正解的存在性

应用拉伸压缩不动点定理研究非线性分数阶微分方程特征值问题的正解,得到了正解的存在性.结果表明,对于一类α阶非线性分数阶微分方程的特征值问题(3α≤4),当特征值参数满足在一给定开区间时,该微分方程至少存在一个正解.     

高阶微分方程边值问题正解的存在性

利用锥上的不动点定理,不动点指数原理研究特征值问题■和■正解的存在性,并给出使得上述问题存在正解时λ的范围,其中η∈(0,1),α,β≥0,参数λ 0.     

一个四阶非线性微分算子的特征值问题

研究了一个四阶微分算子的非线性特征值问题,首先利用对称全连续算子谱理论得到线性情况下的特征值结果,然后将非线性问题线性化,利用Schauder不动点定理得到一个不动点,而此不动点恰为非线性问题的解,借以证明特征值的存在及相应的估计.     

一类差分方程的动力学性质

[目的]研究一类差分方程的动力学性质.[方法]通过讨论系数参数与特征值的关系得到了双曲不动点的类型与稳定性,利用中心流形定理和分支理论研究了非双曲不动点的稳定性与flip分支,通过正规形理论与嵌入连续流等方法研究了特征值为±1的退化不动点的稳定性.[结果]得到了2-周期轨的稳定性、非双曲不动点的拓扑结构和退化不动点的稳...     

一个带周期边界条件的非线性特征值问题

将一个带周期边界条件的非线性特征值问题线性化,构造有界凸闭子集上的一个紧映射,利用不动点定理得出该映射的不动点,而此不动点恰好为非线性问题的解,借以证明特征值的存在性,并利用线性问题的结果得到非线性问题的相应结果。     

Fuchs型算子的非线性扰动

研究了有限区间上两端都带奇型的非线性特征值问题, 将该非线性问题线性化,构造有界凸闭子集上的一个紧映射,利用Schauder不动点定理得该映射的不动点,而此不动点恰好为非线性问题的解,借以证明特征值的存在性,并利用线性问题的结果得到非线性问题的相应结果.     

四阶特征值问题正解的存在性

文章讨论了四阶常微分方程特征值问题的正解的存在性,在一定条件下,利用不动点指数和锥拉伸与锥压缩不动点定理,得到了该四阶特征值问题正解存在的充分条件。     

对神经网络中一类模型不动点的分析

研究了一类神经网络模型的自治系统和不动点,发现随着参数w的变化,模型可能出现2-6个不动点,其中在3个和5个不动点时会出现分岔点.通过计算线性化矩阵和特征值,确定了各不动点和分岔点的性态.     

n阶非线性特征值问题的多个正解的存在性

利用锥上的不动点定理,讨论了含有参数λ(λ>0)的n阶非线性特征值问题的多个正解的存在性,给出了4个正解存在的充分条件.     

MP3解码在数字信号处理芯片上的并行实现

由于MP3解码算法比较复杂,其中大多数运算是32位的运算,但是一些数字信号处理(DSP)芯片只支持16位的定点运算.为了在支持16位定点并行运算的数字信号处理(DSP)芯片上并行实现MP3解码程序,通过研究MP3定点解码程序中的运算特点和常用的支持16位定点并行运算的数字信号处理(DSP)芯片的特点,提出了MP3解码程序中32位的加法、减法和乘法运算在支持16位运算的DSP上的并行实现方法.实验表明,该算法充分利用了DSP芯片的并行功能,解码效果与参考C代码解码效果一致.     

DSP语音控制器中MFCC参数的定点快速算法

本文介绍了一个基于定点数字信号处理器ＡＤＳＰ２１８１的语音控制器，着重讨论了其语音特征参数计算方法。     

基于独立分量分析的缺陷信号除噪

独立分量分析ICA是一项新兴的阵列信号处理方法,在简要介绍ICA概念和定点算法的基础上,将ICA的定点算法应用到缺陷信号除噪中。仿真试验结果表明,ICA的定点算法除噪效果优于传统的数字滤波器,它在缺陷信号除噪中具有较大的应用潜能。     

合成孔径雷达定点CS算法量化噪声分析

为了实现星载合成孔径雷达(synthetic apertureradar,SAR)成像处理器小型化和实时信号处理,该文重点研究定点运算和有限字长存储引入的量化噪声。根据chirpscaling (CS)成像算法,建立了CS算法定点运算的量化误差模型,分析了处理流程中的量化噪声,推导了系统输出噪信比与系统字长、FFT长度等参数之间的关系。采用不同系统字长对Radarsat-I数据成像,图像质量分析与所述理论一致,结果表明:通过计算处理流程的噪信比,可实现定点SAR成像处理器系统字长等关键参数的设计。     

非扩展映射的不动点定理

在研究Banach不动点定理的基础上,讨论非扩展映射的不动点问题,证明了严格非扩展映射的象是X中的列紧集时,它必有惟一的不动点.     

讲授令人困惑的定点转动问题

定点转动需要两个三维坐标系、三个独立变量来描述其运动.由于它空间性强、矢量关系复杂,运动图像不易展示,成为教学中的难点.我们利用三维动画辅助讲解,较好地解决了这一问题.     

强超弱紧生成Banach空间不动点性质

主要研究Banach空间的不动点性质,并给出一种全新的证明方法.首先利用超幂方法证明范数一致G光滑在凸集本身以及它的超幂上是相等的,然后利用反证法证明凸集在范数一致G光滑下对非扩张映射具有不动点性质,最后证明了每个强超弱紧生成的Banach空间在再赋范意义下满足每个弱紧凸集具有超不动点性质.     

交织多址接入系统定点Logistic交织序列生成算法

交织多址接入(interleave division multiple access, IDMA)技术作为典型的非正交多址接入技术,受到学术界和产业界的广泛关注。为降低IDMA系统多用户检测过程存储空间和计算复杂度,采用双极性化的定点Logistic序列与待(解)交织序列对应相乘方式完成(解)交织;同时,为降低任意量化比特长度的定点Logistic序列生成过程时延,采用现场可编程逻辑门阵列进行生成。利用Logistic系统李雅普诺夫指数,确定处于混沌状态的定点Logistic序列量化比特长度;基于平衡度和互相关门限,确定定点Logistic序列开始位置和初值;采用查表法构建非对称基本乘法器,并采用移位相加法计算总乘法器。仿真结果表明,所提算法可以充分利用Logistic序列混沌、平衡度、相关等特性,具有较好的误码率性能。     

计算机中定点数与浮点数表示范围大小的研究

基于计算机中定点数与浮点数的表示方法,本文讨论了定点数与浮点数表示范围的大小问题,着重指出用相同的字长表示二进制数时浮点数表示的范围比定点数表示的范围大的误区,用实例给出了计算机中定点数与浮点数表示范围大小的具体情况。     

带p-Laplacian算子的半线性分数阶脉冲微分方程解的存在性与唯一性

研究了一类带p-Laplacian算子的半线性分数阶脉冲微分方程反周期边值问题.首先将分数阶微分方程转化为等价的积分方程,然后通过使用Schauder不动点定理、Schaefer不动点定理及Banach压缩映射原理得到了边值问题解的存在性与唯一性,最后举例验证主要结果的合理性.