The speed of arithmetic circuits can be improved dramatically by using this kind of dynamic logic.
使用这种动态逻辑可以大大提高运算电路的速度。
Normal logic has been moving forward towards dynamic logic from static logic in the last 50 years.
规范逻辑近半个世纪正在从静态逻辑走向动态逻辑。
In this paper, a non monotonic dynamic logic that verifies properties of security protocols is introduced.
该文提出一种论证安全协议之安全性质的非单调动态逻辑。
An extended dynamic logic is developed by using a special (infinitary) descriptive language as the building basis.
本文前半部分致力于建立一种（无穷）程序逻辑的基础。
Meanwhile, the dynamic logic manufacturing cell concept is adopted to implement the dynamic alliance of virtual enterprise and the reconfiguration of this MES.
同时，采用了动态逻辑制造单元来实现虚拟企业间的动态联盟以及敏捷化智能MES 的可重构性。
We introduce an indexed dynamic logic, give logical characterization of the concepts of practice and degree of action and negation by action by it and its variations.
文章建立了几类动态系统来刻画动态否定概念，并引入相应的语义，然后证明这些系统相对这些语义是可靠和完全的。
In order to describe the process of multi action commitments and uncommitments, the concept of transition between model state pairs in action dynamic logic was introduced.
通过引入动态逻辑中模型状态迁移概念以及相关谓词来描述多动作承诺与取消承诺时各模型状态变化及相应处理 。
Tune in then to learn how custom tags can facilitate the separation between presentation and business logic, while also letting you incorporate dynamic data into the presentation layer.
学习自定义标记如何促进表示和业务逻辑之间的分离，同时还让您可以将动态数据合并到表示层。
Dynamic proxy classes give us a way to easily handle validation on any method in a uniform way, while completely separating all of the validation logic from the core business logic.
动态代理类给了我们一种以统一方式方便地处理任何方法上的验证途径，同时把所有的验证逻辑完全与核心业务逻辑分离开。
However, you can use anonymous blocks instead to do this quickly with dynamic formatting options and simple logic flow.
不过，您可以使用带有动态格式化选项和简单逻辑流程的匿名块来更快地实现该目的。
It is not concerned with the dynamic behavior of the user interface, or even of business logic behavior.
它与用户界面的动态行为无关，甚至和事务逻辑行为也无关。
Depending on the operational requirements of the theme selection, the logic required for implementing dynamic theme selection may vary slightly.
根据主题选择的操作需求，实现动态主题选择所需的逻辑可能稍微有所不同。
Supporting dynamic forms with dynamic sets of records requires complicated code and logic.
支持包含动态记录的动态表单需要复杂的代码和逻辑。
Using dynamic proxy classes for validation is a simple and effective way to decouple validation routines from your application's core business logic.
使用动态代理类进行验证是从应用程序的核心逻辑去耦验证程序的简单而有效的方法。
We focus on dynamic content, such as integrated business logic, or newly arrived mail, which is constantly changing.
我们主要关注动态内容，比如集成的业务逻辑，或最新到达的邮件，它们都是随时变化的。
Dynamic program data from back-end business logic can also be placed at the specified location in the HTML.
也可以将后端业务逻辑中的动态程序数据置于HTML中的指定位置上。
As you cache pages that are substantially more dynamic, the expiration logic will get more complicated.
由于想要缓存的页面高度动态，所以到期失效逻辑就会变得更加复杂。
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模式，实现情况会有所不同，但决定如何同时访问静态和动态服务的逻辑是一样的。
The caching logic available in Dynamic Query Mode is able, when connected to secured metadata sources, to determine the secured access capabilities of each user as they access the data source.
当连接到安全的元数据源时，DynamicQueryMode下提供的缓存逻辑能够在每个用户访问数据源时确定安全的元数据源。
Building on top of that is a future version of ASP.NET Dynamic Data that makes it very easy to generate common, standard UI based on your domain logic.
未来版本的ASP.NETDynamicData会构建于它之上，这样可以更容易地基于你的域逻辑生成通用的、标准的UI。
If these scripts are pulled from a dynamic registry, then it provides the flexibility of modifying the logic without even restarting Synapse and disrupting the traffic.
如果这些脚本来自于动态注册中心，那么它可以提供修改相关逻辑而无需重新启动Synapse、以及干扰交易的灵活性。
This article discussed how to implement the logic to support dynamic language in WebSphere Portal.
本文讨论了如何在WebSpherePortal中实现支持动态语言的逻辑。
Business logic changes frequently (dynamic processing).
业务逻辑频繁更改(动态处理)。
Within the process invoke this event handler multiple times and create in this way a dynamic number of parallel instances of this part of the business logic.
在流程内多次调用此事件处理程序，从而以这种方式创建业务逻辑的这一部分的并行实例(其数量不定)。
Spring's ability to integrate scripted dynamic language beans makes Groovy an even more compelling choice because you can introduce additional logic and flexibility in scripted beans.
Spring可以集成用脚本编写的动态语言bean，这使人们更加喜欢选择groovy，因为可以在用脚本编写的bean中引入附加的逻辑和灵活性。
Dynamic max-covering method for simplifying combinational logic functions is presented in this paper.
本文提出组合逻辑函数简化的动态极大复盖法。
Dynamic cognitive logic is the scientific process of studying reasoning and information cha.
动态认知逻辑旨在为信息变化提供一套形式化处理办法。
In order to formalize and verify the protocol, BZL logic model is built, which based on first-order logic and introduces many-sorted, dynamic and non-monotony logic.
为了形式化验证数字现金的安全性，本文在经典一阶逻辑的基础上，吸取了多类逻辑、动态逻辑和非单调逻辑的思想，提出了BZL逻辑模型。
Internet download Manager has a smart download logic accelerator that features intelligent dynamic file segmentation and safe multipart downloading technology to accelerate your downloads.
互联网下载管理器具有智能下载逻辑加速器，具有智能动态档案分割、多重下载安全技术加速你的下载。
Internet download Manager has a smart download logic accelerator that features intelligent dynamic file segmentation and safe multipart downloading technology to accelerate your downloads.
互联网下载管理器具有智能下载逻辑加速器，具有智能动态档案分割、多重下载安全技术加速你的下载。
应用推荐