便携式水泵稳定性状态监测系统的研究与设计

研究并设计了一种基于LabVIEW的便携式水泵稳定性状态监测系统,通过合理的结构搭配和硬件选择,实现了数据采集、信号处理、状态监测等核心功能,指出开发的系统具有成本低和便携式的优点。     

广义TKK代数的一类模结构

设S是欧氏空间R″（υ≥1）中最小的非格半格,在一个Jordan代数T（S）的基础上,通过Tits-Kantor-Koecher方法可构造TKK李代数g（T（S））,研究该李代数的泛中心扩张广义TKK代数g（T（S））,的一类在群代数与对称代数上的不可约表示。     

模糊系统中方形分片线性函数依K-积分模的泛逼近性

首先引入方形分片线性函数和K-拟可加积分的概念,应用诱导算子及积分转换定理证明了方形分片线性函数在K-积分模意义下对一类可积函数的泛逼近性.该结果表明:模糊系统中方形分片线性函数对连续函数的逼近能力可以推广为对一般可积系统的逼近能力.     

基于差分算子的薄层弱信号检测方法

随着石油勘探程度的提高,新勘探的目标更加隐蔽,表现出圈闭规模小,储层厚度薄等特点,特别是砂泥岩薄互储层,地震反射信号微弱,常规地震资料难以准确识别,制约了精细构造解释、精细储层预测及圈闭落实程度。为了解决实际地震资料中的薄层弱信号检测问题,发展了一种能增强弱信号能量且不会抬高高频噪音的差分算子技术。该方法利用原始地震道的高斯平滑衍变地震道抬升薄层弱信号的低频段能量,利用原始地震道的偶数阶衍变地震道抬升薄层弱信号的高频段能量,并将输出地震道经过完全总体经验模态分解(CEEMD)算法处理以压制高频的衍生干扰信息。数值模拟以及实际资料均验证了该方法的高效性。     

基于复杂融合特征与灰度-纹理直方图描述子的红外弱小目标检测追踪算法

为了解决当前红外目标检测追踪算法仅依靠单一图像特征对弱小目标增强,使其在背景杂波与噪声干扰严重条件下,难以剔除图像背景中的伪目标像素,导致弱小目标检测与追踪精度不高,提出了基于复杂融合特征与联合灰度-纹理直方图描述子的红外弱小目标检测与追踪算法。首先,针对红外图像不同特征的背景干扰因素,引入不同方向的腐蚀操作结构元素,设计了分类Top-Hat变换算子,充分抑制背景杂波与噪声,从而将弱小目标从复杂背景中凸显出来;随后,引入方差权重信息熵,构建复杂融合特征,对红外图像进行分割,确定候选目标区域;并基于管道滤波模式,对候选目标区域中的真实弱小目标与伪目标进行筛选,将虚假目标过滤;再考虑弱小目标的强度与纹理特征,基于LBP技术(local binary pattern),设计了灰度-纹理直方图描述子,充分描述红外弱小目标的边缘、线端与角点等鲁棒性特征,较好地保留目标的空域信息,有效剔除图像背景中的伪目标像素;最后,联合均值漂移算法,对红外弱小目标进行精确追踪。实验结果显示:与当前红外目标检测追踪技术相比,在复杂背景干扰条件下,本文算法具有更高的检测精度与更低的追踪误差。     

钢铁企业合同匹配多目标优化模型与算法

针对钢铁企业中存在的合同对库存余材的优化匹配问题,建立了实现余材利用量最大化和匹配损失费用最小化的多目标0-1规划模型·采用模糊决策方法处理两个目标函数,尝试基于群体的增量学习(Population BasedIncreasedLearning,简称PBIL)算法进行求解·结合模型的特点,利用自然数编码表示合同的匹配结果,按照学习概率大小修复不可行个体·通过对应用实例的计算,以及与遗传算法结果的比较,证明该模型和算法是解决合同优化匹配问题较为理想的方式·     

Menger PN 空间上的半有界算子

对Menger PN 空间上的线性算子引入β-半有界, β-半开及β-半闭等概念,讨论了它们间的关系,并在较弱的t-模条件下建立了半开射定理,半闭图定理和半有界逆定理.     

如何确定函数的解析环域

函数的解析环域在幂级数展式中起着非常重要的作用,文章给出了确定函数解析环域的具体方法。     

基于T-S型模糊系统的复杂系统镇定控制器

针对局部可用非线性系统描述的复杂系统问题,基于T-S(Takageno-Sugeno)模糊模型,给出了一种设计非线性镇定控制器的方法.该方法所依赖的稳定性假定只涉及其中一个特定的模糊子系统和隶属函数的选取,而模糊规则库中的隶属函数可以依照一个明确的方向选择,所得到的非线性控制器依赖于隶属函数的选取,保证了全局模糊逻辑系统渐近稳定.通过仿真验证了该非线性控制器的有效性.     

一类素数问题等对PA的条件独立性--对一些数论问题的逻辑讨论(Ⅳ)

用模型论方法证明了2次函数素数值问题及一种3重完美数问题对于PA的条件独立性,以及一些更一般的结论.