判别线性不等式组相容性的ALN法

本文将ＡＢＳ算法应用到线性不等式组上．给出了一种判别ＡＸ＜０的相容性的方法．     

大台井"川法"密集柱支撑力分析

从单体液压支柱的特性出发，结合大台井实际的煤层和顶板条件，计算了俯伪斜走向分段密集采煤法密集柱的支撑力。影响密集柱支撑力的相关参数主要有煤层厚度与倾角、采深、控顶距等。密集柱支撑力的大小随煤层厚度增加而增大，顶板压力主要由密集柱承担；随煤层倾角的增大而减小；随采深增加而线性增大，深部开采时应考虑适当增加支护强度；随控顶距增大而增加，但增加幅度较小。所得到的结论为大台井“川法”采煤的实施提供了理论依据。     

基于变换域注意力机制的压缩伪影去除的方法

图像有损压缩过程往往会导致图像质量退化,使图像出现压缩伪影。针对现有基于深度学习的方法缺乏对联合图像专家组(Joint Photographic Experts Group,JPEG)压缩算法先验信息的利用,提出一种基于变换域注意力机制的去伪影方法。该方法利用卷积神经网络在像素域和离散余弦变换(discrete cosine transform,DCT)域分别提取特征,再将双域学习的特征信息进行融合。利用量化表设计了DCT注意力机制,该模块根据DCT系数的损失程度给予各频率系数不同的权值,使网络自适应补偿量化引起的误差。于此基础上,在像素域引入通道注意力机制,从而更好地利用量化表的先验信息。在主要数据集上,提出的去伪影方法以固定的模型参数对多种质量因子的压缩图像进行伪影去除实验。实验结果表明,所提出的方法在各评价指标和主观视觉上取得较好的效果。     

Δ—伪度量族与Menger概率度量空间

引进了Δ－伪度量族概念,研究了Ｍｅｎｇｅｒ概率度量空间与Δ－伪度量族生成空间的关系,证明了每个Ｍｅｎｇｅｒ概率度量空间（Ｅ,Ｆ,Δ）都可由Ｅ上的一个Δ－伪度量族｛ｄλ｝λ∈（０,１）所确定．     

伪距,伪距增量,载波相位双差／惯性深组合导航系统

利用滞后状态卡尔曼滤波将伪距,伪距增量以及载波相位双差同ＩＮＳ进行了深组合,仿真结果表明该组合导航系统不仅精度高,而且对解决惯导的对准问题具有突出的作用。     

伪黎曼流形上的2—阶对称张量场

对伪黎曼流形上的２－阶共变对称张量场,如果它的Ｊｏｒｄａｎ指标在一个邻域上是常数,我们能构造这个邻域上的局部正交光滑标架场,使这个张量场关于构造的标架场的分量矩阵有标准形式,由此可使用活动标架法伪黎曼形特别是Ｌｏｒｅｎｔｚ场形上的一些重要定理给出新的简洁证明。     

PRC_CW雷达地杂波空间相关特性仿真分析

在分析典型地物杂波的空间分布特性的基础上,针对ＰＲＣ＿ＣＷ（伪码调相连续波）雷达的特性,即雷达在低俯视角情形时地面回波信号展宽,利用对码元回波复信号进行空间矢量叠加以得到ＰＲＣ＿ＣＷ雷达实际接收的回波信号。通过计算机模拟得到伪码调相连续波雷达回波信号后,对其空间相关特性进行了分析。     

一种新的求解变分不等式问题的外梯度投影算法

给出了一种新的求解变分不等式问题的外梯度投影算法．在较弱的条件下证明了算法的全局收敛性，并分析了算法的线性收敛速度。     

伪度量(L)*-Lindenbaum代数中基本运算的连续性

研究了伪度量L*-Lindenbaum代数中基本运算的连续性．结果表明，Fuzzy命题演算系统L*中的全体公式集上的伪度量可以在L*-Lindenbaum代数M上诱导出一个伪度量ρ，证明了M上的非运算、并运算以及蕴涵运算关于ρ都是连续的．这为在(M，ρ)上建立近似推理理论提供了方便。     

关于f×f与f的动力性质间关系的研究

利用伪轨跟踪性质和一些其他方法,研究了紧系统(X×X,f×f)和(X,f)的动力性质间的关系,有些结果推广了文献[1～5]、[7～9]中的相应结果.