基于二代曲线波变换的红外弱小目标背景抑制

在分析几种常用背景抑制方法的基础上,利用二代曲线波变换具有的优良特性,提出一种基于二代曲线波变换的红外弱小目标背景抑制方法.首先利用曲线渡变换对图像进行分解提取图像的多尺度细节特征;然后对分解后的低、高频子带分别采用变分和模糊非线性变换进行处理来调整目标特征的强度,重构子带获得预测的背景图像;最终将其与原图相减得到背景抑制后的图像.实验结果表明,与几种经典方法相比,该方法在主现视觉和客观评价指标两方面均表现出良好的效果.     

基于离散数据点的变壁厚叶身参数化设计

在原始截面离散数据点的基础上,给出了面向工程实际的中弧线几何造型方法和基于离散数据点的内形曲线参数化方法;深入分析了UG(Unigraphic)系统参数化造型的实质;给出了可行的参数化方案;结合面向对象的思想和创成式的建模方式,实现了变壁厚叶身参数化设计.该模块基于UG/OpenAPI接口,采用即时记录数据点和标记回溯点的方式,在交互中可以实时动态修改,达到"所见即所得"的效果,并在实际应用中得到有效验证.      

层合圆板三维非线性问题的解析方法

 提出了一种复合材料层合圆板三维非线性问题的解析方法。分析了中等大挠度的几何非线性问题,采用摄动方法和变分原理来满足三维弹性理论基本微分方程及边界条件,得到了受横向载荷作用的正交各向异性单层固支圆板和层合固支圆板的高精确度三维非线性解析解,并图示出了板中的位移和应力分布。结果表明,该解析方法对于求解层合板的三维非线性问题是有效的。     

分数阶控制器实现方法研究

研究了分数阶控制器的模拟和数字实现方法,其中数字实现是重点。数字实现是通过构造一个新的IIR型数字滤波器来对函数的分数阶微积分计算进行近似求解,然后对该滤波器进行连分式展开来完成的。以PID控制为例进行的数值仿真结果表明,用此方法设计的离散分数阶PID控制器比传统离散整数阶PID控制器具有更优的控制性能,同时也验证了该数字实现方法的正确性与可行性。     

MP＊中的等值完全析取范式

讨论中介逻辑命题演算扩张系统ＭＰ＊中在等值意义下的完全析取范式的存在性和唯一性。引入ＭＰ＊中等值全板范式的概念,并用分步构造法证明这种范式在等值意义下是存在的,且是唯一的。     

基于非连续算子广义变分不等式强解的存在性

在算子不连续的情况下,利用FKKM定理和Weierstrass定理及标量化方法得到了广义向量变分不等式的强解存在性定理.     

开放逻辑及其实现技术

定义了一个建立在一阶谓词基础上的开放的逻辑系统,它由证明演算和假设演算组成。本文在文献[1]的基础之上对假设演算进行了某些扩充,使得假设演算中所构造的删除规则集是完备的;并说明了对任一语句的可判定性。为便于机器实现,文中引入了删除推演序列的概念;并给出了如何构造删除规则的与或树以及如何生成删除推演序列的步骤。最后,讨论了开放逻辑系统的具体实现技术。     

快速拉格朗日差分法在巷道锚杆支护计算中的应用

快速拉格朗日法是一种新型的数值计算方法。本文介绍了快速拉格朗日法的基本原理和分析过程；并将这种方法应用于巷道锚杆支护的计算中，对锚杆支护前后围岩的变形进行了对比。结果表明锚杆在控制围岩垂直方向的变形有明显的作用。     

复合材料层合梁分层问题中应力强度因子与守恒积分的解析变分解法

利用虚功原理导出了涉及两种不同介质的守恒积分表达式以及守恒积分J_Ⅰ与应力强度因子K_Ⅱ的关系式。对于对称正交铺层复合材料层合梁的分层问题,在利用分区广义变分原理确定了应力强度因子K_Ⅱ以及应力与位移本征展开式中的所有待定系数的基础上,进一步求出守恒积分值。最后,作为验证,由J_Ⅰ求出K_Ⅱ,并与由解析变分方法求出的K_Ⅱ相比较。计算表明,本方法前期准备工作少,计算节省机时,结果收敛迅速;沿不同积分路径求出的守恒积分保持恒定,并且用两种方法求出的K_Ⅱ具有很好的一致性。     

空间辐射致冷器辐射耦合视因子的积分解法

本文以镜面反射成像理论为基础,提出了一种空间辐射致冷器表面热耦合视因子的积分解法。推导了有关的数学模型,给出了计算机程序的框图和典型的计算结果。