对流作用下枝晶生长行为的数值模拟

应用一个二维的改进元胞自动机(modified cellular automaton, MCA)－传输耦合模型, 对流场作用下枝晶的非对称生长行为进行了模拟研究. 模型采用MCA技术模拟枝晶的生长, 同时采用一个传输模型对流场和由对流和扩散所控制的质量传输进行数值求解. MCA考虑了热过冷、成分过冷和曲率过冷对枝晶生长的作用, 也考虑了枝晶的择优生长方向和凝固过程中的溶质再分配. 在传输模型中, 采用SIMPLE算法求解动量和质量传输的控制方程. 应用该模型模拟研究了Al-3% Cu(质量分数)合金中单枝晶和多枝晶在不同流动方向的流体作用下的生长规律. 模拟结果表明, 金属液对流对枝晶的生长形貌产生重要的影响.     

二元反平均剩余寿命的一些性质

将反向的平均剩余寿命推广到了二元的版本,并研究了其联合分布函数与二元反平均剩余寿命的联系,同时还给出了其比例模型的重要性质.     

最终范数连续半群的一些性质

主要讨论了Banach空间中当t＞t0（t0≥0）时，最终范数连续半群{T（t）│t≥0}的性质，给出了最终范数连续半群无穷小生成元的一个谱分布性质．主要定理如下：设{T（t）lt≥0}是Banach空间X上的C0半群，A是其无穷小生成元，ω0=inft＞0（1/t1n‖T（t）‖）．若T（t）关于t＞α≥0是最终范数连续的，则存在一个减函数φ：（0，∞）→R，满足φ（M）→-∞（M→∞）且S={λ∈C│Reλ≥φ（│Imλ│） }lReA≥P（1ImAl）}包括于ρ（A），其中ρ（A）为A的预解集．     

东营凹陷八面河地区坡折带特征及其对地层岩性圈闭的控制作用

通过对东营凹陷八面河地区广利东洼陷边缘坡折带的识别标志、成因机制以及演化规律的研究,总结了该区坡折带对于地层岩性圈闭的控制作用,以便为地层岩性油气藏的勘探提供依据.研究表明,该区广利东洼陷边缘发育挠曲坡折带和断裂坡折带,构造活动是形成坡折带的主要因素.坡折带的演化规律与构造活动的阶段性演化或幕式构造作用相对应,也表现出多期性、幕式活动和差异性活动的特点,而且坡折带规模与构造活动大小有关.坡折带对地层岩性圈闭的控制主要表现为:坡折带附近是地层岩性圈闭发育的有利区带;规模较大的坡折带控制了多数地层岩性圈闭,地层岩性圈闭在纵向上发育具有继承性特点;坡折带在横向上可以存在较大的变化,可形成不同的圈闭类型;坡折带控制下的地层岩性圈闭含油气性十分有利.     

基于现代企业应用的工作流过程模型研究

针对现代企业的实际经营状况,分析了工作流过程元模型在现代企业过程建模应用中存在的不足.在此基础上,对工作流元模型以及工作流定义语言作了适当的改进和扩展,以适应现代企业过程建模的需求和新技术的使用.     

高阶非线性中立型时滞偏微分方程系统解的强迫振动性

研究具有连续分布偏差变元的高阶非线性中立型偏微分方程系统，获得了系统解振动的若干充分条件。     

一类高阶非线性中立型时滞偏微分方程解的振动性

研究一类具有连续分布偏差变元的高阶非线性中立型时滞偏微分方程，获得了方程解振动的一些新的判定准则。     

三元等价关系的定义和等价性质

给出三元等价关系的定义,并讨论了它的一些基本性质以及三元等价关系的一些等价条件。     

图的最大亏格与面度

利用图在曲面上的嵌入特征,特别是面的度的大小,研究图的最大亏格的下界.     

数字电路测试生成的二元判定图方法

测试是保证电路系统可靠性的重要手段,已成为集成电路设计与生产的一个组成部分,研究了基于二元判定图的数字电路测试生成方法,对布尔函数的表示和操作的二元判定图进行研究,详细讨论了其中的ite算符;给出了基于二元判定图的电路测试生成方法的实现步骤,并用实例进行了说明。