逻辑系统

The method includes establishing one reverse mapping list comprising list items; reading the mapping data recorded in the data block state list item area to the list items during system initialization; checking reverse mapping list and finding the data block in Flash memory during reading some logic block; and writing the updated data into the empty data area of one new data block, writing the mapping data between the new logic block and the new data block into the state list item area and updating the mapping data of the corresponding list item in the reverse mapping list during writing some logic blcok.

包括：建立一个由表项组成的反向映射表，一个表项对应一个逻辑块；在系统初始化过程中，将数据块状态表项区中记录的映射信息，按逻辑块号与表项间的对应关系读取到各表项中；读取某逻辑块时，以其逻辑块号作为表项索引查找反向映射表，定位到表项，根据表项中记录的映射信息，在Flash存储器件中查找到数据块；写入某逻辑块时，将更新数据写入一新数据块的空白数据区中和将该逻辑块与新数据块间的映射信息写入状态表项区中，同时更新反向映射表相应表项的映射信息。

In part one (chapter 2-3), two new methods and systems of optical parallel logic operation are studied. Triple-in Double-out shadow-casting logic operation system is proposed and realized for the first time. Based on this, optical full adder and 3-bit decoder array logic have been obtained. It is the first time to use coding pattern and different reading-writing model to realize BSO-PROM optical parallel logic operation where the time-order operation is avoided, so that the computing speed of optical parallel logic gate which uses this kind of spatial light modulator is increased, and it is successfully used in optical symbolic substitution .

在第一部分，对两种新的并行光学布尔逻辑运算方法及系统进行了研究：首次提出并实现了三输入、双输出铸影光学逻辑运算系统及其由此得到的光学全加器，并提出一种以此为基础的3-比特译码器阵列逻辑，首次利用图形编码和不同的读写模式实现了无时序操作的BSO-PROM光并行逻辑运算，大大提高了这种空间光调制器用作光并行逻辑门的运算速度，使之成功地用于光学符号代换之中。

The similarity logic calculus systems based on incomplete information and incomplete case knowledge is constructed by using a first order modal logic and a simplified second order predicate calculus. The grammar、semantics and inference rule are described.

采用传统的一阶模态谓词逻辑和简化的二阶谓词逻辑分别构建了基于信息不完整和实例知识不完整的相似性逻辑演算系统IISL和IKSL，给出了系统的语法、语义和推理规则。

The properties and expression of knowledge are discussed in brief and binary and multiple truth expression and inference of knowledge are studied focally. The neural networks which can realized the three valued logic are overviewed. The new idea of uncertain inference based on three valued logic is proposed for the first time The models of neural logic, which can realize three valued logic and uncertain three valued logic inference are proposed, too. The learning algorithm of coefficient of MVL's function based on the canonical realization of MVL network is investigated for the first time and the appropriate algorithm is proposed.

4简要地论述了知识的特征及其表现形式，重点研究了知识的真值二值和多值表示法以及基于知识真值表示法的逻辑推理；通过对目前可实现三值逻辑推理的逻辑神经元及其网络的简要回顾，指出了各自的局限性，首次提出了基于三值逻辑的不定性推理的新概念以及可实现三值逻辑和三值逻辑不定性推理的逻辑神经元模型，同时对基于这种逻辑神经元模型的推理系统的应用领域进行了探索性尝试；另外，首次对基于多值逻辑网络正规实现的多值逻辑函数的系数参数的学习算法进行了研究，并提出了相应的学习算法。

The system uses three systems structures, and developed by JSP-JavaBean-SQL Server 2000 technology. Videlicet, at foreground is realized displaying logic by JSP WebPages, in the middle used JavaBean component complete the complicated business logic inner system, at background uses SQL Server 2000 databases accomplish data logic, and design a solution for a network examination system.

系统采用的三层体系结构，JSP+JavaBean+SQL Server 2000开发，即前端由JSP网页实现表现逻辑，中间使用JavaBean的组件实现系统内部复杂的业务逻辑，后端使用SQL Server 2000数据库实现数据逻辑，并设计了网上考试系统的解决方案。

The system uses three systems structures, and developed by JSP-J**aBean-SQL Server 2000 technology. Videlicet, at foreground is realized displaying logic by JSP WebPages, in the middle used J**aBean component complete the complicated business logic inner system, at background uses SQL Server 2000 databases accomplish data logic, and design a solution for a network examination system.

系统采用的三层体系结构，JSP+J**aBean+SQL Server 2000开发，即前端由JSP网页实现表现逻辑，中间使用J**aBean的组件实现系统内部复杂的业务逻辑，后端使用SQL Server 2000数据库实现数据逻辑，并设计了网上考试系统的解决方案。

This thesis deeply researches the J2EE security strategy on the application tier of enterprise system. The security strategy predigests the information security model and meets the security requirements expediently. But there are some disadvantages when the security requirements become more complex. The expositive security on the Web-Tier can not offer more information for authentication; there is no authentication for EJB-Tier to use, make the EJB-Tier depend on the Web-Tier; J2EE uses database or application server to manage the role information. Use database to manage the role information will increase the complex of enterprise application, and the way of application server will reduce the ability of migrate other J2EE platform. To solve these problems, the thesis designs an improved security strategy model.

本文从企业级系统应用层安全的角度出发，深入研究J2EE多层体系结构的安全策略模型。J2EE提供的安全策略简化了系统的信息安全模型，能够很方便地满足基于J2EE的分布式应用系统的安全需求，但是在面对更加复杂的安全需求时，J2EE安全策略在验证授权和角色管理中还存在不足之处：其在Web层的声明式验证机制无法为用户提供更多验证信息，可扩展性较差；在EJB层缺少业务逻辑层可供采用的验证机制，而是借助于Web层的验证机制，其耦合程度较高有悖于业务逻辑分离于表现逻辑的原则；在角色管理方面，J2EE采用数据库或者应用服务器来管理角色信息，其中，数据库管理角色的方式增加了应用开发的复杂度，应用服务器管理角色降低了系统的可移植性，两者都具有片面性。

In mathematical logic, predicate logic is the formal system of universal symbolic terms, such as first order logic, second order logic, many types of logic or infinitary logic ...

在数理逻辑中，谓词逻辑是符号形式系统的通用术语，比如一阶逻辑，二阶逻辑，多类逻辑或infinitary逻辑。。。。

Considered in the whole system of distribution center, it not only assorts with others, but also satisfies its own requirements, which fully incarnates the convenience the computerized information management brings to the distribution center.

本文按照系统的观点和系统开发的基本原则，首先对物流配送中心仓储管理信息系统进行了详细的需求分析，然后对其进行数据流程的抽取和功能细化，规划出其基本功能，并对其各功能模块进行详细的设计，从而得出系统的逻辑结构；然后根据系统逻辑结构进行数据库的详细设计；并根据P公司系统本身对处理数据的要求，选用SQL Server 2000作为后台数据库，并应用开发工具VB.NET进行系统的实现。

Classic system of deontic logic is a logic about action whose new development will introduce agent concept and occas-sion concept in this system;at the same time the negative concepts will have different understandings in the deontic system and some special action concepts in relation to the negative concepts will have some special meanings.

道义逻辑的经典系统是关于行动的逻辑。这种逻辑发展的新思路是在其系统中引入主体和场合概念；同时对正规逻辑的否定概念在道义系统中作了不同的理解；和否定概念相关的一些特殊的行动概念在行动逻辑中有其特定的意义。

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.

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