基于模拟有限差分的嵌入式离散裂缝数学模型

嵌入式离散裂缝模型划分网格时不需要考虑油藏内的裂缝形态,只需对基岩系统进行简单的网格剖分,可以大大降低网格划分的复杂度,从而能够提高计算效率.并且该模型可以将现有成熟的油藏数值模拟技术和离散裂缝网络模型有机地结合起来,能精细地模拟流体在裂缝性油藏中的流动.本文模型求解采用模拟有限差分方法,该方法基于单个网格的节点和面信息构造数值计算格式,理论上适用于任何复杂网格系统,且具有良好的局部守恒性,将其推广到嵌入式离散裂缝模型后,克服了该模型基于有限差分方法求解时不能有效处理全张量形式的渗透率以及不适用于复杂边界形状裂缝性油藏的局限性.最后通过实际算例验证了本文方法的正确性和优越性.     

余有限扩张模

作为扩张模的真推广,引入余有限扩张模,并讨论该模的基本性质.证明余有限扩张模的任意直和项(完全不变的余有限子模)仍是余有限扩张模.若M是余有限扩张模且N是M的闭子模,则M/N是余有限扩张模.设M=M1M2是duo模.若M1和M2都是余有限扩张模,则M是余有限扩张模.     

实正态过程线性组合之均方不定积分的正态性的证明

介绍了均方不定积分的概念,将m个均方连续且相互独立的实正态过程做线性运算,得到一个线性组合,证明了这个线性组合的均方不定积分仍为实正态过程,并给出了此实正态过程的任意有限维特征函数的具体表达式.     

USBCAN总线转换设备在Stateflow下的建模和仿真

USBCAN总线转换设备作为USB总线和CAN总线之间的连接设备,其运行状况和软件设计是否能达到设计的需求,一般的方法很难进行验证,本文通过在Stateflow工具箱下对一种USBCAN总线转换设备进行建模,并且在Matlab/Simulink环境下对整个转换设备运行状态进行仿真验证,实现了USBCAN总线转换设备运行状态的验证,提出了一种新的总线转换设备的仿真和验证方法。     

用有限单元法分析坝体的静力稳定性

本文利用某尾矿坝的钻探资料、土工试验所提供的组成坝体的各种材料的物理—力学性质,以及在用渗流分析方法确定了坝体内浸润线位置的基础上,应用有限单元法,对某尾矿坝的静力稳定性进行了分析。分析结果表明,坝体是静力稳定的。     

半单盟结构及矩阵盟的一个定理

在[1]的基础上,给出了G—盟的一些结构定理,并回答了[1]的一个问题。     

路网既有线改造有限投资模型及其算法

基于现有铁路路网的布局，根据各点对之间O－D流的要求和各路段的改造水平，在有限投资额约束的情况下，建立了相应的数学模型。根据模型的特点，采用分枝定界的方法，在可行域中搜索临界集，通过临界集上模型目标函数的比较，从而得到问题的最优解，相应的算法不仅极大地提高了模型求解的计算效率，而且有利于算法在微机上的实现。     

并行遗传算法的新进展

并行遗传算法将并行计算机的高速并行性和遗传算法固有的并行性相结合 ,极大地提升了遗传算法的求解速度和质量 .在主从式、细粒度和粗粒度这三类遗传算法并行化模型中 ,粗粒度模型以其较小的通讯开销和对种群多样化 ,获得了最广泛的应用 .本文概括了基于模式定理和有限状态马尔可夫链的遗传算法理论 ,总结了前人在粗粒度模型下开展的理论分析和实践应用 ,并指出并行遗传算法的研究将向异步化 ,理论化和模型化的方向发展 ,而有限状态马尔可夫链是构建并行遗传算法可执行模型的有力工具.     

任意截面柱形谐振腔特性分析的FDTD法研究

本文研究了如何分析与计算任意截面柱形谐振腔式微波加热器的特性参数．采用多面体网格近似与曲面共形技术相结合的ＦＤＴＤ方法，模拟任意截面柱形腔体，计算其特性参数，与传统的阶梯近似相比，数值计算精度有较大提高