但是，除了形式化逻辑外，我们还需要论证逻辑。
Besides formalized logic, however, logic of arguments should be included in the curriculum.
Angular会重新运行每个组件的初始化逻辑。
XHR文件解释XMLHttpRequest对象的初始化逻辑。
The XHR file explains the logic about initializing the XMLHttpRequest object in a browser-agnostic way.
将规范化逻辑数据模型转换为非规范化多维逻辑数据模型。
Transforming the normalized logical data model to a de-normalized dimensional logical data model.
这也是环境的概念，使得自动化逻辑能够在运行时建立价值。
There is also the concept of environments, which enables the automation logic to bind values in run time.
我们将在此刻把这个属性添加到我们的非标准化逻辑维度模型。
We will add this to our de-normalized logical dimensional model at this point of time.
讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.
在可视化逻辑编程方面文章给出了一种适合本装置的可视化编程的实现方案。
In terms of the visual logic programming, the thesis proposes the visual logic programming well applied in the equipment.
类的这种重构也会改进代码，因为我们将初始化逻辑从对象的构造函数分离出来了。
This refactoring of the class also improves the code so that we have separated the initialization code from the object construction code.
对UML2中的序列图的符号集合的改变，已经在序列化逻辑建模方面取得巨大的进步。
Changes to the sequence diagram's notation set in UML 2 have made vast improvements in modeling logic in sequences.
他们不想将他们的持久化逻辑与域实体混合起来，他们想为他们的实体使用POCO对象。
They don't want to mix their persistence logic with their domain entities. They want to use POCO objects for their entities.
CloudResource扩展了托管资源，在需要时支持分布式事务和状态持久化逻辑。
The CloudResource extends the managed resource to include distributed transactions and state persistence logic, if needed.
本文通过研究一个来自保险行业的实际示例，尝试揭开能将结构化逻辑分类成为业务规则的秘密。
This article tries to solve that mystery of what differentiates a structured logic to be classified as a business rule by looking at a real-world example from the insurance industry.
下一个任务是初始化和格式化逻辑卷jfs2log_lv，以便可以将它用作jfs2log。
The next task is to initialize and format the logical volume jfs2log_lv so it can be used as a jfs2 log.
结合图形化逻辑软件平台，展示了图形化逻辑在实现各种备自投方案所具有的灵活、高效的特点。
On a graphic logic SW platform, different automatic bus transfer schemes can be realized on a graphic logic software frame, which features hing efficiency, flexibility and re-liability.
这段代码定义私有变量(除非注释为shared的，否则所有元素都是不可见的)，然后定义初始化逻辑。
This code defines the private variable (nothing is visible unless annotated as Shared), and then the initialization logic.
介绍适用于超高压变电站自动化系统的单元化逻辑闭锁装置，该装置能方便、灵活地实现变电站间隔级闭锁。
The unit style logic interlock device used in ultrahigh voltage substation automation system is introduced, which can easily implement the bay-level interlock.
而形式化逻辑分析方法可以在协议实施之前就用严格可靠的方法对其进行分析验证，是一个最有前途的研究方法。
But the formal logic analysis system can validate it in a credible and strict way before protocol was applied, it is one of the most promising way for protocol checking.
然而，现在我们在测试过程中只能够传递一个布尔值false给构造函数，以避免调用init方法和所有不必要的初始化逻辑。
However, now we can just pass a Boolean false to the constructor during our tests to avoid calling the init method and all the unneeded initialization logic.
建立到数据存储的连接、查找标注为实体的所有类、配置持久化逻辑以将这些类绑定到数据存储中的实体，整个过程不可能快速完成。
Setting up connectivity to a data store, finding all classes annotated as entities, and configuring the persistence logic to bind these classes to entities in the data store is not a quick operation.
有关如何为JMS内容创建序列化逻辑的更为详细的描述，请参见使用JMS和WebSphereESB构建强大而可靠的SOA。
For a more detailed description of how to create your own serialization logic for JMS content, see Building a powerful, reliable SOA with JMS and WebSphere ESB.
最后想指出的是，我们通过对验证逻辑在信息安全方面的一些尝试和研究，说明了形式化逻辑方法确实可以在这个领域上发挥重要作用。
Finally, through the attempt and research on verification logic in the field of information security, we point that formal logic method is sure playing a main role in it.
这种方式完美地诠释了DRY (DontRepeat Yourself)准则，因为持久化逻辑只实现一次，在需要的时候可以多次混合到领域类中。
This approach perfectly epitomizes the DRY (Don't Repeat Yourself) principle, since the persistence logic is implemented once and mixed in domain classes as many times as needed.
尽管XML在内部存储为层次化格式，但逻辑上，在数据库表中，它似乎存储在CLOB或BLOB中。
Although internally the XML is stored in a hierarchical format, logically in the database table it appears to be stored in a CLOB or BLOB.
在决策问题上，我是个非常逻辑化、非常爱思考的人。
I'm a very logical, thoughtful person when you're talking about trying to decide something.
下一个部分将探索如何将结构化的逻辑定义为业务规则。
The next section explores what makes structured logic to be defined as a business rule.
如果您有很多实现相同逻辑的程序，那么可以通过UDF标准化该逻辑，并让所有这些程序使用相同的实现。
If you have many programs that implement the same set of logic, a UDF will allow you to standardize the logic and have all the programs using the same implementation.
如果您有很多实现相同逻辑的程序，那么可以通过UDF标准化该逻辑，并让所有这些程序使用相同的实现。
If you have many programs that implement the same set of logic, a UDF will allow you to standardize the logic and have all the programs using the same implementation.
应用推荐