逻辑系统

The systematic description of the syntax and semantics of natural language in MG is very difficult to be axiomized because of the complexity of natural language, but the Intensional Logic of MG can be constructed into an axiomized system.

MG的自然语言部分语句系统不专注于逻辑有效推理形式的刻划，但它对句子的逻辑结构及语义特征的分析有助于对自然语言推理中的复杂性的理解。

The type and relationship of HN, and the relationship between the Truth Value Space of GL and HN's operating are discussed, combing examples from Weather Forecast Expert System. The author includes into continues theory system the traditional Zadeh Operator, Probability Operator and Limitary Operator as special cases.

讨论了超结点的类型、关系及泛逻辑的真值空间和超结点间逻辑运算关系，结合天气预报专家系统实例，将传统的Zadeh算子、概率算子和有界算子作为特例包容到连续的理论体系中。

JSP/Servlet is an up-to-date technology of server side application using Java.Servlet is an application running on web servers which can efficiently handle differentweb operations. JSP implements separation between transaction processing logic andpage displaying logic. The combination of them can make a high performance, easilymaintenance, cross platformed dynamic system. They have tremendous advantages tovarious main developing technologies currently used.

JSP／Servlet技术是Java语言在服务器端应用的最新技术成果，Servlet是运行在万维网服务器端的程序，可以高效处理各种网络服务；JSP技术实现事务处理逻辑与页面显示逻辑的分离，二者的结合可以开发出高性能的、易维护的、跨平台的动态服务系统，与目前各种主要开发技术相比，具有无可比拟的优越性，是目前为止最先进的开发手段。

The existing dichotomous division and trichotomous division of Chinese complex sentence can not meet the needs of description of the relationship of logic-semantic between relation words,for their logic foundation and the basis of the logic of OWL DL vary greatly.

如果要用OWL DL来表达关系词语本体，就必须保证OWL DL对关系词语间逻辑语义关系的描写，这需要外界为OWL DL提供一个具有合适逻辑基础的分类系统。

Its main objectives include compensation for the consequences of handicap, participation in the general life of society, notably guaranteeing the accessibility of the established framework and integration by education and employment, and finally the substitution of an administrative logic by a service logic, placing the handicapped person at the centre of system concerning him: information, freedom to choose a life plan, simplification and rationalisation of procedures, etc.

它的主要宗旨包括报偿为障碍，参与的后果社会一般生活，显达地保证可及性这个被建立的框架和综合化由教育和就业，和最后行政逻辑的代替人由服务逻辑，安置残疾人人在系统中心关于他：信息，自由选择生活计划，规程的简单化和合理化，等

Secondly, the thesis analyzes the design principle of hardware system, and descries the architecture of the solution. It analyzes how to implement AD converter, IDT72V3690 circuit, FPGA chip EP1C2214 design, including RAIDO disk control and application of embedded microprocessor LPC2214.Thirdly, the thesis descripts the design and realization of embedded software of LPC2214. First of all, it brings out the thinking of software layer, and designs the software architecture.

其次，叙述了基于USB总线硬件系统的体系结构及设计原理；详细介绍了如何实现AD转换电路抗干扰以及如何采用嵌入式处理器LPC2214、高速缓存IDT72V3690电路、FPGA芯片EP1C2214等电路设计实现简易RAID0存储阵列；重点叙述了FPGA设计ATA控制器和RAIDO逻辑的过程，介绍了FPGA内部逻辑是如何工作，将数据有序高效地并行存储到磁盘中去的。

In addition,with aview to ensuring safety of the database content and operation,this paper designs business logic applicable to symmetrical encipheringand irregular enciphering(ensuring cipher safety and avoiding secret divulging)and business logic used to defend Web attack in the form of DLL suitable to any Web and any application system or program.

另外，为了增加数据库的内容的安全和保证数据库操作的安全，分别设计了一套用于数据库内容对称密钥和散列加密(保证密码安全及避免由于密码相同而造成泄密现象)的业务逻辑，和防止Web攻击的业务逻辑，并于DLL的形式存在，可被任何一个Web服务引用，也可被任何一个应用系统或程序引用。

In fact, most interactive story experiences built to date have either been highly episodic (generally those narrative experiences built by the game industry, e.g., adventure games), have employed a hypertextual logic of association rather than a logic of dramatic probability and causality (generally those experiences built by fine artists and writers), or have focused on story not as a highly structured experience created by an author for consumption by an audience, but rather as a shared social construction facilitating human communication (e.g., multiuser worlds such as MUDs, MOOs,and avatar spaces ; massive multiplayer games such as Everquest and Ultima Online ; and games such as Purple Moon's Rocket series or Will Wright's The Sims).

实际上，目前大多数的互动故事经验都是高度段落化的（一般这些故事性体验来自于游戏产业，例如，冒险游戏），有意或无意使用超文本的组成逻辑而不是戏剧的逻辑（一般这种体验都由艺术家和作家营造）；聚焦到一个并非由作家为观众消费而创造的高度结构化的故事上，而是一种社团式的共同创造的公共结构（例如多用户系统 MUDs， MOOs 或者替身空间；大型多用户游戏 Everquest 和 Ultima Online ；或者 Purple Moon 公司的 Rocket 系列、 Will Wright 公司的 The Sims 游戏）。

Deontic logic is a new realm of philosophical logic.

道义逻辑是逻辑学研究的新领域，二元道义系统的提出时间更短，因此，国内的逻辑研究者对之较为陌生。

The correctness of logic theory is one of the most important factors in relay protection. This paper validate the testing function of medium and low voltage line protection through the relay protection testing system based on virtual instrument developed by ourselves, so as to make the validation of the correctness of logic theory be independent of the relay protection devices'software and hardware.

保护逻辑原理的正确性是继电保护能可靠动作的重要因素之一，本文采用自行研制的基于虚拟仪器的继电保护测试系统对中低压线路保护测控功能进行了验证，确保保护逻辑原理的正误与微机继电保护装置软硬件无关。

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.

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