Banach空间n阶非线性积分-微分方程初值问题解的存在性

用Tonelli方法研究了Banach空间中n阶非线性积分—微分方程初值问题，在非线性增长条件下，获得了初值问题解的存在性及其Tonelli迭代逼近。     

三对角方程组行处理法并行算法模拟

给出一个串行模拟在分布式存储ＭＩＭＤ一级３叉树机上求解任意三对角线性代数方程组的分布式迭代算法的Ｃ语言程序。     

CPI趋势测定与分析

近期,居民消费价格指数(CPI)呈线性增长态势,形成通胀压力.经过建立数学模型测定,以及定性分析对定量分析结果的修正,可以预见,CPI增幅将会突破5%,且今后一段时期内,CPI仍会处在增幅5%以上的高位波动,通胀压力仍然存在,但CPI的上升空间有限.     

基于混沌控制的自适应Turbo码译码改进算法

针对Turbo码在译码过程中迭代次数不确定的缺点,提出了一种新的改进算法。即在对附加信息(译码器的先验信息)进行混沌控制的基础上,以附加信息间的距离度量作为迭代终止的判定。仿真试验表明,该改进算法能在保证译码的准确性基础上,避免大量无谓的计算,提高译码速度,尤其在信噪比较大的情况下,效果更为明显。     

一阶混合单调脉冲微分方程解的存在性

脉冲微分方程理论是微分方程的一个重要分支，混合单调迭代技术是其重要基础之一。在Banach空间中，利用混合单调迭代技术及Shaulder不动点定理，考虑混合单调脉冲微分方程初值问题，给出方程解和藕合最大最小解的存在性定理及单调迭代方法。     

基于二分法迭代的频谱感知节能优化策略

针对认知无线电(CR)系统中频谱感知技术能量效率低的问题,提出了一种基于二分法迭代寻优的联合优化算法。该算法通过联合传输功率与感知时隙进行优化,最大化地提高了CR系统的能量效率,并且在针对优化参数ξ的寻优过程中,使用了二分法与迭代算法结合的寻优方法。通过理论分析,与其他类似算法相比,该算法的寻优速度更快,算法复杂度更低,函数收敛速度更快,实际应用的可扩展性更强。数值仿真分析结果表明,在保证检测性能的前提下,提出的算法能够很好地解决能效的最优化问题,在恒定检测概率Pd=0.9和Pd=0.7条件下,所提出算法的能耗开销均低于其他算法,在系统吞吐量中所提出算法均优于其他算法,为CR系统的发展提供了理论支撑,更加符合未来CR系统的节能发展方向。     

一阶逻辑完备性定理的新代数证明

给出了一阶逻辑完备性定理的一个新的代数证明，这个证明不使用依赖于Boole代数表示定理的γ-解释，但使用关于Q-滤子△↓的△↓-解释，也需要用到选择公理，另外指出了已有代数证明的不足之处，并作了修正。     

非对称AOR迭代法的收敛性

介绍了求解非奇异线性方程组Ax=b的非对称AOR迭代法，并给出了系数矩阵A为正定阵时该迭代法收敛的充分条件。