裂缝性煤层声波测井响应的有限元模拟研究

通过使用COMSOL Multiphysics有限元模拟软件对声波测井探测裂缝性煤层的结果进行计算,研究在不同裂缝宽度和不同裂缝条数的条件下声波测井的响应特征。研究发现：滑行纵波在到时和幅度上基本不受裂缝发育的影响;斯通利波的到时在单条裂缝时几乎不受裂缝宽度的影响,但在多条裂缝时随着裂缝数量的增加会减小;斯通利波的幅度与裂缝宽度和条数之间均呈现负的指数相关性。     

基于缓存策略的Java卡字节码校验

作为一种不可靠的可下载Java程序， Java卡的字节码校验是安全的嵌入式系统所不可缺少的一个部分。由于Java卡本身的空间和运算器的限制，传统的字节码校验并不可取。采用非易失性存储器作为主存， RAM中的一部分空间作为缓存器，并且给出一种相应的Cache调度策略算法，尝试实现一种在卡上的Java卡的字节码校验算法，并且证明了该算法具有较好的可移植性和实现性。     

一种混合模式的Java卡内字节码校验算法

字节码校验是Java智能卡安全体系结构的重要保障之一.基于控制流程树CFT字节码校验算法,引入缓存策略,提出了一种混合模式的字节码校验算法,有效解决了环结构问题.同时,对于此混合模式的Java卡内字节码校验算法进行的分析表明,相对于传统算法其时间和空间效率得到有效提高.     

灰土挤密桩施工工艺及质量控制研究

本文介绍了灰土挤密桩的加固机理,并通过现场实测对灰土挤密桩处理湿陷性黄土地基的效果进行了检测,指出该处理方法完全能够满足施工的要求,为其它类似工程提供了参考。     

一种新的Java智能卡上字节码校验算法

Java智能卡上的字节码校验是保障Java卡安全的重要手段。但是,由于Java智能卡本身的空间和运算器的限制,传统的字节码校验算法无法在Java智能卡上实现。为了解决此问题,本文在分析了现有方法的特点和不足的基础上提出了一种基于有向分枝图和缓存策略的字节码校验算法。效率分析和实践表明,该算法是一种可以在Java智能卡上实现
现的高效算法。     

一种使用CFT的Java卡内字节码校验算法

Java卡字节码校验是构成Java卡安全体系结构的重要组成部分.而传统的Java卡字节码校验由于Java智能卡资源的限制,无法在卡内进行.本文通过对控制流程图和类型推导的分析,提出了基于控制流程树的Java卡卡外翻译过程和卡内校验器算法,详细描述了CFT迁移机理并对于基于CFT的Java卡内字节码校验算法和可行性进行了分析与实践.