可信执行环境访问控制建模与安全性分析

可信执行环境(TEE)的安全问题一直受到国内外学者的关注. 利用内存标签技术可以在可信执行环境中实现更细粒度的内存隔离和访问控制机制, 但已有方案往往依赖于测试或者经验分析表明其有效性, 缺乏严格的正确性和安全性保证. 针对内存标签实现的访问控制提出通用的形式化模型框架, 并提出一种基于模型检测的访问控制安全性分析方法. 首先, 利用形式化方法构建基于内存标签的可信执行环境访问控制通用模型框架, 给出访问控制实体的形式化定义, 定义的规则包括访问控制规则和标签更新规则; 然后利用形式化语言B以递增的方式设计并实现该框架的抽象机模型, 通过不变式约束形式化描述模型的基本性质; 再次以可信执行环境的一个具体实现TIMBER-V为应用实例, 通过实例化抽象机模型构建TIMBER-V访问控制模型, 添加安全性质规约并运用模型检测验证模型的功能正确性和安全性; 最后模拟具体攻击场景并实现攻击检测, 评估结果表明提出的安全性分析方法的有效性.     

单体与三体高速船舶粘性流场数值模拟

为了检验CFD在船舶粘性流场计算中的有效性,基于RANSE方法,对单体船型DTMB 5415和三体船FA1粘性流场进行了数值模拟.自由面处理采用VOF方法,湍流模型选用SSTk-ω模型,计算结果与试验数据进行了比较,在傅汝德数不是很高时吻合较好.计算结果表明,CFD可以用来研究复杂船型流动问题,对于阻力、伴流等重要的水动力参数,CFD能够给出与试验相一致的结果;同时VOF方法可以比较好地捕捉船舶自由面波形,对于三体船,计算结果能够清晰地反映出主体和侧体之间强烈的兴波干扰现象,可以为船型优化提供重要的参考.     

内外资对河北省高新技术开发区发展影响的比较分析

以河北省国家级高新技术开发区数据为样本,利用高新技术开发区企业工业增加值率、高新区企业利税总额和高新区企业总产值3个指标,采用主成分分析方法,对河北省国家级高新区的发展情况进行了综合衡量,并将内资投资企业和外资投资企业对河北国家高新区的影响进行了比较分析,得出内资企业和外资企业的各项指标对河北省高新区发展的影响,最后结合当前形势提出了相应的建议.     

碳酸二甲酯-乙醇体系等压汽液相平衡

采用双循环汽液平衡釜测定了碳酸二甲酯-乙醇在100 kPa下的汽液平衡数据。实验数据经Herington面积积分法校验符合热力学一致性。运用M atlab中的非线性最小二乘法程序,对二元汽液平衡的W ilson模型进行参数计算,利用关联出的模型参数计算相应的汽相组成,并与实验值比较,其平均绝对偏差为0.002 8,表明二者符合良好,这为建立碳酸二甲酯和乙醇的精馏分离数学模型提供了基础数据。     

粉煤灰滤料除磷特性初探

通过静态吸附实验,研究各个外部条件对粉煤灰颗粒吸附无机磷元素效果的影响并进行实验结果对比。实验表明,当滤料投加量愈大、振荡强度愈强、浓度愈低、反应时间愈长时滤料对待处理液中磷元素的去除率愈高。在初始浓度0.2mg/L,加入2g/20mL滤料,处理45min,温度14.9℃,200r/min条件下,去除率可以达到83%,满足工业废水排放要求[1]。     

Fenton法及类Fenton法在污水处理方面的研究与应用

Fenton试剂通过H2O2和Fe2+作用产生.OH,因而具有极强的氧化能力,在治理环境污染方面得到了广泛的应用。为了改善Fenton法中H2O2利用率低等缺点,越来越多的研究者将Fenton法与其它方法联/并用,极大提高了Fenton的催化效率。作者主要介绍了Fenton法及类Fenton法催化原理及其在污水及污染物处理方面的应用。     

基于工业工程技术的清洗机输送系统改造设计

运用工业工程技术对已有清洗机的工作过程进行研究,并制定改善设计方案,将已有清洗机的单工作台返回式输送改造为双工作台返回式输送,以最低的费用投入,实现清洗机效率的提高,消除了清洗机和工人相互等待的状况。     

垃圾焚烧炉渣混凝土抗压强度试验研究

本文以生活垃圾焚烧发电厂炉渣作为混凝土粗骨料,研究了垃圾炉渣混凝土的破坏形态、抗压强度与垃圾炉渣粗骨料取代率、水灰比、表观密度之间的关系以及抗压强度的发展趋势.通过对比分析,得到如下结论:垃圾炉渣混凝土的破坏形态与普通混凝土相似,针片状物对抗压强度影响较大;不同水灰比时,垃圾炉渣取代率对混凝土抗压强度影响不同; 垃圾炉渣混凝土抗压强度与普通混凝土的抗压强度发展趋势相同;垃圾炉渣混凝土抗压强度与表观密度之间呈线性关系.通过选取最佳的取代率和水灰比可以配制出经济价值较高的C20、C25和C30标号混凝土.     

国内聚乙烯拉伸缠绕膜现状和发展

综述了聚乙烯(PE)拉伸缠绕膜的国内应用情况,介绍了其应用领域及使用PE拉伸缠绕膜包装的优点;分析了不同共聚单体的拉伸缠绕膜用树脂的性能特点和国内原料生产、应用情况。2009年,我国PE拉伸缠绕膜消费量为230 kt,年增长率为7%～8%,预计2015年消费量将达360 kt左右。     

ECDP/PTT共混物相容性及流变性能研究

研究了易染阳离子染料可染聚酯(ECDP)/聚对苯二甲酸丙二醇酯(PTT)共混物的相容性及其流变性能。结果表明:ECDP/PTT共混物在无定形区相容性良好,在晶区晶相分离;ECDP/PTT共混物在剪切速率为102~105s-1时属于切力变稀流体;纺丝温度245℃时,ECDP/PTT共混物具有良好的可纺性,ECDP/PTT质量比为60/40时,所得纤维断裂强度最低。