逻辑操作

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

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

User errors include deleting the wrong rows because of incorrect values in a WHERE clause, updating rows with incorrect values, dropping the wrong index, and so forth.

常见的用户操作中的逻辑错误有：因为在 WHERE 子句中使用了不正确的值而删除了错误的数据行，将数据行更新为错误的值，错误地移除了索引等。

The models of permanent and instantaneous failures,which bring the indeterminable delay in interlock information transmission,and the models of repeating interlock information transmission and delay are set up.

在数字化变电站中，分布式联锁功能采用分布式模式实现[1]，即通过网络交换分布在多个物理设备中的不同逻辑节点间的联锁信息，并使用这些信息进行正确协同操作来实现。

There are several types of registers ,Including an instruction register , which holds the instruction being executed ,an address register, which holds the addresses of data to be processed ;a program register , which holds status information ; and an accumulator , which holds the results of the ALU's

寄存器有几种类型，包括指令寄存器，它含有将要被执行的指示，地址寄存器，它包含被处理的数据地址；程序寄存器，它包含程序的状态信息；还有累加器，它包含算术\逻辑运算单元的操作结果。

It uses the memory can be programmed to store in its internal implementation logic operations, the order of operations, timing, counting and arithmetic operations, such as operating instructions, and can be digital or analog input and output, control of various types of machinery or the production process.

它采用可以编制程序的存储器，用来在其内部存储执行逻辑运算、顺序运算、计时、计数和算术运算等操作的指令，并能通过数字式或模拟式的输入和输出，控制各种类型的机械或生产过程。

It USES a programmable memory, used in its internal storage execution sequence control and logic element, timing, and arithmetic operation instruction, and through digital and analog input and output of various types of machinery, control of the production process.

它采用了可编程序的存储器，用来在其内部存储执行逻辑元素、顺序控制、定时、计数和算术运算等操作的指令，并通过数字式和模拟式的输入和输出，控制各种类型机械的生产过程。

Meanwhile,by means of rate equations of the SOA,the logic AND gate was simulated and analyzed.

以半导体光放大器速率方程为基础，对设计方案进行了理论分析和仿真验证，取得了不同重复周期、不同脉冲宽度的光脉冲序列经过全光逻辑与门操作后的输出数据。

VL is set to Logic Level for Device Off operation.

VL被设置为逻辑电平开关操作装置。

According to the logic of relations, the stock market should not be a barometer of the national economy, while the national economy should be a "thermometer", which means the stock market should reflect the immediate operation of the national economy, rather than leading indicators of economic operation.

根据关系的逻辑，股市不应该是一个国家经济的晴雨表，而国民经济应该是一个"温度计"，这意味着股市应反映国民经济的直接操作，而不是领先指标经济运行。

To improve the total performance and scalability, stored procedures are applied in the operation of business logical layer on the database.

出于提高系统性能和可伸缩性的目的，业务逻辑层对数据库的操作全部采用存储过程实现。

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失