深层搅拌水泥桩复合地基在工程中的应用

简要介绍了深层搅拌水泥桩的加固机理和适用条件。详细阐述了深层搅拌水泥桩的加固设计，其内容包括布桩形式，单桩竖向承载力及复合地基承载力的确定以及下卧层与沉降变形的验算。指出了施工中应注意的事项和应通过的质量检验项目，并通过工程实例进行了验证。     

钻孔灌注桩施工中常见质量事故的控制和防治

介绍了钻孔灌注桩成孔质量的影响因素 ,详细叙述了钢筋笼的制作和吊放处理步骤 ,阐述了断桩发生的原因 ,提出了具体的防治措施 ,经实践效果良好     

简析Ⅲ类PHC管桩的成因及加固补强处理方法

本文主要通过Ⅲ类PHC管桩的形成分析,经过各方论证采用了合适的处理方法,取得了较好的效果。     

边坡支护中多种技术措施的综合应用

通过工程实例,介绍了锚杆喷射混凝土支护技术与高压喷射混凝土搅拌桩支护技术在工程中的综合利用,同时也验证了该技术的可行性及经济性。     

MSP-G320240DBCW-211N大规模点阵式LCD与PIC单片机接口技术

介绍了大规模点阵式液晶显示器MSP-G320240DBCW-211N的特点及其与PIC18F6620单片机的接口技术，提出了应用过程中可能遇到的问题和解决方法．给出相关的C程序设计并在研制的智能光电检测仪器上得以成功地应用。     

纳米加工和纳米电子器件

介绍了电子束曝光技术、EUV光刻技术和X射线光刻技术的进展;对各种纳米电子器件如单电子器件、共振隧穿器件和分子电子器件的研究现状及面临的主要挑战进行了讨论。     

氧化铝熟料单筒冷却机节能技术改造

本对影响氧化铝熟料单筒冷却机冷却效率的因素进行了分析，并提出了相应的节能技术改造措施，取得了明显的节能效益。     

Aspects of rapid crack propagation in silicon

Fracture experiments with silicon specimens in recent years have shown the need for a new approach to the analysis of rapidly propagating cracks in single crystals. Behaviour and phenomena have been revealed that fracture in these materials is rather different from the fracture of both amorphous and polycrystalline materials. We show that continuum mechanics is insufficient for analyzing crack propagation in single crystals since it is unable to consider atomistic‐scale phenomena. Accordingly, we describe basic phenomena associated with rapid crack propagation in silicon : (i) anisotropic velocity‐dependent R‐curve behaviour, as a key phenomenon dictating atomistic scale behaviour, (ii) crack deflection from one cleavage plane to another as a mesoscopic scale phenomenon in single‐crystal fracture, (iii) the Rayleigh surface wave speed as the limiting crack tip velocity is re‐examined, (vi) the lowest crack velocity in brittle crystals is examined, and finally (v) the interaction between crack path and preferred cleavage planes in single crystals is depicted.     

Single axioms for odd exponent groups

With the aid of automated reasoning techniques, we show that all previously known short single axioms for odd exponent groups are special cases of one general schema. We also demonstrate how to convert the proofs generated by an automated reasoning system into proofs understandable by a human.Authors supported by NSF Grant DMS-9100665