逻辑

Keywords: logic of tasks;decidable;description language;multi-agent system;organization model

将所构造的逻辑系统应用于具有组织的多主体系统行为建模，建立了基于描述任务逻辑的多主体组织模型和建模框架，并且表明应用描述任务逻辑构造应用系统具有表达能力强、结构紧凑的特点。

In the former representation, if no restrictions are imposed on formulas, then there is no algorithm to realize the reasoning in the resulted knowledge base; in the latter representation, the reasoning in the ontology represented by the description logic is decidable, while in general, for mathematical knowledge described by the first order logic which contains the ontology represented by the description logic, there is no algorithm to realize its reasoning.

在前者的表示中，如果对公式不作任何限制，那么得到的知识库中的推理不是可算法化的；在后者的表示中，以描述逻辑描述的本体中的推理是可算法化的，而以本体为逻辑语言的一部分的一阶逻辑所表示的数学知识中的推理一般是不可算法化的。

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采用数据库或者应用服务器来管理角色信息，其中，数据库管理角色的方式增加了应用开发的复杂度，应用服务器管理角色降低了系统的可移植性，两者都具有片面性。

On the basis of I and Q meanings , this paper focally compares and contrasts default logic with deductive logic , and representatively analyses defaults such as prototypicality , etc .

在分析I和Q假定意义的基础上定点比较，对照了缺省逻辑与演绎逻辑的差异，并有代表性地分析了支持缺省逻辑推导的知识项如原型等。

The results from statistic data analysis using the statistic software SPSS15.0 for descriptive statistics, chi-square evaluation, laddered logistic regression, factors analysis, credibility analysis, variables analysis, and multiple comparison are as follows: I. An analysis of the prominently related variables with whether or not to receive cervical smear screen of tendency factors, enabling factors and needs factors by using the logistic regression model was performed.: 6 variables of tendency factors with predictive value as to whether a woman receive cervical smear screen or not include age, marital status, educational level, family structure, religion, and the knowledge of free smear examination offered by mandatory citizen health insurance; 4 variables with enabling factors with predictive value include average monthly income, district, whether receiving telephone or letter notices in the past year, and the degree of convenience of the examination location. One variable of needs factors with predictive value: is the suitability of the examination time notified. The accuracy rate of laddered logistic regression model built by this research was 74.1%.

利用统计软体SPSS15.0进行描述性统计、卡方检定、阶层式逻辑斯回归、因素分析、信度分析、变异数分析、多重比较等统计方法分析，根据统计资料分析结果：经卡方检定后，将倾向、能用、需要因素中具有显著相关变项与是否接受抹片检查，放入逻辑斯回归预测模型中，本研究结果发现：倾向因素中的六个变项：年龄、婚姻状况、教育程度、家庭结构、宗教信仰、是否知道健保提供免费抹片检查对受检与否具有预测力；能用因素中的四个变项：平均月收入、地区别、过去一年内是否接到电话或信函通知、收到通知的受检地点是否方便对受检与否具有预测力；需要因素中的一个变项：收到通知的受检时间是否合适对受检与否具有预测力；本研究所建立的阶层逻辑斯回归模型的整体预测正确率为74.1﹪。

In part two ,the author rethink the domestic research of logic of Moism in recent twenty years and summarize the achievement and defect .At the same time ,the author look forward to the research of Chinese logical history and logic of Moism ,and raise some questions

第二部分是对近二十年国内墨辩逻辑研究成果进行反思，总结当代学者研究的成就与不足，并对未来墨辩逻辑研究和中国逻辑史研究进行展望，提出应思考的一些问题。

On the one hand ,contemporary scholars carry on the method of morden scholars using the occidental traditional logic to research six chapters in Mo Zi ,on the other hand ,they rethink the research of logic of Moism since morden times and put forward to the method and direction of future research of the logic of Moism .

当代学者一方面继承了近代学者以西方传统逻辑为工具研究墨辩的方法；另一方面对近代以来的墨辩逻辑研究进行反思，并提出未来墨辩逻辑研究的方法和方向。

The main body of this thesis consists of two parts . In part one ,the author make a review of the domestic research of logic of Moism in recent twenty years .In this part ,the author probe into names ,diction ,inference ,debate ,logic laws ,the character and historical position of logic of Moism .

第一部分是对近二十年国内墨辩逻辑研究的回顾，主要是从名、辞、说、辩、逻辑规律和墨辩逻辑的性质和历史地位等六个方面加以探讨。

They are to monadic predicate logic what Boolean algebras are to propositional logic, and what polyadic algebras are to first-order logic.

它们对应一元谓词逻辑，而布尔代数对应于命题逻辑，而多元代数对应于一阶逻辑。

Secondly, on the condition of understanding the PCI norm, we analyze the PCI time sequence and address configuration space etc. detailedly, design state machine for the simplifying logic, design the program using the VHDL hardware description language. Besides those,we complete the PCI interface design of simplifying logic and carry out the interface function of the PCI subequipment module on the condition of a 33 MHzs,32 bit width, supporting the transmition paroxysmally. Compared with the traditional PCI inteface which uses appropriative interface chip to carry out this function , it economizes the logic resources of the system, lowers cost, increases the flexibility of design.

其次，在了解PCI规范的前提下，深入地分析了PCI时序和地址配置空间等，设计了简化逻辑的状态机，并用VHDL硬件描述语言设计了程序，完成了简化逻辑的PCI接口设计在FPGA芯片内部的实现，达到了33MHz、32位数据宽度、支持猝发传输的PCI从设备模块的接口功能，与传统的使用PCI专用接口芯片来实现的PCI接口比较来看，更加节约了系统的逻辑资源，降低了成本，增加了设计的灵活性。

I can not make it blossom and suits me

我不能让树为我开花

When temperatures are above approximately 80 °C discolouration of the raceways or rolling elements is a frequent feature.

当温度高于 80 °C 左右时，滚道或滚动元件褪色是很常见的特征。