逻辑图

Thus, the experiment system realized the function of generating capacitive power or absorbing inductive power.A new driving and protecting circuit based on FPGA for IPM is designed and it provides the secondary dead-time compensation to ensure the IPM to work safely.

应用现场可编程逻辑阵列器件EPM7032LC44设计了对智能功率模块IPM的驱动和保护电路，通过原理图与VHDL语言相结合的设计方法实现了对IPM的智能性死区补偿，保证了IPM的安全运行和可靠触发。

Figure 14-3: Eye movement across an interface should form a logical path that enables users to efficiently and effectively accomplish goals and tasks.

图14-3 眼睛在界面上移动应该遵循一定的逻辑路径，这样使用者便可以有效和高效地完成任务并达成目标。

The temporal constraint network is a kind of directed acyclic graph,and could well represent temporal logics.

在人工智能研究领域发展起来的时序约束网络是一种能够清晰而直观地表示时序逻辑的有向无环图，适于解决计及警报信息时序特性的警报处理问题。

In order to improve the expression capability and the performance ofthe graph transformation in applying to software evolution, a softwareevolution operation description language SEOL (Software EvolutionOperation Language) is proposed, and the structured operational semantics on SEOL is studied, and then the semantic equivalence analysismethod about software evolution operation is described. To the SEOLexpression, the dissertation builds the corresponding processingmechanisms, which include the basic principles and the processing flow,and discusses the graph transformation description in SEOL.

为提高图变换在软件演化应用中的表达能力和处理性能，结合谓词逻辑，论文提出了软件演化操作描述语言SEOL(SoftwareEvolution Operation Language)，研究了SEOL语言的结构化操作语义，指出了软件演化操作语义等价的分析方法，针对SEOL语言表达式，构建了相应的处理机制，包括处理的基本原理和处理流程，讨论了图变换操作的SEOL描述。

About the experience of design ladder program design is the application of programmable logic controller of the most critical issues, PLC ladder programming methods commonly used are: experience design, design of sequential control and logic design, such as algebra.

经验设计法简介梯形图程序设计是可编程控制器应用中最关键的问题，PLC 梯形图程序设计常用方法有：经验设计法、顺序控制设计法和逻辑代数设计法等。

Based on this,temporal logic formula is used to express the properties that the data flow must satisfy,before the verification,an algorithm transforming the UML Statecharts model into reachable state transition graph is given,finally the correctness of the data flow is verified by model checking technique.

在此基础上，使用时序逻辑公式表示数据流所需满足的性质，在验证数据流的正确性之前，给出了将它的UML Statechart图模型转化为可达状态迁移图的算法，最后通过模型检测算法验证数据流的正确性。

Then, temporal logic formula is used to express the property requirements the data flow must meet before the verification, an algorithm transforming the UML Statecharts model into reachable state transition graph is presented.

然后，采用时序逻辑公式表示数据流所需满足的性质，同时给出了将UML Statechart图模型转化为可达状态迁移图的算法，最后通过模型检测算法验证数据流的正确性。

The fully qualified PART NUMBER for a specific DEVICE can be found in the Orderable PART NUMBER table. Figure 11 is a chart to help decode information in the TI logic- DEVICE PART NUMBER .

但完整、有效的特定器件代码请查阅&选购代码表&，图11是TI逻辑器件部分代码的解析图。

As a result,knowledge graph theory is more primitive than others.

从知识图本体论的观点，研究了各类逻辑词的知识图表示。

The core of test theory for a new generation of test is the combination of psychometrics and cognitive psychology, which is the key idea of the article .The article supposes there are four factors underlying response difficulty of Raven's Standard Progressive Matrices: figure complexity, figure format, transformation dimension, location factor. The hypothesis is tested by linear logistic latent trait model and proved to be valid.

本文在以认知和测量相结合为核心的新一代测验理论的指导下，从瑞文标准推理测验项目刺激特征的角度，对项目认知难度的影响因素进行了认知分析，提取出四个因素：图块繁简度、图块布局、变化维度、题序因子，结合线性逻辑斯谛克潜在特质模型对这四个因素进行了检验，证明提取出的四个因素是有效的。

Objective To investigate the effects of interleukin-1 β converting enzyme gene on the biologic characteristics of ovarian cancer cells.

目的 探讨白细胞介素-1 β转换酶的表达，对卵巢癌细胞生物学特性的影响。

Campylobacter: This illness is the most commonly identified cause of diarrheal illness in the world.

弯曲：这种病是最常见的原因查明腹泻病，在世界上。