逻辑特性

最后介绍了线性时态逻辑特性模式在SPIN中的应用。

At last , the application of Property patterns of LTL formulas was given in SPIN tool .

根据多媒体文件的逻辑特性，论文采用了一种UDFS（UniformDescriptionFileStripingMethod）方式对MPEG-4文件进行分片处理。

According to the logical character of multimedia files , This article uses a UDFS ( Uniform Description File Striping Method ) strategy to strip MPEG-4 files . This method strips file after analyze the inside logic of this file .

论充分条件与必要条件假言命题的逻辑特性

The Special Logical Property of Hypothetical Proposition of the Sufficient Condition and the Necessary Condition

论批判性思维的逻辑特性

On the Logical Traits of Critical Thinking

这些是逻辑特性。

These are logical characteristics .

互补电流镜的逻辑特性研究

Complementary Current-Mirror Logic Characteristic

元胞自动机的并行逻辑特性以及离散状态等特性，使其易于硬件实现。

For its characteristic of parallel logic and dispersed state , CA can be realized easily in hardware .

因此，数量的大小与密码系统的逻辑特性相比，就显得外强中干了。

Sheer numerical size , therefore , may be insignificant , compared with the logical properties of the cipher system .

软件的性能分析模型在形式上通常是一个随机过程，这就使得在做性能分析时，时间比定义动态操作的逻辑特性还要重要。

Performance analysis mode of software is usually a randomized procedure formally , and as a result , time is more important than defining the logicality of the dynamic operation when analyzing performance .

船舶柴油机组合模糊神经网络模型可以反映主机系统的模糊特性和逻辑特性，简化了网络结构，避免了无关性能参数之间的连接，减少了计算量；

Marine Diesel Union Fuzzy Neural Network model can not only reflect the fuzzy character and logicality of Main Engine , but also avoid the joints between irrelevant parameters , simplify the network structure , and decrease the calculation .

GB/T5203-1985核反应堆安全逻辑装置特性和检验方法

Safety logic assemblies of nuclear reactor Characteristics and test methods

论传统文论的非逻辑陈述特性

Non-logic statement of Chinese classic literature theory

通过对共同问题，找到共同的描述方法得到线性时态逻辑的特性模式。

Property pattern is a manner that finds the common solution to the common problems in software specification .

以敦煌写本宅经镇宅法为个案，结合敦煌杂占文书与传统文献，可看出古代占卜文化非逻辑变通特性的存在及其影响。

Focusing on the case study of " Dun Huang Xie Ben Zhai Jing ", the paper indicates the existence and the influence of the illogical transformation in the ancient divination art .

GaAsIC逻辑门静态特性的分析

Analysis of Static Characteristics for GaAs IC Gates

利用FPGA的复杂逻辑可编程特性及DSP的高速数字信号处理特性来完成图像的快速采集、存储及数据处理。

Using the FPGA + DSP program , the digital signal processing board can complete the rapid collection , storage and processing of the image data by the programmability of complex logic of FPGA and the high-speed digital signal processing of DSP .

OV-3强调架构中交换的信息的逻辑和运作特性。

The OV-3 emphasizes the logical and operational characteristics of the information exchanged within the architecture .

论逻辑真理的特性

On the Features of Logical Truth

线性时态逻辑中的特性模式

Property patterns of linear temporal logics

逻辑网络的特性可由专门的定理和规则所确定的公式来表示。

The performance of logical networks is expressed in terms of equations that are governed by special theorems and rules .

模糊神经网络系统是根据神经网络和模糊逻辑各自的特性，并将它们有机结合在而形成的。

The fuzzy neural network system is formed by the combination of both features of the neural networks and the fuzzy logic .

虽然，不同应用背景涉及不同方面的特性描述，但是线性时态逻辑描述软件特性方式上具有共性。

The descriptions of software properties based on LTL formulas have common patterns although different applications background have to depict different software properties .

一种逻辑运算符，其特性是：当P或Q为真或者P和Q都为真时，则P或Q的值为真。

A logical operator having the property that P OR Q is true , if P or Q , or both , are true .

因此使用Boole过程的描述和计算方法能够更真实地同时对电路的逻辑功能和延迟特性进行模拟。

So we can simultaneously simulate logic functions and delay properties of digital Circuits really by description and computing methods that are based on Boole Process .

集成注入逻辑器件的物理特性

Device physics of integrated injection logic

合理控制这些因素，可以有效地提高该逻辑与门的输出特性。

So if these factors are controlled properly , the output performance of the logic AND gate can be effectively improved .

同时，将模糊逻辑与补偿动态特性的变结构制导律的模糊复合制导律在拦截性能方面均有所提高。

Simultaneously , introducing fuzzy logic into consider the dynamic characteristics of the variable structure guidance law , Most of interception performances are improved .

在现代社会，科学因具有理性、客观及逻辑实证性等特性，而被认为是一种最可靠最可信的事实认定手段。

In modern society , science is considered as one of the most reliable and credible means to find fact because of its characteristics such as rational , objective and logical positivity .

本文综述了半导体有源光学双稳逻辑器件的若干特性（双稳、逻辑及开关特性等）的实验研究现状。

In this paper an overview is presented of the current state of experimental research of some properties in semiconductor laser used for optical bistable and logical devices , such as bistable , logical and switching properties .

我们也希望能扩展生成类的功能，包括业务逻辑、授权逻辑和其他特性。

We also wanted to extend the functionality of the generated classes to include business rules , authorization rules and other features .