一种基于扩展规则的#SAT 求解系统

#SAT 问题是SAT 问题的扩展,需要计算出给定命题公式集合的模型个数.通过将问题求解沿着归结的反方向进行,并利用容斥原理解决由此带来的空间复杂性问题,提出了一种基于扩展规则的模型计数和加权模型计数问题求解框架,可以看作是目前所有模型计数问题求解方法的一种补方法.证明了该方法的完备性和有效性,设计了基于扩展规则的#SAT 求解系统:JLU-ERWMC.实验结果表明,JLU-ERWMC 在有些问题中优于目前最为高效的#SAT 问题求解系统.     

面向草图检索的小样本增量有偏学习算法

为了解决草图检索相关反馈中小样本训练、数据不对称及实时性要求这3个难点问题,提出了一种小样本增量有偏学习算法.该算法将主动式学习、有偏分类和增量学习结合起来,对相关反馈过程中的小样本有偏学习问题进行建模.其中,主动式学习通过不确定性采样,选择最佳的用户标注样本,实现有限训练样本条件下分类器泛化能力的最大化;有偏分类通过构造超球面区别对待正例和反例,准确挖掘用户目标类别;每次反馈循环中新加入的样本则用于分类器的增量学习,在减少分类器训练时间的同时积累样本信息,进一步缓解小样本问题.实验结果表明,该算法可以有效地改善草图检索性能,也适用于图像检索和三维模型检索等应用领域.     

GIS技术在OA系统中的应用

传统的OA系统不能处理空间信息,GIS技术的引入可以弥补这一缺陷.在已有技术集成理论的基础上,结合实际应用,提出了在传统OA系统中融入GIS技术的基本方法和实现步骤,并通过实例阐述了其具体应用方法.该方法提高了传统OA系统的处理能力,增强了它在辅助分析与决策方面的功能,扩展了它的应用范围.     

光反馈激光器非线性仿真研究

一些传统计算方法对非线性系统的分析存在着一些困难。针对光反馈半导体激光器收发系统微分方程组的特点,对非线性性质做出了数学上的分析,考虑到在光反馈半导体激光器收发系统中,其微分方程含有延迟因子,无法直接利用多节点上的值的加权和来近似计算斜率。基于龙格-库塔法提出了一种有效的数值仿真算法,并在matlab平台上对给定参数条件下的发射端与接收端的归一化光场以及同步误差进行了仿真,证明了接收端光场信号可以很快与发射端光场信号一致,仿真结果表明仿真算法能有效对系统进行仿真分析。     

基于ADS的LFM脉压雷达系统建模与仿真

指出雷达系统基于传统仿真软件建模与仿真时的缺点;阐述了ADS(Advanced Design System)软件在雷达系统仿真中的优势;然后建立一个基于ADS软件平台的雷达系统仿真模型库.当对某种雷达系统仿真时,只需根据要求修改各个模块的参数或更换子模块即可准确迅速地搭建起系统仿真模型,大大缩减了建模所花费的时间和人力物力.以一个线形调频脉冲压缩雷达系统建模的过程为例,对ADS软件在雷达系统仿真中的应用加以介绍,并给出最终仿真结果.     

模糊自整定PID的船舶蒸汽动力负荷控制

船舶蒸汽动力装置自动控制的首要任务是机组的负荷控制。传统的PID控制算法由于具有结构简单、易于实现、可消除静差等优点得到了广泛的应用,但它受控制对象的影响较大,只有在各参数整定良好的前提下才能得到满意的控制效果。根据上述情况,结合船舶蒸汽动力单元工况变化频繁的特点,提出一种基于输出响应的自适应PID算法,以提高控制系统适应负荷变化的能力。方法在保留传统定值PID控制算法优点的同时,引入模糊控制在线整定PID控制参数,改善了机组的负荷控制特性,具有一定的工程应用价值.     

改进信息化武器系统性能的仿真博弈混合方法

用定量分析的方法改进性能是信息化武器系统开发和运用中必须解决的重要问题,借助仿真和博弈分析的混合方法,在对传统混合策略纳什均衡原理应用的基础上,构建基于二人非零和(TPNZS)非合作博弈模型来改进信息化武器系统的性能,对典型信息化武器系统-舰载导弹防空系统的初步研究表明:用识别正确、错误目标能力以及导弹命中目标能力描述的舰载导弹防空系统的最优改进性能策略为△*=(0,△2*,1-△2*)=(0.0000,0.7118,0.2882).     

PNG复杂曲面纹理映射的仿真方法

随着PNG图片越来越广泛的应用,所以研究复杂曲面纹理映射的方法有着重要的意义.为了在保持低存储量,小计算量的同时,针对PNG图片的复杂曲面自动纹理映射的变形,根据纹理扰动的缺点.提出了一种改进的复杂曲面纹理映射的方法,通过利用解二次椭圆偏微分方程,来得到任意曲面到平面的共形映射.方法不但可以自动分配纹理坐标到复杂的没有起伏的曲面,而且可以有效地克服复杂曲面的自动纹理映射的变形.避免纹理扰动,很好地解决了纹理的自动映射.     

基于非局部算法的序列图像超分辨率重构

提出了一种基于非局部算法的多帧图像超分辨率重构算法,该方法无需进行图像校正。为克服传统图像复原算法基于图像局部点领域的影响,指出可以使用非局部去噪模型的优越边缘保持性和去噪性来重构高分辨率图像。实验证明,该算法在低信噪比情况下,可以取得较好结果,有效解决了低信噪比条件下图像复原的一个难点。     

基于最小二乘法的HDR图像快速滤噪算法

提出一种针对高动态范围（HDR）图像滤噪的新方法,通过对用于合成HDR的一组图像进行滤噪来实现。在亮度空间中,通过求解加权最小二乘问题拟合L-t直线,并用该直线修正亮度值,从而到达滤噪目的。实验表明该算法运算量小,能有效去除椒盐型噪声,对高斯型噪声抑制效果明显,优于A.&E.(Ahmet&Erit)的加权求和滤噪算法。