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.

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

provided by jukuu

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.

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

互联网摘选

So between the local and Federal Reserve clearing houses, checks drawn on any bank in the country can be easily processed.

因此，在地方和联邦票据交换所之间，国内任何银行开出的支票都能很容易地得到处理。

互联网摘选

The most common examples are: Outstanding checks.

最普通的例子有：未兑付的支票。

互联网摘选