命题逻辑提升到一阶逻辑上的子句消去方法

在基于命题逻辑的可满足性问题（SAT）求解器和基于一阶逻辑的定理证明器上，子句集简化一直是必不可少的步骤，而其中子句消去方法在这些子句集简化方法中是非常重要的组成部分。将命题逻辑中的子句消去方法归结隐藏恒真消去方法（RHTE）和归结隐藏包含消去方法（RHSE）提升到一阶逻辑上，并且利用蕴含模归结原则（IMR）证明了这种提升方式在一阶逻辑上具有可靠性（Soundness），即依据这两种子句消去方法删除一阶逻辑公式集中的子句，并不会改变公式集的可满足性或者不可满足性。此外，将这两个方法与一阶逻辑子句消去方法锁子句消去方法（BCE）和归结包含消去方法（RSE）进行组合推广，发展得到一阶逻辑上新型子句消去方法（BC+RHS）E、（RS+RHT）E和（RHS+RHT）E，并且证明了这3种子句消去方法在一阶逻辑上的可靠性。最后，分析比较了这些子句消去方法的有效性，并且证明了这3种新型子句消去方法比组成它们的原始子句消去方法均具有更高的有效性。     

关于幂级数环的几点注记

证明了交换环的ｍ－ｆｏｌｄ稳定性和幂消去性对于幂级数环是具有遗传性质的     

分数阶Fourier域强弱LFM信号检测与参数估计

分数阶Fourier变换（FRFT）由于其特有的性质,非常适合处理线性调频（LFM）信号,尤其是,作为一种线性变换,可以克服多分量LFM信号之间的交叉项干扰。但是采用逐次消去法检测多分量LFM信号时,每检测一个LFM信号,都要对信号分别求旋转角 的FRFT,再进行二维搜索,计算量较大。为了提高FRFT对多分量LFM信号的检测效率,本文给出一种在分数阶Fourier域检测强、弱LFM信号的新方法。首先,分析了逐次消去法和聚类分析法检测多分量LFM信号的原理,以及它们的优缺点。提出一种聚类分析和逐次消去相结合的信号检测方法,利用平面截取信号在平面(u,α)上的尖峰,并引入基于广度优先搜索邻居（BFSN）的聚类算法,对截取的信号尖峰进行聚类分析,获得每个LFM信号对应的信号尖峰,实现多个较强信号的检测与参数估计,再利用逐次消去法实现弱信号的检测。该方法可以同时检测多个能量相近的LFM信号,提高了检测效率,以及次强信号的参数估计精度,并有效地抑制了强信号对弱信号的遮蔽影响。通过对信号进行平面切割处理,减少了BFSN聚类算法中输入集样本数量,大大降低了算法的计算量。最后,仿真验证了该方法的有效性。      

基于BCJR网格的3×3核极化码简化连续消去译码算法

大核矩阵极化码的传统连续消去(Successive Cancellation, SC)译码算法有较高的计算复杂度,采用网格来降低大核矩阵极化码SC译码算法的复杂度。发现了SC译码算法核内部运算和网格的联系,建立了相应的网格替代核内部运算,基于BCJR(Bahl, Cocke, Jelinek, Raviv construction)网格构造出SC核内部运算的最小网格。有效降低了算法计算量。仿真结果表明,3×3核的长度为243、码率为1/2的极化码,相比于直接计算式,运行时间减少了79.14%,节省了14.2%的计算成本。     

雷达辐射源信号识别的效能综合评估方法

针对现有评估方法存在指标权重设置不科学、评估方法不合理等问题,提出了一种雷达辐射源信号识别的效能综合评估方法。该方法首先根据雷达辐射源信号识别的效果,建立效能评估指标体系;然后在评估准则下,采用直觉模糊网络分析法对具有关联性特点的指标进行分析,并求解其指标权重;最后在区间犹豫模糊思想的基础上,结合消去与选择转换法和逼近理想排序法建立级别优先关系,从而实现雷达辐射源信号识别的效能综合评估。仿真结果表明,该方法可以得出合理的雷达辐射源信号识别方法效能的评估顺序。与现有方法相比,所提方法可以有效地解决指标相互关联的问题,并且可避免因评估方法的缺陷造成的错误评估。     

香菇中一种抗氧化活性成分的分离及组成分析

香菇全体经浸提,匀浆,脱色等预处理,经DEAE纤维素柱及Ultrogel ACA-44凝胶柱层析得到一种具有高抗氧化活性的成分(Le-Ⅱ).其浓度为1 g/L时可完全清除1,1-二苯基苦基苯肼自由基(DPPH).Le-Ⅱ红外扫描有典型的多糖和蛋白质的吸收峰.氨基酸分析表明其氨基酸种类齐全,其中酸性氨基酸与中性氨基酸较多,蛋白质质量含量为14.29%.气相色谱测得单糖组成为鼠李糖,阿拉伯糖,甘露糖,葡萄糖,摩尔比为0.58:0.67:0.78:3.69.多糖质量含量为1.29%.β-消去反应表明Le-Ⅱ中存在O-型连接的糖蛋白.刚果红反应初步表明其多糖部分存在三股螺旋构象.     

解地下水流方程新方法(下)

本文在多年工作实践的基础上， 通过理论研究， 采用前人没有用过的方法解决了复杂的稳定流和非稳定流的水文地质计算，充分论证了达西定律适用于紊流，并提出了简化和比较精确的水文地质计算方法。本文见解新颖， 理论充分， 公式简单， 应用方便， 符合实际。     

一种新的基于直线特征的摄像机自标定方法

通过引入场景的几何约束,提出了一种新的基于直线的摄像机自标定方法。利用射影几何中平行直线投影的交点与光心的连线平行于该平行直线的性质,给出了摄像机内参数的线性求解方法。只假设场景中存在垂直的平行直线,相对于文献［1］而言,其适用的情况更为广泛。实验结果验证了方法的有效性。     

结构未知系统降维辨识方法-----变量消去算法

针对结构未知的系统提出一种新的降维辨识方法.借助核函数方法,利用一个高维Volterra模型逼近未知系统.由于Volterra模型未知参数维数较高,为避免高阶矩阵求逆和求特征值,提出变量消去算法,将高维系统的辨识问题转化为两个低维系统辨识问题.通过理论证明采用降维算法后降维系统信息矩阵条件数变小,参数收敛速度得到提高.进一步引入Aitken加速方法提高算法收敛速度,增强算法对步长的鲁棒特性.最后通过仿真例子验证所提出方法的有效性.