查询词典 formal

Observable transformation between different formal description models. Using the ETS-based testing theory, formal transformation methods from LOTOS and Estelle to ETS are proposed respectively.

不同形式描述模型之间的可观察等价性转换根据基于扩展标号变迁系统的协议一致性测试理论，分别提出了LOTOS和Estelle到ETS的形式转换方法，证明了它们的可观察等价性，并举例说明。

When asked for a formal semantics of the formal semantics Milner's head explodes.

但是，如果有人向米尔纳询问"这个形式语义本身的形式语义"是什么，米尔纳的头就该炸了。

According to the chief meaning of criminal monocracy which means that the criminal legislation should construct substantial logos and hold the formal logos ground, The rational estimate on the criminal legislation should based on the unification of substantial logos and formal logos.

鉴于刑事法治的首要之义在于实质理性的建构和形式理性的坚守，刑事立法的理性评价应当坚持以"实质理性和形式理性的统一"为基准。

According to the chief meaning of criminal monocracy which means that thecriminal legislation should construct substantial logos and hold the formal logos ground, The rational estimate on the criminal legislation should based on the unification of substantial logos and formal logos.

鉴于刑事法治的首要之义在于实质理性的建构和形式理性的坚守，刑事立法的理性评价应当坚持以"实质理性和形式理性的统一"为基准。

After analyzing the data which were collected through pilot survey using methods of response rate, variation degree, correlation analysis and asking experts, items were selected and made a formal questionnaire, and then formal questionnaire survey was conducted to 398 inpatients in 6 general hospitals graded differently in Taiyuan, Shanxi from Nov.18th, 2004 to Nov.

将预调查所得数据采用应答率法，变异度法，相关分析法，以及专家意见征求法进行项目的筛选，研制成正式量表，然后又于2004 年11 月18 日-24 日对山西省太原市6 所不同等级医院的398 名住院病人进行现场问卷正式调查。

Just as in ocular vision the formal object must necessarily be something coloured, so in Divine faith the formal object must be something Divine -- in theological language, the objectum formale quod of Divine faith is the First Truth in Being, Prima Veritas in essendo -- we could not make an act of Divine faith in the existence of India.

正如在眼视觉正规对象必定会有某种颜色，所以在神的信仰正式物体一定有神圣-在神学语言， o bjectumf ormale和神圣的信仰是第一真理，在正，从表面上看V eritas公司在e ssendo--我们不能做的行为，神圣的信仰在存在印度。

You should recast the report in formal wording as it is a formal occasion .

这是一个很郑重的场合，所以你的报告应改的正式一点。

Secondly, based on the different structure characteristics and additional conditions, we study several kinds of inverse problems of pseudoparabolic equations. One is a kind of pseudoparabolic inverse problem of identifying a constant coefficient solved by combining the formal solution of the problem and the additional condition properly. The second is the pseudoparabolic inverse problems of identifying an unknown boundary function and an unknown source term solved by using the Riemann function method to get the formal solution of the problem and then using the additional condition to transform the problem into a Volterra integral equation of the second kind. The third is a kind of backward heat flow problem of nonlinear pseudoparabolic equation solved by combining the Riemann function method and the fixed point theory properly.

其次，根据不同模型的结构特点和附加条件，研究了几类伪抛物型方程的反问题：一是利用问题的形式解并结合附加条件，解决了一类伪抛物型方程常数系数的反问题；二是利用Riemann函数方法获得问题的形式解，利用附加条件将问题转化成求解第二类Volterra积分方程问题，解决了一类伪抛物型方程未知边界值的反问题和未知源项的反问题；三是将Riemann函数方法和不动点定理相结合，解决了一类非线性伪抛物型方程的后向热流问题。

Formal, official, regularMy first view is that SDF is actually the formal army of Japan.

我对自卫队的第一个看法，是日本自卫队实际上是日本的正式军队。

Dress is most often in formal , except on weekends, when semi- formal attire may be worn

去餐馆一般是穿便装，只在周末时着半正式的服装。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。