对桥梁施工中若干预应力技术的研讨

结合济南二环东路高架桥四合同十四联现浇连续箱梁预应力施工经验,探讨了施工中伸长量计算与设计图纸中伸长量的区别,介绍了如何精确计算伸长量,阐述了张拉次数的控制方法,并分析了两端张拉与一端张拉的区别,以期指导实践。     

黄河特大桥扣塔锚碇的设计与施工

结合准朔铁路黄河特大桥扣锚索系统中锚碇的设计与施工,详细介绍了锚碇的设计思路、预应力锚索的设计计算、锚碇的施工工艺,指出该桥锚碇的设计轻盈,安全,避免了大体积圬工材料的浪费和施工难以控制的缺点,对同类型结构设计具有一定的指导意义。     

可信计算环境构建机制研究进展

可信计算环境构建是通过软硬件结合的方式构建满足可信计算定义的系统,使其上进行的计算具有真实性、机密性、可控性等特性,并利用这些特性来弥补仅依靠传统安全防护方式的不足,从而更好地解决计算机安全面临的挑战和问题。介绍了可信计算环境构建的硬件基础,归纳了近年来基于静态可信度量根、动态可信度量根以及轻量虚拟机监控器的可信计算环境的构建机制,分析了现有可信计算环境构建机制的优势和不足;通过对可信计算环境中信任链的分析,指明了今后的研究方向。     

基于实体依赖关系的信任链模型与构建机制

信任链的建立和传递是构建可信计算环境的核心,然而,当前的信任链模型仅仅是针对具体的可信计算环境进行的形式化建模,其不具有一般意义,不能够为构建可信计算环境(特别是基于动态可信度量根(DRTM)的可信环境)提供理论方面的指导,也难以胜任评估现有的可信计算环境的重任.为了解决上述问题,进而构建一个具有一般意义的信任链模型.首先将信任链模型转换为数学模型,然后,在分析实体依赖关系和安全逻辑系统的基础上,采用了数学逻辑的证明方法证明了该信任链模型满足的性质.该模型不仅可以评估现有的可信计算平台(包括基于静态可信度量根(SRTM)的可信计算平台和DRTM的可信计算平台),还可以为进一步研究信任链构建和可信计算环境构建等提供理论上的参考.     

毛细管末端太阳能采暖系统可行性分析

前言 近年来全世界均极其重视可再生能源在建筑中的应用,我国出台了大量的促使建筑能耗降低的法律法规:《民用建筑节能条例》、 《可再生能源法》、 《公共机构节能条例》、 《节约能源法》等,这些法律法规都鼓励在建筑中大规模推广应用可再生能源.太阳能是最重要的一种可再生能源形式,其中太阳能光热系统是最主要的技术形式,占我国太阳能系统建筑应用的90％以上,太阳能光热利用中90％以上是太阳能热水系统,近年来有部分太阳能企业试点了少量太阳能采暖系统,有部分运行成功的案例,也有失败的案例.其中很大一部分项目失败是因为冬季集热系统效率太低,太阳能保证率太低导致辅助能源消耗较大,节能经济性较差.目前绝大多数太阳能供暖系统设计的散热末端均是传统的地板辐射采暖,其系统运行热水温度一般在50℃以上,而在采暖季节运行热水温度越高则集热系统效率越低.     

一些工业化国家重视节约能源

面对全球石油短缺和能源消耗急剧增长的形势,世界一些工业化国家最近再次掀起节能高潮。 首先美国政府指示其所有联邦机构“采取一切必要的节约能源的措施,力争在1995年以前至少节约能源百分之十”,其节能措施是,降低建筑行业的能源消耗、汽车节油、增加替代能源和使用高效节能的设备等。     

黄河特大桥S1拱节支架的设计

详细介绍了黄河特大桥S1拱节支架的设计,分别阐述了支架法施工优点,该桥支架的设计难点及总体构思,并对支架结构,受力计算及复核等进行了说明,对以后同类型的钢管拱安装具有一定指导意义。     

基于动态联盟关系的中国墙模型研究

BN中国墙模型及其诸多变种对写操作约束过强,从而导致在利用冲突关系进行资源划分时,需要事先静态划分访问区域.提出了一种基于动态联盟关系的中国墙模型,该模型通过建立联盟关系实现对利益冲突关系的扩展,从而动态地构建访问区域.证明了该模型能实现与BN中国墙模型相同的安全目标,并通过应用分析展示了该模型可以用于虚拟机系统的隐形流控制.     

聚己内酯微泡的制备与表征

微泡包覆气体的核壳结构赋予其独特性能,使其成为超声示踪剂和药物与生物活性气体载体的优质候选,其中微泡能否稳定地包覆核心气体成为关键。本文用溶剂挥发界面沉积法制备了以聚己内酯为外壳主体、核心包覆氮气的微泡,并对微泡进行了结构、形貌、粒径分布、超声成像和稳定性的表征。结果表明聚己内酯微泡制备成功,且具有薄壳空腔的结构,外壳完整,尺寸均一,平均粒径为2.2 μm;微泡的超声成像信号强度在微泡浓度范围104 mL-1~106 mL-1之间随浓度增加而明显增强;并且微泡在生理环境下能够稳定包覆核心气体至少14 d,具备成为超声示踪剂和药物与生物活性气体载体的潜力。