抚仙湖叶绿素a浓度遥感反演方法对比分析

不同叶绿素浓度反演算法得到的叶绿素浓度存在较大差异,反演中大气校正算法如何影响反演模型的精度;不同的反演算法中,哪种反演算法更适用于高原深水湖泊叶绿素浓度反演。针对上述问题,选取Landsat 8 OLI卫星影像数据,应用6S、ATCOR3、FLAASH这3种大气校正模型实现OLI数据的大气校正,对矫正结果分别利用FAI、NDCI、VB-FAH指数反演算法反演抚仙湖叶绿素a浓度,使用实测数据对3种不同大气校正下的3种反演算法进行了精度分析。结果表明:对比12种不同组合的算法反演的叶绿素a浓度与实测数据之间的相关系数,6S大气校正模型下,NDCI指数反演算法是12种组合算法中反演精度最高的算法,反演值和实测值的相关系数(R)为0.39。     

具有随机干扰的车辆座椅悬架系统的鲁棒H控制

针对随机干扰环境下的车辆座椅悬架系统,给出鲁棒H控制器设计方法。首先建立座椅悬架系统的动力学模型,在建模过程中同时考虑了系统中存在的参数不确定(质量、刚度、阻尼)和座椅随机振动因素。其次,基于随机微分方程理论和Lyapunov泛函理论设计出半主动控制器,给出控制器参数线性矩阵不等式解的形式,并保证系统的H性能指标。最后,随机输入下的时域和频域仿真结果表明,所提方法在参数不确定和随机干扰下能够有效衰减座椅悬架垂直加速度,提高人体乘坐舒适性。     

基于遥感的喀斯特地区水体景观格局演化定量分析

选择广西隆安县为研究区,以年度内不同季节的LANDSAT 8OLI遥感影像为数据来源,在遥感软件支持下,使用监督分类方法对研究区水体进行提取,进而采用空间分析方法得到不同季节间水体空间分布变化量,再采用Fragstats软件对水资源空间分布和季节间变化的景观格局特征进行分析。结果表明:从5月到8月,再从8月到11月,斑块面积(AREA)、斑块个数(NP)、斑块密度(PD)、景观形状指数(LSI)、景观分裂指数(DIVISION)等5个景观指数先上升后降低,最大斑块面积占比(LPI)、蔓延度指数(CONTAG)、斑块集聚度指数(AI)等3个指数先下降后上升,体现了喀斯特地区水体空间格局一年内呈现聚集度先升后降,蔓延度指数先降后升的趋势,水体空间格局的景观指数受季节影响较大;典型相关分析表明,斑块个数(NP)和斑块密度(PD)等基本景观指数与景观形状指数(LSI)、斑块集聚度指数(AI)、景观分裂指数(DIVISION)等存在高度相关,典型变量的极显著相关主要由斑块个数(NP)、斑块密度(PD)、景观形状指数(LSI)和斑块集聚度(AI)引起,但景观形状指(LSI)、蔓延度指数(CONTAG)、斑块集聚度指数(AI)等3个指标在演变过程中也存在一定波动和无序化,反映出喀斯特地区水体空间格局在不同季节间的变化,呈现出不规则和无序化的特征。     

模型驱动的Dafny程序形式化生成与自动验证

Dafny是一种内置规范结构的编程语言和静态程序证明器,它能验证程序的功能正确性以及将证明过程自动化,这既提高了软件开发的效率,又极大增强了软件开发的可靠性.该文探索了一种模型驱动的Dafny程序形式化生成的方法.首先,从问题的Radl规约出发,根据规约变换技术得到其Radl算法; 然后,根据PAR方法中循环不变式开发新策略得到问题的循环不变式; 最后,在Radl算法和循环不变式基础上利用模型等价转换规则生成Dafny程序,并由Dafny证明器自动验证其功能正确性.用该方法解决了2个典型问题的算法程序开发与验证,证实了该方法能够有效地提高Dafny程序的生成效率和可靠性.     

吕梁山隧道斜井涌水段快速施工技术

阐述了在长大隧道施工中涌水处理采用的方案,实现了斜井涌水处理与施工组织的科学有机结合,分析了注浆堵水与应用抽水设备的技术经济性,提出了规范涌水处治设备的建议。     

新型航天红外组件寿命试验设备的真空系统设计

 依据新型航天红外组件寿命试验设备的真空系统的技术要求,设计了具有两套抽气系统的全自动化高真空排气台,主真空系统以机械泵和分子泵作为前级泵,溅射离子泵作为主抽泵;辅助真空系统由机械泵和分子泵组成,用于主系统预抽。该真空系统采用计算机控制技术程控真空排气工艺,为多工位结构,具有全自动化的功能。根据理论计算分析,该设备能满足红外组件寿命试验对真空的要求。     

硼修饰Bi-TiO_2纳米球的制备及其光催化活性研究

以Bi-TiO_2纳米球为基础,以硼酸为原料对其进行修饰,制备了B-Bi-TiO_2纳米球,重点研究了硼离子的含量对Bi-TiO_2可见光(λ420 nm)光催化降解Rh B活性的影响,并用XRD对纳米材料的结构进行了研究,用UV-vis DRS对其光吸收性能进行了检测.结果表明:硼元素的修饰,有效的提高了BiTiO_2的光催化活性,当B掺杂物质的量分数为5%时,B-Bi-TiO_2催化剂对罗丹明B染料的光催化效果最佳.     

浅谈《工程力学》课的教学

工程力学是一门重要的技术基础课程,在机电专业的基础课和专业课之间起着承上启下的作用。笔者结合多年的教学实践经验,介绍了几种教学方法,以提高教学质量,改善教学效果。     

徐州低山丘陵区侧柏人工林群落的复杂性

根据徐州低山丘陵区侧柏人工林群落及其环境因子的取样调查数据,运用Huffman编码的平均码长、12阶Rényi熵和两者之差分别测度群落及各层的总复杂性、无序复杂性和结构复杂性,分析了复杂性与物种组成及环境因子的关系。结果表明:研究区侧柏人工林的复杂性已发生分化;群落复杂性主要受物种组成因子的影响,群落及各层的总复杂性和结构复杂性的变化趋势高度一致,它们主要受非优势种组成比例的影响,而无序复杂性则主要受物种重要值变异系数的制约;环境因子通过物种组成因子而对复杂性产生影响。因此,可通过疏伐、引种、补植等方式改善林分结构,提高人工林的复杂性和稳定性。