| 1. | Similar relations can be formulated also for other composite waves .
其它合成波的相似关系也可以用公式表示。 |
| 2. | Teacher : express the way of calculating the perimeter of a circle by letters
师：圆的周长的计算方法，用字母公式表示。 |
| 3. | The systems are usually described by the timed automata and the properties are specified by the temporal logic
这类系统通常用时间自动机来表示，而它们的性质则用时序逻辑公式表示。 |
| 4. | A formula expresses the relation among the three concepts : choice is decision , and discretion is choice , as a result , discretion is decision
用公式表示就是:因为选择=决策,并且裁量=选择,所以裁量=决策。 |
| 5. | A mathematically rigorous formulation of scalability aspects of routing in networks is a well - studied problem in the theory of distributed computation ?
对网络路由在可扩展性方面用数学上的严格公式表示，这是一个已经在分布计算理论中研究得很好的问题了。 |
| 6. | 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
你的演讲要回顾关于决策的过程的相关内容，复习模型和这个模型如何用公式表示，以及讨论与支持决策模型的执行相关的问题。 |
| 7. | 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是经过调整的营业净利润。 |
| 8. | 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
它通常采用状态空间搜索的方法来检测一个给定的计算模型是否满足某个用时序逻辑公式表示的特定属性。它是一个自动检验有限状态并发系统的技术。 |
| 9. | 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三人文献中的一个引理的证明，原有的证明是不完善的。 |
| 10. | 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
本论文所作的工作主要有四部分：第一部分详尽地叙述了光全息术的发展历史，介绍了全息图的记录与再现的物理过程并进行了几何分析，用简单的数学公式表示全息图的形成过程。 |
