初等几何定理证明的Clifford代数方法

本文结合是吴方法及平面几何的Ｃｌｉｆｆｏｒｄ代数表示，提出了几何定理机器证明的一种完备的方法，用这种方法证明定理时，三角化的过程及证明的过程通常较以前的方法更简短而且它们是可以几何解释的。     

吸附法处理甲苯二异氰酸酯 (TDI) 硝化碱洗废水的研究

采用DRH-1型树脂吸附处理甲苯二异氰酸酯 (TDI) 生产过程中产生的硝化碱洗废水,原废水中硝基苯类含量为1.6×103mg/L~4.6×103mg/L,COD为2.87×103mg/L~6.38×103mg/L,经酸化沉淀-树脂吸附处理后,出水硝基苯类可达到污水综合排放一级标准,COD为241mg/L~479mg/L,再经催化氧化处理后,COD能稳定在200mg/L以下.树脂解吸后可重复使用,解吸液蒸馏回收溶剂后,釜内残液中含生产TDI的中间体达50%以上.     

单色散压缩编码光谱成像系统研究

随着光谱成像技术向高空间分辨率、高光谱分辨率、高信噪比方向发展, 传统的光谱成像系统面临着数据采集量过大的问题,同时,系统分辨率受探测器帧频与像元尺寸影响较大、大口径长焦距系统难于精密装调、系统能量受限引起信噪比提高困难。为了解决上述问题,研究了一种单色散压缩编码光谱成像系统, 并针对国内压缩编码光谱成像系统工程实现与试验验证不足的问题,重点研究了该新系统的设计与实现,模板平移下的系统数学模型及多帧重构算法,并给出实际样机试验及数据处理结果。最后,根据试验情况,总结提出该新技术后续发展需重点关注的研究内容,包括编码模板误差分析,多维稀疏重构模型与算法,压缩编码光谱成像系统标定技术,重构算法/重构图谱评价技术。单色散压缩编码光谱成像系统通过编码、色散、甚至下采样,由探测器接收得到成像观测图像,然后,利用该成像数据,通过重构算法,得到目标光谱图像数据,其优点是低数据量采样、工程实现硬件要求减低、多通道高通量探测。相关研究结果表明,该系统获取的数据有效,样机设计合理,重构算法与标定方法较为准确,其得到的字母HSI目标光谱图像的空间信息清晰,光谱信息较为准确,符合钨灯光谱,其系统设计与实现具有工程可行性。     

大孔径静态干涉成像光谱仪数据源选择对压缩效果影响的研究

针对实际工程应用中存在的大孔径静态干涉成像光谱仪(large aperture static imaging spectrometer,LASIS)的数据压缩问题,根据LASIS的成像特点,在详细分析其数据特性之后,提出了基于光程差维数据源的压缩,并与以往的LASIS和LAMIS数据源压缩进行对比研究。选择不同的数据源获得的压缩效果不同,为了更合理的选择LASIS数据源,降低压缩算法带来的图像和光谱损失,实验以LASIS原理样机推扫获得的短波红外数据作为研究对象,在详细介绍了三种数据的数据特点以及提取方法之后,变换得到上述三种形式的数据源,采用工程中成熟应用的JPEG和JPEG2000算法对三种数据源分别进行逐帧压缩和重建,然后对压缩效果在图像维、干涉维和光谱维以及压缩比进行了详细的对比分析,并提取视场中三种目标物质的光谱曲线,对压缩前后它们的光谱信息损失进行了度量。实验结果表明,相较于采用LASIS和LAMIS数据源作为压缩对象,以LASIS光程差维数据作为压缩对象,无论是在图像维、干涉维还是光谱维的压缩评价标准下都表现出明显的优越性：同样的压缩方案下,基于光程差维数据源的压缩能在获得较高压缩比的同时获得更低的均方误差和更高的峰值信噪比,且对光谱信息的损失也是三种数据源中最小的。