逻辑系统

In returnable system there are kinds of switch styles on positive and negative two group rectification bridger,the higher reliability is no cycle current switch ing,writer designed the logical no cycle current returnable system.

而可逆系统中正、反两组整流桥的工作切换方式有几种，可靠性较高的是无环流切换，笔者设计了逻辑无环流可逆系统。

Secondly, we will present some variants of the update semantics with dichotomic definition, and thus prove the frame soundness of some epistemic systems and conditional systems with respect to the variants.

其次，我们提出带两分定义的更新语义的某些变种，从而证明某些认知系统和条件句系统相对这些变种有框架可靠性。中山大学逻辑与认知研究所；中山大学哲学系

The model designs an extensible authentication to replace the way which the expositive security uses on Web-Tier and an authentication for controlling the accessing to the protect resource on EJB-Tier. The improved model uses directory server to manage the role information. It reduces the complex of application development, and increases the ability of migrate other J2EE platform.

针对以上不足，本文提出了改进的安全策略模型，在Web层设计可扩展的验证模块来代替原来声明式安全采用的验证机制；在EJB层设计验证模块用于对业务逻辑资源的访问控制；在角色信息管理方面，使用目录服务器存储用户角色，来降低系统开发复杂度，提高系统的可移植性。

In the end, our conclusion is that the evaluation and selection model of suppliers is feasible, which is analyzed macroscopically from the circumstances and microscopically from the enterprises

本文提出了供应商评价和选择系统的逻辑模型、原理结构和功能结构。最后，从微观企业角度和宏观环境角度，详细分析和论证了所构建的原型系统的可行性。

An adaptive fuzzy control system for 300kA prebake aluminum production cells was designed, which includes the sampling, transmission and pretreatment of the parameters, the database and fuzzy logical determination, the parameter recognition and adaptivity of the fuzzy rule and actuor.

摘 要：采用自适应模糊技术，设计了300kA预焙槽电解质温度和初晶温度的控制系统。该系统包括参数采集，参数网络传输和参数预处理，专家知识规则库、模糊逻辑决策，参数辨识、模糊规则自适应，人机界面和执行机构等模块。

DK77 HE Series electric spark digital controlling machine tool High Efficiency and fine quality Multi-technical breaking-through, six paten honored Low price, high quality All-closed loop control, automatic multi-cutting, automatic machinery precision error compensating and highly intellectual Highest precision≤0.008mm Highest smooth finish rate, Ra≤0.58um and reedless Great benefits: at Ra≤1.2um, the process speed could obtain 75mm2/min Highly integrated: clear circuit, strong stability, reliable and easy to fix Unique wire winding system employed, smooth running, noiseless and long useful life Industry controlled computer system, PLC logical control and functional module design materialize the low error rate

DK77□□HE系列高性能电火花数控线切割机床惊人的效率、优良的品质多项技术性的突破、集六项专利于一身慢走丝的效果、快走丝的价格全闭环控制、自动多次切割、自动补偿机械精度误差、智能化程度高最高精度≤0.008mm 最高光洁度Ra≤0.58um，表面无条纹高效益：在Ra≤1.2um时，加工速度75mm2/min 高集成化：电路清晰、稳定性高、安全可靠、维修方便采用独特的运丝系统，运行平稳、无噪声、寿命长采用工业控制计算机系统、PLC逻辑控制、功能模块化设计，使产品故障率大大降低。

Combining with co-evolution mechanism, we renewedly defined the several aspect of the co-evolutionary agent, such as the belief, action, communication, decision maker, and so on. We made the co-evolutionary agent model and actual world model become a uniform closed loop system, and established the symbol deduction theory model of multi-agent system based on co-evolution mechanism.

结合协进化机制，从符号演绎逻辑的角度重新定义了协进化智能体的信念、动作、通信、决策器等各个方面，将协进化智能体模型与实际世界模型形成一个统一的闭环系统，并建立了基于协进化的多智能体系统的符号演绎理论模型。

Subsequently, 2002, IBM further, dynamic and logistic partition was joined in its AIX5L V5.2 technology, this one technology allows an user revolutionarily to be in need not restart systematic circumstance falls, processor, memory and other component inside the partition that systematic resource allocation gives independence.

随后，在2002年，IBM更进一步，在其AIX5L v5.2中加入了动态逻辑分区技术，这一技术革命性地允许用户在无需重启系统的情况下，将处理器、内存以及其他组件在内的系统资源分配给独立的分区。

Main components and their function of logic layer are introduced in detail, realizing of sewless integrating of GIS and OA is explained in this thesis, realization of some figure function of the System is explained also.

本论文还详细介绍了系统应用逻辑层的主要组件及其功能，阐述运用ComGIS技术实现GIS与办公自动化的无缝集成，以及系统部分图形功能的实现。

To update test technical system and build informatized test range, we discuss the establishment of informatized test technical system for naval military equipment, present an idea of multi-sensor information fusing based on network environment, and propose a concept for realizing the unidirectional transparentness of the test using multi-dimensional sensing systems, and establish a dynamic equation of the "quantized" equipment test system.

这一目标的提出，需要信息化试验技术体系的支撑。本文对创建海军军事装备信息化试验技术体系进行了探讨，论述了信息化试验技术体系的一些基本问题，并以知识处理为该技术体系的逻辑起点，提出了基于网络环境的多传感器信息融合思想，以及采用多维感知系统实现试验单向透明等概念，建立了装备试验系统&量子化&的动力学方程，旨在为建立装备信息化试验技术体系做有意义的探讨，这对提高信息化靶场的鉴定和试验能力具有现实意义。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。