查询词典 proof leaf

Standard of proof is a signal of system of proof in theory.

从理论上讲，证明标准是刑事证据制度先进与落后、科学与愚昧的标志。

We study the properties of BR0-algebra and the total complication triple I method on complete BR0-algebra, and we apply the results to R0-Unite interval W. Not only we have simplified the proof of the results of R0-type triple I method on R0-Unite interval W, but also we make the proof to combine with the formal deductive system for fuzzy propositional calculus. This work also explains that the R0-type triple I method is a matching fuzzy inference with B?

研究了基础BR0-代数的性质和基于完备基础BR0-代数的全蕴涵三I算法，对—般蕴涵算子给出了三I算法解存在的—个充分条件，并将结果应用于R0-单位区间W，不但极大的简化了R0-单位区间W的R0-型α-三I算法结果的证明，而且使其证明过程与相应的模糊命题演算系统结合起来，说明了R0-型三I算法是与B？

It is a modern plant to produce Steel Filing Cabinet, Pseudoclassic Steel Cabinet, Safe, Concentrated Archives Cabinet, Periodical Cabinet, Desk, Microcomputer Desk, Theft proof Treasury Gate, Family Theft proof Door, etc.

海城市兴顺金柜制造有限公司是专业生产"兴元"牌办公系列，钢制文件柜、仿古钢制柜、保险柜系列，密集档案柜，期刊柜、办公桌、防盗金库大门，家居系列防盗门等系列产品的现代企业。

Limitations of quantification ; the "Labeling Theory"; three layers of human nature ; positive proof ; practical proof.

量化的局限性；标签理论；人性的三个层面；实证检验；实践检验

Use automatic control, automatic detection and explosive-proof and static-proof technology to develop precise coaxial detection device for specialized rocket bomb.

采用自动控制、自动检测和防爆防静电等技术，研制专用的火箭弹高精度同轴度检测的设备。

YXG series explosion-proof inductive pressure gauge should match with safety bar P+Fto be a system of intrinsically safe explosion-proof.

YXG系列防爆感应式接点压力表应与P+F公司生产的安全栅配套使用，可构成本质安全防爆系统。

Sine law of spherical trigonometry spherical trigonometry Vector Proof of sine law of the vector method of proof.

球面三角学正弦定律的向量证明方法球面三角学正弦定律的向量证明方法。

Water proof zippers - All zippers are wind and water proof with the same neat plastic zipper pulls used on the SORD Hardface jacket.

防水拉链–所有拉链都挡风防水，并且整齐地排在两边。

Currentyly we provide more than 60 different texture, such as straight wave, weave wave, water wave, diamond wave, etc., and more than 50 different color styles, such as pure color board, colorful board, blinking board, illuminatig board, crackled-looking board, archaized board and gold foil board, etc., coulld be used as replacement of marble, natural bark, and all these products are enviroment-friendly, moisture-proof, mildew proof,, fade resistant, distortion resistant.

currentyly我们所提供的60多个不同的纹理，如直波，编织波，水波，钻石波等， 50多个不同的颜色样式，例如纯彩色局，丰富多彩的董事会，闪烁局， illuminatig局， crackled前瞻性的董事会，董事会和仿古金箔局等， coulld被用来作为更换大理石，天然树皮，而所有的这些产品是环保友好，防潮，防霉的证据，，耐褪色，失真耐药性。

In this paper finite element model was established, transient work condition of wave-proof plate of transportation tank in full load was analyzed in brake condition, the maximum stress map and amplitude diagram in maximal deforming point were plotted. According to the change of the transport medium, the results in variant thickness of wave-proof plate were compared and analyzed.

建立了运输槽罐制动时的有限元模型，并且对制动条件下的满载罐体的防浪板进行了瞬态仿真分析，绘出了制动时防浪板的最大应力图和变形最大点的幅值图，将不同厚度的防浪板按照运输介质的变化得出的不同结果，进行了分析比较。

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月底。