某露天矿山高陡岩质边坡稳定性的优化设计研究

采用岩石力学试验、FLAC3D强度折减法以及Slide极限平衡法对某露天矿山可能发生滑坡或坍塌的2个典型位置的终了边坡进行了稳定性分析,分析其在极端工况(自重+暴雨+地震)下的稳定性。研究结果显示,该露天矿山的台阶坡面角及终了边坡角设计不合理,1-1剖面和2-2剖面在极端工况下的安全系数仅为1.03和0.935,边坡容易产生滑坡或坍塌。为此,需对边坡进行优化设计。1-1剖面的台阶坡面角由75°调整为70°,2-2剖面采用削坡减载的方式拟定削坡角度为23°。数值模拟结果显示,边坡经过优化后,2个剖面的平均安全系数分别为1.15和1.14,边坡处于稳定状态。     

亚跨音速栅格的升阻特性数值研究

栅格几何参数对栅格翼的气动力特性影响很大,针对此问题,采用数值模拟方法研究了亚跨音速条件下栅格形状、翼弦格宽比对栅格升阻特性的影响.栅格形状主要为正置与斜置45°正方形、正六边形、正三角形等4种,翼弦格宽比变化范围为0.7～3.0.结果表明, 形状和翼弦格宽比对栅格阻力系数、升力系数、升阻比都有显著影响,存在使气动力特性最佳的形状和翼弦格宽比,为研究亚跨音速下栅格翼的气动特性提供了基础.     

核主泵叶轮数控加工轨迹与应力腐蚀关系研究

核主泵叶轮是核主泵中最为关键的部件之一,在工作中易发生应力腐蚀现象并产生裂纹而影响核主泵的安全性。介绍了以最易发生腐蚀开裂的核主泵叶轮根部为研究对象,采用典型的数控加工轨迹加工叶轮根部区域以及采用U型弯件试样进行应力腐蚀试验,探究了不同加工轨迹与应力腐蚀裂纹的影响规律,为核主泵叶轮数控加工轨迹规划的优化提供技术依据。     

树脂基复合材料帽型加筋构件固化过程压力在线监测研究

为研究碳纤维增强树脂基复合材料构件固化过程的压力分布规律,搭建了以毛细管压力传感器为核心的压力在线监测系统,应用该系统在线监测得到了复合材料帽型加筋构件固化过程各关键部位的压力分布。在此基础上,分析了帽型加筋构件固化过程各部位压力分布受芯膜调型孔孔占比Xs的影响,研究了不同孔占比芯模固化帽型加筋构件的成型精度和微观质量。结果表明,当芯膜调型孔孔占比为0.099时,帽形加筋构件固化过程的压力分布均匀性较好,构件成型精度和微观质量较高。     

生物细胞超短脉冲电场传感器

描述了生物细胞的电模型。细胞内生物电效应的实验观察包括细胞颗粒的破裂而又不能使细胞膜受到永久性伤害,细胞内游离钙值的突然升高和基因表现的增强。在较高场强时,亚微秒脉冲的作用是感应生物细胞凋亡（编程细胞死亡）和抑制肿瘤细胞的生长。细胞内电效应的应用包括增强基因向细胞核的释放,肿瘤医疗诊断和控制细胞功能（如生物细胞“冻结”,但不一定死亡）。     

安全协议的规范化设计

提出运用组合方法进行安全协议设计。给出了协议中基件与组件的定义,根据组件的安全属性设计实现相应安全目标的单步协议;定义组合规则,确保不同的单步协议能够组合成为一个复合协议,同时各个单步协议还能实现各自的安全目标。根据具体的应用背景选择合适的单步协议,按照组合规则组合后可得到满足需求的安全协议。该组合方法可将一个复合协议分解为若干基于组件的简单单步协议,使得协议的设计与分析易于实现。     

基于Transformer时间特征聚合的步态识别模型

步态识别是最有前途的基于视频生物识别技术之一。目前,大多数步态识别方法更着重于提升神经网络提取空间特征的能力,而忽视在时间维度上特征的聚合。针对步态识别中缺乏时间维度特征提取能力的问题,提出了一种基于Transformer时间特征聚合的步态识别模型。首先,步态剪影序列通过卷积神经网络提取特征,与位置编码结合;然后,在时间维度上使用Transformer编码器聚合时间特征;最后,连接线性分类层实现步态识别。在最流行的步态识别数据集CASIA-B上进行实验,所提模型比GaitSet模型识别准确度在NM#5-6上提升了3.4个百分点,BG#1-2上提升了1.5个百分点,CL#1-2上提升了11.6个百分点。实验结果表明,Transformer提升了网络对时间维度特征的聚合能力,并且降低了模型对外套和携带物的敏感性。     

科协系统科普场所发挥未成年人校外科技教育作用的现状及对策研究

科协系统发挥未成年人校外科技教育作用的科普场所主要有科技馆《科学中心》、青少年科学工作室、农村校外青少年学习中心等,文章对它们开展的活动、队伍建设、管理体制。资金投入方面的情况进行了梳理,认为科普场所开展的活动在展教理念,活动内容、服务能力及与学校科学教育的衔接等方面还存在一定的问题,针对问题提出要坚持以人为本、加强资源整合、加强内容建设和队伍建设等对策。     

对称环境下安全协议组件的安全属性分析

文章基于一种模块化的安全协议设计方法,定义了基本消息和基件的概念后,从研究安全协议的基件开始,将不同的基件适当复合后可得到具有特殊安全属性的组件,并运用BAN类逻辑对这些组件进行了形式化的分析。这些具有特殊安全属性的组件,在满足协议需求的同时,从底层开始保证了协议能够达到预期的安全目标,为安全协议的设计奠定了基础。