基于图灵机的递归技术的实现陈晓亮[1] 卢朝辉[2] 宋文[1]

图灵机是通用的计算机模型,一般程序设计和以图灵机为机器模型的计算也是支持递归的。本文首先分析了递归的特征,利用多带图灵机作为计算模型,定义了递归技术转移 函数形式,提出了图灵机递归过程信息传递与保存的方法,给出了图灵机调用的实现,继而给出了图灵机递归技术的实现,同时证明了图灵机的调用与图灵机的递归调用是图灵可识别的。     

氯盐侵蚀下钢绞线与混凝土间的黏结性能

采用电化学方法加速锈蚀钢绞线,制备了不同锈蚀程度及拉拔方式的钢绞线和混凝土拉拔试件;通过拉拔试验研究了氯盐侵蚀下锈蚀钢绞线与混凝土之间黏结性能的退化规律,探讨了锈蚀程度、箍筋约束和拉拔方式对试件破坏模式和黏结强度的影响。结果表明：拉拔破坏模式主要取决于箍筋的配置和锈蚀程度,随着锈蚀程度增大,钢绞线与混凝土的黏结强度呈线性下降;配置箍筋可使锈蚀钢绞线的黏结强度提高大约20%;拉拔方式对黏结强度的影响不大。     

场地排雨水设计及管道综合布置

论述了场地雨水排放3种方式（自然散排、借助构筑物排放及铺设排雨水管网）的特点及其设计的一般原则。通过分析排水管网系统中的雨水、污水管道的综合设计，利用管网的竖向空间合理布设、带压管道设弯头避让、雨水管道分段布设避让等经济有效的方法，解决了重力自流管道与其他带压管道的冲撞问题，为场地地下管网综合设计提供了新的思路。     

简化三阶矩拟正态变换及其在结构可靠度分析中的应用

针对三阶矩拟正态变换理论公式系数形式复杂及现有相关系数的转换公式适用范围未明确的问题,通过对公式系数进行简化和对相关系数的讨论,提出了独立随机变量和相关随机变量的简化三阶矩拟正态变换模型,并给出了相关系数转换公式的简明适用范围。通过将提出的简化三阶矩拟正态变换模型与一阶可靠度分析方法(FORM)结合,发展了随机变量分布未知条件下的可靠度分析方法,并采用数值算例验证了该方法的准确性和适用性。研究结果表明,所提出的简化三阶矩拟正态变换模型具有较高的准确性和适用性,能够与FORM分析方法结合,实现随机变量分布未知条件下的结构可靠度分析。     

快速排序算法的时间复杂性的新分析

作者在算法分析中，提出了渐近时间复杂性分析、时间复杂性平均性能分析的准则。对快速排序算法，基于枢轴元素的随机选取这一前提条件，对这一算法进行了时间平均性能的分析。     

上海平安金融大厦弹塑性地震反应分析

利用大型通用有限元软件ANSYS建立了上海平安金融大厦的三维非线性有限元模型，并进行了推覆分析，得到了结构的层间位移和层间位移角，找出了结构的薄弱部位，分析了构件的屈服和破坏规律，对同类工程的分析有较高的参考价值。     

条形码模块的电压降分析与优化

在集成电路的实际运用中,由于电压的不稳定和芯片电流密度的提升,容易导致电压降过大,从而影响芯片的性能和可靠性。为了提高集成电路的性能和可靠性,需要对电路中的电压降进行分析和优化。本文基于中芯国际55nm工艺完成了一款条形码模块的物理实现,结合业界主流EDA工具的自动化修复流程对其电压降进行分析和优化,在静态电压降和动态电压降分析过程中电压降分别降低了21.37%和27.79%,最终达到签核要求。与传统手动修复电压降的方法相比,该方法可以有效减小修复电压降过程中对绕线资源的占用,达到提高芯片有效利用率的目的。     

基于Petri网下递归关系的自控网模型

自控网系统是Petri网系统的一个子类,与P/T系统以及基本网系统相比较,具有更强的描述能力和建模能力。本文运用自控网系统定义了加、减、乘、除四种基本运算以及2个算子的自控网模型,通过逐级抽象建立了直接递归的自控网模型。这种分层逐级抽象的方法体现了利用Petri网形式化软件开发的基本思想。     

基于TEC-2主存储器扩展板的改进设计

对清华大学计算机工厂生产的TEC-2计算机系统装置的主存储器扩展板进行了改进设计,通过存储器IC(集成电路)双层并联,在不增加电路板面积的基础上使存储器容量倍增,降低了硬件电路成本。     

Coupling effects of influence factors on probability of corrosion initiation time of reinforced concrete

The coupling model of major influence factors such as environmental relative humidity, load-induced crack and stress state affecting the chloride diffusion process in concrete is discussed. The probability distributions of the critical chloride concentration C _C, the chloride diffusion coefficient D, and the surface chloride concentration C _s were determined based on the collected natural exposure data. And the estimation of probability of corrosion initiation considering the coupling effects of influence factors is presented. It is found that the relative humidity and curing time are the most effective factors affecting the probability of corrosion initiation before and after 10 years of exposure time. At the same exposure time, the influence of load-induced crack and stress state on the probability of corrosion initiation is obvious, in which the effect of crack is the most one.