查询词典 board checking

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

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

Some six decades later when Kepler tackled the motion of Mars, he proposed a number of geometric models, checking his results against the position of the planet as recorded by his boss, Tycho Brahe, a Danish astronomer.

在60年后，开普勒在研究火星的运行诡计时，他假设了大量的几何学上的模型。

This is normally done by charging the brake pipe fully from one end of the train and checking that it has charged at the other end.

通常的做法是从列车制动管的一端充气，观察另一端的变化。

Because should sign up for a reporter without checking, fabricated Chinese card inspect to be able to establish lash-up to head a group, deploy, implement specific lash-up measure; The orgnaization investor such as business of big to each fund, certificate, insurance is executed temporarily the window is directive, limitation is done empty; Revise go up drop a limitation; 90 billion yuan of dimensions are decided at the beginning of buffer fund at any time on call; Make stop size blame to decrease hold;"Cease city " and " new issue system reform to ask for opinion draft to be about to give heat " etc alleged the 6 big step that help city.

由于该报记者未经核实，杜撰了中国证监会成立应急领导小组，部署、实施具体应急措施；对各大基金、券商、保险等机构投资者实行临时窗口指导，限制做空；修改涨跌幅限制；平准基金初定900亿元规模随时待命；叫停大小非减持；"休市"以及"新股发行制度改革征求意见稿即将出炉"等所谓六大救市措施。

This tool can find out the bug of security protocol using the model-checking method based on searching states.

所以，采用形式化的方法，并依靠方便易用的工具已经受到人们的关注。

You and me laughing,you and me crying, you and me dreaming, you and me holding on, you and me...just you and me sitting in a bughouse and I am checking you.

你我一起欢笑，一起哭泣，一起梦想，依偎在一起，一起。。。只不过是你我一起坐在精神病院里并且我在检查你。

You and me laughingyou and me crying you and me dreaming you and me holding on you and me...just you and me sitting in a bughouse and I am checking you.

你我一起欢笑，一起哭泣，一起梦想，依偎在一起，一起。。。只不过是你我一起坐在精神病院里并且我在检查你。

"4 Fulfil ": L the characteristic that presses product structure writes procedure to want to fulfil; 2 technical standard wants to fulfil; 3 Yuan Fucai expects norm wants to fulfil; 4 the small tool that uses on production (stiletto getting, shake a canal, burin) want to fulfil, classics after checking, extend again.

按产品结构的特点编写工艺规程要落实；2）技术标准要落实；3）原辅材料定额要落实；4）生产上使用的小工具要落实，经核对之后再发放。

That strip of fine white sand paradise where you can work on your tan while checking out busty babes in their G-Strings.

在这个细白色沙滩乐园里，你可以一边晒你的皮肤，一边打量穿着丁字裤的大胸脯妹妹们。

To check the continuity of a cable pair by putting an audible buzzer on one end and then checking with a "buttinsky" to see if you can hear the buzz and thus identify the correct cable pair.

要检查电缆是否接通，将一个听得到声音的蜂鸣器放在电缆一端，然后使用"buttinsky"检查，看是否能听到蜂鸣声，以此来判断电缆是否接通。

The dissecting of samples in group2 were difficult. The root of pulmonary artery and ascending aorta failed to be unfolded because fibrous tissue was tough, right and left fibrous trigone were too firm to be solved by hand. Cardiac muscle fibers couldn't be stripped along myofibrillar trajectory since they were prone to break because of their friability.

组2的心脏解剖困难，表现为纤维组织坚韧，游离肺动脉非常困难；徒手无法松解左、右纤维三角，肺动脉和主动脉根部的游离非常困难；心肌纤维坚硬、质脆，解剖时容易断离成碎块，无法沿纤维走行方向剥离。

We have battled against the odds in a province that has become increasingly violent.

我们对在一个争夺日益激烈省的可能性。