逻辑上

In other words, it is the allotment and the management that the need comes to a decision legal power.

最后在上述分析的基础上，对客户服务系统权限管理做了物理设计和逻辑设计。

Aiming at the complexity of DSRC (Dedicated Short-Range Communication) protocol, the fuzziness and ambiguousness resulted from the natural language of the protocol, the protocol engineering method is adop ted to guarantee the integrality, correctness, security, portability and standardization of the protocol.

针对专用短程通信协议的复杂性以及协议本身由自然语言承载、存在模糊性和二义性的特点，采用协议工程方法来保证协议的完整性、正确性、安全性、可移植性和标准化，并采用SDL对DSRC协议进行形式化描述，在此基础上提出了DSRC协议验证的步骤和实现方法，并对所开发的协议SDL模型进行验证，结果表明了协议的逻辑正确性。

Chapter 2, After analyse the structure of Internte, A layered overlay networks for Large-Scale CDN is proposed, and based on this overlay networks, we developed corresponding Hierarchical load balancing and Hierarchical Content routing antilogy .

第二章是CDN分层覆盖网，针对大型CDN覆盖网络，根据CDN的发展要求和Internet网络特点，构建具有分层拓扑结构和逻辑组织特点的大型CDN覆盖网，并在此基础上提出分级均衡和对应内容路由思想。

By this way, the obstacles are removed for the research on the theoretical problems of adaptive fuzzy logic system in a unitary frame, for instance the problem of the general fuzzy logic system as universal approximator of nonlinear function.

在概念上明确了专家信息的本质特征可以看作是来自语言的模糊信息，为通过自适应模糊逻辑系统对专家信息的研究和利用打开了通道。

Logical atomism is an important period of studying the certain knowledge in the history of philosophy, and which has important historic and immediate significance.

逻辑原子主义是哲学史上探索知识确定性的一个重要阶段，研究它具有重要的历史意义和现实价值。

And he's working on logic audio.

他在逻辑音频上工作。

According to the model, the author forecast the performance level of science and technology expenditure during the future certain years .

本文在前人研究的基础上结合逻辑模型的思想设计了区域科技支出绩效评价指标体系；收集了2000 年－ 2004 年西安的科技支出绩效统计数据；应用灰色系统理论的分析方法模拟出科技支出绩效模型，根据模型预测了未来若干年西安的科技支出绩效水平；通过灰色关联度与聚类分析，获得了决定区域科技支出绩效的因素；针对这些因素提出了改进区域科技支出绩效的建议。

The most important development in mathematical logic for the philosophy of mathematics was Godel's proof that any axiomatic system powerful enough to formalise arithmetic will be incomplete in the sense that there will be truths which are not provable within the system.

数理逻辑中最重要的数学哲学的发展是哥德尔的证明，任何公理系统足够强大以正式算术将在这个意义上不完全会有真理不属于系统内证明的。

In the aspect of forming theories, WM adopts axiomatic ways, while TCM adopts methods of thought models. Therefore, from the methodology of general science, we believe that the chief characteristic of WM is the axiomatic logical deduction adding experimenting system.

因此从一般科学方法论上看，西医总的特征是公理化的逻辑推演加实验系统，中医总的特征是取象比类的思维模型加经验系统。

We present a complete axiomatization of ADL and discuss its application to knowledge representation in multicriteria decision analysis and social network analysis.

我们提出一种矢决策逻辑的公设化系统，证明其完备性，并展现其在多准则决策分析与社交网路分析上的应用。

However, as the name（read－only memory）implies, CD disks cannot be written onorchanged in any way.

然而，正如其名字所指出的那样，CD盘不能写，也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口，替代木托盘，免薰蒸，符合欧盟、北美各国对出口货物包装材料的法令要求；喷涂钢托盘适用于重载上货架之用，托盘表面根据需要制作成平板状、波纹状及间隔形式，满足不同的使用要求。