MTL 代数的 Wajsberg 形式及其应用

MTL 代数是一种重要的基础逻辑代数。本文采用 Wajsberg 方法,根据逻辑系统 MTL 中公理的形式,建立了 NMTL 代数的经典代数表示形式,进而证明了 NMTL 代数与 MTL 代数是同一代数结构,证明了满足条件x,y∈L,x→y ＝（y→0）→（x→0）的 NMTL 代数 L 是 BR0代数。在此基础上证明了 IMTL 代数和 BR0代数是同一代数结构,并给出 BR0代数和 BL 代数的 Wajsberg 形式。     

北京市夏季大气气溶胶 PM2.5和 PM10成分特征?

对北京市城区2012年夏季大气对气溶胶进行每日PM2.5和PM10石英膜采样,得到了可溶性离子质量浓度和16种元素的质量浓度,并结合气象观测值进行了分析.结果显示,采样期间,PM2.5质量浓度为9.58~210.42μg·m-3,平均值102.81μg·m-3;PM10质量浓度为33.75~288.33μg·m-3,平均值159.66μg·m-3.PM2.5和PM10质量浓度都与采样点能见度、风速呈负相关,与相对湿度呈正相关.质子荧光分析(PIXE)结果显示,S、K、Ca和Fe在PIXE可分析元素中含量较高,在PM2.5和PM10都占89%.且元素Ca、Ti、Sc、Cr、Fe主要存在于粗粒子(PM2.5~10)中,而元素S、Cu、Zn、As、Br、Pb主要存在于细粒子(PM2.5)中.富集因子分析表明,元素K、Ca、Ti、V、Mn、Ni主要为地壳来源,元素S、Cl、Cu、Zn、As、Br、Pb主要来自于人为源.SO2-4、NO-3、NH+43种可溶性离子总质量浓度占PM2.5浓度的43.5%,占PM10浓度的25.4%.     

基于l_1与l_0正则化的压缩感知数值算法

针对压缩感知模型,讨论了基于l0正则化的正交匹配追踪算法(OMP)与基于l1正则化的同伦算法(HM)和迭代加权最小二乘法(IRLS).通过数值实验结果分析,验证了3种算法的有效性,且相对于2种基于l1正则化的算法,OMP算法的迭代次数与耗时更少,均方误差更小.     

变体机翼单向变形柔性蒙皮理论与实验研究

变体飞行器要求蒙皮在变形过程中具有一定的柔性以满足在特定方向大变形的需要,同时需要具备承受气动载荷的能力。以变弯度机翼为背景,研究了采用纤维增强弹性体方法制备的具有一维单向大变形能力的0泊松比柔性蒙皮。首先依据变形体理论给出了该柔性蒙皮结构的基本假定,然后采用增量关系对蒙皮非线性力学特性进行分析,建立了基于增量关系的理论模型;并通过试验对理论模型进行验证。结果表明,采用纤维增强弹性体方法设计的蒙皮具有高度的各向异性(两方向弹性模量的差距大于10~4数量级),同时在变形量不大于40%的条件下,具有稳定的应力应变关系,大变形方向弹性模量小于0.3 MPa。研究表明,纤维增强柔性蒙皮可部分满足单向拉伸变形的需要。     

基于L0矩阵范数正则化的自然图像去反光算法

去除图像的反光是计算机视觉和计算机图形学的一个基础研究问题。虽然各种方法已经提出,但由于存在丰富的纹理、复杂的背景、遮挡和颜色照明等,去反光的效果并不佳,有待进一步完善。本文针对自然图像的两个观察结果：(1)高光通常是小尺寸和稀疏分布的;(2)剩余的漫反射图像可以用少量基色与稀疏和低秩加权矩阵的线性组合表示,提出一种基于L0范数正则化图像去反光算法。通过L0范数正则化保证编码系数的稀疏性以及核范数保证编码系数的低秩性来恢复那些高光区域的漫反射分量。此外,根据加色混合理论和光照定义,编码系数和高光也分别受到非负性影响。通过对比相关的图像反光去除算法,实验说明了所提出的算法具有较好的优势。     

基于压力容器裂纹图像检测及识别算法研究

压力容器作为一种特种设备,其安全越来越受到重视。为了保障其安全运行,选择压力容器裂纹图像为研究对象,构建检测及识别算法模型。针对算法模型在实际部署时受到内存空间、处理器计算能力等多方面硬件条件的制约问题,提出了基于NewEfficientNet-B0的轻量化方法,结果表明算法模型降低模型参数数量达78%。针对微小裂纹图像识别难度较大问题,提出了改进多尺度预测的方法,测试数据集上达到了81%的检测识别准确率。     

关于Banach空间中ε-等距于c_0或l_1序列

本文给出Ｂａｎａｃｈ空间中ε－等距于ｃ０或ｌ１序列的若干性质．     

采用BP-GA算法的一种LSI神经网络的电路设计

将误差反传 (BP)算法和遗传算法 (GA)有机地结合在一起 ,提出了一种新的算法 BP- GA。采用 BP- GA算法 ,设计了一个两层前向 L SI神经网络。作为神经网络的关键部件 ,提出的新型神经元性能优越。它的激活函数与理想sigmoid函数拟合很好 ;可实现对阈值及增益因子的编程并且不同增益因子下饱和输出电压值相同。采用标准 1.2 μmCMOS工艺的模型参数 ,对该两层前向神经网络电路进行的HSPICE模拟证明了它有解决异或 (XOR)问题的能力     

扰动Newton法大范围求解P_0-矩阵互补问题

利用扰动Newton法求解P_0-矩阵线性互补问题，给出了大范围收敛性条件，证明了算法的大范围收敛性．     

二阶双曲型方程的C^0-连续一次有限元法

对于二阶常微分方程初值问题,构造了C0-连续一次有限元法计算格式,通过直接计算的方法证明了误差估计,并利用数值实验验证了理论分析结果.对于二阶波动方程,构造了C0一次有限元法的计算格式,证明了解的存在惟一性,利用数值实验验证了该方法的有效性.