Normal logic has been moving forward towards dynamic logic from static logic in the last 50 years.
规范逻辑近半个世纪正在从静态逻辑走向动态逻辑。
Your implementation will differ, depending on own your MVC pattern, but the logic determining how you access static and dynamic services at the same time will remain the same.
根据您的mvc模式，实现情况会有所不同，但决定如何同时访问静态和动态服务的逻辑是一样的。
Each constraint (beyond implementing the validation logic), describes how it can be projected on a set of predefined static constraint dimensions.
每个约束(不只实现了验证逻辑)描述了它如何能投映到一组预定义的静态约束范围内。
Static verification offers the promise of finding many common errors in program logic such as possibly improper use of a method at compile time as opposed to at runtime.
状态检验(Static verification)可以查找多种通常的程序逻辑错误，如不恰当的使用一个在编译时而不是运行时的方法。
Here is some of the logic for the static client.
下面是静态客户机的一些逻辑。
At my company, we Are Mammoth, we've used X2O for the last two years developing everything from microsites with static content to data-heavy interactive applications with a lot of business logic.
过去两年中我们公司(WeAre Mammoth)已经使用X2O开发了很多东西，从只有静态内容的简单站点到包含很多业务逻辑的拥有大量数据的交互式应用。
Custom validators can contain detailed logic to examine the elements of a topology through the API, such as the static methods of the ValidatorUtils class.
定制确认器可以包含具体的逻辑，以通过API检查拓扑的元素，例如validatorutils类的静态方法。
When you have more complicated logic to initialize static member variables, create a static constructor.
当你有更复杂的逻辑来初始化静态成员变量时，请创建静态构造函数。
Similar logic applies to static methods.
类似的逻辑也适用于静态方法。
The robot has used the fuzzy logic control algorithm to static obstacle avoidance, and through experimental verification this algorithm feasibility.
对机器人静态避障采用了基于模糊逻辑的控制算法，并通过实验验证了该算法的可行性。
This paper presents a method to execute logic programs in AND - parallelism based on static data analysis.
本文描述了采用静态数据分析实现逻辑程序“与”并行的方法。
The instruction generator and logic control units are the chief components of the industrial contactless programmed control system (or static switching control systems).
指命发生器及逻辑控制部件，常常是工业无触点程序控制系统(或静止开关控制系统)中的主要组成部分。
This paper has applied the combined analysis method of the history and logic, theory and practice of inductive link, static and dynamic analysis depicting.
本文采用历史与逻辑相统一、理论归纳与实际浅析浅析相联系、静态描摹和动态浅析浅析相结合的研究策略。
However, fuzzy logic is only to represent static concepts. It can not deal with the dynamic modeling.
但模糊逻辑解决的是一些静态的概念，对于动态的描述，则无法建模处理。
Normal logic has been moving forward towards dynamic logic from static...
规范逻辑近半个世纪正在从静态逻辑走向动态逻辑。
According to the theory of Tri-partitioning of Epistemic Worlds, static deniable proposition logic system of Deny can be established on the basis of class.
在三分认知世界理论的基础上讨论拒斥模态与拒斥认知命题是恰当的。
According to the theory of Tri-partitioning of Epistemic Worlds, static deniable proposition logic system of Deny can be established on the basis of class.
在三分认知世界理论的基础上讨论拒斥模态与拒斥认知命题是恰当的。
应用推荐