查询词典 explicit difference schemes

Today they enjoy laxer accounting, loose collateral rules at central banks, explicit debt guarantees and asset-purchasing schemes.

如今，他们享受着较宽松的会计制度，央行宽松的规定，明确的债务保障以及资产购买方案。

Since points are always drawn towards well-defined locations, the overshooting problem of explicit integration schemes is eliminated.

因为点总是在定义好的位置被绘制，显式积分方法的过度不稳定问题被消除。

Because the equation is a various coefficients second-order parabolical partial differential equation,explicit difference formats usually have high condition for stability. Implicit difference formats have good stability,but they must calculate a set of algebraic equations,which are too complex.

由于泥沙扩散方程是一个二维变系数的抛物型方程，对于多维的方程，显格式往往稳定性要求很高，而隐格式虽然稳定性较好，但它要解大型的代数方程组，工作量也非常大，为了克服这两种格式的不足，常用ADI法求解，但仍存在一些计算量偏大等不足之处，因此构造出更好的差分格式是有必要的。

These methods will be studied separately with the Euler implicit difference scheme and the Euler explicit difference scheme.

第一种方法是两层有限元Galerkin方法，第二种方法是修正有限元Galerkin方法，对这几种算法我们分别在欧拉显式差分格式和欧拉隐式差分格式下进行讨论研究。

FLAC~(3D) is for the analysis of the Lagrange explicit finite difference procedure for the timely steps to solve the dynamic relaxation, for when the difference method based on the show, less memory, faster solution. This paper discusses the usage of model FLAC create certainty and mixed model approach and to a dam seepage stability analysis as the research object, the establishment of a certainty piezometric level model, and further establish hybrid model, and the permeability coefficient for inversion analysis.

本文探讨了利用FLAC建立确定性模型和混合模型的方法，并以某土坝渗流稳定分析为研究对象，建立了测压管水位的确定性模型，进一步建立混合模型。

We present a general method to construct blinding functions of discrete-logarithm-based (simply DL-based) blind signature schemes by analyzing the algebraic form of blinding function, thus solve the problem of blinding DL-based signature schemes completely.

从盲化函数的代数形式入手给出盲化函数的构造方法，完整地解决了基于离散对数数字签名的盲化问题，对可盲化的情况给出统一的最一般的盲化方案，对不可盲化的情况证明其不可盲化。

To use symbolic and algebraic computation techniques for studying the computational properties of procedure schemes, some convergent procedure schemes are investigated in algebraically closed field and real closed field.

过程模式在代数闭域和实闭域上的应用：本文在代数闭域和实闭域上研究了收敛过程模式，设计了用于自动推理的过程模式，并且用其解决微分动力系统研究中的中心-焦点问题。

Provable Security is a formal method for proving the security of cryptographic schemes, in which the difficulty of breaking a particular scheme is formally related to that of solving a widely believed computational hard problem. Provable security has already become an important theme of theoretical researches in modern cryptography. This dissertation investigates the provable security of public-key encryptions and hybrid encryptions of asymmetric and symmetric encryptions. This includes the various formal security notions and the constructions can be proved to achieve them. Among the constructions, hybrid encryptions are themselves an important way to obtain public-key encryption schemes with chosen ciphertext security. The main results are as follows:(1) The one-wayness of the trapdoor one-way function in NTRU depends on the randomness of the session key, which is different from previous ones. Based on this observation, a new kind of trapdoor one-way function, trapdoor one-way functions with an auxiliary random variable is proposed.

可证明安全性是一种证明密码学方案安全性的形式化方法，它将密码学方案的安全性归约为公认的计算难题，已成为现代密码学领域中理论工作的主线，本文主要研究公钥加密与单双钥混合加密的可证明安全性，这包括它们的各种形式化安全性定义以及达到这些安全性定义的方案构造，而单双钥混合加密本身也是一种构造选择密文安全公钥加密的重要方法，本文得到的主要结果如下：(1)在研究NTRU公钥加密的特殊性基础上，对于公钥加密的陷门单向函数加密模型进行了扩展，提出了具有辅助陷门单向函数的概念，并将其扩展到多元的情况，讨论了可能的密码学用途。

Different from the conventional Cartesian impedance control schemes which are mostly based on the robot end force/torque information, five joint torque-based schemes in Cartesian/joint space and the stiffness control.

与传统的基于机器人末端力／力矩信息的笛卡尔阻抗控制方案不同，考虑了5种基于关节力矩的笛卡尔阻抗控制方案，包括笛卡尔空间／关节空间基于力的、笛卡尔空间／关节空间基于位置的方案和刚度控制。

Then three candidate modulation schemes exploiting spatial dimensions are proposed. At last, the three modulation schemes are compared by power efficiency and bandwidth efficiency. It shows that spatial quadrature amplitude modulation scheme is appropriate for long distance wireless optical communications for its high bandwidth efficiency and spatial circular symmetry.

参照传统时域信号设计方案，提出了三种空间调制信号具体设计方案，并从带宽效率和功率效率两性能上进行了比较，结果表明正交幅度调制具有带宽效率高、功率效率低的特点，而且采用的信号点越多其带宽效率就越高，另外其空间信号图案还具有圆对称性，因此非常适合在空间带宽有限的远距离无线光通信中使用。

When this condition occurs, inbound replication with the source partner is stopped on the destination domain controller and event ID 2042 is logged in the Directory Services event log.

计算机密码学是研究计算机信息加密、解密及其变换的科学，是数学和计算机的交义学科，也是一门新兴的学科。

Instructions: click on the thumbnails to see a larger image, then use the left-right arrow keys to scroll through the slideshow.

使用说明：滑鼠点在小图上即可放大观赏。开启后键盘左右键可用来换照片。