钢网架防火保护方法

研究钢网架防火保护方法,列举常用建筑钢结构构件防火保护方法,比较不同防火保护方法保护钢网架结构的优缺点,认为屏蔽法适用于钢网架结构的防火保护.结合某场馆钢网架结构采用屏蔽法进行防火保护的工程实例,进行保温隔热材料厚度计算,介绍防火保护吊顶设计,验算钢网架承载力,说明采用屏蔽法对钢网架结构进行防火保护的设计方法,为类似结构的防火保护提供参考依据.     

混凝土的质量控制

混凝土在公路建设中占有很大的比重,在桥梁、隧道、路面等构造物的质量、安全、可靠度和耐久性方面起绝对的作用.因此,对混凝土的质量控制至关重要.本文主要谈谈如何来控制混凝土的施工质量.     

静态容积法标定气体钟罩的湿度修正

针对静态容积法和尺寸测量法对钟罩气体流量标准装置标定容积不同的问题,通过钟罩排出不同湿度气体,得到静态容积法标定的不同结果实验,进行理论分析,把实验数据代入公式进行验证,从而得出用静态容积法标定时,需根据气体湿度进行修正的结论。     

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

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

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年多的油田现场应用,实现了系统在含水分析与采集的准确性、安全性、稳定性、及时性以及高效性。     

基于图聚类的入侵检测算法研究

针对当前聚类算法仅依赖于初始聚类中心并且无法精确区别非凹形状类的不足,现将图学习知识应用到聚类算法中,提出了一种基于图聚类的入侵检测算法P-BFS。为得到较准确的分类模型,算法中引入了一种基于逼近函数的相似性度量方法。实验结果论证了图聚类思想应用于入侵检测系统的优越性;同时表明了,与K-means聚类算法相比,P-BFS图聚类算法具有较高的性能。