This paper introduces the relevant theory, then uses the popular model checker tool SPIN and gives an example which analyzes the use of the tool against the logic properties of LTL in a …
在介绍了相关理论知识后，使用当前较为流行的模型验证工具SPIN给出一个实例，提出了利用该工具针对系统的线性时序逻辑性质进行变异分析的方法。
Each mediation primitive has a set of properties that can be configured to perform the desired mediation logic.
每个中介基元都有一组属性，能够对其进行配置以执行所需的中介逻辑。
These controls render UI properties into outputs, and sophisticated logic ensures their presentation is at the "right" place.
这些控件将UI属性呈现给输出，而复杂的逻辑确保它们的表示是在“正确的”地方。
It is also worth mentioning that the discovery logic depends upon the existing dimensional properties of the model.
此外，值得一提的是，发现逻辑取决于该模型的现有维度属性。
As shown in the above code, the idea is to implement the required business logic and then either prepare the Properties object or else pass the file name so that the custom FTP class is invoked.
如以上代码所示，我们要先执行所需的业务逻辑，然后准备Properties对象，或者传递文件名，以便调用自定义ftp类。
A class level constraint has access to the bean instance rather than one of its properties and applies some constraint logic based on several properties.
类级别的约束能获取Bean实例，而不是它的某一属性，还能应用一些基于若干属性的约束。
Of course you can add new properties and apply additional logic.
当然，可以添加新的属性和额外应用逻辑。
Of course, you can put the properties and logic in it.
当然，你可以把它的性质和逻辑。
In other words properties of binary relation are expressed by logic formulae through introduce corresponding predicate.
换句话说，就是通过引入相应的谓词，将二元关系的性质用逻辑公式来表示。
The systems are usually described by the timed automata and the properties are specified by the temporal logic.
这类系统通常用时间自动机来表示，而它们的性质则用时序逻辑公式表示。
The properties of the operators of modal logic system S5 is investigated, then a theorem is proved about its primitive operator set, and some corollaries are given.
探讨了模态逻辑系统s5的运算子性质，进而证明关于它的本原运算子集的一个定理，并给出一些推论。
In this paper, a non monotonic dynamic logic that verifies properties of security protocols is introduced.
该文提出一种论证安全协议之安全性质的非单调动态逻辑。
Some properties about the differentiation of the fuzzy logic function are studied and its calculation methods are also presented.
研究和提出了有关模糊逻辑函数微分的一些性质和计算方法。
Suggests a distributed operator logic based on evidence, which follows from the concept of relation number in the SPA, and discuss its properties.
根据SPA中联系数的概念，提出了一个基于证据的分布算子逻辑，并讨论了其性质。
The paper gives a definition of intuitionistic fuzzy logic "negation" operators and also discusses some of its properties.
给出了直觉模糊逻辑非算子的定义，讨论了非算子的一些性质。
Firstly, on the basis of implication, originating from the limited Disturbing Fuzzy Propositional logic, discusses its logic algebra and the properties of its generalized tautology.
首先以蕴涵算子为基础从有限扰动模糊命题逻辑出发，讨论其逻辑代数及广义重言式的性质。
In this paper several comparison logic operations are introduced, and their expressions, relative properties and application in processing logical functions are discussed.
本文引入几种比较运算，并讨论了它们的表示、有关性质及其在处理逻辑函数中的应用。
Having the Promela code describing the component behavior, one can efficiently check for the behavior compatibility and LTL (Linear Temporal Logic) properties of cooperating software components.
由于使用了代码来描述构件行为，就可以有效地检查协作构件之间的行为兼容性和LTL(线性状态逻辑)性能。
In this paper, set pair inference according to set pair analysis is introduced. Some basic logical inference operations and properties about set pair logic are discussed.
利用集对分析，提出了集对逻辑推理，并讨论了集对逻辑推理的有关性质和运算。
At last, we discuss the properties and computation of the statistical default logic, at the same time, we define and study the properties and proof theory of the normal statistical default logic.
最后，本文讨论了统计缺省逻辑扩充的性质与计算，并定义和研究了闭正规的统计缺省逻辑的性质及其证明理论。
You can add validation rules, database connections, loop and branching logic and other properties.
您可以加入验证规则、资料库连接、回圈和分支逻辑，以及其他属性。
The properties of Boolean difference are made use of to derive a new method for fault testing in combinational logic circuits. This method is simpler and different from the traditional one.
本文利用布尔差分的性质，给出了一种不同于传统的求组合逻辑线路故障测试码的新方法，对故障测试有一定的简化作用。
You should expose properties instead of public fields from your components, because properties can be versioned, they allow data hiding, and the accessor methods can execute additional logic.
您应该公开组件的属性而不是公共字段，因为属性的版本可以控制，它们允许数据隐藏，并且访问器方法可以执行附加逻辑。
Through combining Fuzzy logic with PID controller and adjusting control parameters in on-line ways, it can perfect the properties of PID controller and improve the precisions of control system.
接着将模糊控制器和PID控制器通过自适应因子结合起来，在线自调整控制参数，进一步完善了PID控制器的性能，提高了系统的控制精度。
These controls render UI properties into outputs, and sophisticated logic ensures their presentation is at the "right" place.
这些控件将UI属性呈现给输出，而复杂的逻辑确保它们的表示是在“正确的”地方。
Within the logic level the characteristics of a system are described by logical links and their timing properties.
在逻辑门级，系统的特性使用逻辑链路和它们的时间属性。
The logic for the data-binding should be implemented within this method, and can be specific to the type or types that the handler is binding a property or properties on.
数据绑定的逻辑应在此方法内实现，并且此逻辑可以特定于数据绑定处理程序要将属性数据绑定到其上的类型。
The logic for the data binding should be implemented within this method, and can be specific to the type or types that the data-binding handler is to bind a property or properties on.
数据绑定的逻辑应在此方法内实现，并且此逻辑可以特定于数据绑定处理程序要将属性数据绑定到其上的类型。
The logic for the data binding should be implemented within this method, and can be specific to the type or types that the data-binding handler is to bind a property or properties on.
数据绑定的逻辑应在此方法内实现，并且此逻辑可以特定于数据绑定处理程序要将属性数据绑定到其上的类型。
应用推荐