查询词典 combinational 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年代提出了概率逻辑系统，这一体系宣告了归纳逻辑的演绎化、形式化和定量化，将概率归纳逻辑推向了&顶峰&。

A combinational circuit that has three inputs that are an augend, D, an addend, E, and carry digit transferred from another digit place, F, and two outputs that are a ''.

一种组合电路，有三个输入端和两个输出端；三个输入端是：被加数d、加数e以及从另一个数位传来的进位数f；两个输出端是：无进位和数t及新的进位数r。

A combinational circuit that has three inputs that are an augend, D, an addend, E, and carry digit transferred from another digit place, F, and two outputs that are a sum without carry, T, and a new carry digit, R, and in which the outputs are related to the inputs according to the following table.

一种组合电路，有三个输入端和两个输出端；三个输入端是：被加数d、加数e以及从另一个数位传来的进位数f；两个输出端是：无进位和数t及新的进位数r。电路的输出和输入的关系如下表所示

Further more, the method of liquid combinational chemistry was introduced to the Evans aldol reaction, and two hapalosin analogues libraries contained 9 members and 27 members have been constructed in 9 steps respectively.

其次将液相组合化学方法应用于Evans aldol反应中，由此经9步反应分别合成了九组分和二十七组分的hapalosin类似物库。

With respect to syntax, the roles of tagmeme in the structure of word and sentence and Chomsky's Generative-Transformational Grammar are discussed. The spatial relation theory and existing research achievements are investigated. Having noticed the shortage of the capability of topological and metrical relation in the description of spatial information structure, the author proposes Combinational Qualitative Geometry based on the two invariables under ordinary transformations, distance ratio and direction difference, the CQG-based spatial relation system between topological and metrical constraint is thus constructed, on which several spatial relations such as parallel, perpendicularity, co-linearity, sequence and direct neighborhood are derived. Based on extended theory of spatial relation, the language anamorphosis is analyzed from the aspects of phonetics, semantics and syntax. The mere geometric and formalized spatial relation is then integrated with concrete geographic ontology to accommodate richer and indicative spatial configuration of spatial information in the different geographic context. Finally a syntax framework for spatial information is put forward.

在语法结构方面，首先阐述了法位和法素在语法结构词法和句法中的地位和作用，以及Chomsky生成转换语法的核心内容；详细介绍了地理信息系统空间关系理论及现有的研究成果；在分析现有的拓扑关系和量度关系对空间信息结构描述能力不足的基础上，提出了基于长度比和角度差两个不变量的组合定性几何，以此建立了介于拓扑及量度约束之间的组合定性关系体系，并以此为基础派生出平行、垂直、共线、次序、直接邻近等空间关系描述；本文基于扩展的空间关系理论，详细讨论了空间关系在语音、语法和语义三个方面的语言变体，将纯几何和纯形式化的空间关系与具体的地理本体结合起来，可以获得更为丰富的、更能反映空间关系在不同语言上下文中具体体现的组合关系；最后给出了一个空间信息的语法结构的基本框架。

In this paper the method of combinational mathematics is used to deduce the probability generation function of the longest run in the Bernoulli trials,and get the probability generation function without using its probability function of kth order geometric distribution.

游程及其相关理论广泛地应用于随机检验、质量控制、DNA数据分析等许多领域，提出使用组合数学的方法推导出贝努利试验中最长游程的概率发生函数的计算公式，利用所得到的结果可以不用k阶几何分布的概率函数而很容易地得出它的概率发生函数。

This paper proposes a new combinational evaluation method--Football method,which is based on the Borda and Copeland method.

本文根据Borda法和Copeland法，提出一种新的组合评价方法——Football法。

Compared with Borda and Copeland method,because this method further distinguishes "good" and "poor" level,the conclusion of combinational evaluation is more accurate,the degree of division is better and it has very good consistency with the conclusion of each comprehensive evaluation method.

与Borda法和Copeland法相比，该方法通过进一步区分"优"和"劣"的程度，使组合评价结论更为精确，区分度更好，且与各综合评价方法的结论具有很好的一致性。

This paper designs the communication system of radio telescope FAST.

针对500m口径球面射电望远镜FAST分布式控制系统的特点完成了其通信系统的设计。

Political sheep's step-by-step a large number of fossils unearthed in the county soil Ma Ali after rural village in the middle of sallow pelitic siltstone.

步氏和政羊化石大量出土于广河县阿力麻土乡后山村，产于灰黄色泥质粉砂岩中。