最后，我们证明KA相对这个框架条件也是框架完全的。
Finally, we prove the frame completeness of KA with respect to the frame conditions as well.
最后，我们证明AKC相对这些框架条件也是框架完全的。
Finally, we prove the frame completeness of AKC with respect to the frame conditions as well.
最后，我们证明DEC1相对这些框架条件也是框架完全的。
Finally, we prove the frame completeness of DEC1 with respect to the frame conditions as well.
最后，我们证明DEC2相对这些框架条件也是框架完全的。
Finally, we prove the frame completeness of DEC2 with respect to the frame conditions as well.
其次，我们建立命题型的择类语义，给出描述上述系统的特征公理的框架条件。
Secondly, we introduce a prepositional class-selection semantics, give the frame conditions of the character axioms of the systems.
论文从欧元生成的历史逻辑、内在机制和框架条件等三个方面说明了欧元的生成机制。
It tries to illustrate the mechanism of the birth of Euro from the three aspects as historic logic, intrinsic mechanism and framework conditions.
其次，我们引入关系语义，给出描述KA的特征公理的框架条件，证明KA相对这个框架条件是框架可靠的。
Secondly, we introduce the relation semantics, give the frame conditions of the character axioms of KA, prove the frame soundness of KA with respect to the frame conditions.
其次，我们引入有序邻域语义，给出描述DEC2的特征公理的框架条件，证明DEC2相对这些框架条件是框架可靠的。
Secondly, we introduce the order neighborhood semantics, give the frame conditions of the character axioms of DEC2, prove the frame soundness of DEC2 with respect to the frame conditions.
其次，我们引入有序邻域语义，给出描述DEC1的特征公理和规则的框架条件，证明DEC1相对这些框架条件是框架可靠的。
Secondly, we introduce the order neighborhood semantics, give the frame conditions of the character axioms and rules of DEC1, prove the frame soundness of DEC1 with respect to the frame conditions.
但是应该注意一点，由于这不是正式的JAX - RS框架基准测试，改变负载和测试条件可能会导致不同的结果。
However, it is important to note that because this is not a formal benchmark for JAX-RS frameworks, varying loads and testing conditions might cause different results.
框架的约束处理模型包含一个指针，为BICS文档中的约束指定了成功处理条件的类型。
The framework's constraint processing model contains an indicator that specifies the type of successful processing conditions for the set of constraints within a BICS document.
但由于基线条件并不调用任何其他函数，所以无需从堆栈框架加载链接寄存器——值还在原处。
However, since the base case doesn't call any other functions, you don't need to load the link register from the stack frame — the value is still there.
监管者有权在公认的框架下规定资本重组的条件。
Regulators would be given the legal authority to dictate the terms of a recapitalisation, subject to an agreed framework.
在该方法中，您可以选择从JUnit框架执行任意数量的断言，以确定给定的条件或给定的状态是否是您期望的。
In this method, you have the option of performing any number of assertions from the JUnit framework to determine if a given condition or a given state is what you expect.
这些文档详述了能够使用Shale的条件和能够对框架做哪些修改。
They detail the conditions under which you can use Shale and the modifications you can make to the framework.
省去所有麻烦：使用了PHP框架后，你将不再需要手工输入表单的验证条件。
Get all the help you need: When you use a PHP framework, you no longer need to manually enter all the validation criteria for forms etc.
您应当已经完成了第1部分，该部分介绍了如何安装这三个框架及使用三个框架必须满足的先决条件。
You should have already gone through Part 1, which covers installation and prerequisites for each framework.
如果请求满足这些先决条件，则可以将Portlet内容嵌入到窗口框架中。
If the request meets these prerequisites, you can embed the portlet content into a window frame.
您应当已经阅读过第1部分至第4部分，这些部分介绍了安装、先决条件、初始应用程序构建和扩展，以及适用于每个框架的Ajax。
You should have already gone through Parts 1-4, which cover installation, prerequisites, the initial application build and extension, and Ajax for each framework.
我们还是可以使用WebForms框架中的部分控件和一些技巧，不过前提条件是它们不能依赖PostBack。
Some of the controls and techniques from Web Forms can be still be used, but only if they don't rely on post backs.
虽然安装Shale并使之工作要花费更多的精力，但是它完全有条件成为特别流行的Web开发框架。
It's a bit rough around the edges and will certainly take some extra effort to get set up and working correctly, but it has all the makings of an exceptionally popular Web development framework.
采用本方案建立起来的统一身份认证系统为国家科技基础条件平台的建设提供了安全认证框架。
The unified authentication system using this authentication scheme builds up the secure authentication frame of National Fundamental Resources Platform of Science and Technology.
这个假设是我们的框架完美地运行其俩的先决条件。
This assumption then is a necessary prerequisite for our framework to function faultlessly.
框架木箱是大型木包装箱，它的内装物最大重量和最大外尺寸是根据通常的运输条件确定的。
Wooden framed box is a large wooden box, the contents of maximum weight and maximum outside size is usually determined according to the conditions of carriage.
在工艺设计框架阶段，对工艺条件进行研究(例如，选择物料，选择生产工艺等等)，然后导出控制策略。
At the stage of the process design framework conditions are developed (such as selection of materials and of the manufacturing process and so on) that will then lead to a control strategy.
这是结合轻巧的聚氨酯框架保持灵活，甚至在冰冷的条件。
It's combined with a lightweight urethane frame that stays flexible, even in icy conditions.
该框架提供了基于SQL和基于对象化条件的对象查询方式。
This framework provided object query manner based on SQL and object-oriented condition.
该框架提供了基于SQL和基于对象化条件的对象查询方式。
This framework provided object query manner based on SQL and object-oriented condition.
应用推荐