关于左∧半群

本文引入左∧，右∧半群并讨论其基本蛋白质，并给出∧半群的基本类型，文中证明完全单半群是左∧半群仅当它是矩形群，则该半群必是∧半群，同时证明了正则的左、右∧半群必是纯正半群，最后，证明左Ｃ半群是左∧半群并证明强左Ｃ半群是∧半群当且仅当它的幂等元带是∧半群。     

岷江某水库蓄水运行期进水口高边坡变形特征模拟研究

岷江某电站库区前期地质勘查资料表明,枢纽区地下水类型主要有第四系覆盖层孔隙性潜水和基岩裂隙水。水库蓄水后水位抬升127m,对条形山脊两侧边坡地下水渗流场产生较大的影响,不仅改变边坡地下水原有渗流场特征及其补、径、排条件,而且由此产生孔隙水压力,对边坡稳定性产生较大的影响。利用地质原型和开挖边坡地质-力学模型(GMD模型),建立水库蓄水过程中,条形山脊地下水的渗流模型及水岩作用模式。进一步考虑蓄水渗流场的变化,对不同蓄水位高边坡的稳定性进行了数值模拟研究,探讨蓄水过程中,条形山脊高边坡形变场特征及其稳定性状况。三维数值仿真显示,水库溢洪道进水口与EL.885m平台下方L11层位(EL.840~852m)与2#泄洪洞的洞脸边坡左上方(EL.833.59~847.50m),为大变形集中部位。水库进水口一侧边坡在库水位上升过程中,岩体的变形范围将随水位的增高逐渐扩大,量级呈递增趋势。受蓄水位的影响,水库进水口边坡的临江(Y方向)位移往山内方向顺层滑移还是朝山外倾倒拉裂不定,层间剪切错动带成为正负位移的"转换断层"效应。     

面向建筑健康监测的无人机自主巡检与裂缝识别

面向建筑健康的高时效监测需求,为提升表面病害视觉检测的自动化水平,提出了场景信息引导的无人机自主巡检任务规划方法。利用场景先验信息,针对建筑结构特征,设计了平行观测和包络观测两种观测模式,实现了狭窄空间中独栋建筑的全覆盖避障巡检,获取了毫米级分辨率的整体建筑观测影像,并对巡检质量的整体评估提出了有效的量化指标。将建筑立面划分为3 720个子区域,利用深度残差网络开展了裂缝识别分类。错分13个子区域,漏分14个子区域,裂缝识别精度高。将裂缝骨架线映射到建筑三维模型,为裂缝形态与建筑整体的一体化表达提供了数据支撑。该研究将高精度三维重建与表面病害识别相结合,为建筑健康一体化监测提供了有效的观测分析手段。     

PLC可编程控制器的新发展

继1969年由美国数字设备公司首先研制出第一台可编程控制器,并在美国通用汽车公司的自动装配线上试用成功以后,PLC可编程控制器越来越广泛地被用来取代继电器,执行逻辑、计时、计数等顺序控制功能。 近30年来,随着计算机技术的飞速发展,PLC可编程控制器不断地吸收和融合当今最先进的CPU技术,正朝着2个方向发展。一是向低成本、小型化发展,如西门子公司最新推出的S7-200微     

硫苷反相色谱分离保留机理的量子化学研究

应用量子化学中的AM1法，从分子的电子结构水平探讨硫苷的色谱保留机理，借助多元线性回归方法建立了硫苷在C18上的定量结构-色谱保留关系(QSRR)相关方程。结果表明，硫苷与固定相相互作用的体系总能量，分子偶极距，流动相氢键作用与保留值之间具有一定的相关性。     

二维对流-扩散方程反问题的遗传算法求解

给出了利用遗传算法求解二维定常对流一扩散方程参数反演的一种新方法,该方法把参数反演问题转化为优化问题求解。特别从多个初始点开始寻优,并借助交叉和变异算子来获得参数的全局最优解。数值模拟结果表明,该方法具有精度高且编程简单、易于计算机实现等特点。     

系列氮唑类含能配合物的合成及其性质

氮唑类金属配合物是含能材料中研究较为广泛的一类材料,其结构易于调控,且具有高能低感的特性。本文选用1,2,4-三氮唑、四氮唑和5-氨基四氮唑这三类配体,与Zn2+、Cd2+、Cu2+等金属离子合成得到系列金属有机骨架结构,并对这些物质进行了热重、差热分析和燃烧热性能测试,结果表明金属离子参与配位后,氮唑类配合物的热稳定性得到了明显增强,其密度也随之增加,而热能数据表明合适的金属离子与含能配体参与配位能有效提高含能配合物的标准摩尔生成焓,金属离子与有机配体的配位聚集程度对生成焓有一定的影响作用,这对今后如何选择合适的金属离子与含能配体进行含能配合物的合成具有指导意义.     

一种结合Dropblock和Dropout的正则化策略

为了能够全面且高效加快卷积分类网络的收敛速度和提升稳定性,提出了一种新的正则化策略,将Dropblock算法和Dropout算法相结合,从而实现对整个卷积分类网络的浅层、中层和深层网络进行正则化.其中,Dropblock通过隐藏部分特征图实现卷积层正则化,Dropout通过隐藏部分权重参数实现全连接层正则化,从而实现对整个卷积分类网络进行全面正则化.通过Kaggle猫狗分类大赛提供的数据集进行训练和测试实验表明,提出的新的正则化策略可有效加快分类网络的收敛速度和提升稳定性,此外,能有效提高深度卷积分类网络的分类准确率.     

长白山矿泉水补给径流与排泄关系

为研究长白山地区广泛分布的偏硅酸型矿泉水的补给源,通过氢氧同位素与水化学分析,结合水文地质、地球物理等资料,确定长白山泉水接受来自于西藏羌塘盆地的外源水补给。长白山泉水TDS很低但富含偏硅酸的现象表明,地下水流经的含水层是由硅酸盐等火山岩组成,结合长白山地区火山玄武岩大量的喷发事实,推断地下水导水通道由孔洞玄武岩构成。指出应加强对西藏冰川、河流与湖泊的保护,从而确保长白山优质矿泉水能够持续地开发利用。     

一类渗流模型弱解的唯一性

对三维渗流方程 作变换化为 ,通过构造一个特殊的检验函数,用反证法证明了三维渗流数学模型 弱解的唯一性．