查询词典 proof by contradiction

The company was founded in 2004, operates mainly in explosion-proof diesel automatic protection devices, explosion-proof electronic horn snail.

本公司成立于2004年，主要经营防爆柴油机自动保护装置，防爆电子蜗牛喇叭。

YS1 intrinsically safety type pressure transmitter adopts intrinsically safety circuit, suitable for explosive hazardous zone, explosion-proof class ExiaIICT5(explosion-proof certificate no.:CE042114),technical function index is same as standard pressure transmitter.

YS1 本安型压力变送器采用本质安全电路，适用于爆炸危险区域，防爆等级ExiaIICT5(防爆合格证编号：CE042114)，技术性能指标与普通型压力变送器相同。

YS-1-B intrinsically safety type pressure transmitter adopts intrinsically safety circuit, suitable for explosive hazardous zone, explosion-proof class ExiaIICT5(explosion-proof certificate no.: CE042114), echnical function index is same as standard pressure transmitter.

YS-1-B 本安型压力变送器采用本质安全电路，适用于爆炸危险区域，防爆等级 ExiaIICT5(防爆合格证编号： CE042114)，技术性能指标与普通型压力变送器相同。

The double cylinder rim lock can be divided into two types, jimmy proof rim lock and the non-jimmy proof rim lock.

但遗憾的是在紧急操作时（如发生火警时逃生就比较困难）没有单锁头方便，容易忙中出错导致延误时机；在双扣锁中，由于锁舌运动时呈垂直方向，所以锁舌一般为圆柱形，锁舌伸出或缩进一般使用钥匙或旋钮进行，故锁舌结构中形成了有自碰及非自碰功能。

"Burden of proof is the ridge beam of litigation", this proverb shows vividly the importance of burden of proof.

&证明责任乃诉讼的脊梁&，形象的法谚一语道出了证明责任的重要性。

It includes the functions of theft-proof and fire-proof,performing automatic detection and automatic dial.

本文介绍了住宅智能化中的防盗防火报警系统。

LV are so durable and have strong power for water-proof and fire-proof.

常用的切削液净化方法有过滤法和分离法。

The company researches, develops, and produces each kind of fire-proof safes, fire-proof file cabinets.

公司研发、产各种规格的防火保险箱防火文件柜。

It includes the functions of theft-proof and fire-proof,performing automatic detection and automatic dial.

智能化住宅防盗防火报警系统集防盗防火功能于一体，可实现自动检测与自动电话拨号报警。

Reproduction proof: A proof taken from type for subsequent reproduction.

复制用稿样：从活字版上压印所得的稿样，作随从的复制工序用。

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