一天晚上，他们三人在一起吃晚饭，有两只鸡被端上来，他用逻辑与计算的知识告诉他们，他能证明两只鸡可以变成三只。
One evening, they were all three at supper, and two fowls having been served up, he told them that, by logic and arithmetic, he could prove those two chickens to be three.
使用批处理计算，业务逻辑与数据的接近程度将极大地影响性能。
With batch computing, the proximity of the business logic to the data significantly impacts performance.
面向资源计算的核心是将信息（资源）的逻辑请求与传递请求的物理机制（代码）相分离。
The core of resource oriented computing is the separation of logical requests for information (resources) from the physical mechanism (code) which delivers it.
更为重要的问题是计算如何确切地返回到与数据状态相符的流逻辑的相关部分。
The far more important problem is figuring out how to get back to exactly the relevant part of the flow logic that corresponds to the data states.
计算机中，解释并执行指令的一种功能单元。注：处理器至少包含有一个指令控制器和一个算术与逻辑运算器。
In a computer, a functional unit that interprets and executes instructions. Note: a processor consists of at least an instruction control unit and an arithmetic and logic unit.
本文给出了服务计算的安全模型，分析了这种应用逻辑与安全策略分离的基于信任域的安全模型的主要思想和优点。
A security model of services computing is presented in this paper. Main idea and advantages of trust domain based security model are analyzed.
以可计算性逻辑的完备子集cl4为基础进行知识表示，将知识分为简单知识与一般知识。
Based on the sound and complete subset CL4 of computability logic, knowledge representation is discussed by dividing knowledge into elementary and general ones.
多值逻辑是计算机科学与技术的一个重要分支。
Multiple-valued logic is an important branch of computer science and technology.
计算机病毒的传播行为与生物病毒极其相似：它们可能从开始感染时就是致命的，可以被某些特定的事件所引发(逻辑炸弹)。
Computer viruses act like biologics in the way they can be set off: they can be virulent from the outset of the infection or they can be activated by a specific event (logic bomb).
对于具体激光器产品的设计，技术方案决策是一个复杂的过程，通常只能定性分析与逻辑判断，难以定量计算和分析。
Technology scheme decision is a complex process for a real laser product. Usually, qualitative analysis and logical judgement are used in this process.
最后，本文讨论了统计缺省逻辑扩充的性质与计算，并定义和研究了闭正规的统计缺省逻辑的性质及其证明理论。
At last, we discuss the properties and computation of the statistical default logic, at the same time, we define and study the properties and proof theory of the normal statistical default logic.
对于整型，&计算操作数的逻辑按位“与”。
For integral types, & computes the logical bitwise AND of its operands.
模型层：主要负责业务的处理逻辑实现与数据库的交互等，是该系统的主要计算单元。
Model layer: responsible for handling business logic interacts with the database, are the system 's main computing unit.
利用模型与计算机的交互操作，研究形式自身的语言逻辑。
With using the interactive operation between the model and a computer, the language logic of the form nature is researched.
详细讨论了按钮控制的就地短路逻辑控制和上位计算机控制的远程短路控制功能的设计与实现。
The short current logical control on the spot by bottoms or from long - distance by computer is particularly discussed.
本文对理论计算机科学，特别是对其在逻辑与语义方面的基本思想作了一个直观易懂的综述，旨在使上述思想能为希望在该领域开拓视野之士敞开大门。
This paper provides an intuitive and easily understandable overview of some fundamental ideas in the area of theoretical computer science, especially those related to logic and semantics.
近年来，逻辑中语义的思想与方法在理论计算机科学的许多分支中的渗透与应用，已愈来愈受重视。
In recent years semantic ideas and methods have been emphasized in many branches of theoretical computer science.
在路由式拓扑发现算法中，将路由器间逻辑连接算法与直接连接算法结合，避免了以往通过复杂的路由选择协议来计算拓扑的繁琐处理。
Inside the routing style algorithm, we combined the algorithm of logic topology and direct topology. It reduces some complexity to deal with routing protocol.
详细讨论了按钮控制的就地短路逻辑控制和上位计算机控制的远程短路控制功能的设计与实现。
The short current logical control on the spot by bottoms or from long_distance by computer is particularly discussed. The design of hardware and software is also presented.
这是一个庞大的学科。在本体系中，其研究范围内的术语以伞状结构排列，主要是为了探究一部功能性系统(例如计算机)在执行算法，或者逻辑处理与数据处理方面的用途。
This vast discipline of study appears here as an umbrella term to include research into the use of functional systems (i. e. computers) to perform arithmetical, logical and data processing operations.
文中利用计算机的逻辑功能编制了演绎程序，按照天文原理对引潮位的部分公式进行严格推演与展开。
The author makes use of the logic function of the computer and programs, to acquire strict expansion of some formulae of tidal potential according to astronomical basics.
测试程序与逻辑计算机TPLC ？
测试程序与逻辑计算机TPLC ？
应用推荐