移动分布式数据库系统中合作事务恢复技术

形式地给出了合作事务定义及事务间由于消息交换而形成的各务间的检验点依赖和恢复依赖，基于这些定义，某一事务记检验点时，所有检验点依赖于该事务也记检验点，当某一事务恢复时，所有恢复依赖于该事务的事务也恢复到其检验点的状态，开发了一种适合于移动环境的事务恢复技术，；在事务正常的消息传送中，通过额外的一点带宽附加传送事务间的依赖关系，在事务记检验点时，尽可能并行地通知所有相关的事务记检验点，实验表明，该事务恢复技术能减少系统检验点的响应时间，提高系统的恢复速度及系统吞吐率，对网络带宽的要求基本没有增加。     

移动最小二乘近似函数中样条权函数的研究

局部边界积分方程方法是无网格方法的一种，它采用移动最小二乘近似试函数，且只包含中心在所考虑节点的局部边界上的边界积分．本文详细研究了移动最小二乘法中样条权函数的构造及其性质，并将各种样条权函数应用于弹性力学平面问题的局部边界积分方程方法中，研究了它对计算结果的收敛性、稳定性和精度的影响．算例表明，高阶样条权函数在局部边界积分方程方法中有好的收敛性、稳定性和精度．     

基于移动Agent的CORBA体系结构模型

CORBA技术和移动Agent技术是目前国内外研究开发的热点,将这2种技术融合,使CORBA中对象具有移动Agent的特点是研究设计的主要思想。为此,文章给出了一种基于移动Agent的CORBA系统体系结构及原型系统,这种新型体系结构具有较好的应用前景,尤其能在无线网络、移动计算及主动网络等领域发挥重要的作用。     

一种S-N曲线移动法的寿命分析模型

通过不同应力水平下的全场疲劳试验，测得材料的剩余强度，并拟合成函数曲线，在S－N曲线可由对数或双对数方程表达的情况下，由剩余强度函数和后继加载参数确定出剩余S－N曲线上的两点，从而确定剩余S－N曲线。这种S－N曲线移动法是由S－N曲线的平动加绕后继加载点的转动构成的。该寿命分析模型能很好地反映加载的顺序效应。研究结果表明，二级和三级加载试验与预测寿命较接近，说明该模型基本符合实际。     

煤矿开采沉陷预测的数值模拟

运用求解非线性大变形问题有限差分法（FLAC），对开采引起的岩体移动和地表沉陷进行了研究，总结出了岩体移动的基本特征和地表沉陷和相关参数，所得结果对现场开采具有一定的指导作用，对开采所致的地表沉陷的治理提供了科学依据。     

负压实型铸造砂型强度及型壁移动的影响因素

研究了影响负压实型铸造中砂型强度及型壁移动的工艺因素及其影响规律．结果表明：提高真空度或增加吃砂量都可以提高砂型内部压力而使其强度提高，并减少型壁移动；砂型侧面压力远远低于正面压力，通过振动可以提高砂型的侧面压力而有利于砂型在水平方向上的充填；实验得出的真空度、吃砂量与砂型内部压力、型壁位移及由液体产生的外部压力之间的定量关系，为制定铸造工艺参数以消除铸件冲砂缺陷、提高铸件尺寸精度提供了依据．     

移动滑态变结构控制器设计

给出了移动滑态变结构控制器的设计方法。多变量不确定性变结构控制系统，其能达阶段对控制系统参数摄动较为敏感。为此，设计了移动滑态变结构控制器，使得控制系统在一开始就进入到所设计的滑动模态中并将其保持，从而降低了系统的能达时间，提高了系统抗参数摄动的能力。数字仿真表明，该方案有效地克服了系统参数摄动对控制系统的影响，验证了本文理论的正确性。     

岩盐溶腔覆岩移动规律的研究

用概率积分法研究了岩盐水溶开采引起的溶腔上覆岩层移动规律，得出了覆岩的移动表达式及溶腔中心点处覆岩的下沉及变形公式。其结果与模拟试验结果是一致的。     

二维移动边界半线性抛物型方程边值问题分析近似解

本文对二维移动边界半线性抛物型方程边值问题进行定性分析，应用抛物型方程的基本理论，给出了该问题的分析近似解。     

岩层移动的复合介质模型及其工程验证

将采场上覆岩体视为大系统复合介质,建立岩层移动的层状－离散二重介质模型．采用薄板层状介质解析与离散元数值模拟相结合的方法,探讨了整个上覆岩层的移动规律,从而为研究减缓地面沉降技术提供了可靠依据,并举一实例作为工程验证．