Windows Vista用户帐户控制机制的反向建模分析

形式化建模分析是发现系统漏洞的有效方法之一,为了解决正向建模对非开源软件进行分析的困难,本文提出了一种反向建模的分析方法。反向建模是一个反馈式的过程。利用模型检验工具验证分析生成的反例在真实系统中进行确认,若反例没有得到确认则对模型进行修正,然后再次进行验证,如此反复。直至反例得到确认,即可得到较为准确的模型并发现系统的不足。本文使用该方法对Windows Vista用户帐户控制机制进行了分析,发现了其不足,取得了较好的效果。     

基于分布式全光纤传感器的电机故障诊断系统研究

构造了全光纤振动传感系统,可用于对发电机组,飞机发动机等大型电机设备的健康状况监测。全光纤振动传感系统由于传感臂是光纤,属于无源器件,不会受到电磁干扰,其检测到的信号完全是由电机振动产生,且监测的灵敏度极高。克服了传统的加速度传感器容易受到电磁干扰导致信号检测出错的缺点。用全光纤振动传感器对电机的振动进行实时的采集,基于LabVIEW平台对振动信号进行实时的频谱分析,很容易判断电机是否工作正常。该检测系统结构简单,振动检测灵敏度高,能够很好地应用于电机健康状况的监测。     

某输电线路工程滑坡特征分析与评价

某750 kV输电线路部分段走径于天水地区滑坡区段,区域滑坡类型主要以黄土滑坡和黄土-泥岩接触面滑坡为主,最易滑坡坡度在20°~39°之间,占全部滑坡的72.3%;滑坡的形成原因主要有地质构造、地震作用、岩性特征、地形地貌、水文气象条件和人类活动等多个方面;通过分析地区滑坡特征,采取滑带土进行室内试验,分析滑带土物理力学性质,进行典型滑坡的稳定性分析与评价。     

山区铁路建设管理探讨

近年来随着我国经济发展,西南、西北山区铁路建设也逐渐得到加强,但是由于山区特殊地形、地貌、水文地质、所处地震单元及党的"十八大"提出的"生态文明建设"等诸多因素,使得铁路项目选线非常困难、投资十分巨大、工程建设难度加大。因此,在建设项目成立前,必须要经过地质、地震、环保和经济规划等多方面的具体论证,使得线路方案具备较强的合理性和经济性,在建设过程中要客服地震、泥石流、危岩落石、坍塌、环保等多方面的困难,使铁路项目建设既可以满足安全、地质、环保、地震等的要求,同时又可以促进铁路沿线的经济发展。     

1307综放工作面实施采煤机内喷雾降尘效果分析

通过对1307综放工作面实施采煤机内喷雾降尘技术的分析研究,采煤机内喷雾的喷嘴直接靠近尘源,做到从源头上防尘的目的,并且结构简单、使用方便、降尘效果好,具有广阔的应用前景。     

综放工作面煤体钻孔的施工

根据公式计算来确定综放工作面钻孔的施工角 ,为现场的打钻作业提供理论依据。通过在王庄矿432 7综放工作面的打钻实践 ,初步总结出影响钻孔成孔率的几项因素以及采取的对策 ,对今后的打钻作业提供有益的参考。     

自变位履带式管道机器人动力学分析及仿真研究

为缩短管道检测机器人的开发时间,提高产品的质量,对管道机器人进行动力学分析及仿真研究至关重要。基于ADAMS对管道机器人添加运动副、驱动力矩、接触力、摩擦力和重力,进行了管径适应仿真和运动仿真,得到管道机器人虚拟样机在竖直弯管内运动时质心处的位移、速度、加速度以及驱动力矩曲线。对仿真结果进行分析,证明其在弯管内运动平稳可靠,为其后续试验及应用提供了理论基础,也为原理样机的结构设计提供了理论依据。     

蛇纹石/La复合粉体的制备及其摩擦性能

分别采用水溶液沉淀法和乙醇溶液沉淀法制备了蛇纹石/La复合粉体,并分别在120℃（脱除吸附水）和700℃（蛇纹石脱除羟基）对复合粉体进行了干燥和煅烧热处理。利用X射线衍射法、扫描电子显微镜、能谱分析表征了复合粉体的物相组成、微观形貌。利用MM-10W型多功能摩擦磨损试验机对复合粉体的摩擦性能进行了评价。结果表明：蛇纹石/La复合粉体中,La化合物呈纳米颗粒,并包覆在蛇纹石表面;700℃煅烧将导致蛇纹石/La复合粉体物相变化和摩擦性能变差;120℃干燥处理的蛇纹石/La复合粉体具有良好的减摩-抗磨性能,摩擦因数较未添加者降低22.48%以上。     

低瓦斯矿井瓦斯综合治理技术研究

针对王庄煤矿6206工作面"J"型通风实际情况,通过分析研究提出了"J"型通风结合尾部负压风机抽放、采空区埋管瓦斯抽放等瓦斯综合治理方案,并对上隅角插管结合尾部风机抽放和采空区埋管结合尾部风机抽放两种瓦斯综合治理方法治理效果进行了分析研究,得到了适合低瓦斯矿井与"J"型通风相配套的瓦斯综合治理技术。     

SiC MOSFET驱动与保护电路设计

介绍了SiC MOSFET驱动电路的设计要求,基于ACPL-355JC光耦驱动模块设计了SiC MOSFET驱动和保护电路。该电路具有驱动能力强、响应迅速和多种保护等优势。另外,针对SiC MOSFET开关过程中存在的瞬态电压尖峰和振荡问题,分析了SiC MOSFET开关过程中产生过电压和振荡的机理,并在此基础上提出一种RC吸收电路参数的计算方法。实验结果表明利用该方法设计的RC吸收电路能够有效解决SiC MOSFET在开关过程中的过电压和振荡问题﹐从硬件电路上有效降低开关噪声,从而保护功率器件。