不同超载比真空联合堆载预压处理吹填土效果及对周围环境的影响

真空联合堆载预压处理吹填土地基时,沉降量、孔压消散值、含水率、十字板剪切强度是衡量土体加固效果的重要指标,而针对一些设计要求高、周围环境复杂的工程,土体侧向位移的大小和变化规律作为控制堆载过程、满足变形与稳定要求、考察对周围环境影响的重要指标应引起重视。室内试验主要通过三种不同的超载比(堆载量与设计真空度之比)进行真空联合堆载室内模型试验,对真空-堆载联合作用下土体侧向收缩变形特性进行研究,探求最合适的超载比方案。     

Cu2+基态b2g的g因子微扰公式及对Cs2CuCl4和T2CuBr4的应用

近年来 ,文 [1～ 4 ]报道了Ｃｕ2 +(3ｄ9)离子的光学、磁学和电子顺磁共振 (ＥＰＲ)等重要性质 ,但这些文献只研究了六配位八面体四角对称晶场中的 3ｄ9离子基态ａ1ｇ或ｂ1ｇ的性质 ,而在Ｃｕ2 +的有重要应用价值的化合物中 ,大量存在四配位四面体低对称的情况 .因此 ,我们利用晶体场理论推导出了斜方的 3ｄ9/ 3ｄ1离子四面体络离子 (ＡＸ4 ) ｎ - 基态ｂ2 ｇ的ＥＰＲ ｇ因子的三阶微扰式 ,并用该式研究了晶体Ｃｓ2 ＣｕＣｌ4 和Ｔ2 ＣｕＢｒ4 的ＥＰＲ ｇ因子 ,其理论计算与实验结果符合较好 .1　理论在晶体场中 ,考虑到自旋 轨道 (ＳＯ)…     

以双包层光纤光栅为后腔镜的掺Yb3+双包层光纤激光器的研究

本文对LD泵浦以双包层光纤光栅为后腔镜的掺Yb3 双包层光纤(DCF)激光器进行了实验研究．采用相位掩模法直接在内包层为圆形的掺Yb3 双包光纤一端写制反射率约为0．2 dB的光栅,并用其作后腔镜, 以二向色镜为前腔镜构成了双包层光纤激光器．在1 054．6 nm处得到峰值半宽(FWHM)<0．1 nm的稳定单模激光输出,并对试验结果进行了理论分析．     

焊缝固态收缩对残余应力形成过程的作用

在分析传统的焊接残余应力形成机理的基础上，针对其局限性提出了对接焊缝残余应力形成的修正模式。认为除进缝区母材中所发生的塑性压缩变形的贡献之外，焊缝金属冷却时的受制约收缩也是导致对接接头中产生残余应力的一个相当重要的因素。     

一种智能天线MC-CDMA系统中的最小二乘恒模波束成形算法

提出了智能天线多载波CDMA系统中一种最小二乘恒模波束成形算法，它是在对多载波阵列接收信号进行恒模波束成形的同时，用已估信道参数对各个子载波上的信号进行合并（采用ORC、EGC或MRC），然后对合并后的信号进行判决，用判决后的信息和期望用户的扩频码重构各个子载波上的信号，最后用此重构信号与波束成形输出信号的差去控制波束成形器的抽头系数，从而提高了系统的性能．对这种波束成形算法与传统的最小二乘恒模波束成形算法进行了仿真比较，仿真结果表明，提出的束成形算法的误码性能优于传统的算法．     

体外预应力结构技术及应用综述

阐述了体外预应力结构的概念与体系、发展状况;系统地论述了体外预应力结构的力学特征、耐久性、转向块设计、结构加固等,以及在我国的应用前景。     

装配式地铁车站侧墙-顶板节点抗震性能试验研究

针对装配式地铁车站结构,提出了一种新型的车站顶板与侧墙连接节点.该节点通过车站侧墙顶部伸出的竖向U形钢筋与预制顶板两端伸出的水平U形钢筋搭接连接,从而实现侧墙与顶板间的内力传递.结合实际工程,设计制作了3个U形筋搭接构造形式各不相同的装配式足尺节点试件.通过拟静力试验,研究了节点试件的破坏形态、滞回性能、承载能力、变形...     

草莓的组织培养研究

采用组织培养方法,快速繁殖草莓,经研究认为最佳诱芽培养基是:MS+6-BA 0.5mg/l+NAA 0.01mg/l,最适宜于接种的处植体为:茎尖>叶柄>叶。而在最佳诱芽培养基 MS+6-BA 0.5mg/l+NAA 0.01mg/l 下能够很好地进行继代增殖。能大量诱根的培养基是 MS 基本培养基和 MS+IBAlmg/l。     

SO2/CO2气体对纯镁及AZ91D合金的保护行为

为探究气体保护纯镁及镁合金免于氧化及燃烧的机制,研究了体积分数为3%SO2和97%CO2混合气体在非封闭熔化炉中对熔融纯镁及AZ91D合金的保护行为。借助具有能谱测定(EDS)的扫描电镜(SEM)、X射线衍射仪(XRD)分别分析了熔融纯镁及AZ91D合金表面膜的显微组织、化学成分及相组成。结果表明:在680℃AZ91D合金表面膜密集连续,其厚度约为2μm,而纯镁表面膜厚度约为1μm,混合气体对AZ91D合金的保护效果优于纯镁。两种熔体表面膜由MgO、MgS及少量单质C相组成。除AZ91D表面膜含有少量Al外,两种表面膜均含有S、C、O及Mg元素。     

Formal analysis on an extended security model for database systems

In order to develop highly secure database systems to meet the requirements for class B2, the BLP （Bell-LaPudula） model is extended according to the features of database systems. A method for verifying security model for database systems is pro- posed. According to this method, an analysis by using Coq proof assistant to ensure the correctness and security of the extended model is introduced. Our formal security model has been verified secure. This work demonstrates that our verification method is effective and sufficient.