1·They found out what happened after checking footage from a closed-circuit televisioncamera they had installed at their house after their car was repeatedly bumped by other vehicles.
猫主人在自家安装的视频监控录像中发现了“虐猫大婶”的行径。 由于爱车屡次被其它车辆刮蹭，他们安装了监控系统。
2·Terminal checking the circuit and control dial protecting setting is normal or not.
定期检查电路及控制仪表的各种保护设置功能是否正常。
3·Building the transition relation of sequential logic circuit is one of the key technologies for applying model checking method to verify the sequential logic circuit.
有效地建立和表示时序逻辑电路的状态转移关系是应用模型检查方法验证时序逻辑电路的关键技术之一。
4·This paper gives a detailed analysis of the principle of the phase lock circuit, one of the most important parts of the QF1052B Standard Signal Generator and provides some methods of checking it.
本文详细分析了QF1052B型标准信号发生器锁相环部分的基本组成及其工作原理，并提出了对此部分电路的检测方法。
5·The checking mechanism of out-triggers and upper swing, and their control circuit are introduced in the article. The control manner and precautions in operation are described also.
文章对应用单边作业机构时支腿外伸及上车回转的检测机构和控制电路作了介绍，并对控制方式和使用注意事项作了说明。
6·In this paper, a new method for checking the neutral circuit by using single phase load current is introduced. An analysis of this accident is presented.
本文着重介绍了用单相负荷电流检查零回路的新方法，并对这次事故情况进行了分析。
7·We accomplished the full-chip static timing analysis of X microprocessor, and made a detailed analysis such as critical-path checking in the circuit.
参与并完成了X微处理器全芯片的静态时序分析工作，对电路的关键路径等重要信息进行了详细分析。
8·The equivalent inductive circuit of switching converters for checking its inner-intrinsic safety is obtained by analyzing the most dangerous case in various operating mode.
通过分析开关变换器的最危险故障状态，得出了判断其内部本质安全的等效电感电路。
9·This text introduces category and reason of electrical breakdown, deals with the methods of checking up the power supply, electric circuit and equipment and gives out some concrete countermeasures.
介绍了电气故障的种类、产生的原因，详述了电源、电路、设备和元件故障的查找方法，对常用电气设备的故障原因、查找方法，做了具体的叙述。
10·Model checking based formal verification is a technique of this kind, and has been successful used in practice to verify complex sequential circuit designs and communication protocols.
基于模型检测的形式化方法就是这样一种技术，并已成功地在实践中应用于对复杂的时序线路设计和通信协议的正确性验证。