查询词典 sequential logic

It holds that, by means of logic inference,"x believes p" can be interpreted as "x thinks that p is true". By the same token, the system of the Logic of Belief can-be established, on the basis of the logic of its classical proposition, by adding the modal auxiliary "should "before t...

作者认为，从逻辑的观点出发，可以简单地将&x 相信 p&解释为&x认为p是真的&，与之相对应，信念逻辑系统可以在经典命题逻辑的基础上加入模态词&应该&而得以建立。

It holds that, by means of logic inference,"x believes p" can be interpreted as "x thinks that p is true". By the same token, the system of the Logic of Belief can-be established, on the basis of the logic of its classical proposition , by adding the modal auxiliary "should "before the verb "believe".

作者认为，从逻辑的观点出发，可以简单地将&x 相信 p&解释为&x认为p是真的&，与之相对应，信念逻辑系统可以在经典命题逻辑的基础上加入模态词&应该&而得以建立。

In the 1950s,Carnap developed a probability logic which system made it possible for inductive logic to be deductive, formal and definitive,and pushed the study on inductive logic onto an unprecedented level.

他在20世纪50年代提出了概率逻辑系统，这一体系宣告了归纳逻辑的演绎化、形式化和定量化，将概率归纳逻辑推向了&顶峰&。

Being a special and useful kind of sequential pattern, it is not only inadequate to describe the browsing intention but also difficult for the integration of domain models and the comprehension of the end users, if we use the data modeling technology of common sequential patterns directly.

作为一种特殊而有广泛应用价值的序列模式，直接套用一般序列模式的数据模型不仅不足以描述访问意图，而且不利于领域模型的结合和用户的理解。

The characteristic of the method is that driving condition and clock pulse for flip-flops are obtained at first hand by means of the state transitio n drawingand that designing asynchronous sequential cir-cuits and synchr onous sequential circuits can be unified.

时序逻辑电路可分为同步和异步，然而采用传统的时序电路的设计方法时，即使是同步时序电路的设计也需要7步[3]，要进行复杂的计算来求状态方程、驱动方程，既繁琐又容易出错；对异步设计就更为复杂了。

This sequential relationship can be showed by following relationships — simultaneity, heterochronism, and indistinction of their sequential relationship.

其次对比分析了行为之间的时间顺序天系，即同时、异时和不能区分同时和异时的关系。

Aiming at complicated computing and difficulty of being realized when extending single sensor PHD filtering to the multi-sensor case by means of probability generating function, a multi-sensor multi-target sequential particle-PHD tracking algorithm is proposed based on the thought of sequential filtering for a centralized fusion system. The algorithm chooses the importance density function with regard to every sensor, and updates sample particle of every sensor layer by layer.

当采用概率母函数将单传感器PHD滤波推广到多传感器情形时，针对计算繁琐，难于实现的问题，本文基于集中式融合系统的有序滤波思想，提出多传感器、多目标有序粒子PHD跟踪算法，该算法通过选取与各传感器相关的重要性密度函数，层层更新各传感器的采样粒子，达到多传感器多目标有序PHD跟踪。

This system can realize random access as well as sequential access and it has the better performance than the normal data recording system based on sequential access storage devices.

它不仅支持连续数据存取，还可以支持随机数据存取，性能优于通常采用普通顺序存取设备实现连续记录的方案。

In this paper, based on the examination of the regression model of the pest population spatial pattern, the current domestic commonly-used End-limiting Sequential Sampling Model has been derived for testing the regression model, and it is used during the course of the Complex Sequential Analysis and Decision Making.

在检验害虫种群空间格局回归模型的基础上，推导出了目前国内常用检验回归模型的截止限序贯抽样模型，并将其运用于复序贯分析决策过程中。

The setting of sequential control interface and the feedback of sequential control signal are also described.

最后，介绍了监控后台关于顺控界面的设置，及顺控信号的反馈。

Now he worked in ajoint venture.

现在他在一家合资企业工作。

More troops in Afghanistan won't change any of the foregoing.

更多的在阿富汗的军队也不会改变之前的状况。