可证明安全的基于证书聚合签名方案

对刘云芳等人提出的基于证书聚合签名方案进行安全性分析,指出方案不能抵抗类型Ⅱ敌手攻击,并给出两种攻击方法,在此基础上提出了一个新的可证安全的基于证书聚合签名方案,利用Diffie-Hellman困难问题,在随机预言模型下证明了新方案是存在性不可伪造的.另外,新方案的聚合签名长度是固定常数,与签名者的数量无关,在签名验证中只需要4个对运算和n个标量乘运算,因此,新方案的签名验证效率得到很大提高.     

A multisymplectic explicit scheme for the modified regularized long-wave equation

In this paper, we derive a new 10-point multisymplectic scheme for the modified regularized long-wave equation. The new scheme is an explicit scheme in the sense that the third time level does not include nonlinear terms. Numerical results indicate that the new scheme not only provides satisfied numerical solutions, but also preserves three invariants of motion very well.     

A new high accuracy locally one-dimensional scheme for the wave equation

In this paper, a new locally one-dimensional (LOD) scheme with error of O(Δt⁴+h⁴) for the two-dimensional wave equation is presented. The new scheme is four layer in time and three layer in space. One main advantage of the new method is that only tridiagonal systems of linear algebraic equations have to be solved at each time step. The stability and dispersion analysis of the new scheme are given. The computations of the initial and boundary conditions for the two intermediate time layers are explicitly constructed, which makes the scheme suitable for performing practical simulation in wave propagation modeling. Furthermore, a comparison of our new scheme and the traditional finite difference scheme is given, which shows the superiority of our new method.     

A robust central scheme for the shallow water flows with an abrupt topography based on modified hydrostatic reconstructions

We study a second-order central scheme for the shallow water flows with a discontinuous bottom topography based on modified hydrostatic reconstructions (HRs). The first HR scheme was proposed in Audusse et al, which may be missing the effect of the large discontinuous bottom topography. We introduce a modified HR method to cope with this numerical difficulty. The new scheme is well-balanced for still water solutions and can guarantee the positivity of the water depth. Finally, several numerical results of classical problems of the shallow water equations confirmed these properties of the new scheme. Especially, the new scheme yields superior results for the shallow water downhill flow over a step.     

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

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

A new fifth order finite difference WENO scheme for Hamilton‐Jacobi equations

In this continuing paper of (Zhu and Qiu, J Comput Phys 318 (2016), 110–121), a new fifth order finite difference weighted essentially non‐oscillatory (WENO) scheme is designed to approximate the viscosity numerical solution of the Hamilton‐Jacobi equations. This new WENO scheme uses the same numbers of spatial nodes as the classical fifth order WENO scheme which is proposed by Jiang and Peng (SIAM J Sci Comput 21 (2000), 2126–2143), and could get less absolute truncation errors and obtain the same order of accuracy in smooth region simultaneously avoiding spurious oscillations nearby discontinuities. Such new WENO scheme is a convex combination of a fourth degree accurate polynomial and two linear polynomials in a WENO type fashion in the spatial reconstruction procedures. The linear weights of three polynomials are artificially set to be any random positive constants with a minor restriction and the new nonlinear weights are proposed for the sake of keeping the accuracy of the scheme in smooth region, avoiding spurious oscillations and keeping sharp discontinuous transitions in nonsmooth region simultaneously. The main advantages of such new WENO scheme comparing with the classical WENO scheme proposed by Jiang and Peng (SIAM J Sci Comput 21 (2000), 2126–2143) are its efficiency, robustness and easy implementation to higher dimensions. Extensive numerical tests are performed to illustrate the capability of the new fifth WENO scheme. © 2016 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 33: 1095–1113, 2017     

A nondispersive and nondissipative numerical method for first-order linear hyperbolic partial differential equations

We propose a new numerical method for a solution of first-order linear hyperbolic equations. The leap-frog scheme is converted to a nondispersive scheme by introducing an adjustable constant in a fictitious absorption term. Then the erroneous decrease in th solution is eliminated by solving two equations equivalent to the original equation. The new scheme perfectly preserves the form of a discontinuous solution.     

求解双曲守恒律方程的三阶修正模板WENO格式北大核心CSCD

为了降低经典的三阶加权本质无振荡(WENO)格式的数值耗散,提出了一种新的三阶WENO格式的修正模板近似方法.改进了经典WENO-JS格式中各候选模板上数值通量的一阶多项式逼近,通过加入二次项使模板逼近达到三阶精度.计算了相应的候选通量,并且通过引入可调函数φ(x),使得新的格式具有ENO性质.最后给出了一系列数值算例,证明了该方法的有效性.     

Semidiscrete central-upwind scheme for conservation laws with a discontinuous flux function in space

In this paper, a modified semidiscrete central-upwind scheme is derived for the scalar conservation laws with a discontinuous flux function in space. The new scheme is based on dealing with the phase transition at the stationary discontinuity, where the unknown variable function is not continuous, but the flux function is continuous. The main advantages of the new scheme are the same as them of the original semidiscrete central-upwind scheme. Numerical results are displayed to illustrate the efficiency of the methods.     

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

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

Klein-Gordon方程初达值问题的一个新的守恒差分格式

本文对非线性Klein－Gordon（NKG）方程的初边值问题提出了一种新的差分格式,它保持了NKG方程初边值问题的能量守恒．证明了该格式的收敛性和稳定性．特别地,由于该格式是完全隐式的,故对求长时解有着重要的作用．数值计算结果表明该方法计算速度快,精度好．     

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.     

一类非线性Schroedinger方程的高精度守恒数值格式

1引言 本文讨论下面非线性Schroedinger方程（NLS）方程的初边值问题： i（偏du）/（偏dt）＋（偏d^2u）/（偏dx^2）＋2｜u^2｜u=0,（1）[第一段]     

一类非线性Schr dinger方程的高精度守恒数值格式

1引言本文讨论下面非线性Schr(?)dinger方程(NLS)方程的初边值问题:i(?)u/(?)t (?)~2u/(?)x~2 2|u~2|u=0,(1) u(x_l,t)=u(x_r,t)=0,t>0,(2) u(x,0)=u_0(x),x_l≤x≤x_r,(3)其中u(x,t)是复值函数,u_0(x)为已知的复值函数,i~2=-1.该问题有着如下的电荷与能量守恒关系:     

Error correction iterative method for the stationary incompressible MHD flow

A new iterative finite element method for solving the stationary incompressible magnetohydrodynamics (MHD) equations is derived in this paper. The method consists of two steps at each iteration step, we need first to solve the MHD equations by the Oseen-type iterative scheme, and then an error correction strategy is applied to control the error arising from the linearization of the nonlinear MHD equations. The new method not only maintains the advantage of the standard Oseen-type scheme but also possesses a rapid rate of convergence. It is proved that the convergence rate of the proposed method is increased greatly under the uniqueness condition. The uniform stability and convergence of the new scheme are analyzed. Ample numerical experiments are performed to validate the accuracy and the efficiency of the new numerical scheme.     

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).     

An Economical Finite Element Scheme for Navier-Stokes Equations

In this paper, a new finite element scheme for Navier-Stokes equations is proposed, in which three different partitions (in the two dimensional case) are used to construct finite element subspaces of the velocity field and the pressure. The error estimate of the finite element than approximation is given. The precision of this new scheme has the same order as the scheme $Q_2/P_0$, but it is more economical that the scheme $Q_2/P_0$.     

Enslaved finite difference schemes for nonlinear dissipative PDEs

We show how the accuracy of a given finite difference scheme approximating a dissipative nonlinear PDE may be improved. The numerical solutions are decomposed into two parts that may be interpreted as approximating the large and small scales of the true solutions. By enslaving the small scales in terms of the larger ones, we derive a new difference scheme that is, in general, more accurate than the original scheme. The new scheme is also more computationally efficient, provided that the time derivatives of the problem are not too large. © 1996 John Wiley & Sons, Inc.     

A scheme of adaptive control

A new scheme of adaptive control is proposed. This scheme does not require a priori knowledge of the structure of the plant to be controlled. The principal part of the scheme is a procedure which decides the order of the model of the plant. A criterion for the order determination is developed. Using this criterion, we can decide whether to keep the current controller or to adopt a new controller based on the information gathered during the operation of the system. The effectiveness of the scheme is illustrated by a numerical example. The Institute of Statistical Mathematics     

A FIFTH-ORDER ACCURATE WEIGHTED ENN DIFFERENCE SCHEME AND ITS APPLICATIONS

1. IntroductionIn the paPer [1], where Zhang Hed et al. preseated the nonoocUlatory 3rdorder ENNWence scheme. The idea of ENN scheme is to compare the 1st-order dmerence and 2ndorderWence to attain 3rdorder accurate scheme and to avod spurious oscillatious neax shocks.However the ENN stwe has certain drawbaCks. One Problem is ouly 3rdords accuracyeven in the very smooth regions. AIlOther is to use a 1ot of logical statemeats which dst theconvergence rate and the efficiency Of parallel…