基于虚拟样机的轮式起重机吊装安全性研究

研究起重机吊装轨迹优化的问题,系统缺少对吊装轨迹安全因素的控制。为确保吊装作业安全顺利,提出采用虚拟样机仿真技术检验起重机吊装过程。首先推导了三自由度起重机的正逆运动学模型及起重机的雅可比矩阵,得到起重机各关节的位置及速度对起重臂末端位置及速度之间的映射关系,运用五次多项式插值函数对起重机的吊装过程做轨迹规划。根据吊装过程规划模型,在ADAMS软件上进行仿真,仿真结果验证了吊装过程的安全性和定位的准确性。     

辅助检测Linux驱动中漏洞的符号驱动环境

Linux系统中的驱动漏洞被证实是内核漏洞的主要来源,可以被利用导致严重的安全问题。通过系统模型、驱动与内核的交互和驱动与设备的交互这三部分的设计与实现,构建了符号驱动环境,用于辅助检测Linux驱动中的漏洞。使用符号驱动环境对两个真实的驱动进行检测,成功检测出了两个漏洞,证实了该工具的可行性。与SymDrive工具的性能相比,符号驱动环境执行速度快90%,覆盖率提高20%。     

基于ARM的温湿度远程监测系统

基于ARM的温湿度远程监测系统可以对生产环境温湿度因素进行有效测量,其体积较小,智能程度高,利用通用分组无线业务GPRS网络无线数据传输技术实现对温湿度的远程实时监测.系统选用SHT10传感器芯片进行温湿度测量,测量数据精度高、反应灵敏且工作稳定.嵌入式系统程序基于Linux 2.6开发平台开发,程序具有实时性强、方便移植、内存共享和I/O系统优化等特点.     

建筑给水系统中水锤的危害与防护

分析了建筑给水系统中水锤的概念、分类及危害,列举了近年来出现的几种水锤防护措施及其特点,并对水锤防护措施选择时应考虑的因素进行了分析,以期为给水系统的安全经济运行提供参考。     

使用符号化驱动环境检测Linux设备驱动程序的漏洞

研究表明,驱动程序的漏洞是造成Linux系统安全问题的主要原因之一,可引发提权、拒绝服务等高危情况。针对无具体设备的情况下,无法对驱动程序进行运行时漏洞检测的问题,提出了对驱动程序进行符号化执行的思路,提出了一种基于符号执行技术实现的驱动程序模拟环境,可以用于分析和检测Linux设备驱动程序中存在的安全漏洞。该环境通过模拟内核提供给驱动程序的服务接口,使驱动程序可以在应用层进行符号执行进而可对其进行漏洞检测。同时,该环境无需真实硬件的支持,并且具备覆盖率高、执行速度快、易于扩展等特点。通过将该环境作用于6个不同的Linux设备驱动,检测出了6个真实的漏洞,其中三个漏洞已向驱动维护者提交补丁并被接受。实验结果表明,符号化驱动环境具备一定的漏洞检测能力,并且拥有资源消耗低、检测速度快和不依赖于硬件设备的特点。     

浅谈高层建筑稳高压消防给水系统

研究了稳高压给水系统的特点,详细地介绍了稳高压给水系统的几种稳（增）压措施,探讨了稳高压给水系统的减压问题,以完善高层建筑稳高压消防给水系统的设计,提高人们对稳高压给水系统的认识,从而推广该给水系统。