双曲型守恒律的无振荡中心差分格式

讨论了双曲型守恒律的一类无振荡中心差分格式。Ｈ．Ｎｅｓｙａｈｕ和Ｅ．Ｔａｄｍｏｒ研究了以交错型ＬａｘＦｒｉｅｄｒｉｃｈ格式（ＬｘＦ）为模块的无振荡中心格式的构造与熵不等式。此类格式利用高阶的ＭＵＳＣＬ型插值替代一阶分片常数逼近，减少了ＬａｘＦｒｉｅｄｒｉｃｈ格式的过多数值粘性，建立了一维标量非线性双曲型守恒律的一类高分辨格式。讨论以非交错ＬａｘＦｒｉｅｄｒｉｃｈ格式为模块建立起的差分格式。证明了此格式具有二阶精度、ＴＶＤ性质并在一定条件下满足熵条件。     

激波运动与反射流场的ENO算法

在ＴＶＤ格式的基础上，以修正限制函数的方法，将通常的ＴＶＤ格式改造为性能更为优越的ＥＮＯ格式，并利用这种有限差分格式求解欧拉方程和薄层Ｎ－Ｓ方程。分别数值模拟了激波管中运动激波与三种楔形物体相互作用流场；给出了激波在不同物体上的反射及波涡干扰过程中非定常流场的变化情况；算出的波系结构与在ＣＡＲＤＣ小型激波管中做的相关实验结果一致。     

高超声速马赫反射

通过实验和数值计算模拟了激波（马赫数７．６）绕４０度压缩拐角的流动。实验是在气动中心激波管中完成的，数值模拟采用了层流的Ｎ－Ｓ方程，对无粘项、粘性项和化学源项分别采用了迎风ＴＶＤ格式、中心差分格式和点隐式的方法进行差分离散，计算了平衡与非平衡条件下的马赫反射流动，其数值计算结果与实验结果符合甚好。     

高精度ENO格式的有效实现

基本无振荡（ＥＮＯ）有限差分格式是近几年出现的一类高精度差分格式，重构多项式的形成是ＥＮＯ格式构造的核心部分，一般均以网格平均值作为插值点。文中由通量值作为插值点，构造了一个简单的高精度格式，在求解高维欧拉方程时，较节省计算时间。引入三 阶ＴＶＤＲｎｇｅＫｕｔｔａ时间离散，就二维欧拉方程的激波反射与双马赫反射问题进行了数值试验，试验结果表明格式所具有的高精度和基本无振荡性质，能够满足实际计算的需要     

VARIABLE STRUCTURE MODEL－FOLLOWING ADAPTIVE CONTROL DESIGN FOR ROBOT MANIPULATORS

ＶＡＲＩＡＢＬＥＳＴＲＵＣＴＵＲＥＭＯＤＥＬ－ＦＯＬＬＯＷＩＮＧＡＤＡＰＴＩＶＥＣＯＮＴＲＯＬＤＥＳＩＧＮＦＯＲＲＯＢＯＴＭＡＮＩＰＵＬＡＴＯＲＳＺｈａｏＤｏｎｇｂｉａｏ；ＺｈｕＪｉａｎｙｉｎｇ（ＤｅｐａｒｔｍｅｎｔｏｆＭｅｃｈａｎｉｃａｌＥｎｇｉｎ...     

反射面式消声器的抑噪机理

通过射击试验测量了反射面式消声器序列柱腔内的压力变化规律，采用ＴＶＤ格式详细地展示了序列柱腔内旋涡流动的数值图像，初步揭示了反射面式消声器的抑噪机理。     

圆柱形空腔内气云爆炸波对壁面的作用

从非定常Ｅｕｌｅｒ方程出发，用高精度高分辨率的ＴＶＤ格式，对圆柱形空腔内的气云爆炸波对壁面作用问题进行了数值模拟。计算获得圆柱形空腔内气云爆炸场的复杂的波系结构及其演化过程、壁面任意指定点的压力时间曲线。本文还给出了同体积、不同形状的气云爆炸对壁面的作用效应。     

AN INVESTIGATION OF HOT FILM SIGNALS ON LOCATING BOUNDARY LAYER TRANSITION

ＡＮＩＮＶＥＳＴＩＧＡＴＩＯＮＯＦＨＯＴＦＩＬＭＳＩＧＮＡＬＳＯＮＬＯＣＡＴＩＮＧＢＯＵＮＤＡＲＹＬＡＹＥＲＴＲＡＮＳＩＴＩＯＮＷａｎｇＴｉｅｃｈｅｎｇ（ＤｅｐａｒｔｍｅｎｔｏｆＡｅｒｏｄｙｎａｍｉｃｓ，ＮＵＡＡ２９ＹｕｄａｏＳｔｒｅｅｔ，Ｎａｎｊｉ...     

A NOVEL INTEGRATED OPTICS MIORODISPLACEMENT SENSOR

ＡＮＯＶＥＬＩＮＴＥＧＲＡＴＥＤＯＰＴＩＣＳＭＩＯＲＯＤＩＳＰＬＡＣＥＭＥＮＴＳＥＮＳＯＲ￥ＷａｎｇＨｕｍａｎ（ＤｅｐａｒｔｍｅｎｔｏｆＡｕｔｏｍａｔｉｃＣｏｎｔｒｏｌ，ＮＵＡＡ２９ＹｕｄａｏＳｔｒｅｅｔ，Ｎａｎｊｉｎｇ２１００１６，Ｐ．Ｒ．Ｃｈｉｎ...     

基于带波动算子非线性Schroedinger方程数值分析的守恒差分算法

对一类带波动算子的非线性Schrodinger方程进行了数值分析，提出了一个含参数的二阶守恒差分格式，根据参数选取的差异，该格式既可隐式计算也可显式计算。对初值条件进行了中心差分离散，使其具有二阶精度，从而与守恒格式的精度一致。利用矩阵理论证明了差分解的存在惟一性，并利用一个重要的不等式在先验估计的基础上，运用能量估计的方法证明了该格式按无穷范数以二阶精度收敛到真实解。数值实验表明该格式具有较高的计算效率。     

基于智能卡的远程用户认证体制(英文)

针对Shen,Lin,Hwang提出的远程用户认证协议不安全的问题,改进了Shen-Lin-Hwang的方案,并基于双线性对技术提出了一个新的远程用户认证协议。同时对新协议进行了有效性分析,并证明了该协议能够抵抗已知的各种攻击。在本方案中,单向哈希函数的应用有效,证明该方案效率较高、收敛速度较快,而且基于该方案的各种应用比较容易实现和操作。     

基于WENO-分段线性格式的旋翼流场数值模拟

为了降低二阶JST(Jameson-schmidt-turkel)格式导致的数值耗散,发展了一套适合于格心格式的基于加权本质无振荡(Weighted essentially non-oscillatory,WENO)-分段线性格式的旋翼流场数值模拟方法。采用运动嵌套网格方法生成围绕旋翼的网格系统,主控方程选择Navier-Stokes(N-S)方程。为了更加有效地对桨尖涡等流动细节进行捕捉,在笛卡尔背景网格上采用七阶Roe-WENO格式计算对流通量;在桨叶贴体非结构网格上采用二阶精度的Roe-分段线性格式计算对流通量。时间离散采用了高效的双时间隐式LU-SGS(Lower upper symmetric Gauss-Seidel)方法进行时间推进。最后,应用上述方法对悬停状态的C-T(Caradonna-tung)旋翼和Helishape 7A旋翼进行了数值模拟,将数值计算结果与实验数据进行了对比,计算值与实验值吻合较好;并将桨尖涡模拟效果与二阶JST格式的模拟效果进行了对比。对比结果表明:本文方法能有效对旋翼流场进行计算,且在相同计算条件下,WENO-分段线性格式能够更有效地捕捉旋翼涡流场的流动特性,表明在计算旋翼涡流场时WENO-分段线性格式相比传统二阶JST格式具有更低的数值耗散。     

基于知识重用的复杂产品可拓方案设计模型

大型复杂产品方案设计是一个多层次、多属性和创造性的配置过程,往往需要大量借鉴以往的设计方案。对方案设计过程中的多类型知识进行合理的建模与重用可以有效地支持方案设计的顺利实施。通过基元对设计过程中的各种类型知识进行基元建模,建立了基于基元模型的方案设计可拓集合,研究了基于知识重用的可拓方案设计问题,给出了知识可拓重用策略,提出了知识可拓重用推理模型,建立了基于知识重用的可拓方案设计模型。最后,通过实例验证了模型的有效性和可操作性。     

高精度混合型格式的构造及数值模拟

在守恒变量形式的无波动无自由参数耗散(NND)格式的基础上,引入样条插值的思想,并采用具有一致二阶精度格式的限制器函数,构造了一个在光滑区具有四阶精度,在激波附近降为二阶精度的混合型格式。在计算中采用具有总变差减少(TVD)性质的四阶R unge-K u tta方法进行时间离散,通过对多个典型算例的计算,并与NND格式作了比较,分析结果表明:混合四阶格式引起的耗散和波动较小,并且能够高精度地分辨间断。     

旋转坐标系下三维MUSCL格式的构成

MUSCL格式是近年来新发展的许多高分辨率格式之一，但直接将该格式应用到旋转坐标系时，会使计算发散或得到非物理解，不能计算旋转机械的内部流场。本文在原有MUSCL格式的基础上，根据旋转坐标系下雷诺平均N－S方程，重新构成了MUSCL格式，并且与原有MUSCL格式进行了比较，分析了两者相同与不同之处，利用该格式对两个典型算例（旋转直管和跨音速压气机）进行了计算，通过与试验结果对比表明，重新构成的MUSCL格式能够计算包括跨音速气机在内的复杂旋转机械流场，从而扩展了MUSCL格式的应用范围。     

双曲型守恒律方程的一个大时间步长二阶TVD差分格式

本文根据Harten,A.的大时间步长差分分格式构造思想,为双曲型守恒律方程弱解计算构造了一个2K 3点大时间步长二阶显式差分格式——LTS-LF格式,得到了其在CFL限制K下为总变差不增差分格式(TVD格式)。文章按照Roe的方法推广格式到方程组情形,并就Burger’s方程和Euler方程组黎曼问题进行数值试验,结果令人满意。     

周期激励下的分段线性振子运动的精确计算

提出了一种精确有效的数值算法，用以确定谐波激励下的分段线性振子的周期运动。该算法基于传统的打靶技术，并以分段线性的解析结果替代了所用的Ｐｏｉｎｃａｒｅ数值积分映射及其Ｊａｃｏｂｉ矩阵。因此，该法摆脱了现有数值算法需要预先假定相轨线穿越不同线性区域次序的束缚。文中的数值算例证明，同现有算法相比，该算法能处理比该类振子更为复杂的动力学行为     

基于带波动算子非线性Schr(o)dinger方程数值分析的守恒差分算法

对一类带波动算子的非线性Schr(o)dinger方程进行了数值分析,提出了一个含参数的二阶守恒差分格式,根据参数选取的差异,该格式既可隐式计算也可显式计算.对初值条件进行了中心差分离散,使其具有二阶精度,从而与守恒格式的精度一致.利用矩阵理论证明了差分解的存在惟一性,并利用一个重要的不等式在先验估计的基础上,运用能量估计的方法证明了该格式按无穷范数以二阶精度收敛到真实解.数值实验表明该格式具有较高的计算效率.