监测深基坑支护结构位移的新技术

 介绍了用普通相机、不设固定摄站、不设控制点(在坑内或坑边放置基准杆和定长杆) , 监测深基坑支护结构位移的近景摄影测量新技术, 该技术不受施工现场条件限制, 三维位移的监测中误差达到了±3 mm , 为基础施工和相邻建筑物的安全提供了可靠信息。     

协作机器人逆运动学形式化建模与验证

在机器人迅速发展的时代,人机协作型机器人安全性问题是人们关注的焦点.机器人逆运动学的建模与求解是决定其安全性的必要因素之一.旋量法是一种机器人逆运动学建模的常用方法,它可以解决传统D-H参数法的奇异性问题.然而,在建模过程中,旋量法会因人为因素或软件系统缺陷导致模型出现漏洞,从而威胁操作人员安全.因此,本文在旋量高阶逻...     

基于遗传算法的BP神经网络火炮 身管烧蚀磨损量预测

火炮身管的烧蚀磨损是由于发射时弹丸与身管之间热、化学和机械综合作用的结果,内部作用机制复杂,目前,还难以通过准确的数学模型计算火炮身管烧蚀磨损量。针对这种情况,以某型坦克炮为例,测量记录了火炮身管磨损量和不同弹种射弹数目,探究了身管烧蚀磨损的一般规律。以不同弹种射弹数目作为输入,身管磨损量作为输出,引入遗传算法,建立了基于遗传算法的BP神经网络火炮身管烧蚀磨损量预测模型,并结合实测数据对模型进行了检验。结果表明:该模型更能反映火炮身管在全寿命周期内烧蚀磨损的实际状况,可为身管寿命估算和装备维护保障提供参考依据和相关支撑。     

火炮身管直线度检测系统总体设计

针对传统火炮身管直线度检测存在的深膛受限、精度较差、自动化程度较低等不足,设计了一种基于光电位置传感器的适用于不同口径、不同长度身管的火炮身管直线度检测分析系统,由直线度检测硬件分系统与直线度数据分析处理软件分系统组成．重点分析了检测硬件分系统的工作原理及各组件功用与组成,包括机械部分、光学部分和电路部分．该检测系统能满足现代化作战条件下武器系统快速、便捷检测的要求,具有较强的实用意义．     

矿井运输人身事故多发的原因及其控制

本文对肥城矿区井下近二十年运输事故发生的原因进行了详细分析,提出了防止运输事故的具体措施,收到了较好效果。     

GM(1,1)灰色模型在变形预测中的应用

本文结合实测变形资料,将GM(1,1)灰色模型运用于土木工程的变形预测,为土木工程的变形治理及时提供可靠依据。     

高职院校商务英语阅读教学现状及对策

商务英语阅读教学在培养复合型商务英语人才中的作用十分重要.通过对商务英语阅读教学中存在问题的分析,探讨提高商务英语阅读教学效果的策略,从而提高学生的商务英语阅读能力.     

基于精化的可信执行环境内存隔离机制验证

可信执行环境(trusted execution environment, TEE)基于硬件隔离机制,为安全敏感应用提供隔离的执行环境,保护敏感数据的安全性.内存隔离机制是TEE的关键机制之一,用于对安全内存和非安全内存进行隔离,并对安全内存实施访问控制,如果其安全性不能保证,可能造成存储在安全内存中的敏感数据泄露.为验证TEE内存隔离机制的安全性,针对基于ARM TrustZone技术构建的TEE,提出一种基于精化的可信执行环境内存隔离机制安全性验证方法.建立抽象模型和具体模型,并定义两种模型之间的精化关系,在证明精化关系成立和抽象模型满足信息流安全性的前提下,验证具体模型的信息流安全性.具体模型建模了TEE内存隔离机制的关键硬件和软件,包括TrustZone地址空间控制器、MMU和TrustZone monitor等,在定理证明器Isabelle/HOL中,验证了该模型满足无干扰、无泄露、无影响等信息流安全属性.     

原油含水分析化验自动化系统开发及应用

介绍了一种采用油田分析化验数据智能采集与管理的专业应用信息系统,通过扫描枪、FHS—A．E分层原油含水率分析仪、标签打印机及协议转换器等的集合,结合端口同步访问与控制技术的应用,通过2年多的油田现场应用,实现了系统在含水分析与采集的准确性、安全性、稳定性、及时性以及高效性。