证明:由公理模式和分离规则构成的命题逻辑公理系统不具有语法完全性。
And I prove the formal axiomatic system of prepositional logic that is made up of axiomatic Mode and the Rule of Detachment does not possess syntactic perfectibility.
在这个例子中,这个定义的规则集包含两个分离的规则和一个一个整体目录。
In this example, the defined rule Set includes two separate rules and one entire category.
业务规则—业务决策逻辑是与核心应用逻辑分离的。
Business rules - the business decision logic is separated from the core application logic.
授权决定可以从应用程序分离并放进一套陈述性规则当中,即可把输入的安全声明转化为应用程序可识别的声明。
Authorization decisions can be pulled out of the application and put into a set of declarative rules that can transform incoming securing claims into claims that applications understand.
将规则从其他服务分离出来,可以在不影响其他服务的前提下更新规则。
The separation of the rules from other services enables the rules to be updated without affecting the other services.
如果需求、规章、策略或规则覆盖模型中的很多类、流程中的很多任务,分离出来的规则就要被明确地表示出来。
If a requirement, regulation, policy or rule spans many classes in the model and many tasks within the process, externalized rules are strongly indicated.
不幸的是,异常行为会违反良好的Web架构的一条规则:保持UI和逻辑分离。
Unfortunately, the out-of-the-box behaviors violate one of the rules for good Web architecture: Keep the UI and logic separate.
规则引擎中包含的外部化业务逻辑与主要操作代码和服务分离,允许更快地进行业务流程更新。
Externalized business logic contained in a rules engine separate from the primary operational code and services allowed for faster business process updates.
分离业务规则和技术代码,将业务规则放入一个中央规则存储库中。
Separation of the business rules from the technical code into a centralized rules repository.
虽然以这种方式分离业务规则在架构上是一种良好的实践,但是Lombardi只提供了非常基本的规则功能。
While separating business rules in this way is an architecturally sound practice, Lombardi offers only a fairly rudimentary rules capability.
外部化的业务规则:mdi中的规则引擎已与操作代码分离,可提供灵活性,能在无需重新编码的情况下针对新业务情况进行调整。
Externalized business rules: rules engine in the MDI is separated from operational code, for increased flexibility to adjust to new business conditions without recoding.
相反,下面这个例子将会展示业务规则如何从需求陈述中分离出来。
By contrast, the following example demonstrates how business rules can be separated from requirement statements.
不过,即使DAL将数据访问的细节从表示层中分离出来了,可它却不能处理任何的业务规则。
However, while the DAL cleanly separates the data access details from the presentation layer, it does not enforce any business rules that may apply.
为了分离同一台服务器中的规则,您可以在单个库中使用多个工作区。
To separate rules within a server, you could use multiple workspaces within a single repository.
首先,CAM将结构与业务规则分离开来。
通过服务使流程与规则分离,意味着封装规则的服务不操作流程的数据结构。
This decoupling of processes and rules, through the use of services, means that services that encapsulate rules do not operate on the data structures of the process.
如果我们考虑到将来的需求, 那么将看到流程规则(Processes Rule)层更细粒度地分离成私有(Private)流程和公共(Public)流程。
If we took future requirements into account, we would see a more finely-grained segregation of the Processes Rules tier into Private and Public processes.
根据所谓的“沃尔克规则”,风险较高的自营业务将与传统银行业务分离。
Under the so-called "Volcker rule", riskier proprietary trading operations would be separated from more traditional banking.
根据诊断知识的利用方式,可以将故障源分离与定位技术分为基于模型的方法与基于规则的方法两大类。
According to the ways of using the diagnosis knowledge, can fault source separation and location technology based on the method and model are divided into two kinds of method based on rules.
本文运用了将知识库、规则库与推理机分离的思想,使系统更易于维护。
According to the idea of separating repository, regulation base and inference engine, this system will be managed easily.
计算结果表明:气动力系数及分离泡呈规则的周期性变化,证明方法是成功的、可行的。
The results show that the force coefficients and separation bubble are periodic, which indicates the method is correct and feasible.
这些包括了冲突法令和实体法规则,这些规则形成一个特殊的层级,可以从没有直接创造权利的国际条约中分离出来。
The international agreements containing conflict norms or substantive law rules form a special class and can be well separated from international agreements that create no direct rights.
MSU和SBA等具有规则孔道结构的介孔硅基分子筛及其杂原子衍生物在多相催化、吸附分离及材料科学领域有重要的学术研究与工程应用价值。
The M41S, HMS, MSU, and SBA silica based crystalline mesoporous molecular sieves are of great academic and practical importance in catalysis, absorptive separation technology, and materials science.
通过将模型验证规则与模型验证引擎相分离的方式,提高了验证机制得可扩展性和灵活性。
By separating the model checking rules and the model checking engine, the scalability and agility of the checking mechanism are improved.
利用数字滤波,建立了时域分离入、反射不规则波的计算方法。
The results of the numerical model test show that the method is very effective for the separation of the incident and reflected irregular wave.
将数据的转换阶段单独分离出来,同时提供数据转换重用机制,将那些可以重用的规则保存下来以便于日常增量数据的定时抽取、转换及加载;
The data transform stage is separated, while provides data transform reuse mechanisms, who may save the rules and use its for extracting the daily incremental data, transform and loading;
打破这分离几率的第一步就是扔掉你的规则手册!
The first step in beating the odds is to throw away your rule books!
系统包括分离综合问题的表达,物流旁路及分离的可行性分析,应用有序经验规则进行分离综合几个部分。
The system consists of some basic tools for problem representation, bypass and split feasibility analysis, and separation synthesis.
系统包括分离综合问题的表达,物流旁路及分离的可行性分析,应用有序经验规则进行分离综合几个部分。
The system consists of some basic tools for problem representation, bypass and split feasibility analysis, and separation synthesis.
应用推荐