二丙基硅烷双酚A环氧树脂的表征及固化性能研究

采用红外光谱（FT—IR）和核磁共振（^29Si NMR）对3,3’-二（3-三甲氧基硅丙基）双酚A环氧树脂（SEP）进行了结构表征,并对其性能和固化进行了研究。该树脂为含烷氧硅基的环氧树脂,室温下可流动,室温下黏度比E51大,在60℃以上黏度相近。采用表干时间、DSC和FT-IR等对SEP的湿固化研究结果表明,该环氧树脂通过硅氧烷水解缩合而固化,表干时间随固化温度升高而减小。该环氧树脂可以像E-51一样用胺类固化剂进行固化,低温下凝胶时间稍长,90％以上比较接近。     

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

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

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图聚类算法具有较高的性能。     

聚丙烯纤维增强混凝土

新西兰麦肯特莱公司是一家专门生产混凝土制品的公司,它最近采用一种增强纤维进行生产,这种混凝土制品质地优良,且造价低于钢筋混凝土。这种纤维在混凝土混合料中使用效果优良,适宜于多种用途。     

用试井方法分析百口泉组油藏储集层物性变化

常规的解析试井分析方法对于多相流、多井系统、生产历史、复杂边界、复杂井网和储集层的平面非均质性等问题存在一定的困难。数值试井技术相当于井组区域的数值模拟，它通过拟合油水井生产历史和实测压力曲线，给出压力及剩余油分布状况，并能直观地展布储集层特性变化特征。引入了数值试井技术，并结合常规的解析试井分析方法，综合分析了该油藏储集层历史变化特征。