Simulation of Self-checking Short Shunt Circuit Preventing Secondary Accidents in Railway

The research of this paper is based on the Bounded Model Checking of sequential circuit.

本文研究工作是针对时序电路的有界模型检验进行展开的。

Symbolic Model Checking for Digital Circuit Design

数字电路设计中的符号模型检验技术

The vital part of the design is the control system, including under-voltage checking circuit, over-current checking circuit, circuit for producing signals of mistakes, and circuit of resetting wrong signals.

主要工作是设计驱动电路的控制部分，包括：欠压检测电路、过流检测电路、出错信号产生电路和错误信号清零电路。

A regulator circuit consist of benchmark circuit, compare circuit, checking circuit, trigger circuit for system checking circuit is designed to output steady DC voltage at variable speed and variable load;

分析了混合励磁发电机的稳压原理，设计了由基准电路、比较电路、控制电路、触发电路等组成的系统控制电路，保证发电机在宽转速宽负载范围内输出电压稳定的直流电。

Application of impact-echo method to checking concrete quality

用冲击回波法检测混凝土质量的结构模型试验

Analysis and Compare of Photo-Acoustic Spectroscopy Technology and Gas Chromatography Technology in Checking dissolved Gas in Transformer Oil

采用光声光谱技术与气相色谱技术进行变压器油中溶解气体检测的分析比较

Imagine being a typical employee of the local gas company, checking the balance on your bank account, and finding that you now have over$ 900 million.

试想，作为当地一家加油站的普通雇员，在核查自己银行账户的收支差额时，竟然发现自己户头现在超过了9亿美元。

System design for gas measuring and checking

煤气自动计量与检测系统

For new technology research and commerial testing of various catalystic cracking, sampling analysis of cracking gas and checking the junctures of analysis method and its program have important effects on exploring the best operating parameters, and obtaining the reliable material balance data.

在各种催化裂化新工艺研究和工业试验中，做好催化裂化气体的采样分析，严格把关分析方法与程序，对探索新工艺最佳操作参数和取得可靠的物料平衡数据具有重要的影响。

On Some Disputing Points of Pressure Vessels in Pressure Proof Tests The Design and Study of Bearing Pressure Capability and Gas Tightness Checking System

压力容器耐压试验中几个有争议的问题述评耐压及气密性试验系统的研制

The Gas Amount Checking for Underground Storage

地下储气库储气量的校核

This paper deals with the design of gas checking safety system for coal mine, which can be put into use for the purpose of monitoring the component of gas so as to keep the coal mine safe.

针对煤矿开采中存在有易爆炸气体瓦斯的问题，提出并设计安装了矿井瓦斯安全检测系统。

Eating lunch at your desk while also checking emails and talking on the phone is one symptom.

一边在办公桌前吃午餐，一边查看电子邮件和接电话，是一种症状。

The front desk service upon checking in is just rude, and off hand.

前台招待的服务态度很恶劣。

Adopting said apparatus, the on-line conductivity meter in water-steam system of unit no. 1 in Huaneng Rizhao Power Plant has been checked, and comparison with desk type checking apparatus in our country being carried out.

使用该装置对华能日照电厂1号机组水汽系统在线电导率表进行了检验，并与国内台式检验装置进行了比较。

He works at the desk, checking in the guests.

他在服务台工作，为旅客办理登记手续。

Network driver is divided into three sections including data transmission of network card, switch of network card and error checking in order to achieve the function of network redundancy.

为了实现网络冗余的功能将网络驱动程序分为网卡数据传输模块、切换模块以及故障检测模块。

He returned the card to me after checking out the books.

借完书后他把借书证还给了我。

Citi employees already get paid for referrals, when, for example, a wealth management adviser helps a client open a credit card or a checking account.

花旗的雇员已经因为介绍客户而获得奖金，例如，当一名财富管理咨询师帮助一位客户开了一张信用卡或者一个支票账户时。

But the money lent is usually given as a lump sum, not as advances through continuous charges to a card or checking account.

但这笔钱借给通常是作为一笔，而不是作为预付款，通过不断收费一卡或支票帐户。