基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

离心压气机叶轮与扩压器的流动分析

本文用数值计算方法分析了离心式压气机叶轮与扩压器内部的复杂全三维粘性流场。利用高速大内存计算机，较细致地揭示了离心压气机式叶轮与扩压器的内部流动，并做了相应的对比实验，测试结果定性地证实了数值计算的结论。     

径向滑动轴承中流体从层流到紊流的流动分析和转变判据研究

本文推导了有限长圆柱轴承油膜流体流动的约束方程和固壁上的压力边条,用原始变量法直接求解了三维完全的N-S方程,计算分析了有限长圆柱轴承中油膜层流失稳的临界Taylor数、流场、压力场和摩擦阻力,并通过实验对临界Taylor数进行了验证,结果表明,在有限长轴承中,随着转速的提高,摩擦阻力线性增加,层流失稳出现的涡动将增加摩擦阻力,随着偏心率的增加,层流失稳的临界转速将提高.     

AOD炉氧枪射流参数的优化

为提高侧顶复吹AOD(Argon Oxygen Decarburization Furnace),即氩氧精炼法过程中的脱碳效率,提出对侧枪射流方式进行改进和参数优化,提高AOD炉寿命和降低耐火材料消耗。采用改进的N-S方程及湍流方程,对侧枪的射流参数建立模型,得到不同参数下,侧枪倾角和吹气速度对AOD精炼过程的影响。当枪个数为7、倾角为18°、射流速度为52.12 Nm3/h时是最佳工况。分析结果表明,通过对AOD炉冶炼时侧枪的射流建立并改进N-S模型,可以有效提高AOD炉炉龄。     

基于N-S方程的储层渗流与孔眼管流耦合分析

为了实现储层渗流与孔眼管流全耦合模拟分析,应用多孔介质渗流力学、流固耦合理论,建立了应力作用下油藏流固耦合数学模型.依据流体动力学管流理论用Navier-Stokes方程控制井筒和孔眼中流体流动;采用多重物理量耦合分析软件COMSOL Multiphysic对所建的模型进行数值模拟分析,实现了对四个偏微分方程组的全耦合求解,对模拟结果的研究表明孔眼末端压降和应变最大,该处岩石容易失稳,模拟结果证明所建模型和求解方法是有效的.     

中立型双时滞Logistic模型分支分析及人口预测

讨论了中立型双时滞Logistic模型的稳定性及分支存在性.应用Jury判据得到正平衡态局部渐近稳定的充分条件;运用中心流形定理和分支理论并以种群的内禀增长率为分支参数,给出了模型Flip分支和N-S分支存在性条件与分支方向,简略给出了模型F-N-S分支存在的充要条件;利用中国1981—2010年人口数据得到模型中参数的拟合数值,验证了理论的正确性,并对未来人口控制方向提出建议.     

修正后的N-S方程研究微流动的稳定性

研究了克努森数不是特别大的微流动的稳定性,这种流动处于N-S方程适用的临界处。考虑到壁面对流体的作用力,修正流体的黏性系数,然后用修正后的N-S方程研究微流动的稳定性。类比于势能的幂函数衰减形式,本文也定义了一个黏性系数的幂次衰减模型并讨论了模型参数对稳定性的影响。用切比雪夫配置点法解模型中的微分方程,用QR法分析流动的稳定性。在所研究的流动尺度内,受壁面的影响,失稳雷诺数减小。从速度分布图上看,出现了拐点,这种拐点越明显,流动越容易失稳。     

新疆阿尔泰西北部两期南北向构造的成因及地质意义

新疆阿尔泰西北部地区的南段,主构造线方向为北西-南东向,而其北段的主构造线方向突变为近南-北向(区域性南北向构造).研究表明,在北西-南东向区域构造线发育地区,在一些已知的矿区内也存在南-北走向的断裂系统(矿区南-北向构造).通过地质填图综合调查和应变分析研究,区域性的南-北向构造仅发育于前奥陶系分布区,特斯巴汗断裂北东,是海西运动前的产物.在额尔齐斯山前地带新发现两套石英质砾岩,是阿尔泰推覆构造的沉积响应.结合对冲乎尔盆地进行的构造分析,表明推覆构造是由南向北、由南东向北西扩展的.矿区的南-北向构造系统是在先存的北西-南东向构造基础上,随着推覆构造应力扩展新产生的分支断裂,同时局部形成张性空间,成为容矿构造.而区域性的南-北向构造实质是海西运动前构造形迹的残留.     

解不可压缩流动N-S方程的隐式SMAC方法

该文基于SMAC(SimplifiedMarkerandCell)方法推导出了的一种直接求解不可压缩N-S方程的隐式数值方法。求解的基本方程是任意曲线坐标系下以逆变速度为变量的N-S方程和椭圆型的压力Poisson方程。压力Poisson方程用TschebyscheffSLOR方法交替方向迭代求解。N-S方程数值离散时对流项采用了Chakravaythy-OsherTVD格式。用该方法计算后台阶流场的结果与经典的实验结果相当吻合,表明该方法是可靠的,在合适的边界条件下求解不但是稳定的,而且能有效抑制流网扭曲大的地方产生较大的非物理振荡误差。     

一种基于邻域传播的水波模拟方法

采用一种简化的物理模型描述水面,应用细胞自动机中邻域传播的思想,把水波控制方程转换为空间离散变量间相互作用,从而能够快速稳定地求解水表面的高度场.采用一种基于内外参数分离的控制策略,实时地调整参数,以实现各种水波形态的模拟需要.最后,通过纹理投影的方法模拟水中光线反射与折射,以增加真实感效果.实验表明:该方法能够快速真实地模拟各种形态的水波运动.