Hamilton-Jacobi方程的广义条件对称约化

研究Hamilton-Jacobi方程与广义条件对称群的关系,得到了方程容许的一类二阶广义条件对称,利用该对称对Hamilton-Jacobi方程做了对称约化。     

空间中混合均衡问题和相对拟非扩张半群公共解的一种逼近方法

在Banach空间中,通过广义投影算子,建立一种求解混合均衡问题和相对拟非扩张半群的公共解的迭代算法,并证明迭代序列的强收敛性.     

I{2}和M{2}的有效刻画(英文)

Stewart给出了一个矩阵2-逆集合M{2}的刻画公式.但其中含有多余的任意参数,因而不是一个有效刻画.本文利用方阵的满秩分解,为I{2}_s的一个真子集B_1剔除了Stewart公式中的多余任意参数,得到了B_1的有效刻画公式;还证明了I{2}是其有限个子集的并集,其中每个子集与B_1等距同构.由此可分别建立I{2},I{2},M{2}和M{2}的有效刻画公式.算法2.1则可用于无重复地计算I{2}_s的每个元素.     

基于Joeq编译器的软件分析及其应用

Joeq编译器是一款开源虚拟机和编译器框架,已经被越来越多的研究人员使用,然而使用Joeq编译器进行软件分析研究的相关文献还很少,而软件分析在软件开发、测试和维护等软件工程活动中起着重要的作用.在Joeq编译器的基础上研究典型的软件分析技术的实现,如访问者模式分析、类层次分析、控制流分析、数据流分析和负面效应分析等,给出了详细的实现方法.这些软件分析技术在设计的重构工具Lock2Lock中进行了实现,在这些软件分析技术的辅助下,Lock2Lock可以实现从同步锁到可重入锁(或读写锁)的自动转换.     

新型卷积码编码器结构与性能分析

综合了LDPC和卷积码的特征,给出了一种卷积码编码器结构的改进方法. 利用此方法可构造稀疏卷积码,进一步基于卷积码编码结构可实现高性能译码. 设计了基于MIMO系统平台的时变新型卷积码结构,并进行仿真分析. 结果表明,应用本文提出的卷积码编码器误码率在10-4时比传统卷积码编码器有2 dB的编码增益提高;同时提出的编码器结构还可实现传统卷积码无法实现的长约束并行编码,具有实现简单、译码延时小的优势.      

一种近联合界北斗B1I信号BCH码译码算法

提出一种性能接近联合界的北斗B1I信号BCH码译码算法. 以北斗卫星导航系统B1I公开服务信号ICD为基础,分析导航电文的BCH(15,11)编码的纠错能力和联合界,针对ICD标准译码算法的编码增益低和译码失败门限高提出改进算法. 以Chase算法为基础提出一种新的BCH编码软判决译码算法,使用格雷码排序优化伴随式计算,证明最大相关性与最小欧氏距离的等价关系,优化算法在不损失编码增益的条件下复杂度降低50%. 仿真结果表明在误码率10-5时距离联合界仅0.01 dB,新算法可获得2.5 dB的编码增益,译码失败门限从4.4 dB下降到1.2 dB.      

一类二阶强迫非线性微分方程的振动性

利用广义变分原理和Riccati变换建立了带有阻尼项的二阶强迫非线性微分方程(r(t)Ψ(y(t))︱y′(t)︱α-1 y′(t))′+p(t)Ψ(y(t))︱y′(t)︱α-1 y′(t)+q(t)f(y(t))=e(t)的振动准则,并改进和推广了已有的研究成果.     

带Robin边界条件的2维随机Ginzburg-Landau方程的吸引子

研究2维空间中带Robin边界条件的随机广义Ginzburg-Landau方程的渐近行为.通过建立该系统在不同空间中的吸收集,最终得到其在空间H1中吸引子的存在性.     

拓扑矢量空间内一类新的双水平广义混合平衡问题解的存在性（英文）

在拓扑矢量空间内引入和研究了一类新的双水平广义混合平衡问题.使用一极小极大不等式,在相当温和的条件下,对这类双水平广义混合平衡问题建立了解的存在性定理和讨论了解集性质.这些结果是新的,并推广了这一领域的某些最近结果.     

广义帕累托分布的应力-强度可靠性的贝叶斯估计

基于不同形状参数的广义帕累托分布,讨论应力-强度参数的贝叶斯估计.通过模拟得出在平方损失函数和0-1损失函数下的贝叶斯估计值比较相近;有先验信息条件下的贝叶斯估计的均方误差值低于无信息先验条件下的贝叶斯估计的均方误差值.