查询词典 logic

In this paper, an efficient method integrating logic simulation and Boolean satisfiability is presented, which can verify the designs with black boxes.

该文提出了一种结合逻辑模拟和布尔可满足性的黑盒验证方法，用于验证设计中黑盒外部的功能正确性。

It is not difficult to imagine Kauffman's networks of Boolean logic and random genomes mirroring the workings of town halls and state capitals.

我们不难想象，考夫曼的布尔逻辑网络和随机的基因组，映照了市政厅和国家首都的运作方式。

Design for Testability; test selection ; boolean logic ; fault detection ; fault isolation

测试性设计；测试选择；布尔逻辑；故障检测；故障隔离

You can browse your files for a particular MP3 file; conduct a general or advanced search; search according by date or even use Boolean logic.

你可以浏览你的文件，为某MP3音乐档案；进行一般或进阶搜寻；引据的日期，甚至使用布尔逻辑。

Building on Turing's contribution, Shannon had demonstrated how Boolean algebra and logic could be used in the analysis and synthesis of switching and computer circuits.

在图灵理论的基础之上，香农演示了布尔代数与逻辑如何用于开关与计算机电路的分析与综合。

This paper studies default logic using Boolean ring rewriting system.

利用重写系统研究缺省逻辑姜云飞（吉林大学计算机科学系长春130023）摘要本文在布尔环重写系统中研究了缺省逻辑。

This passage analyzes the advantage and disadvantage of the Boolean Model and the Vector Space Model in information retrieval model: the Boolean Model is simple to realize, but its classification ability is limited and the logic expression formula is strict.

本文分析了信息检索中传统文档特征表示的布尔逻辑模型和向量空间模型的优缺点：布尔逻辑模型虽机制简单、容易实现，但是它的分类能力有限且逻辑表达式过于严格；向量空间模型将文档映射到连续域向量空间，为进一步的权重计算等多元处理提供了基础，但容易忽略文档集合中各个文档的一些共有特征。

Using the theories of probability, algebra and spectral theory comprehensively, we investigate some related characteristics of logic functions in cryptography: Firstly, we introduce m order generalized s - correlation immunity of Boolean vector functions and prove that the higher order generalized ε- correlation immunity can guarantee the lower order generalized ε- correlation immunity. Then by applying decomposition formula of joint distribution of Boolean random vectors, we give a spectrum criterion of m order generalized e - correlation immunity of Boolean vector functions. Furthermore, we show that the algebraic degree of m order generalized e - correlation immune Boolean vector functions is not restricted by the correlation immune orders.

本文主要运用概率论的思想和方法，并结合代数学和频谱理论的相关知识，对密码学中逻辑函数的有关性质进行了研究，主要包括以下三个方面的内容：首先，对布尔向量函数的相关免疫性进行了拓展，给出了k维布尔向量函数m阶广义ε-相关免疫的概念，证明了布尔向量函数的高阶广义ε-相关免疫性蕴含低阶广义ε-相关免疫性，并根据布尔随机向量联合分布分解式得到了布尔向量函数m阶广义ε-相关免疫的一个谱判别条件，还说明了m阶广义ε-相关免疫布尔向量函数的代数次数不受相关免疫阶数的制约。

There is no real logic to Grange-mouth, the " boomtown " of Stirlingshire - and indeed, of Scotland.

斯特凌郡的——实际上是苏格兰的"新型城市"——格兰治茅斯的兴起并没有实在的必然性。

This researchcombines the latest achievements of computer technology withmeasurement technology, in order to develop a special on-line measuringmachine, which has functions such as processing and transform of highprecision signals; digital processing and calculation; logic judgment andfault diagnosis and automatic operation, so that the geometric parametersof the four engine borings can be measured simultaneously at one station.Therefore, with efficient detection, group assembly of borings andcylinders can be realized.

该测量机的功能是实现在线同时测量内燃机四个缸孔直径、圆度、圆柱度、位置度等几何参数，并通过计算机控制自动采集测量信息、自动处理高精度信号和数据处理，且具有逻辑判断与故障诊断、自动化操作等能力，从而提高检测量效率，真正实现缸孔、缸套的成组装配。

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。