查询词典 implicit difference scheme

In the two-dimensional simulation, the fully implicit difference scheme is used for the continuity equations to ensure numerical stability; Jacobian iteration is used to solve the difference equations, and only nonzero elements in the coefficient matrixes of these equations are dealt with, which reduce the requirement for memory and shorten the calculation time.

在两维模拟计算中，对连续性方程采用全隐式差分方案以保证数值稳定性；运用雅可比迭代法求解差分方程组，并且在求解过程中，只对差分方程组系数矩阵中的非零元素进行处理，因此减少了对内存的需求量，而且缩短了计算时间。

To price the continuously sampled arithmetic average Asian option, an implicit upwind difference scheme is constructed based on the final boundary value problem of partial differential equation, which is satifiable to the option pricing problem. Then the unique existence and unconditional stability of the difference solution are demonstrated and the error estimate is given under the discrete L2 norm.

研究连续取样的算术平均亚式期权定价问题的差分方法，根据问题所满足的偏微分方程终边值问题，构造出一种隐式的迎风差分格式，论证了差分解的惟一存在性和绝对稳定性，并给出差分解在离散L2范数下的误差估计。

The initial-boundary value problem of dispersive equation is a kind of mathematical model, in this paper, it has been followed the ways of other scholars and used a new method and got a new difference scheme. It was a three layers ten-point implicit difference schemes.

色散方程的初边值问题是在孤立波这样的物理现象中抽象出来的一类数学模型，在前人构造的众多差分格式的基础上，使用新的构造方法，给出了该问题的三层十，点隐式差分格式。

In the light of the complex, high-level and non-linear feature of the mathematical model which describe the transport of the coalbed methane, this paper study the fully-implicit solving method of the mathematical model in detail. Based on the complexity of the algebraic equations which are formed eventually, according to the alternating direction implicit difference pattern, this paper use the iterative method and the fully main element Gauss-Jordan eliminating method to solve equations, which is to use the iterative method to determine coefficient matrix and use the fully main element Gauss-Jordan method to solve th linear algebraic equation group, at the same time of studying the solving method of the mathematical model, according to the devising requirement of FORTRAN77 program structure, this paper draw up computer program and form the corresponding computer model, and verify the validity and reliability of the model in theory by operating the model.

重点研究了模型内、外边界及有关参数的处理，针对描述煤层甲烷运移的数学模型是一个复杂、高阶非线性数学模型的特点，详细研究了模型的全隐式求解方法，根据最后形成的代数方程组的复杂性，按交替方向隐式差分格式，采用迭代与全选主元高斯约当消去法相结合的方法求解方程：即确定系数矩阵采用迭代法，求解线性方程组时采用全选主元高斯约当消去法，在研究模型解法的同时按FORTRAN结构化程序设计的要求，编制计算机程序，形成相应的CBMRS计算机模型，并通过模型的运行从理论上证明了模型的正确性与可靠性。

By the alternating direction implicit and current density recursive convolution technologies for the first time, a new current density recursive convolution alternating direction implicit finite-difference time-domain (CDRC-ADI-FDTD) formulation for collision unmagnetized plasma is presented.

首次把交替方向隐式技术与等离子体的电流密度递归卷积技术结合，给出了碰撞非磁化等离子体的CDRC-ADI-FDTD方法。

The incorporated model is evaluated by simulation results of two different building aerodynamical scheme in southeast region of Beijing area, which are building drag scheme and aerodynamical urban canopy scheme. The conclusions are drawn by the comparisons between the simulation results of the wind speed and the observations of the automatic weather stations in the urban areas: the simulated results of incorporated model are more in reasonable agreement with the observations than that of building drag scheme, and the diurnal trend of that is more agreement with observations.

采用建筑物拖曳法和建筑物动力冠层方案两种不同建筑物动力学处理方法对北京地区东南部进行模拟，通过城市地区水平风速的模拟结果与自动气象站实测资料对比发现模拟结果与实测相当吻合，建筑物动力冠层方案的引入能够更好地实施对城市地区的水平风速分布的数值模拟。

So in this paper based on the characteristics and the optimum state theory of the vehicle, some kinds of control schemes are compared and discussed, and the fuzzy PID control scheme is adopted at last. The relation between air-cushion pressure and fan rotational speed on the optimum driving state is studied. The cushion pressure is used as controlled variable and the fan revolution is used as regulated variable. And transducer and fan motor are actuators.Based on the structure and operating properties of half-tracked air-cushion vehicle, the control system scheme and structure are presented. A control scheme using the self-tuning PID fuzzy logical controller is adopted. Fuzzy rules are set up and some researches have been done for fuzzy tuning method. At the same time the real-time measurement scheme by computer control is proposed, and electric circuits are designed. In the control system of half-tracked air-cushion vehicle cushion pressure P〓 is used as controlled variable and the fan speed n〓 as regulated variable.

因此本文以半履带式气垫车的特性和最佳工作状态理论为指导，通过对各种控制方法的比较与探讨，提出采用模糊PID控制方案，并且研究了在最佳工作状态下垫压及风机转速的关系，提出气垫压力作为控制参数，变频器和风机电机为执行机构，风机转速为调节量；主要进行了自整定模糊PID控制器的设计，研究了自整定PID模糊控制器的实现方法，编制了模糊控制规则，制定了模糊控制参数查询表，并分析了影响自整定模糊控制器相关的影响因素，确定了模糊控制表；为了实现半履带式气垫车的自动控制，还提出了计算机模糊控制系统的原理与结构，设计了相应的测量电路与控制软件。

Topics covered include: programming and computability theory based on a term-rewriting,"substitution" model of computation by Scheme programs with side-effects; computation as algebraic manipulation: Scheme evaluation as algebraic manipulation and term rewriting theory; paradoxes from self-application and introduction to formal programming semantics; undecidability of the Halting Problem for Scheme; properties of recursively enumerable sets, leading to Incompleteness Theorems for Scheme equivalences; logic for program specification and verification; and Hilbert's Tenth Problem.

其所包含的主题：程序和运算理论是基于根据算数和具有一些副作用的计划纲要的条款重写和"代入"模式之上的、关于代数学计算的算数：关于代数学计算和术语重写理论的评价方案作计划、应用程序自己和说明的自相矛盾到形式上的程序语义、关于计划Halting 问题的不可判定性、可递归可列举集合的属性、导致对于等同计划的不完整规则、对于逻辑和证明程序的规范和Hilbert的第十问题。

The DH protocol, ElGamal encryption and ElGamal signature scheme, DSA are extended to Hypereliptic curves, and a new message recovery signature scheme based on Hyperelliptic curves is presented. And it is proved that this new message recovery signature scheme is not strong equivalent to HC-ElGamal signature scheme.

将DH协议、ElGamal加密体制、ElGamal签名和DSA推广到了HC上，提出了一个基于超椭圆曲线的消息恢复签名方案，并证明了这个消息恢复签名方案与HC-ElGamal签名方案不是强等价的。

The results show that the KPW scheme is not a nominative signature scheme since the nominator not only can verify and prove the validity of given signatures but also can convert given signatures into universally verifiable signatures, and that the PL scheme is only a self-authentication signature scheme since anyone can verify the validity of given signatures.

摘要该文分别对一个指名签名方案和一个指名代理签名方案进行分析，结果表明：在KPW方案中签名人不仅能验证而且也能向第三方证明签名的有效性，甚至能将签名转化为通常的自认证签名，因此不是指名签名方案；在PL方案中任何人都可验证签名的有效性，它只是一个自认证签名方案。

Many will continue to choose to live in duality and in conflict.

许多人将继续选择活在二元对立性和冲突中。

I find that students of the University of Physical Education all wear sportswear at first sight.

我发现：体育大学的学生乍一看，都是穿运动衣，大家都一样