摘要：系统从任意状态开始最终收敛到某个封闭状态集的能力是系统稳定理论的研究内容．文中在给出了系统稳定理论的基本概念后，提出了程序自适应性的形式定义．该形式模型与具体应用和实现技术无关，对指导具有收敛性的自适应程序的设计有重要价值，并能用于验证程序的自适应性．

摘要：介绍装配式三角桁架单侧模板支撑系统构造与设计方法,该系统具有装配式快捷施工的特点,同时利用抗倾覆基础及覆盖在上部的新浇混凝土,形成抗倾覆、抗滑移自稳定系统。该系统适用于大部分需单侧支模的工况,且可周转次数多。工程应用表明单侧模板支撑系统技术可行,经济合理,且具有先进性。

摘要：高层建筑的电梯井(集水坑)基坑下平与主楼筏板基础下平往往相距较大,混凝土浇筑时易出现电梯井(集水坑)基坑模板上浮移位,导致几何尺寸变形严重。基于此,采用有限元分析法对电梯井(集水坑)基坑侧壁与底部进行结构设计验算,并阐述了测量放线、基坑模板就位与加固、筏板混凝土浇筑与养护等施工操作要点,最终消除了浇筑混凝土时基坑模板产生的上浮力,有效地固定了基坑模板,保证了电梯井(集水坑)施工质量,可为类似工程提供借鉴。