查询词典 proof leaf

We study the properties of $BR_0$-algebra and the total complication triple I method on complete $BR_0$-algebra, and we apply the results to $R_0$-Unite interval $\overline{W}$. Not only we have simplified the proof of the results of $R_0$-type triple I method on $R_0$-Unite interval $\overline{W}$, but also we make the proof to combine with the formal deductive system for fuzzy propositional calculus. This work also explains that the $R_0$-type triple I method is a matching fuzzy inference with $B{\cal L}^*$ system.

研究了基础$BR_0$-代数的性质和基于完备基础$BR_0$-代数的全蕴涵三I算法，对一般蕴涵算子给出了三I算法解存在的一个充分条件，并将结果应用于$R_0$-单位区间$\overline{W}$，不但极大的简化了$R_0$-单位区间$\overline{W}$的$R_0$-型$\alpha$-三I算法结果的证明，而且使其证明过程与相应的模糊命题演算系统结合起来，说明了$R_0$-型三I算法是与$B{\cal L}^*$系统相匹配的模糊推理方法。

A friend invited me to Nepal, originally, I thought I would suffer from the reaction of high altitudes and ultraviolet irradiation, therefore, I prepared the Northland water proof and breathable equipment, OZARK down-filled sleeping bag, super anti-ultraviolet radiation sun-proof cream and classes except of snow glasses, and one thing is very important, it is a pair of Gore-Tex Garmont shoes.

去尼泊尔是我的一个朋友邀请我去的，开始我以为去那里要经历一些高山反映、紫外线的照射、所以准备了NORTHLAND的冲锋衣裤、OZARK的羽绒睡袋、高倍数的防紫外线的防晒霜、眼镜，只差没有买雪镜了。还有最重要的就是一双GORE-TEX GARMONT的鞋子。

Page proof: A proof of type after assembly into page form.

书页稿样：拼版后，书页版面的稿样。

Provide more puzzle sexual is, partial advertisement still is used detect the data such as proof of report, patent proof, insurance, come through paronomasia coax consumer, include to claim "×× insurance company already accept insurance our product, absolutely guaranty is qualitative "," national patent product, obtain a country to be approbated about the branch "...

更具迷惑性的是，部分广告还利用检测报告、专利证明、保险凭证等资料，通过文字游戏来诱骗消费者，包括声称"××保险公司已经承保我们的产品，绝对保证品质"、"国家专利产品，获国家有关部门认可"……广告画面中，记者发现大部分检测报告、专利证明、保险凭证都模糊不清，除了能看到"检测"、"专利"、"保险"等字样外，具体的标的物并不清晰。

Make it reasonably difficult, you will never succeed in building a burglar proof house, and you will never succeed in producing pirate proof software.

使合理的困难，你永远不会成功地建立一个防盗证明房子，你绝不会得逞的生产盗版软件的证明。"/页"

In US, there is a trend towards pluralization of proof of causation of insider trading and the standard of proof is different in proceedings initiated under different laws, but generally speaking, this standard is relatively low.

在美国，内幕交易因果关系的证明呈现多元化，根据不同的法律提起的诉讼对因果关系的证明要求也不同，总体而言要求较低。

Article 101 As regards the limitation of time for the presentment of instrument, manner of proof of dishonor and the limitation of time for issue of proof of dishonor, the law of the place of payment shall apply.

第一百条票据的提示期限、有关拒绝证明的方式、出具拒绝证明的期限，适用付款地法律。

Press proof: Proof taken from the press after make ready.

印前校稿：校机后，压印的稿样，作施印前的准印稿。

Following the above instructions the opening of the parachute is perfectly possible from your normal flying position; the proof of this may be found in the parachute's proof sheet.

若您遵循上述指示，从您的正常飞行位置来张开伞是完全可能的；在进行伞的校样时候就有这种情形的发生。

On one hand,as a typical content of mathematical subject,reasoning and proof embodies the mathematical rational spirit;on the other hand,to cultivate students' thinking ability as the main function,the mathematics without reasoning and proof.

一方面，推理与证明作为数学学科的典型内容，体现了数学的理性精神；另一方面，数学以培养学生的思维能力为主要功能，它离不开推理与证明。

Nowadays, most of research are to build a transmutative Petri Nets through adding controlling place sets, controlling arc sets and controlling policy to the basic Petri Nets, while the Controlled Petri Nets could be used to argue many controlling theory problems conveniently and to induce many logically and physically supervisory and solve the Event Feedback Controlling Problems and State Feedback Controlling Problem in DEDS supervisory theory.

目前大多数的研究表现为在变形后的受控Petri网基础上，利用各种方法求得各种逻辑型、结构型控制器，解决DEDS监控理论中的事件反馈控制问题与状态反馈控制问题。

On one hand, there are discussions with the works council and union about extension of short time working up to the end of September.

一方面，有讨论，工程理事会和联盟关于延长工作时间短至9月底。