计算逻辑

计算逻辑中的波动策略

Rippling - out tactic for a computational logic

《计算逻辑》中定义原理的修改与重证

Some Revisions and Proofs on the Definition Principle in " A Computational Logic "

对象技术是实现ObjectWeb应用系统业务计算逻辑的主要技术手段，是多种Web技术的理论与技术基础，分布对象技术作为对象技术的一种，有与Web技术融合的趋势；

Object technologies are the basis of many web technologies , also are the main means to implement the domain logic on Object Web application . Being one of the object technologies , distributed object technologies trend towards syncretizing with web technologies .

计算逻辑函数布尔差分及布尔偏导数的表格方法

Tabular method of calculating Boolean difference and partial derivative of logical functions

对于需要专用报表的用户而言，计算逻辑非常具有挑战性。

Calculation logic is particularly challenging for users who need specialized reports .

动态计算逻辑电路的延时

Dynamic Prediction in Delay of Logic Circuit Dynamic news TRENDS

此外，通过适当地编码，仅仅海森堡相互作用就足以实现任何量子计算逻辑电路。

In addition , by proper encoding , the Heisenberg interaction alone can support universal quantum computation .

丹奈特，〈从计算逻辑地理的观点看认知科学〉于《脑力激荡》。

Dennett , D. " The Logical Geography of Computational Approaches to the Cognitive Sciences . " In Brainstorms .

似乎可用内存越多，内部计算逻辑就可以进一步利用额外的空间。

It appears that if more memory is available , the internal calculation logic takes advantage of the additional space .

集成器的维护对象从每个数据源上的多基表简化为单源视图，集成计算逻辑得到了简化；

Computational logic for integrator is predigested by the maintained object being changed from multi base tables to single source view on per-source ;

最后讨论了它们在逻辑综合以及计算逻辑函数的布尔差分中的应用。

Finally , their applications in the logic synthesis based on the partial linear function and calculating Boolean difference of logical functions are discussed .

第二部分详细介绍了用于评价药品管理绩效的核心指标体系，包括指标内容、计算逻辑和含义；

The second part introduced the core index for appraising medicine management performance in detail , including the content of index , calculation and its meaning ;

以计算逻辑为基础，介绍了定理机器证明中一种新的启发式方法&波动方法，它是一种在证明中通过处理归纳结论来激活归纳假设的策略。

The popular approaches are introduced and summarized , especially model checking based method , theorem proving based method , logic programming based method and so on .

通过计算逻辑网络中门或连线处的可观测性无关项，可迅速得到最大允许函数集，从而节省了计算时间，并且提高了原算法的适用性。

By calculating the observability don t care sets at the gates or connections throughout the network , the maximum sets of permissible functions can be more easily derived .

具体来说，根据应用而定制的硬件计算逻辑对于应用程序的性能往往有很大的提高，但是成本的提高对于大多数应用来说是不能接受的。

Moreover , while application-specific , customized logic could dramatically improve the performance of an application , that approach is typically too expensive to justify its cost for most applications .

但是分析他们的体系结构发现，计算逻辑负载的不平衡造成集成器负担过重，信息源的主动性不强，系统的维护开销大等缺点。

But by analyzing the data warehouse architecture , it can be found that the load imbalance of computational logical result in overload for the integrator , not enough positivity for information sources , and high price for view maintenance .

要编写Java方法来计算条件逻辑，请执行以下操作

To write a Java method to compute the logic for the condition

模型检测基于时态逻辑（TemporalLogic），包括线性时态逻辑和计算树逻辑。

Model Checking Based on Temporal Logic , including linear temporal logic and computational tree logic .

DCS改造后煤量计算控制逻辑组态的不足与修改

Inadequacy and Modification of the Configuration of Coal Weighing after DCS Retrofit

硬件开发时在主板上采用两片高速DSP芯片，分别承担采集计算和逻辑处理的功能，构建了高效可靠的硬件平台；

Two high speeding DSP are applied in the main board , one for sampling and calculation and other for logic processing .

通过客户层提供简洁的人机交互界面，通过Web层响应用户请求，由应用服务层完成计算和逻辑处理，由数据层提供数据的存储服务。

The client level provides the succinct human-machine interactive interface . The Web server responds to the users ' requests . The application server completes the computation and logical processing . And the DBMS provides the storage service .

文章主要讨论一类具有公平性约束条件的CTL（计算树逻辑）模型检测问题。

This paper mainly discusses the problem of model checking CTL formula with fairness constrained by partial state spaces technique .

其次，验证规范通过可计算树逻辑（CTL）或线性时态逻辑公式（LTL）表示出来。

Then the specification is described in computation tree logic ( CTL ) or linear temporal logic ( LTL ) formula .

为了使RMU具有广泛的现场适应性和功能可扩展性，论文提出了智能接线、模块化计算及逻辑时序控制等智能化技术方案，并详细论述了其实现目标和实现原理。

In order to improve the adaptability and expansibility of RMU device , intelligent connection , modularized calculation and time-sequence logic control are researched .

以可计算性逻辑的完备子集CL4为基础进行知识表示，将知识分为简单知识与一般知识。

Based on the sound and complete subset CL4 of computability logic , knowledge representation is discussed by dividing knowledge into elementary and general ones .

数值计算，逻辑判断和运算，逻辑关系。

Not only numerical calculation but also logic judgement and operation ;

由应用服务层完成计算和逻辑处理；

The application server completes the computation and logical processing .

粒及粒计算在逻辑推理中的应用

Granules and Applications of Granular Computing in Logical Reasoning

基于可计算性逻辑的知识表示与推理

Knowledge Representation and Reasoning Based on Computability Logic

基于空间逻辑和计算树逻辑的模型检测

Model Checking Based on Spatial Logic and CTL