查询词典 explicit function

Making implicit logical entailment explicit may, to put it in Kant's terms, increase our explicative knowledge, but we are looking for expansive or ampliative knowledge.5 There must then be some point at which the process of simple deductive inference is disrupted, and a synthetic or ampliative move is made.

作出固有的逻辑蕴涵的显示，按Kant的术语，可以增加解释性知识，但我们寻找的是扩展的知识。那么必须有点东西使得简单的演绎断裂，作出了综合或扩展的推进。

A high precise explicit difference scheme for solving three-dimensional parabolic equation is constructed and studied.

构造和研究了三维抛物型方程的高精度显式差分格式。

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

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

Second-order-accuracy non-oscillatory and non-free-parameters dissipative finite difference scheme and explicit time-marching method were used to obtain numerical solutions.

采用二阶精度无波动、无自由参数的耗散差分格式和显式时间推进法求出数值解。

The time-marching method and explicit finite volume difference scheme are employed to solve the flow inside the turbo-machinery.

教授的粘性体积力法来模拟粘性对叶轮机械内部流动的影响，采用时间推进法和有限体积差分格式对叶轮机械内部的流动进行求解。

For the American put option and binary option which do not have analytical solution, we propose algorithms based on explicit scheme and implicit difference scheme and then

对不存在解析解的美式看跌期权和两值期权分别给出了显式、隐式差分算法，并对格式的相容性、稳定性、收敛性进行了分析。数值实验结果表明这种方法是有效而实用的。

An asynchronous staggered iteration FEM method with explicit difference scheme is suggested to solve solid-liquid coupling dynamic elastoplastic problem.

提出了一个新的次塑性模型并用试验作了初步验证，建议用异步交叉迭代显式差分有限元求解固液耦合动力弹塑性问题。

For dynamic problem, the unsimultaneous staggered iteration FEM method with explicit central difference scheme is used for the elasto-plastic analysis of the dynamic response of a soil foundation. The computed results show good agreement with soil mechanic knowledge.

对于动力问题，采用异步交叉迭代显式有限元解法，对典型的地基算例进行了固液耦合的有限元动力弹塑性反应分析，结果定性符合土力学的一般规律。

Here, the theory and the deducing process of the SEM based on the Legendre polynomial is given. The SEM can get a global diagonal mass matrix, which leads to a very simple explicit time difference scheme and high efficiency. Numerical simulation in the transversely isotropic medium are shown and the results approved that the SEM is a effective method for seismic wave modeling.

文中阐述了基于Legendre多项式的谱元法的理论和推导过程，该方法可以形成全局对角质量矩阵，在时间域使用显式的差分算法，提高运算效率，最后通过横向各向同性介质的数值计算，模拟结果表明该方法是一种有效的数值模拟方法。

In fact, the popular semi-implicit integration scheme of spectral model still includes some important linear terms difference by time explicit scheme. Furthermore, these terms are directly related with fast gravity waves in the forecasting equation.

国际上现行的谱模式半隐式时间积分方案，实质上还包含了采用显式格式的线性项，且这些项在预报方程中是与激发内、外重力快波直接相关的大项。

"The operators will suffer a temporary decrease in the number of consumers and short message services as people may not like having to provide their ID cards for a phone number," Xu Junqi, vice-dean with the Policy-Making Institute of the Telecommunications Research Centre under MII, said yesterday.

信息产业部下属的通信决策研究院副主任徐俊其昨天说：&实行手机实名制后，人们可能不太情愿用身份证注册手机号，所以通信运营商会暂时面临用户减少和短信用户减少的问题。&

I don't believe in make-believe!

我不相信这些虚构的故事。