查询词典 integrated injection logic

It has a microcontroller peripheral devices are connected to high-speed bus connections within the connection interface and memory card connection interface, the micro-controller memory card interface, high speed bus interface to connect external devices and virtual within the integrated drive electronics interface module, and the virtual integrated drive electronics interface module includes an integrated drive electronics interface to the virtual host and virtual device side, and when the host side of the card reader connected to the memory card storage or read the instructions issued, the command will be sent to Xuni integrated Shi-driven electronic interface module, and in which the instruction to complete, while the memory card of the information on the transmission to achieve high speed Waiwei components provided within the connecting bus transfer rate, and the host will think that reader is integrated drive electronics interface devices, not just within the high-speed peripheral devices connected bus devices.

其具有微控制器分别连接有高速外围元件内连接总线连接接口及存储卡连接接口，而微控制器具有存储卡接口、高速外围元件内连接总线接口及虚拟整合式驱动电子接口模块，且虚拟整合式驱动电子接口模块包括有整合式驱动电子接口的虚拟主控端及虚拟装置端，而当主机端对读卡机所连接的存储卡下达储存或读取的指令时，该指令会传送至虚拟整合式驱动电子接口模块，并在其中将指令完成，而存储卡内的资料于传输时可达到高速外围元件内连接总线所提供的传输速率，且主控端会认为读卡机为整合式驱动电子接口装置，而非单纯的高速外围元件内连接总线装置。

The 1H-NMR spectrum collected on a 200 MHz instrument had a doublet at a chemical shift of 5.88 parts per million which integrated to one proton, a multiplet at 4.19 ppm which integrated to one proton, a singlet at 2.5 ppm which integrated to six protons, a doublet at 1.60 ppm which integrated to three protons, and a broad peak at 0.8 ppm which integrated to two protons.

该核磁共振谱收集在一个200 MHz的仪器有一个双线在化学位移5.88百万分之的综合，以一质子， 1 multiplet在4.19 ppm的综合，以一质子，单在2.5 ppm的综合到6个质子， 1双在1.60 ppm的综合三个质子，和广阔的高峰期， 0.8 ppm的综合两个质子。

Teacher-Student Double Subject Principle is an important precondition for title selection of Chinese Integrated Learning. II. Feasibility Principle is the value of title selection of Chinese Integrated Learning. III. The combination of multi-subject and uni-subject principle is an unexhausted headspring for title selection of Chinese Integrated Learning. IV. The linguistic nature of title selection target is not only the jumping-off place for title selection of Chinese Integrated Learning, but it is also the end-result for title selection of Chinese Integrated Learning.

本文主要运用文献资料与实例相结合的方法，注重于理论与实践的结合，重点探讨了义务教育阶段语文综合性学习的选题指导原则：第一，师生双主体性原则是语文综合性学习选题的前提；第二，可行性原则是语文综合性学习选题的价值所在；第三，开放性与学科性相结合是语文综合性学习选题的重要规则；第四，选题目标的语文性是语文综合性学习选题的出发点，也是语文综合性学习选题的归宿。

The content of this course includes: fundamentals of logic algebra analysis and design of the combinational logic circuit and sequence circuit common applications of the combinational logic circuit and sequence circuit programmable logic devices Hardware Design Description Language A/D (Analog/Digital) and D/A conversion.

课程的主要内容有：逻辑代数基础、组合逻辑电路及时序电路分析与设计、常用中规模组合逻辑及时序逻辑电路应用、可编程逻辑器件、硬件设计描述语言VHDL、数模、模数转换等。

Wang-type fuzzy logic system and its functional approximation ability are researched deeply, A class of Gauss-type fuzzy logic system is presented and studied What it defers from Wang-type fuzzy logic system is its using Gauss fuzzifier The analytical expression of this fuzzy logic system is derived detailed Its universal approximation theorem for nonlinear functions is proved by StoneWeiestrass theorem.

通过对两类模糊系统作为非线性辨识器的仿真研究显示出高斯型模糊逻辑系统在抗数据干扰方面比Wang型模糊系统有优势。对非线性动态系统的辨识问题，借助递归神经网络的研究成果，提出一种基于递归网络结构的自适应模糊逻辑系统和参数学习算法。

Great emphasis is put on the logic imagery movement in the process of visual thinking through relating the visual thinking theory of Arnheim's.They are as follows:the logic of choosing images,the logic of organizing images and the logic of distilling images.

通过对阿恩海姆的视觉思维理论的解读，着重诠释视觉思维过程中的意象运动逻辑："自上而下"的意象选择逻辑、"补足"与"重构"的意象组织逻辑、"抽象"和"概括"的意象升华逻辑。

The inspection unit includes storing unit, logic switching unit and drive change-over switch, inspects whether the storing unit is normal via detecting the edge change, sets the output of abnormal storing unit in certain logic level and performs different logic operations to different logic level setting values.

检验装置包括储存单元、资料切换开关与边缘探测器。其是以边缘变化是否正确来检验储存单元的运作是否正常，并将出现问题的储存单元的输出设定在一固定的逻辑电位上，再对不同逻辑电位设定值使用不同的逻辑运算。

The formal logic is the logic of affirmation. The dialectic logic is the logic of description.

形式逻辑是关于断定的逻辑，辩证逻辑是关于描述的逻辑。

A comparative study of two logic systems should base on the analysis of their historical background and the interpretation of their cultural host;(2) The Mohist logic depend on Pre Qin culture of China and Aristotelean logic was embedded in Hellenism of Hellenistic Age;(3) In view of these two logic systems being the ...

墨家逻辑依托于先秦文化，亚里士多德逻辑依托于古希腊文化。两种文化有不同的特征和需求。不同文化的特征和需求，产生了两种不同的逻辑。两种逻辑的差异主要表现为：目的与任务不同，逻辑特征不同，主导的推理类型不同，推理成分的分析不同，后续发展状况不同。

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

A carrier gas such as nitrogen is directed through line 20 and valve 22 to connect with line 26 and mix with the gas sample.

如氮气之类的载体通过管线20和阀22引入，与管线26相通，与气体样品混合。

But for the most part, knaves and parasites had the command of his fortune

然而支配他的家产的大多是恶棍和寄生虫。