On stability of difference schemes. Central schemes for hyperbolic conservation laws with source terms

The stability of nonlinear explicit difference schemes with not, in general, open domains of the scheme operators are studied. For the case of path-connected, bounded, and Lipschitz domains, we establish the notion that a multi-level nonlinear explicit scheme is stable iff (if and only if) the corresponding scheme in variations is stable. A new modification of the central Lax–Friedrichs (LxF) scheme is developed to be of the second-order accuracy. The modified scheme is based on nonstaggered grids. A monotone piecewise cubic interpolation is used in the central scheme to give an accurate approximation for the model in question. The stability of the modified scheme is investigated. Some versions of the modified scheme are tested on several conservation laws, and the scheme is found to be accurate and robust. As applied to hyperbolic conservation laws with, in general, stiff source terms, it is constructed a second-order nonstaggered central scheme based on operator-splitting techniques.     

一个安全有效的智能卡远程用户认证方案

2000年,Hwang和Li提出了一个新的智能卡远程用户认证方案,随后Chan和Cheng对该方案进行了成功的攻击.最近Shen,Lin和Hwang针对该方案提出了一种不同的攻击方法,并提供了一个改进方案用于抵御这些攻击.2003年,Leung等认为Shen-Lin-Hwang改进方案仍然不能抵御Chan和Cheng的攻击,他们用改进后的Chang-Hwang攻击方法进行了攻击.文中主要在Hwang-Li方案的基础上,提出了一个新的远程用户认证方案,该方案主要在注册阶段和登录阶段加强了安全性,抵御了类似Chan-Cheng和Chang-Hwang的攻击.     

A Modified MacCormack's Scheme

In this paper a modified MacCormack's scheme is presented. The scheme is based on flux vector splitting. The test computations show that the proposed modified scheme produces much better numerical results than original MacCormack's scheme.     

求解双曲型方程的一致二阶守恒型差分格式的构造及数值实验

由于TVD格式具有激波分辨率高与非物理振荡小的特点,在气体动力学问题的求解中得到了广泛的应用.但现有的TVD格式受其构造方式所限,在解的局部极值点附近只能达到一阶精度. 考虑以下单个双曲型方程:     

A new hypothesis concerning children’s fractional knowledge

The basic hypothesis of the teaching experiment, The Child’s Construction of the Rational Numbers of Arithmetic (Steffe & Olive, 1990) was that children’s fractional schemes can emerge as accommodations in their numerical counting schemes. This hypothesis is referred to as the reorganization hypothesis because when a new scheme is established by using another scheme in a novel way, the new scheme can be regarded as a reorganization of the prior scheme. In that case where children’s fractional schemes do emerge as accommodations in their numerical counting schemes, I regard the fractional schemes as superseding their earlier numerical counting schemes. If one scheme supersedes another, that does not mean the earlier scheme is replaced by the superseding scheme. Rather, it means that the superseding scheme solves the problems the earlier scheme solved but solves them better, and it solves new problems the earlier scheme didn’t solve. It is in this sense that we hypothesized children’s fractional schemes can supersede their numerical counting schemes and it is the sense in which we regarded numerical schemes as constructive mechanisms in the production of fractional schemes (Kieren, 1980).     

A multivariate cryptosystem inspired by random linear codes

We introduce a new multivariate encryption scheme inspired by random linear codes. The construction is similar to that of UOV, one of the oldest and most trusted multivariate signature schemes, but with a parameterization nothing like that of UOV. The structure of the scheme admits many generic modifications providing an array of security and performance properties. The scheme also supports an embedding modifier which allows any efficiently invertible multivariate system to be incorporated into the scheme. The product of this methodology is the fastest secure multivariate encryption scheme targeting CCA security at the 128-bit level.     

A well-balanced van Leer-type numerical scheme for shallow water equations with variable topography

A well-balanced van Leer-type numerical scheme for the shallow water equations with variable topography is presented. The model involves a nonconservative term, which often makes standard schemes difficult to approximate solutions in certain regions. The construction of our scheme is based on exact solutions in computational form of local Riemann problems. Numerical tests are conducted, where comparisons between this van Leer-type scheme and a Godunov-type scheme are provided. Data for the tests are taken in both the subcritical region as well as supercritical region. Especially, tests for resonant cases where the exact solutions contain coinciding waves are also investigated. All numerical tests show that each of these two methods can give a good accuracy, while the van Leer -type scheme gives a better accuracy than the Godunov-type scheme. Furthermore, it is shown that the van Leer-type scheme is also well-balanced in the sense that it can capture exactly stationary contact discontinuity waves.     

A dynamically optimized finite difference scheme for Large-Eddy Simulation

A low-dispersive dynamic finite difference scheme for Large-Eddy Simulation is developed. The dynamic scheme is constructed by combining Taylor series expansions on two different grid resolutions. The scheme is optimized dynamically through the real-time adaption of a dynamic coefficient according to the spectral content of the flow, such that the global dispersion error is minimal. In the case of DNS-resolution, the dynamic scheme reduces to the standard Taylor-based finite difference scheme with formal asymptotic order of accuracy. When going to LES-resolution, the dynamic scheme seamlessly adapts to a dispersion-relation preserving scheme. The scheme is tested for Large-Eddy Simulation of Burgers equation. Very good results are obtained.     

改进的基于ECDLP的无证书部分盲签名机制

对邵国金等人(四川大学学报(工程科学版),2012年第1期)提出的基于椭圆曲线离散对数难题(ECDLP)的无双线性对运算的部分盲签名方案进行安全性分析,发现方案不能抵抗公钥替换攻击.为此,提出了一个改进方案.在随机谕言模型下证明了改进方案对自适应选择消息和身份攻击是存在性不可伪造性的.将所提方案与部分现有的无证书部分盲签名方案的计算性能进行了比较,结果显示改进方案具有较高的运算效率.     

对一群签名方案的分析与改进

通过对夏祥盛等人的动态门限群签名方案的研究,指出该方案的若干不足,其中最主要的不足是通过伪造和不可追踪性,并对该方案进行了改进．与现有群签名方案不同,新方案中用户的秘密数由用户自己选取,从而避免了双线性对的计算,大大提高了效率．分析说明改进的群签名方案几乎克服了原方案的所有缺点．     

A cell edge‐based linearity‐preserving scheme for diffusion problems on two‐dimensional unstructured grids

We propose a new finite volume scheme for 2D anisotropic diffusion problems on general unstructured meshes. The main feature lies in the introduction of two auxiliary unknowns on each cell edge, and then the scheme has both cell‐centered primary unknowns and cell edge‐based auxiliary unknowns. The auxiliary unknowns are interpolated by the multipoint flux approximation technique, which reduces the scheme to a completely cell‐centered one. The derivation of the scheme satisfies the linearity‐preserving criterion that requires that a discretization scheme should be exact on linear solutions. The resulting new scheme is then called as a cell edge‐based linearity‐preserving scheme. The optimal convergence rates are numerically obtained on unstructured grids in case that the diffusion tensor is taken to be anisotropic and/or discontinuous. Copyright © 2017 John Wiley & Sons, Ltd.     

AN EFFICIENT ADER DISCONTINUOUS GALERKIN SCHEME FOR DIRECTLY SOLVING HAMILTON-JACOBI EQUATION

This paper proposes an efficient ADER(Arbitrary DERivatives in space and time)discontinuous Galerkin(DG)scheme to directly solve the Hamilton-Jacobi equation.Unlike multi-stage Runge-Kutta methods used in the Runge-Kutta DG(RKDG)schemes,the ADER scheme is one-stage in time discretization,which is desirable in many applications.The ADER scheme used here relies on a local continuous spacetime Galerkin predictor instead of the usual Cauchy-Kovalewski procedure to achieve high order accuracy both in space and time.In such predictor step,a local Cauchy problem in each cell is solved based on a weak formulation of the original equations in spacetime.The resulting spacetime representation of the numerical solution provides the temporal accuracy that matches the spatial accuracy of the underlying DG solution.The scheme is formulated in the modal space and the volume integral and the numerical fluxes at the cell interfaces can be explicitly written.The explicit formulae of the scheme at third order is provided on two-dimensional structured meshes.The computational complexity of the ADER-DG scheme is compared to that of the RKDG scheme.Numerical experiments are also provided to demonstrate the accuracy and efficiency of our scheme.     

A Hamiltonian-conserving Galerkin scheme for the Camassa-Holm equation

A new Hamiltonian-conserving Galerkin scheme for the Camassa-Holm equation is presented. The scheme has an additional welcome feature that in exact arithmetic it is unconditionally stable in the sense that the solution is always bounded. Numerical examples that confirm the theory and the effectiveness of the scheme are also given.     

时间空间均为二阶的新型NND差分格式

张涵信的研究表明,为了避免激波前后差分解的波动,在差分格式的改型方程中三阶导数的系数在激波上游必须是正的,而在激波下游则必须是负的.据此提出了一种新型的无波动、无自由参数耗散性的差分格式,它对时间和空间都是二阶的.证明了此格式是TVD的,而且是推广的二阶Годунов格式.在处理有激波的流场时,此格式是Lax-Wendroff格式的改进和推广.给出了若干算例,计算结果表明,此格式不仅无波动,而且具有形式紧凑、应用方便、分辨率高、稳定性准则中的Courant数较大的优点.     

A high-order compact difference scheme for 2D Laplace and Poisson equations in non-uniform grid systems

In this study, a high-order compact scheme for 2D Laplace and Poisson equations under a non-uniform grid setting is developed. Based on the optimal difference method, a nine-point compact difference scheme is generated. Difference coefficients at each grid point and source term are derived. This is accomplished through the consideration of compatibility between the partial differential equation and its difference discretization. Theoretically, the proposed scheme has third- to fourth-order accuracy; its fourth-order accuracy is achieved under uniform grid settings. Two examples are provided to examine performance of the proposed scheme. Compared with the traditional five-point difference scheme, the proposed scheme can produce more accurate results with faster convergence. Another reference scheme with the same nine-point grid stencil is derived based on the five-point scheme. The two nine-point schemes have the same coefficients for each grid points; however, their coefficients for the source term are different. The overall accuracy level of the solution resulting from the proposed scheme is higher than that of the nine-point reference scheme. It is also indicated that the smoothness of grids has significant effects on accuracy and convergence of the solutions; efforts in optimizing the grid configuration and allocation can improve solution accuracy and efficiency. Consequently, with the proposed method, solution under the non-uniform grid setting with appropriate grid allocation would be more accurate than that under the uniform-grid manipulation, with the same number of grid points.     

一种登陆作战兵力上船装载方案优化计算方法

建立登陆作战兵力上船装载方案优化模型,针对大规模登陆作战兵力上船装载方案确定问题特点,提出一种用需装载兵力、可用舰船和可用泊位类型排列表示方案的方案编码方法,称为方案的类型排列基因码.给出排列基因码生成及进化方法,实现装载方案的遗传优化.计算结果表明,使用该方法可以在较短时间内得到较好的上船装载方案.     

有红利美式看跌期权定价的Crank-Nicolson有限差分法

本文基于B-S微分方程,采用Crank-Nicolson差分格式(简称C-N差分格式)求解支付固定红利的美式看跌期权价值,给出实证分析,并对C-N差分格式和隐含的差分格式进行了比较.结果表明,用C-N差分格式可以得到更加精确、有效的数值解.     

A Unified Ternary Curve Subdivision Scheme

A unified $m\,(m>2)$-point ternary scheme with some parameter is proposed. The continuity of subdivision scheme is analyzed based on the relationship between the subdivision scheme and difference scheme. Moreover, the proposed subdivision is extended to asymmetric multi-parameter subdivision and the asymmetric schemes in four cases are presented in detail. Some examples are given to show that the presented scheme has better approximating effect.     

Du Fort-Frankel格式及DFF-I并行格式的稳定性

 本文对抛物型方程的Du Fort-Frankel(DFF)格式以及基于该格式构造的并行差分格式(DFF-I)进行了稳定性分析。采用矩阵分析方法, 证明了其无条件(LR)稳定性, 给出了DFF格式的稳定性系数的最小值的上界估计, 结果表明其与网格比有关, 从而DFF格式并非绝对稳定。本文改进了并行差分格式(DFF-I)的稳定性分析结果, 证明了其增长矩阵的谱半径严格小于1, 从而具有长时间稳定性。数值算例验证了DFF-I格式具有空间二阶精度, 且有很好的稳定性。     

Component splitting for semi-discrete Maxwell equations

A time-integration scheme for semi-discrete linear Maxwell equations is proposed. Special for this scheme is that it employs component splitting. The idea of component splitting is to advance the greater part of the components of the semi-discrete system explicitly in time and the remaining part implicitly. The aim is to avoid severe step size restrictions caused by grid-induced stiffness emanating from locally refined space grids. The proposed scheme is a blend of an existing second-order composition scheme which treats wave terms explicitly and the second-order implicit trapezoidal rule. The new blended scheme retains the composition property enabling higher-order composition.