逻辑系统

The method retains compatibility with existed applications and architectures, and also takes advantage of the block buffer of file system to enhance system performance.

CMDS-MSS是在服务器的文件系统之下、设备驱动程序之上采用虚拟技术实现存储空间的单一逻辑视图的一种方案，它既保持了对现有应用和体系结构的兼容性，同时又可充分利用文件系统的块缓冲区来提高系统的性能。

On the basis of systematic formalization description and Petri network theory and it analyzes the internal logical relation and dynamic behavior of closed yard coal wharf logistics system, also the dynamic model of this system.

基于系统的形式化描述和Petri网理论，分析了煤炭码头物流系统的内部逻辑关系和动态行为，进而建立了系统的动态模型。

Firstly,the thesis introduce his deontic logic system.

作者认为，马利的系统虽然存在着一些不足，但这些不足并没有人们想象的那么严重，只需稍做改进，其系统并不比其他逻辑学家提出的系统逊色。

Firstly concept, development and effect of ERP system are introduced, and a data logic management for material management based on the ERP system is put forward.

首先介绍了企业资源计划ERP系统的概念、发展、作用，并依据ERP系统提出了物资管理信息系统的数据处理逻辑。

1Analyzing the various characteristics of quantified structures in Chinese by means of Generalized Quantifier Theory;(2)Extending the function of fragment of natural language. That is, this fragment can not only generate syntactically arguments, including square of opposition and syllogisms, in terms of quantified sentences in Chinese, but interprets semantically the logical validity of those arguments;(3) It is a new study from cognition to generate and interpret the arguments in fragment of natural language.

刻画量化结构及其推理的汉语部分语句系统，其价值如下：（1）运用广义量词理论的方法分析汉语量化结构的各种特征；（2）扩大自然语言部分语句系统的功能，不仅从句法上可以生成由汉语量化句表述的包括对当关系和三段论在内的推理，还能够从语义上解释这些推理句的逻辑有效性；（3）在自然语言部分语句系统内生成并解释推理，这是从认知角度研究推理的新视角。

That is , this fragment can not only generate syntactically arguments , including square of opposition and syllogisms , in ter ms of quantified sentences in Chinese , but interprets semantically the logical validity of those arguments 3 It is a new study from cognition to generate and interpret the arguments in fragment of natural language .

刻画量化结构及其推理的汉语部分语句系统，其价值如下：(1)运用广义量词理论的方法分析汉语量化结构的各种特征；(2)扩大自然语言部分语句系统的功能，不仅从句法上可以生成由汉语量化句表述的包括对当关系和三段论在内的推理，还能够从语义上解释这些推理句的逻辑有效性；(3)在自然语言部分语句系统内生成并解释推理，这是从认知角度研究推理的新视角。

Aiming at simpling the structure of numerical control system, and decreasing the cost and difficulty of development, a numerical control system based on the programmable logic controller was designed for a stereolithography apparatus machine with utilizing the prominent feature of the easy development and higher reliability of the PLC.

为简化光固化快速成形数控系统的结构、降低系统开发的成本和难度，结合所设计的成形设备特点，利用可编程逻辑控制器具有的开发简单、性能可靠等优点，设计了一个基于PLC的光固化快速成形数控系统。

And then the design program of the rail traffic engineering safety management system is given, including system the login module, the basic information about traffic engineering module, the management of day-to-day safety inspection data module, orbital traffic engineering data management module, the leadership of the decision-making module, database management and backup module, additional features module.finally, summarize the whole progress of development of the system and give outlook of it, at the same time, propose the further study and some parts that need to be improved.

运用改进的动态规划算法来规划和管理轨道交通工程建设的工期。开发的同时进行系统调试，使每个子系统的功能都能按照预先设计的要求实现。同时还分析了各子系统之间的逻辑关系，对系统部署和运行实施作了适当的探讨。最后，对系统开发的详细过程进行总结和展望，提出有待进一步研究和改进的部分。

The software not only displays an operating map of the railcar system but also simulates its physical and logical features including system layout, driving control, data communication, management, services and failure handling, etc.

所完成的软件不仅要显示轨道交通系统的运行图，而且要尽量逼真地模拟其物理状态和逻辑状态，从系统布局、行驶控制、数据通信、运营服务、故障处理等多方面来体现一个真实系统的实际状况。

They include Positivists" system, Popper"s system, Mertons system.

其中有：逻辑实证论的认知规范系统：波普尔的认知规范系统；作为广义认知规范系统的默顿规范。

For a big chunk of credit-card losses; the number of filings (and thus charge-off rates) would be rising again, whether

年美国个人破产法的一个改动使得破产登记急速下降，而后引起了信用卡大规模的亏损。

Eph. 4:23 And that you be renewed in the spirit of your mind

弗四23 而在你们心思的灵里得以更新