查询词典 logic unit

This part of work is the foundation for the design of practical control logic and electronic controlling unit.

这部分的研究是建立实用控制逻辑，指导ABS控制器开发的基础。

It is: sets the RFID label on the hanger, the card reader can get the information of the label and sends to the epigyny of the terminal unit of the station; when the hanger passes the reader of any working station; estimates the hanger whether or not enters the station to process manufacture after the epigyny receives the signal of the hanger, the programmable logic controller controls the pulling-in switch of the corresponding station according to the instruction from the epigyny.

该方法包括：在吊架上设有RFID标签，当吊架经过某个工作站进站口前的RFID读卡器时，读卡器会读到吊架标签上的信息，经由工作站终端设备发送给上位机；上位机接收到吊架检测信号后，判断此吊架是否进入工作站进行加工，可编程逻辑控制器根据上位机的指令控制相应工作站点的进站开关合上。

Sparse Matrix Arithmetic Unit for matrix multiplication, addition and subtraction, multiplication, when used during logic lines.

详细说明：稀疏矩阵运算器进行矩阵的加减乘法，在进行乘法时用到行逻辑。

The third part proposes in Luk the concept of lattice-valued truth degrees based on the second part by generalizing truth values from the MV-unit interval(a special MV-algebra) to a general MV-algebra. And the properties of lattice-valued truth degrees suggest that this generalization is natural and reasonable. Because of the equivalence between the two algebra systems, i.e. MV-algebra and lattice implication algebra, it's natural and easy to grade the truth of formulas in lattice-valued propositional logic whose basic algebra system is the lattice implication algebra.

中。 本文第三部分在第二部分的基础上，将Luk中公式的真度值推广到了一般的MV代数上，相对于第二部分的数值真度，给出公式的格值真度，并通过格值真度的性质说明格值真度是数值真度的合理推广。

The compiler conversion uses the rundle as unit, according to the direct deep prior scanning algorithm, a logic tree structure is established, and then the PLC instruction is gained by going through the tree.

转换以梯级为单位，采用"正向深度优先扫描算法"来构造逻辑树结构，然后对树结构进行遍历，得到相应的PLC指令集。

Atom propositions are the basic unit of symbolic logic.

原子命题是数理逻辑研究的基本单位。

Chapter4 introduced a concept of knowledge unit of runners from the angle of the combination of logic and graphics.

第四章从逻辑与图形相结合的角度，引入流道知识单元的概念。

We design hardware logic for salinometer with Quartus II software, and use SOPC Builder to design Nios II, CPU、arithmetical unit、MEMORY、TIMER and other mature IP core are apply to salinometer. We use the hardware description language VHDL to design bottom drives, and make them as customer IP core, such as excitation source IP core、high sensitive digital galvanometer IP core、analog temperature measurement IP core、digital temperature measurement IP core、calendar and time IP core、keyboard IP core、LCD IP core.

使用SOPC Builder软件生成Nios II软核，将CPU、运算器、存储器、定时器等成熟的IP核应用到盐度计设计中，同时使用硬件描述语言VHDL将底层驱动逻辑设计为用户IP核，如激励源IP核、高灵敏度数字检流计IP核、模拟测温IP核、日历时钟IP核、数字测温IP核、键盘IP核、液晶显示IP核等。

In order to get out from the cockamamie work in road route design for designers, on the basis of studying the internal relations among local schemes, local scheme was decomposed to small unit logic schemes; the directed network was used to represent the topological connection; the united data structure of point-arc was used to express a network graph. Based on the shortest path theory, the combinatorial optimization algorithm that can search optimal logical schemes of some targets in the network graph intelligently and can form the whole scheme automatically was put forward.

为了使设计者从道路线路设计的繁重计算统计工作中解脱出来，在研究了局部方案间内在关联的基础上，提出了将局部方案分解为更小单位的逻辑方案，用有向网络图表示逻辑方案间的拓扑关系，采用节点－弧段联合数据结构来表示网络图；同时基于最短路径理论，提出了在网络图中智能化搜索综合指标最优的逻辑方案集，自动形成整体方案的组合优化算法。

At last, fusing the modern information theory and technology, probability theory, random process theory and mathematics logic theory etc., synthetically applying various reliability information in each subsystem or unit of the long-range rocket gun system, this paper systematically evaluates the reliability of long-range rocket gun system, which provides quantitative reference for design finalization, production and application, and researching equipment reliability growth of the weapon system.

对远程火箭炮武器系统可靠性鉴定试验进行了理论分析与设计，对型号研制中有关可靠性试验结果进行了统计和综合研究；最后，融合现代信息理论与技术和概率论、随机过程理论、数学逻辑理论等数学方法，综合利用远程火箭炮各分系统或单体的各种可靠性信息，对远程火箭炮武器系统可靠性进行了系统评估，为远程火箭炮武器系统设计定型、生产与使用，开展装备的可靠性增长工作提供了定量依据。

According to the clear water experiment, aeration performance of the new equipment is good with high total oxygen transfer coefficient and oxygen utilization ratio.

曝气设备的动力效率在叶轮转速为120rpm～150rpm时取得最大值，此时氧利用率和充氧能力也具有较高值。

The environmental stability of that world - including its crushing pressures and icy darkness - means that some of its most famous inhabitants have survived for eons as evolutionary throwbacks, their bodies undergoing little change.

稳定的海底环境─包括能把人压扁的压力和冰冷的黑暗─意谓海底某些最知名的栖居生物已以演化返祖的样态活了万世，形体几无变化。