反正弦函数教法的探讨

反三角函数的教学,重点应放在反正弦函数,抓住反正弦函数定义的由来,形成鲜明的概念,就容易理解其定义、定义域、值域和性质,并会应用公式进行三角运算。     

关于部分K值逻辑中正则可离函数集的极大封闭集之最小覆盖判定的一些结果

根据部分多值逻辑完备性理论,证明了当m=2时,若正则可离关系G2=G2({1,2})∪G2之关系图仅是一个回路,则T(G2)不是P k的最小覆盖成员.     

RDWT和NVF的自适应彩色图像水印算法

提出一种基于冗余小波(RDWT:Redundant Wavelet Transform)和噪声可见度函数(NVF:Noise Visibility Function)的彩色图像水印嵌入新算法,该算法利用主体图像的稳态广义Gaussian模型描述图像的局部特性,建立了水印信息的加权系数计算公式。在水印嵌入过程中先对主图像在YIQ空间的Y分量进行RDWT变换。同时利用NVF函数对经过加密变换的水印进行加权处理,然后利用奇异值分解将水印嵌入到变换域复杂纹理和边缘区域。实验结果表明该算法在保证水印不可见性的同时能很好地抵抗多种几何攻击和图像处理攻击,实现了水印鲁棒性、不可见性和容量的统一。     

基于速度矢量的双基地雷达模糊函数分析

通过研究双基地雷达系统模糊函数数学模型和当发射信号为高斯单脉冲且目标相对接收机的距离和速度变化时双基地雷达系统模糊函数的特性,分析了目标的速度大小与方向对模糊函数的影响。该模型可有效考核任意发射脉冲信号的双基地雷达系统的分辨力及距离和速度模糊等问题,对研究双基地雷达系统性能有着重要的理论参考价值。     

舰船水下静态电场深度换算的格林函数法

为从有限深度、有限范围内的舰船水下静态电场数据获知实际舰船更大深度上的场分布特征,在对深海环境中舰船静态电场满足的拉普拉斯方程进行求解的基础上,提出静态电场深度换算的格林函数法,推导出了换算公式的边界积分表达式,给出了实际应用中换算公式的近似计算方法。以舰船静态电场的基本模拟体——单个水平电偶极子的场为例,采用数值仿真的方法对换算公式进行了验证,并对近似计算方法进行了讨论。研究结果表明:该方法可直接通过对测量平面上离散场量进行二重求和来实现静态电场的各类深度换算;与文献中已有的换算方法相比,其换算过程更为快捷。     

激光成像自动对焦系统的散斑噪声滤波算法

针对激光主动探测成像的散斑（Speckle）噪声影响自动对焦系统的清晰度评价函数曲线,从而影响对焦性能的问题,提出一种多方向线型加权形态滤波方法。实验证明：基于该方法构造的滤波器明显改善了激光图像清晰度评价曲线（即自动对焦曲线）的形状,降低了误对焦率,提高了自动对焦系统的稳定性。     

一种基于云模型和惩罚函数的多属性评价方法

通过系统阐述多属性评价中存在的＂不确定性转换问题＂和＂属性组态控制问题＂,提出了一种基于云模型和惩罚函数的多属性评价方法。以云模型为理论基础,提出了定性属性、定量属性的云化处理方法,实现了属性值的不确定性度量;以惩罚函数为理论基础,根据不同属性的惩罚幅度、灵敏度需求,构建了3种连续型惩罚函数,实现了属性组态的有效控制;最后,提出了用云模型表达的属性值集结算法和排序选优方法。通过实例应用,验证了方法的可行性、有效性。     

一种基于改进Hausdorff距离的图像匹配方法

Hausdorff距离(HD)是图像匹配常用的相似性准则。针对HD在实际图像中难以匹配的问题,提出了基于核密度函数的HD改进形式,该HD是通过对各个最小距离值进行核密度函数计算,并将函数值的和的均值作为单向HD值,无向的HD值取两个单向值的最小值。实验结果表明,提出的改进HD在遮挡、局部变化情况下比其它的HD距离具有较好匹配效果。     

极化域—空域联合谱估计

首次提出极化域-空域联合谱的概念,拓广了电磁波特征参量的谱描述方法.结合具体的极化敏感阵列定义了极化域-空域联合谱,用MUSIC方法得到联合谱函数表达式.研究了联合谱的估计的重要性能指标估计精度和分辨力,估计精度用克拉美劳限CRB(cramer-Rao Bound)来具体度量,分辨力由极化域-空域模糊函数以及模糊图来描述.最后仿真结果验证了该方法的有效性和理论分析的正确性.     

离散系统的绝对稳定性

给出了离散系统绝对稳定性问题的充分条件:约束条件下的矩阵不等式的正定解;基于这一思路可以构造控制器来镇定一类非线性系统;最后还给出了设计实例以说明结果的有效性。