程序带

Using the extended Hoare calculus we can derive true Hoare formulas which contain while statements free of loop invariants.

使用这个抽象机器，可以在其上进行许多带位操作指令的程序，特别是系统级代码的Hoare逻辑风格推理。

The rocky intertidal in some places can be thought of as a mosaic of patches that were cleared at different times and are therefore in different stages of succession.

在岩石潮间带在一些地方可以被认为是已清除的修补程序的一个镶嵌式不同的时间，因此在不同分阶段的延续。

Application of macroinstruction in aerospace ground measurement-launch-control system software is elaborated.

介绍了带参数宏替换在重复过程调用方面的作用以及它与函数的区别，详述了它在航天某型号地面测发控系统软件中的应用，最后着重分析了它对增强测发控系统软件总检查程序的可靠性方面的意义。

One of the reporters in attendance carries a copy of The New York Times, which includes an article saying The Mentalist represents the next wave of crime procedural, where the focus is on intuition instead of evidence.

在场的一名记者带了一份《纽约时报》，上面的文章预言《超感警探》代表刑事程序的下一波浪潮：聚焦于直觉而非证据。

This is the development arm of the wireless communication with the source code, introduced a wireless communication module of the specific program development.

详细说明：这是arm开发的无线通讯的源带码，介绍了无线通讯的具体模块的程序开发。

At present, the operating system comes with all the standard mouse driver, so long as the mouse connected, and boot the system after the mouse can be used to identify with.

目前，操作系统都自带标准的鼠标驱动程序，所以只要将鼠标连接好，开机后鼠标就能被系统识别与使用。

All bring their own wireless mouse driver disk, so as long as in accordance with instructions will be installed after the driver, when you start your computer in a wireless receiver to open the switch, and gently move the mouse, the system will detect the mouse, the user will be able to use the.

无线鼠标都自带驱动盘，所以只要根据使用说明将驱动程序装好后，在启动电脑时打开无线接收装置的开关，并轻轻地移动鼠标，系统就会检测到鼠标，用户就能正常使用了。

In the Orient young bulls are tested for the fight arena in a certain manner. Each is brought to the ring and allowed to attack a picador who pricks them with a lance. The bravery of each bull is then rated with care according to the number of times he demonstrates his willingness to charge in spite of the sting of the blade

在古老的东方，挑选小公牛列竞技场格斗有一定的程序、它们被带进场地，向手持长矛的斗牛士攻击，裁判以它受激后再向斗牛士进攻的次数多寡来评定这只公牛的勇敢程度。

In addition, broad-linewidth reflection bandstop filter with one-layer grating structure is designed by use of optimization technology for diffractive optical elements and rigorous grating diffractive theory. Finally, rigorous theory is used to analyze photonic crystals for their subwavelength periodic structures.

根据二维光子晶体的结构特点，提出光栅层模型，使二维结构退化为一维结构，从而大大简化了计算过程，提高了计算速度，并编制了计算程序，详细讨论了几类二维光子晶体的禁带特征。

This is a screensaver that will take you away from your everyday trouble.

这是一个屏幕保护程序，将带你远离你每天的麻烦。

In the negative and interrogative forms, of course, this is identical to the non-emphatic forms.

。但是，在否定句或疑问句里，这种带有"do"的方法表达的效果却没有什么强调的意思。

Go down on one's knees;kneel down

屈膝跪下。。。下跪祈祷