查询词典 par

Using abstract programming language, such as Apia, the specification and derivation of the algorithmic program in six typical trees, graph problem is described. The standard proof and formal derivation is implemented by two above new strategies for developing loop invariants. The algorithm in Apia is transformed into corresponding program in Delphi and C++ by the automated algorithmic transformation system that Partition-and-Recur method provided and correct result is received. These improve reliability and developing efficiency of the kind of complex algorithm.

利用抽象程序设计语言Apla精确描述了6个典型树、图等问题的程序规约和求解算法程序，用上述提出的两种新策略开发了循环不变式，实现了严格的形式化推导或证明，并用PAR方法提供的算法程序自动转换系统将得到的Apla算法程序转换成对应的Delphi和C~程序，均得到了正确的运行结果，大幅度地提高了这类复杂算法程序的可靠性和开发效率。

Up to this point my par ents have hardly been affected by the paparazzi. They are just really nice peo ple, a story about them would be rather bor ing.

除此之外，我父母没有收到狗仔的影响，他们只是很和善的人，一个关于他们的故事只会令人无聊。

I hope they get quality up to par before they come here, I'd hate to see another Excel or Yugo fiasco.

我希望来这之前质量能提高，不愿意看到另外一个Excel或者Yugo fiasco

I understand that several people put an awful lot of hours into making this happen especially Michelle de Vries whose original idea it was and she in par-ticular deserves a special thanks, but thanks to all of you.

我理解很多人把大把大把时间投入到这当中，特别是最初产生这种想法的Michelle de Vries ，她值得大家特别的感谢，但是仍很感谢大家。

Half a century ago South Korea's economy was on a par with Upper Volta's.

这里，人们的平均身高要比他们的穷邻居们高3英寸（7厘米）。50年前，南韩的经济实力只与上沃尔特（译者注：非洲国家，布基纳法索的旧称）等量齐观。

In order to analyze the influence of particle counter s ensor system on measuring result, a mathematical model of the laser airborne par ticle counter is established based on information theory from the viewpoint of i nformation.

为分析计数器传感器系统各部分对测量结果的影响，从信息的角度出发，在信息论的基础上建立激光尘埃粒子计数器的数学模型。

"You're not on a golf course," Salk said. You don't say to yourself,'Today's the day I'm going to break par.

Salk说，&你不是在一场高尔夫球课程上，&你不会对自己说，'今天是我就将要打出较标准杆低的成绩的一天'。

The symphony's orchestration is Borodin's despite the indication 'revue par N. Rimsky-Korsakov et A. Glazunov' in many editions.

这个交响曲的管弦乐部分在很多版本上未经鲍罗丁同意标注了&由里姆斯基—科萨耶夫和格拉祖诺夫续写&。

The symphony's orchestration is Borodin's despite the indication 'revue par N. Rimsky-Korsakov et A. Glazunov' in many editions.

这个交响曲是由鲍罗丁配器，尽管在很多版本上标注了&由里姆斯基—科萨耶夫和格拉祖诺夫续写&。

Upon seeing this, then held on to his return home, a trumpeter really did not expect the encounter Italian ran a hand in the world famous par with home "but five."

见状，便扶着他返回家中，吹鼓手真的没有想到这次遭遇意然交上了天下驰名的堪与家&不过五&。

It goes back to what I told you...

现在回到我告诉过你的。。。

With a supporter in Mr Charest and an admirer in Mr Dumont, Mr Harper may be encouraged to call an election himself.

由于在沙雷那边有个支持者，杜蒙那边有个崇拜者，鼓励哈珀为自己举行一次选举。