查询词典 Boolean

The servo controller regards TI Company DSP chip TMS320LF2407A as the main chip,has adopted standard ISA bus structure,has high -integration and high-agility,has accomplished in real-time complex boolean calculation and control algo- rithms during motion control,and can be used to realize high-speed and high-accuracy servo control for mul- tiple axis.

O前言以DSP为核心的多轴伺服控制器越来越广泛地应用在运动控制系统中，上位机只需对被控对象实施总体的控制和管理，而位置反馈信号的采集，闭环控制计算及控制量的输出均由伺服控制器完成，具有运算速度快，支持复杂的运动算法的特点，能实现高速度、高精度的位置伺服或轨迹

Boer losses, tens of thousands died in concentration camps, May 31, 1902 the two sides signed the "Treaty of Vereeniging," Boolean to stop the resistance, the British annexation of the Transvaal and the Orange, the United Kingdom to give Boer To financial compensation, and to work together to provide Boer oppression of black privilege.

布尔人损失惨重，集中营中死亡达数万人，1902年5月31日双方签定《弗里尼欣和约》，布尔人停止抵抗，英国吞并德兰士瓦和奥兰治，英国给予布尔人以经济补偿，并给布尔人提供一起压迫黑人的特权。

Finally, we discuss the current challenges of methods to extract Boolean unsatisfiable subformulae, and outline the future research directions.

最后讨论了布尔不可满足子式的求解方法目前面临的主要挑战，并对今后的研究方向进行了展望。

In recent years, there are many different contributions to research on extraction of Boolean unsatisfiable subformulae, due to the increasing importance in numerous practical applications. The existing algorithms are introduced and compared according to their types. Then we present our recent research works to derive unsatisfiable subformulae.

针对近年来出现的许多求解布尔不可满足子式的研究工作，根据算法的类型归类比较，对各种求解方法进行了概述评论，并简要介绍了在该领域所做的一些研究工作。

In datapath extraction, we build the environments for all datapath units by making assignments to the Boolean interface variables and some word variables. Binary CSP modeling then translates the RTL datapath satisfiability problem to a binary CSP description, which in turn will be sent to a binary CSP engine and solved by conflict-directed backjumping search strategy. The answer will be either a witness of satisfiable instance or a unsatisfiable decision.

数据通路提取通过对接口布尔变量和某些字变量赋值，为各个数据通路器件建立环境；二元CSP建模则根据该环境和各个数据通路器件的功能，将数据通路的可满足性问题转化为二元CSP描述；该二元CSP问题的描述被送入到二元CSP引擎，并采用冲突引导的回跳搜索策略进行求解，获得有解的例证或无解的判定。

Then, with an exemplification of the hierarchical versions of the design of turbine blades, the expressions in Boolean matrices of versional architectural information, attributes and attribute relationship between versions were given.

以涡轮叶片设计的多级版本为例，给出了设计过程中版本结构信息、版本属性及版本关系属性信息的布尔矩阵表达方法。

The Writeable property is a boolean value indicating if the file can be written.

Writeable 属性表示文件是否可写入的波尔值。

Since the structure and functioning of Boolean circuits is the most transparent and tractable among all computation models, they play very important role in theoretical investigations.

由于结构和运作的布尔电路是最透明和听话的计算模型中，他们发挥非常重要的作用，理论的调查。

Even for something as simple as negating a boolean, you have to write custom code and reference it in your XAML file.

即使是这样简单的事否定一个布尔值，您必须在您的XAML文件定义代码和参考。

A Boolean representing whether the results are paginated.

一个布尔型来标示结果是否分页显示。

"The operators will suffer a temporary decrease in the number of consumers and short message services as people may not like having to provide their ID cards for a phone number," Xu Junqi, vice-dean with the Policy-Making Institute of the Telecommunications Research Centre under MII, said yesterday.

信息产业部下属的通信决策研究院副主任徐俊其昨天说：&实行手机实名制后，人们可能不太情愿用身份证注册手机号，所以通信运营商会暂时面临用户减少和短信用户减少的问题。&

I don't believe in make-believe!

我不相信这些虚构的故事。