水相作用下填埋气体迁移数值仿真及参数灵敏性研究

垃圾填埋气体(LFG)的资源化利用作为控制其对周围环境污染的有效手段已得到了越来越广泛的关注。填埋气体的迁移过程是一种伴随多相多组分的非稳态渗流问题。将垃圾填埋场视为非饱和传输介质,建立了描述填埋气体迁移演化的气-水两相耦合数值模型。数值仿真结果表明:垃圾存放的年份越久,产量下降越缓慢。封场a年与封场b年后产量的比值同气体压力比值基本相同;随着饱和度(Sw)的增加,气体产量呈下降趋势。因此,在预测抽气量的过程不能忽略水相饱和度;提高固有渗透率(k)后气相压力梯度增大,气体的传输路径变宽,同时,填埋气体流速加快,导致气体的产量的增加。因此,在预测注井抽气状态下填埋气体的压力及产量分布时以及对填埋气体收集系统设计时,对气体传输参数进行灵敏性分析具有重要意义。     

关于桥梁裂缝产生原因的分析及处理措施

文中对混凝土桥梁裂缝的种类和产生的原因作了分析、总结。     

软件体系结构在行为与结构演化中的一致性保持

通过给出的体系结构模型, 分析了在体系结构演化中需要保持的一致性, 并提出一种基于规则转换的体系结构演化方法. 应用通信序列进程（CSP）作为形式化的描述手段, 在抽象层定义了体系结构在行为与结构演化中为保持一致性需满足的条件, 为每步转换规则进行了形式化约束, 使演化结束时的体系结构依然满足一致性条件.     

面向Java操作的可交换性检测技术

提出一种判断Ｊａｖａ程序中的操作是否可交换执行的检测技术,给出可交换性操作的基本概念,并用函数式语言对检测算法进行描述。     

圆管内油—气—水三相弹状流的生成和发展

利用高速动态分析仪清晰的可视化效果。在一个宽广的流速范围内,观察了垂直上升圆管内油－气－水三相弹状流的形成和转化。将Weisman流型转化过渡区的概念应用到油－气－水三相弹状流流型的研究中,量化了弹状流转化过渡区的边界。提出的弹状流的生成转化边界、弹状流的发展转化边界,很好地包容了前人所得到的弹状流转化边界,为解释众多弹状流边界模型的不一致性,以及合理认识弹状流的特性提供了更可靠的理论依据。     

一种启发式的信息抽取算法

提出一种启发式的信息抽取算法, 并利用该算法建立一个信息抽取系统. 该系统基于文本分块, 利用文本的语义特征和结构特征, 抽取具有特征的状态, 在此基础上, 利用反向动态规划和正向A^*算法, 抽取剩余的无特征状态. 通过对100篇论文头部进行测试的结果表明, 精确度和召回率比基于单词和传统Viterbi算法的方法均有所提高, 启发式算法的性能优于Viterbi算法.     

限定路径的数据流分析方法

介绍一种限定路径的数据流分析方法,该方法可使数据流分析效率得到明显的提高,并使分析结果更准确。