一种改进的实时系统可达性分析算法

首先简介了时间自动机、时钟区域、区域等价、时钟带的概念.利用时钟带,可以将时间自动机的无穷状态空间转化为有穷.实时系统的绝大多数安全性和部分活性可以通过可达性分析算法来验证.然而,当系统时钟个数较多时,用DBM存储时钟带,会造成内存空间的很大耗费.该文提出了用邻接表存储时钟带,给出了改进的算法,并对算法的空间复杂度作了分析.实验表明,当时钟个数大于5时能节约很大的内存空间,从而在一定程度上缓解了状态爆炸.     

非生长季节保水措施对生长季节土壤水分的影响

研究了农田非生长季节施用保水剂、秸秆覆盖和施用有机肥等不同保水措施对生长季节土壤水分的影响.结果表明:对于不同深度的土层,各种保水措施都是行之有效的,其中采用保水剂的三个处理都有较好的效果,落叶和秸秆覆盖在保持土壤水分方面的作用弱于其他处理.     

太湖地区稻田氮素平衡及其环境效应的研究

应用15N微区试验对氮肥在水稻不同生长期的去向进行研究,结果表明,水稻对氮肥的吸收利用随着作物生长的进行而逐渐提高,氮肥的损失和土壤的残留则逐渐下降。土壤残留的肥料氮主要集中在0～20cm的耕层土壤中,占全部土壤残留肥料氮的85%以上。氮肥的总损失在30.4%～54.4%之间,其中氨挥发损失为25.4%～33.3%,为稻田氮素的最主要损失途径。     

结构性扰动土一维固结行为的定量分析

基于软土结构性分析,提出一个扰动度的概念,建立扰动度与再压缩指数、压缩指数、次固结系数和表观前期固结压力等土工参数之间的定量关系,并将此关系用于结构性软土一维弹粘塑性固结分析中,说明压缩曲线各段对固结过程不同阶段的影响,以及在沉降预测中,室内试验的土工参数校正和考虑粘滞性效应的重要性.     

黄土高原城市化过程对水土保持的影响

应用系统分析的方法研究了黄土高原城市化的发展趋势和由此带来的城市水土流失的新形式和其危害．提出在黄土高原城市规划和建设中，要积极应对城市化过程造成城市规模的扩大，在城市建设中要建成新的城市功能和体系，要将生活污水、工业污水和排沙分为3大系统，设立环城防护林带，兴建城市不同的功能区，并要完善城市水土保持执法体系，以法规制度来监管防治城市的水土流失．     

土壤冻结温度测定试验研究

在研究越冬期土壤的水热耦合运移规律时，通常需要同步测定土壤冻结深度，为了分析冻融期土壤剖面的冻结情况，我们在室内对3种土质的土壤进行了土壤冰点测试实验，测定了土壤冻结的时间过程及不同含水率、含盐量条件下的3种土质的冻结温度(冰点)。分析了土壤冻结温度随土壤含水量及含盐量的变化规律，为确定试验区越冬期土壤冻融状况提供了依据。     

工程深基坑土钉支护设计与施工

通过广州市某工程的基坑支护实例,介绍了采用土钉支护基坑的设计与施工的要点及注意事项。该基坑支护方法实用经济有效。     

土工格栅与膨胀土界面摩擦阻力系数试验研究

为满足土工合成材料在道路工程应用中的技术要求,开展了合理选取土工格栅与膨胀土界面摩擦阻力系数的研究.以正交设计原理为指导,选取筋土界面参数的4个影响因素(上覆压力、膨胀土体含水量、土工格栅尺寸和拉拔速度),进行了筋土界面摩擦阻力系数测试的拉拔试验.通过分析筋土界面各参数的影响因素,提出了当量拉拔位移的概念和筋土界面参数拉拔试验测试结果的过程分析方法,获取了各影响因素对摩擦阻力系数的影响程度及其在拉拔试验过程中的变化规律,并提出了拉拔试验的测试要求、步骤和结束标准.     

滞后阻尼在土层时域分析中的应用

采用滞后阻尼假定 ,分别应用时域和频域分析方法对土层的地震反应进行计算 .在简谐波和地震波激励作用下 ,通过比较时域和频域的计算结果 ,探讨了在土层时域分析中 ,如何由滞后阻尼系数形成阻尼矩阵的问题 .利用实际地震波的分析结果 ,进行回归分析 ,得到一个阻尼系数转换频率取值的经验公式 ,从而为利用滞后阻尼系数在时域中进行土层地震反应分析提供依据     

CePO4基与ZrO2基陶瓷的坯体连接及其界面特征

为实现复杂形状陶瓷构件的低成本制备，以含粘结剂的料浆为连接材料，在坯体状态下对ZrO2基与CePO4基陶瓷进行无压同体及异体连接。微观分析表明，接点的颗粒尺寸小于母材的尺寸，接点及邻近区域的结构与母材相比更为致密，没有明显的裂纹、气孔及其他缺陷存在。其连接机理为烧结过程中母材与连接材料间的扩散反应，以及界面处颗粒间的相互镶嵌，力学性能测试显示接点的强度和母材的相近。