低应力水平下土遗址力学特性的干湿循环效应

为分析干湿循环对土遗址力学性状的影响规律及作用机制,以遗址粉土为研究对象,采用自制的可分层取样试验装置开展长达15个月的干湿循环测试工作。在完成一定次数的干湿循环后,分别取样进行低应力条件下三轴排水剪切试验,并对部分土样进行相关微观试验。三轴排水剪切试验结果表明,与初始土样相比,1次干湿循环土样的应变软化特征显著增强,但随着干湿循环次数的继续增加,其应变软化性整体上呈减弱趋势;同时,黏聚力c、变形模量E0也都呈现出1次循环后明显增大随后逐渐减小的变化规律。因此,在土遗址浅层破坏修复工程中,建议采用干湿循环稳定后低应力水平下的力学参数进行相关计算。结合压汞试验结果,认为造成上述土体强度及变形参数随干湿循环次数非单调变化的主要原因是,第1次干湿循环后土样团粒内孔隙体积减小,而循环后期团粒内、颗粒间及颗粒内孔隙体积增大。同时,遗址粉土力学特性的干湿循环效应主要受粉土中黏粒"三维网架"的均匀收缩和局部破坏所控制,与黏土的干湿循环作用机制存在本质差异。研究可为土遗址预防性保护及加固提供技术依据和理论支撑。     

水泥窑余热发电系统用耐磨材料的研制与应用

本研究针对水泥窑余热发电系统的工作条件,根据耐磨材料的损毁机理,采用高铝矾土、煅烧氧化铝粉、黏土、硅微粉等为原料,以磷酸二氢铝为结合剂,以铝酸钙水泥为促硬剂,通过添加掩蔽剂和优化配料工艺,制备了水泥窑余热发电系统用耐磨材料,并对不同处理温度对耐磨材料的性能影响进行了分析。结果表明增强骨料与基质的结合能力有利于耐磨性的提高,磷酸及磷酸盐与氧化铝之间会随着温度的升高生成不同的磷酸铝相,都能够起到结合作用,比采用水泥结合更有利于提高材料在不同温度下的强度和耐磨性。使用结果表明,制备的耐磨材料施工性能优良,凝结硬化时间适当,强度高,抗冲刷性能好,在水泥窑余热发电系统中取得了良好的使用效果。     

用原位溶液聚合制备热固性酚醛树脂/蒙托土纳米复合材料

将反应单体与蒙托土预先浸润，使单体嵌入到蒙托土晶层间，加入催化剂引发聚合，制备了热固性酚醛树脂/蒙托土纳米复合材料。XRD，TEM，TG的分析结果表明，酚醛树脂与蒙托土实现了插层聚合，蒙托土在树脂中呈纳米级分散，树脂的耐热性明显增强。     

双因素和需求理论在和谐工会建设中的探索型应用

在工会工作中,应用双因素和需求理论,即赫茨伯格的激励因素、保健因素理论和马斯洛的需求层次理论,以单位员工需求为导向,以人为本地开展工作,为全体干部员工创建一个和谐环境。本文从和谐工会的内涵和双因素、需要层次理论内容为起点,充分认识工会在构建和谐社会中的重要历史地位和作用,由浅入深地探讨了在先进理论引导下构建和谐工会的方法和思路,本研究对构建和谐工会具有很强的现实指导意义。     

软件脆弱性影响分析模型

软件脆弱性的本质是利用该脆弱性可以影响系统的安全。每个软件脆弱性对系统安全造成的影响及其危害程度是不同的。基于此,在研究软件脆弱性影响相关分类存在的问题的基础上,分析脆弱性的直接影响和最终影响及其关系,指出确定软件脆弱性直接影响的原则,设计出基于影响广度和深度的脆弱性直接影响的分析模型。分析系统级、用户级和文件级的脆弱性直接影响模式,并给出模型在大规模特定域网主动防御系统中的相关设计与实现。     

VxWorks远程在线软件升级技术

针对单一的软件升级方式难以满足不同VxWorks软件升级需求的问题,分析各种VxWorks软件升级方式的优缺点和适用场合,设计VxWorks远程在线软件升级系统,讨论动态软件升级的原理和实现方法。介绍提高升级可靠性的设计,描述系统的具体实现。该系统组合使用3种软件升级方式,可基本满足各种不同软件的升级需求。     

软件脆弱性危险程度量化评估模型研究

软件脆弱性的危险程度是对软件脆弱性被利用来攻击系统的潜在危险的度量。在分析目前已知的相关评价方法及其局限性的基础上,提出了根据脆弱性影响的严重程度和脆弱性可利用性来评佑脆弱性危险程度的分析框架,并基于模糊理论,提出了软件脆弱性危险程度评估的量化模型,建立了模糊测评因素关联隶属关系的递阶层次结构,并重点分析了基于模糊集的指标量化、基于模糊关系矩阵的指标权重的确定和软件脆弱性危险程度的综合评价方法。最后,给出了模型的应用与实现。     

用户级实时线程的设计与实现

连续媒质的应用程序要求有实时线程高效灵活的支持,包括对线程属性的动态管理和多线程模式的支持。本文介绍在RT－Mach微内核上用户实时线程的设计和实现。     

GLIBC中Linux异步I／O函数的实现

文中主要介绍异步I／O模式的基本思想和GLIBC中Linux异步I／O函数的实现方法,给出其主要的数据结构和主要算法,并分析了该方法在实际应用中的优点和缺点。     

一种证明程序正确性的方法

介绍一种证明程序正确性的方法,并和Floyed_Hoare公理学方法作了一些比较.为了形象的描述该方法,建立了一个抽象模型及一个程序实例,然后相对于这一模型并结合程序,给出了程序正确性的定义及其证明方法.