公式表示 meaning in Chinese
formulation
Examples
- Your presentation should review the decision - making context ; go over the model and how it is or would be formulated ; and discuss relevant issues associated with implementing this model for decision support
你的演讲要回顾关于决策的过程的相关内容，复习模型和这个模型如何用公式表示，以及讨论与支持决策模型的执行相关的问题。 - In formula form we have : eva = nopat - kw x ( na ) where eva is the economic value added , nopat is the net operating profit after tax , na is the net assets . eva method should be employed with for it compares the capital return to the capital cost
用公式表示如下： eva = nopat - kw ( na )式中， kw是企业的加权平均资本成本， na是企业报告期初资产的经济价值， nopat是经过调整的营业净利润。 - The method of model checking is a formal verification technique using the method of state - space search to verify if the behaviors of a given system ( the model ) satisfy a certain property that represented by temporal logic formulas , while the system presented as a kripke structure
它通常采用状态空间搜索的方法来检测一个给定的计算模型是否满足某个用时序逻辑公式表示的特定属性。它是一个自动检验有限状态并发系统的技术。 - About theorem , the paper introduces the syntax of ideal , also the first time uses concept of honest ideal to define secrecy goal of protocol and utilizes honest ideal logic to specify secrecy property . at the same time , this paper corrects one not so perfect lemma proving in a literature written by f " abrega , herzog and guttman
在理论上，本文引入了理想的语义，并首次使用了理想的概念对安全协议的秘密性进行严格的定义，同时使用理想的命题逻辑公式表示安全协议的秘密性；另外，本文修正了f ' abrega 、 herzog和guttman三人文献中的一个引理的证明，原有的证明是不完善的。 - The work of this thesis has four parts : in the first part , we will describe completely the developing history of optical holography and analyze its formation geometrically , moreover we also introduce the physical process of the recording and reconstruction of the hologram , and use the simple mathematical formulas to describe it
本论文所作的工作主要有四部分：第一部分详尽地叙述了光全息术的发展历史，介绍了全息图的记录与再现的物理过程并进行了几何分析，用简单的数学公式表示全息图的形成过程。