复合地基的沉降计算方法

水泥土搅拌桩复合地基的设计可用其沉降进行控制。本文列举了目前比较常见的几种沉降计算方法，综合这些方法，提出了以沉降进行控制的设计思路，并结合这几种计算方法的计算模型或原理，提出在工程计算中注意的问题，进而对工程实用性及经济性进行了一些尝试性的探讨。     

高水头弧形闸门伸缩式水封的黏弹性仿真计算方法

认为止水材料的蠕变和应力松弛是由于材料参数的变化而引起的，把描述橡胶类材料应变能密度函数中的物理参数假设成与时间有关的黏弹性函数。在此基础上改进材料应力张量与应变张量的关系式，得到了改进的Mooney-Rivlin公式，给出了一种考虑止水材料黏弹性性质的伸缩式水封仿真计算方法。分析得出，止水材料由于受周边结构的限制，材料黏弹性阶段除顶点垂直位移不变，关键结点的其它位移并没有因材料的蠕变而显著变化，材料的蠕变有提高封头顶点接触应力的趋势，不会降低水封的水密性。通过工程实例，给出了140m水头下、封头与面板间隙控制在30mm内的可行并较优的伸缩式水封的断面。     

Evaluation codes at singular points of algebraic differential equations

We use the special geometry of singular points of algebraic differential equations on the affine plane over finite fields to study the main features and parameters of error correcting codes giving by evaluating functions at sets of singular points. In particular, one gets new methods to construct codes with designed minimum distance. This work was partially supported by MCyT BFM2001-2251.     

Shorts in self-checking circuits

It has been noted by several authors that the classical stuck-at logical fault model might not be an appropriate representation of certain real failures occurring in integrated circuits. Shorts are an important class of such faults. This article gives a detailed analysis of the effects of shorts in self-checking circuits and proposes techniques for dealing with them. More precisely, we show that, unlike other faults such as stuck-at, stuck-on, and stuck-open—which produce only single errors in the place they occur—shorts can produce double errors on the two shorted lines. In particular, feedback shorts can produce double errors on the two shorted lines. The double error is unidirectional for some feedback shorts and non-unidirectional for some others. Furthermore, in some technologies (e.g., CMOS), non-feedback shorts can also produce double non-unidirectional errors. We also show that unlike stuck-at, stuck-on, and stuck-open faults, redundant shorts can destroy the SFS property. Then we propose several techniques for coping with these problems and we illustrate the results by circuit implementation examples.The present study is given for NMOS and CMOS circuits but we show that it is valid for any other technology.     

广义汉明重量下限函数Lr（j,d）的新证明

通过几个引理，对广义汉明重量下限函数Ｌｒ（ｊ，ｄ）的有限和表达式给出了一个思路简单的证明方法。给出了取整数函数［ｘ］，［ｘ］的一些运算性质。     

Increasing testing productivity and software quality: A comparison of software testing methodologies within NASA

Pressure to compress the development life cycle and reduce the duration and resources committed to testing lead to experimentation in testing at the NASA Goddard Space Flight Centerís Software Engineering Laboratory. This study investigates the trend to reduce developer testing and increasingly rely upon inspection techniques and independent functional testing to shorten the development life cycle, improve testing productivity, and improve software quality.An approach is developed to conduct this comparison. In particular, the problem faced by software researchers, having a comprehensive characterization of software projects so similar types may be identified for comparative studies, is addressed using expert opinion.     

一种新型多功能建筑胶

该胶研制了一种由脲醛改性聚乙烯醇水性胶组成、具有成本低、性能好、用途广等特点，可广泛用于建筑及装饰行业的建筑胶。     

一种云存储系统数据持久存储机制

针对云存储中的可靠性产生的担忧,提出一种云存储系统完善的数据存储保障机制,以保证系统的高可靠性和数据的高可用性。在处理与数据持久存储的相关的数据分片、数据分发、完整性检查以及冗余数据的维护中,引入基于纠删码的数据冗余机制,与传统的复制冗余方案相比,能够在获得相同的数据可用性时降低存储空间和网络带宽的开销多达50%以上。采用基于缓冲区的分段读入编码对纠删码算法进行优化后,提高了对文件分片与合并的平均编码速率。