城市垃圾土模型参数的程序计算结果

基于某生活垃圾卫生填埋场的室内试验结果,对城市生活垃圾土的模型参数进行了研究,利用图象程序对模型参数进行了计算、修正,其结论可为大型生活垃圾卫生填埋场的稳定性分析、变形计算及作为建筑地基的可行性研究提供参考.     

基于渗透原理迁移策略的并行遗传算法

通过分析影响并行遗传算法性能的诸多因素,以避免人为设置迁移代频、迁移率及迁移方向为问题的突破口,以减少通信量提高算法效率为主旨,提出一种基于渗透原理的迁移策略(Migration Scheme Based On Penetration,PMS)．PMS迁移策略源于渗透模型,引入渗透阈值控制相邻子群体的迁移,应用渗透原理自适应地确定迁移代频、迁移率及迁移方向,从而解决人为设置迁移代频、迁移率及迁移方向的关键问题,有效降低通信代价,进而提高算法效率．文中首先依据有限群体马尔可夫链模型对基于渗透原理的迁移策略算法的可行性进行了探讨,然后从理论角度给出了迁移代频期望、迁移率期望及通信代价,同时用实例验证了PMS在降低通信代价方面的巨大潜力．     

抽象解释理论框架及其应用

在高度依赖计算机的现代社会,软件（特别是大型实时安全攸关软件）的可靠性成为计算机界和整个社会都非常关注的问题。现有的形式化软件验证工具都不得不通过近似来处理复杂问题中的计算,P.Cousot和R.Cousot提出的抽象解释作为一种在数学模型间进行可靠近似的理论,为各类自动验证工具中不同的近似方法建立起一个统一的形式化框架。抽象解释理论在程序分析和验证研究领域得到了广泛的关注与应用,其应用范围涵盖了程序静态分析、程序变换、程序调试、程序水印等方面。描述了基于程序不动点语义的抽象解释理论框架,并对其近年来的应用现状进行了较为全面的介绍,最后给出了抽象解释理论中尚存在的一些问题及可能的研究方向。     

静压桩贯入试验增敏型FBG传感器的研制及应用

介绍了光纤光栅的基本原理及优点,设计了基于光纤光栅技术的增敏型应变传感器,并对其工作特性进行了分析。应用增敏型光纤光栅传感器,测试了静压桩贯入过程中模型桩的桩身应力变化。试验结果表明,使用光纤光栅传感器对模型试验中静压桩贯入过程桩身应力监测时需进行增敏。增敏型光纤光栅传感器为模型试验中静压桩贯入过程监测及分析提供了一种新的工具,是监测模型桩静压贯入过程的理想器件。     

基于整数小波变换的准无失真图像压缩技术

本文首先讨论了一般整数小波的构造方法，然后利用分块DPCM（Differential Pulse Code Modulation）与整数小波变换进行遥感图像的准无失真压缩。该方法可进行实时处理，硬件实现简单，可并行处理。实验结果表明，该方法是一种有效的遥感图像压缩方法。     

基于硅压阻式传感器与光纤传感的静压桩贯入模型试验应用研究

将微型硅压阻式土压力传感器、孔隙水压力传感器及增敏微 型光纤光栅(fiber Bragg grating,FBG)应变传感器应用于静压桩贯入模型试验中,很好地测试了静 压桩贯入过程桩端 阻力、桩身轴力、桩土界面土压力和孔隙水压力。初步试验表明,微型硅压阻式土压力传感 器、孔隙水压 力传感器及增敏微型FBG应变传感器应用在静压模型桩贯入过程中,实现了贯入过程的桩端 阻力、桩身轴 力、桩土界面土压力和孔隙水压力的实时监测;桩身轴力和桩土界面有效侧向压力均随贯入 深度的增加而 增加,但同一深度处侧向压力逐渐减小。为静压桩贯入测试方法提供了参考依据,对进一步 研发室内试验微型传感器具有参考价值。     

MICROSCOPIC PHASE–FIELD METHOD SIMULATION FOR THE IN SITU TRANSFORMATION OF L10 PHASE AND L12 PHASE STRUCTURE

Ni₈₀Al₁₃Cr₇合金为研究对象, 采用描述单个格点位置原子占位的时间和空间演化为特征的微观相场法, 研究了Al和Cr原子在(100)和(200)面上的原子占位变化与时效早期Ni₃(Al, Cr)结构演化之间的关系. 研究表明, 在时效最初阶段, Al和Cr原子在(100)和(200)面上的成分序参数并不发生变化, 然而在两面上的长程序参数相等并随时间逐渐增大, 以等成分有序化的形式发生第一次原位转变, 形成低有序度的L1₀结构预析出相. 当有序度增大到一定值时, Al和Cr原子的成分序参数和长程序参数在(100)面上迅速增大, 而在(200)面上则迅速降低, 相结构发生第二次原位转变, L1₀结构逐渐向L1₂结构转化.     

多年冻土区抛石护坡路基室内试验研究

多年冻土区道路病害主要是由路基下冻土温度升高融化下沉引起。由于阴阳坡差异引起路基不均匀沉降而导致的路面纵向裂缝病害严重影响了路基的稳定性。通过室内试验研究了在相同温度边界条件下普通路基和抛石护坡路基的温度分布特征,对比分析了两种路基结构的温度差异。结果表明:普通路基的阴阳坡两侧温度分布极不对称;铺设抛石护坡后,这种状况得到了很大改善,并且抛石护坡下土体温度明显降低;抛石护坡能够降低路基温度和调节路基阴阳坡的温度差异;抛石护坡是多年冻土区防治路基融沉和纵向裂缝病害的一种可行措施。     

悬移质模型沙级配的模拟计算方法探讨

对于研究泥沙问题的动床模型试验，模型沙的选择是模型设计的关键。模型沙的选择是指综合考虑所研究问题的性质，已知条件，模型几何比尺，以满足模型与原型的水沙运动相似为目的，选定，设计模型沙的材料，比重和粒径级配，作者主要阐述悬移质模型沙级配的模拟方法，并提出利用沙玉清公式计算，设计模型沙级配的另一种方法，以尽可能严格满足模型相似条件。克服老方法的不足和缺陷。     

Ni75Al7.5V17.5相变过程中L12相合金元素占位几率演化的微观相场模拟（英文）

基于微观相场模型,研究Ni75Al7.5V17.5合金在相变过程中L12相内合金元素演化与DO22相生长之间的关系。研究表明,在L12相向DO22相转变的过程中,DO22相的长大可以分为两阶段。在早期,L12相内合金元素的成分基本不变,DO22相的长大主要受L12相间有序畴界的减少所控制。在后期,DO22相长大所需的V一部分来自L12相内部,一部分来自L12相体积的减少,其中,相内部为DO22相长大所提供的V则主要来自Al格点位置,由于L12相体积减少而富余的Al向L12相内部扩散迁移并主要占据Al格点位置,富余的Ni则同时向L12相内部和DO22相内部扩散,主要占据L12相的Ni位置。DO22相长大的后期主要受L12相内反位缺陷和第三组元的演化所控制。