查询词典 formal

The formal solution of partial differential equations is given on characteristic line, the existence of the optimal control is proven by using Ekeland\'s variational principle, Gronwall Lemma and adjoint system, then the necessary condition of optimality is obtained by means of the conception of normal cone.

用特征线法表示出偏微分方程的形式解，利用Ekeland变分原理，Gronwall引理和共轭系统证明了最优控制的存在性，并借助于法锥概念得到了最优控制的必要性条件。

All that was needed now was a formal surrender signed by Adolf Hitler.

大家现在需要的是一份正式签署的投降希特勒。

Located at Little Rock AFB, Arkansas, the schoolhouse is the Department of Defense's formal C-130 training center.

位于美国阿肯色州Little Rock空军基地的校舍是美国国防部的正式C-130训练中心。

At the beginning of this year Feburary, the exchange system of postal branch transforms Taiwan to end basically already,"At present postal branch of two sides is undertaking relevant system testing works, the near future but formal and two-way enlightened two sides is postal electronic agiotage."

今年2月初，台湾邮政部门的汇兑系统改造已基本完毕，"目前两岸的邮政部门正在进行相关的系统测试工作，近期可正式双向开通两岸邮政电子汇兑业务。"

Station of nation of morning paper dispatch does to held a press conference yesterday, news spokesman Fan Liqing discloses, the near future will be formal two-way and enlightened two sides is postal electronic agiotage.

早报讯 国台办昨天召开新闻发布会，新闻发言人范丽青透露，近期将正式双向开通两岸邮政电子汇兑业务。

Sunday's statement could lead to better access to formal financial services for farmers and agrarian business.

央行周日发表的声明旨在为农民和农业企业提供更好的正规金融服务。

Based on White event algebra, the formal framework is extended for event algebra, considering semantic definition of events in more concise temporal relationships of events to enhance the expressiveness of event query language while taking into consideration event selection and consumption policy-the context consumption policy to improve the performance of event detection.

基于White事件代数，扩展了事件代数的形式化框架，在形式化框架中考虑复合事件在更精细的时间关系下的语义定义，以增强事件代数的表达能力，同时考虑与应用相关的事件选择和消费策略-上下文策略，以提高事件检测的性能。

This paper gives the study of polynomial symbolic algebraic theory in formal verification method.

本文研究基于多项式符号代数理论的形式化验证方法。

The appliance of polynomial symbolic algebraic in formal verification ,people have given two polynamial denotative module WGLs and TEDs,and gives the corresponding equivalence checking algorithms .

关于多项式符号代数理论在形式化验证方面的研究，人们给出了WGLs和TEDs两个多项式表示模型，并给出了相应的等价性验证算法。

Formal Verification; Polynomial Symbolic Algebraic; WGLs; TEDs

形式化验证；多项式符号代数； WGLs； TEDs

He and Nina moved to California and lived at 2005 Ivar Street, Apt.

他和Nina搬到加州，并在2005年伊瓦尔街，公寓生活。

Droperidol （ potently inhibits transfected HERGchannels and this is the probable mechanism for QT prolongation.

氟哌利多有效地抑制了转染的 HERG 钾通道，可能是 QT 间期延长的机制。