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

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

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

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

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

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

山区铁路建设管理探讨

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

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

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

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

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

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

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

无刷直流电机专用控制集成电路 MC33035原理及应用

文章介绍了MC33035的功能特点和工作原理，给出了由它组成的三相六步全波电机控制、 H型有刷电机控制和三相闭环控制等三种电机控制电路。     

一种新型通用大功率直流电源监控系统研制

直流电源监控系统硬件由西门子公司的S7-200系列PLC和现场检测与变换元器件构成。借助于“组态王”软件和巧妙的程序设计,可用于多种不同电路拓扑的大功率直流电源系统的监控。详细介绍了其系统构成和软件设计,而且给出了其在直流电源系统中的实用效果。     

基于CCD的小口径炮膛质量检测系统

一种针对小口径火炮炮膛表面质量的新型定量检测系统,采用微小型高性能工业CCD摄像机作为图像采集设备,结合设计的滑膛组件、驱动模块等功能单元,动态获取炮膛的清晰视频图像,并利用相关图像处理算法完成炮膛疵病面积的识别和计算,实现对小口径火炮炮膛表面质量的定量检测,其有效性通过试验得到验证。