三维流动时间相关法数值计算

本文系研究采用显式差分方程时间相关法求解三维可压缩湍流的数值计算。它可应用于求解瞬态及准稳态流动。本方法具有程序编制简易和占用计算机内存少的优点，尤其后者对三维流动的求解是至关主要的。文中述及所采用差分格式的具体型式，推荐采用具有守恒和输运性质的第二迎风差分格式(亦称第二上风差分格式)作为对流项的差分格式。并对计算程序及其某些专门技术作了介绍。作为实际应用的示例，简示了求解四角喷燃锅炉炉膛的瞬态冷炉空气动力场的计算流态。     

饱和-非饱和三维流场核素迁移的数学模型及其应用

根据饱和-非饱和三维流场溶质运移模型和特征,提出了三维流场溶质运移模型分裂迎风特征和格式;给出了格式的稳定性条件和迎风元判别式;将理想模型的解析解与数值解进行了比较。结果表明,该格式对求解对流占优问题效果好,能有效克服数值弥散和解的振荡。本文给出的数学模型和分裂迎风格式被用于某地中低放废物处置场选址评价中得到了满意的结果。     

求解对流扩散方程的一种高精度紧致差分格式

在指数变换的基础上,将对流扩散方程变为扩散方程,消除了数值求解中较难处理的对流项,采用四阶紧致差分方法离散扩散方程的空间变量,采用扩展的1/3-Simpson公式离散时间变量,格式的截断误差为O(τ~4+h~4).理论分析证明该格式是无条件稳定的.通过数值算例验证了本文方法的有效性.     

QUICK格式与中心差分格式在土壤水盐运移数值模拟中的适用性分析

中心差分格式选用粗网格离散土壤水盐运移方程中的对流项时,数值解容易发生数值振荡.采用一种三阶精度的离散格式———QUICK格式可以有效地降低数值振荡这一“伪物理”现象.引用几个数值模型,通过与解析解的比较说明了QUICK格式对提高模拟结果准确性具有较好的作用,为分析一维土壤水分垂直运动问题离散格式的稳定性提供科学依据.     

求解三维对流扩散方程的高精度隐式紧致差分方法

首先利用一阶和二阶导数的Padé型四阶紧致差分格式,并结合原方程本身,构造了三维定常对流扩散方程 的四阶隐式紧致差分格式;然后采用Richardson外推技术外推一次,得到了三维定常对流扩散方程具有六阶精度 的数值解;最后通过数值实验验证了该方法的高阶精度及有效性.     

二维非稳态对流扩散方程的高阶紧致差分格式

针对二维非稳态变系数对流扩散方程,对时间的离散分别采用二阶和三阶向后差分公式,对空间的离散分别采用四阶紧致差分和六阶紧致差分方法,提出了两种高精度紧致差分格式,两种格式的截断误差分别为O(ι2+hx4+hy4)和O(ι3+hx6+hy6),并且均是无条件稳定的,最后给出了数值算例验证了理论结果.     

数值求解对流方程的一族三阶精度差分格式

在6个节点基础上应用组合差商方法构造了求解对流方程的一类差分格式,该类差分格式包括了一个隐式差分格式和一个半显差分格式,这两个格式均由包括6个节点的两组线性无关的差商构成,具有精度高、相对误差很小、计算简单、工作量少、编程简便等优美特点.详细地分析了差分格式的稳定性,给出了两个数值实例,并对实例中的误差做了图表展示.

Abstract：

A new group of compact difference schemes containing three parameters of the third order is given for the convection problems with constant coefficient. These difference schemes contain an implicit difference scheme and a semi-significant difference scheme. Both schemes consist of two difference quotients, each containing 6 nodal points. This method is characterized by high accuracy, small relative error [their truncation error is as low as O(τ~3 +h~3)], simplicity in calculation, low workload and convenience in writing programs. The scheme is applicable for solving convective equations with constant coefficients.     

超声速化学反应流场迎风格式数值模拟及并行计算

基于有限体积迎风格式对超声速燃烧流场进行了的数值模拟.由于超声速燃烧流场绕流的复杂性,要求对多组分Euler/N-S方程求解的数值模拟方法应具有较高的计算精度及效率.本文引用辅助点方法建立了具有空间二阶精度的van Leer迎风矢通量分裂格式,并应用于超声速燃烧流场绕流的数值模拟.化学反应为氢气/空气十反应模型,采用考虑了化学反应特征时间的当地时间步长显式Runge-Kutta时间推进格式.对钝头体模型爆轰现象、后向台阶氢气喷射及二维内外流超声速燃烧流场模型进行了区域分裂技术的并行计算.计算结果与参考文献作了对比,得到了满意的结果.     

二维抛物型方程的高精度显式差分格式

用待定系数法构造了求解二维抛物型方程的高精度分支稳定的显式差分格式,格式的截断误差达到O（Δt2＋Δx4）。证明了当112≤ r≤16时,差分格式是稳定的。通过数值试验比较了差分格式的解和精确解,说明了差分格式的有效性。     

二维双曲型守恒律的一类MmB差分格式

基于通量分裂、单元平均分片线性重构及逆风特性进行空间离散,构造了二维标量非线性双曲型守恒律的一类新的二阶精度的半离散差分格式。进一步地利用二阶TVDRunge-Kutta离散方法对时间进行离散,得到了一类新的时空二阶精度的全离散差分格式,并证明了格式的MmB特性。之后,将格式按分量形式推广到二维非线性双曲型守恒方程组。该方法的一个主要优点是使用分量形式格式计算二维非线性双曲型守恒方程组,无须解黎曼问题且不用进行局部特征分解,因而形式简单、计算量小。通过计算二维可压缩流欧拉方程组的几个算例,数值结果表明,该格式具有高精度、高分辨率及计算简单的特点。     

薄板弯曲问题差分计算的图式

在薄板小挠度弯曲问题计算中,有限差分法是一种有效的数值解法,文献[1]给出了求解薄板小挠度弯曲问题的基本差分方程,文章[2]在文献[1]的基础上推算了具有自由边界的薄板弯曲问题等间距差分网格的具体差分计算图式。本文在文献[1]和文章[2]的基础上,推求了具有自由边界薄板弯曲问题不等间距网格的差分计算图式,以便在工程实际中直接利用上述图式列出差分方程,不必再利用边界条件来消除虚结点的挠度而得差分方程,简便实用。     

大伙房水库防洪优化调度研究

根据大伙房水库的特点，建立了大伙房水库防洪优化调度模型，模型适应了水库错峰调度的需要。调度模型采用离散微分动态规划法进行求解，不但缩短了求解时间，而且计算得到的最优泄量过程较均匀，减小了下游的洪灾风险。此外，通过采用模糊优选方法，较好地解决了多目标方案的优选问题，为实时调度提供科学的决策支持，从而进一步提高了水库的防洪效益。     

非结构网格二维理想MHD绕流逆风格式解法

在非结构网格上发展了针对二维理想磁流体方程组的逆风格式求解方法.控制方程中的对流项采用AUSM格式处理,时间推进采用显式5步龙格-库塔方法.为了消除计算中产生的磁场散度的影响,引入了双曲型散度清除方法.通过对磁流体激波管问题的求解验证了该方法对激波的捕捉能力,对有均匀磁场干扰下的喷管流动情况进行了数值模拟,并与文献中结果进行了对比.计算结果显示了磁场对磁流体流动的干扰效应,该结果与参考文献中的数值模拟结果相吻合.     

冻土水热运动的数值模拟

本文在建立冻土水热耦合迁移的数学模型基础上,采用全隐式有限差分格式并用线性化迭代方法求解。边界条件处理采用半控制容积法,时间步长根据迭代情况自动调节,求解过程中为防止振荡过大采用松驰迭代等措施。通过计算与实验结果对比,取得较好效果,表明采用的数学模型及数值计算方法可靠。用此模型模拟了非实验状态下（历时３０ｄ及表面温度降至－２０°Ｃ）的土壤冻结过程。模拟显示温度分布随冻结历时的加长而变缓,最后趋于线性分布,随上、下表面温差的加大而变陡;水分分布基本形状并不随时间及上、下表面温差而变,只是冻深及上迁水量随历时加长、温差加大而增大。     

Checkers is solved

The game of checkers has roughly 500 billion billion possible positions (5 x 10(20)). The task of solving the game, determining the final result in a game with no mistakes made by either player, is daunting. Since 1989, almost continuously, dozens of computers have been working on solving checkers, applying state-of-the-art artificial intelligence techniques to the proving process. This paper announces that checkers is now solved: Perfect play by both sides leads to a draw. This is the most challenging popular game to be solved to date, roughly one million times as complex as Connect Four. Artificial intelligence technology has been used to generate strong heuristic-based game-playing programs, such as Deep Blue for chess. Solving a game takes this to the next level by replacing the heuristics with perfection.     

Unconditional security of quantum key distribution over arbitrarily long distances

Quantum key distribution is widely thought to offer unconditional security in communication between two users. Unfortunately, a widely accepted proof of its security in the presence of source, device, and channel noises has been missing. This long-standing problem is solved here by showing that, given fault-tolerant quantum computers, quantum key distribution over an arbitrarily long distance of a realistic noisy channel can be made unconditionally secure. The proof is reduced from a noisy quantum scheme to a noiseless quantum scheme and then from a noiseless quantum scheme to a noiseless classical scheme, which can then be tackled by classical probability theory.     

近似求解子问题的乘性Schwarz算法

提出求解线性互补问题的一个乘性Ｓｃｈｗａｒｚ算法，算法中子问题非精确求解，得到了单调收敛性及误差估计式。     

GFI LANguard N.S.S在网络漏洞扫描中的应用

漏洞扫描技术从一个新的角度解决了网络安全问题。GFI LANguard Network Security Scanner作为一个网络漏洞扫描系统,能够扫描、检测、评估和修复网络中的任何安全漏洞,使用GFI LANguard N.S.S可以更有效地解决漏洞管理的主要问题。