某露天矿山边坡结构参数优化与支护设计

某露天矿山东帮边坡稳定性较差,已有12个区域出现大面积滑坡或垮塌,导致东帮边坡部分平台不连通,给矿山生产造成了严重的安全隐患。基于此,以边坡安全系数控制值为边坡稳定评判标准,采用极限平衡法、Geo-Slope软件计算边坡安全系数,分析边坡整体与局部的稳定性,并对不稳定区域进行参数优化研究,结果表明:东帮边坡整体滑坡的概率较低,但局部稳定性较差,需采取防护措施;边坡结构参数经优化后,边坡整体处于稳定状态。     

三维复杂轴线空心构件自由弯曲成形技术研究

基于ABAQUS有限元仿真软件,对紫铜复杂轴线空心构件的三维自由弯曲成形进行了数值模拟,重点研究了管材与弯曲模之间的间隙u、弯曲模中心与导向机构前端距离M、管材Z向送料速度v等关键成形工艺参数对弯曲成形结果的影响规律以及成形区的应力、应变状态,最终获得了该复杂弯曲构件三维自由弯曲成形的最优工艺参数。基于仿真优化结果,实施了自由弯曲成形试验。研究结果表明:在u为0.25 mm、M为26.5 mm、v为20 mm·s~(-1)的工艺参数条件下,构件成形尺寸与模拟结果相近且均接近设计尺寸;弯曲构件无明显的截面畸变、壁厚增厚减薄现象,成形质量较高,模拟结果为复杂空心件成形提供了技术参考。     

基于改进型混沌映射窗函数的忆阻器模型研究

忆阻器被认为是除了电阻,电感,电容外的第四种基本的电路元件,是一种具有记忆功能的非线性电阻。目前,忆阻器原理及其应用是电路学研究的热点和前沿问题之一。本文总结了忆阻器在不同环境下的常见的几种模型,并对模型进行了改进,另外对忆阻器在滤波电路上的应用进行了仿真。     

复杂空间弯管三维自由弯曲成形有限元模拟及试验

目的以一复杂空间弯管为例,开展三维自由弯曲成形实验研究。方法首先提出三维自由弯曲成形工艺解析方法,然后通过有限元模拟与实际试验相结合的方法进行研究。结果有限元模拟所得到的弯管与CAD模型相比,弯曲半径偏差值不超过2%,吻合度较高。实际成形出的弯管与CAD模型对比显示,第1个弯曲段的实际弯曲半径为118 mm,设计值为120 mm,实际值与设计值偏差1.67%;第2个弯曲段的实际弯曲半径为133 mm,设计值为130 mm,实际值与设计值偏差2.30%,2个弯曲半径的偏差值均不超过3%。结论验证了三维自由弯曲成形工艺解析方法的可靠性,有限元模拟较好地指导了实际成形试验。     

磁控溅射制备的氧化钒的椭偏光谱分析

采用直流反应磁控溅射工艺,在不同的沉积时间条件下(5～100min)制备了以单晶硅为衬底的氧化钒薄膜,用扫描电镜分析了薄膜结构的断面形貌.对氧化钒薄膜建立了椭偏色散模型[1],运用经典振子模型在椭偏仪上拟合并计算薄膜的透射光谱得到理想的拟合效果,发现在300～450nm内其折射率随波长的增加而增大,而在450～700nm内逐渐减小,632.8nm波长下磁控溅射制备的氧化钒薄膜折射率在2.2～2.5.初始沉积薄膜折射率较大,而随着沉积时间的增加,不同厚度的薄膜折射率从2.43到2.24呈现略微减小的趋势.用拟合得到的厚度值来计算出沉积速率,发现沉积速率也逐渐变小.     

基于在线学习磁校准的行人航位推算算法

目前常用的微机电系统磁传感器存在时变的软磁和硬磁误差,这些误差严重影响基于地磁的航向估计以及地磁匹配定位算法性能.利用行人正常行走过程中产生的机会性自然旋转,使用陀螺仪感知磁传感器小尺度姿态改变,构建包含多个优选磁观测对的基于余差动态加权的非线性目标代价函数,使用具有全局最优解的布谷鸟非线性优化算法在线动态估计软磁和硬磁误差.使用所提磁校准算法可降低3.09°的平均航向误差.在行人航位推算算法上进行测试,航位估计相对误差为2.09%.     

5G通信基站节能供电系统运行控制策略研究

5G通信基站耗电量较大,引入分布式供电(DG)单元能对其进行一定的电能补充,但DG单元易受气象条件的影响,导致通信基站节能供电系统运行不稳定.为提高通信基站节能供电系统运行的稳定性,提出了一种基于直流母线电压信息自动切换的控制策略,系统内各单元可根据当前直流母线电压状态实现并网、孤岛模式的无缝切换.仿真结果表明,所提控...     

安全协议验证模型的高效自动生成

为了能高效地利用模型检测技术对安全协议进行分析与验证,提高工作效率,提出了一种适用范围广,自动化程度及验证效率均较高的建模算法。开发了一个基于该建模算法“网络安全协议验证模型生成系统”,该系统可高效地对安全协议进行分析与验证,系统在对攻击者建模时采用偏序规约、语法重定序及类型检查等优化策略以提高验证效率,有效地缓解了模型检测过程中的状态爆炸问题。     

重质油直接制化工品：多级逆流下行催化裂解技术

利用有限的石油资源生产高附加值化工原料（低碳烯烃与芳烃）是石油资源低碳高效利用的重要途径。基于我国的能源结构和在催化裂化领域的技术优势,重质原料油在分子筛限域催化下裂解直接制低碳烯烃与芳烃是我国炼油产业的重要发展方向。这对涉及分子筛内离散传递、吸附与反应等过程的调控和多相反应器的设计提出了挑战：(1)分子筛内大分子及芳烃的强吸附对低碳烯烃的传递造成较大的阻力,要求高剂油比及逆流接触,防止重质芳烃的优先吸附并实现低碳烯烃的深度裂解;(2)二次反应速度比一次反应快,要求毫秒级接触时间和近平推流的停留时间分布方可得到高的中间化学品收率。解决这些问题需要在催化剂及反应器两方面同时改进。在这个背景下,本文重点介绍了重质油催化裂化直接制化工品中的离散传递、反应与失活过程,以及气固多相反应工程等相关领域的进展,分析了小分子在分子筛中吸附扩散和相关主客体相互作用研究的最新工作,提出应使用具有晶面选择性的抗积炭高活性纳米分子筛和气固逆流接触的平推流反应器。最后介绍了清华大学自主研发的多级逆流下行催化裂解技术(multi-stage downer catalytic pyrolysis,MDCPTM)——...     

Kerberos协议安全性的SPIN分析

随着网络应用的迅速发展,协议的安全性显得越来越重要,对协议的安全性分析和研究也成为目前一个非常紧迫的课题.介绍Kerberos协议,然后采用非形式化方法对协议进行分析,最后使用模型检测工具SPIN对协议从安全属性的两个方面,认证性和保密性进行了分析,模拟实现了协议的重放攻击.