逻辑系统

This article the student which held the post to me selects a topic the module to carry on the exhaustive analysis, introduced its design thought, the implementation method, correlation information and so on database development, system realization and application, and has matched the corresponding system function system chart and the selected topic module flow chart, the database logical diagram, the function realization contact surface and so on.

其中本文对我所担任的学生选题模块进行了详尽的分析，介绍了其设计思想，实施方法，数据库开发、系统实现与应用等相关信息，并匹配了相应的系统功能体系图和选题模块流程图、数据库逻辑图、功能实现界面等。

Further,the UML"4+1" view model was used to design a set of system diagrams such as use-case diagram,logical diagram,concurrency diagram and deployment diagram,which discussed network interaction and information transmiss.

运用UML"4+1"视图模型进行了系统用例视图、逻辑视图、进程视图以及部署视图的设计，并在设计中详细讨论了系统的网络交互和数据传递。

The model applies use-case view (use-case diagram, sequence diagram, collaboration diagram and activity diagram), logical view (class diagram, object diagram and state graph), component view and deployment view to carry on a detailed description respectively, presenting a stock information system model from each one possibly.

该模型通过用例视图（用例图、时序图、协作图和活动图）、逻辑视图、组件视图和部署视图分别进行详细的描述，尽可能地从各个方面呈现出股票信息系统模型。使用C#和。NET对股票信息系统进行编程，实现了有效股票基本信息的提取、组织和呈现。

In order to guarantee the correction of the design of system, it needs to specify and verify it rigidly. The formal description and verification by use of LOTOS (language of temporal ordering specification) and ACTL are given out in this paper. These allow people to study, evaluate and define the dynamic behavior of current user interfaces.

为了保证系统设计的正确性，文章讨论了如何使用形式化描述语言LOTOS(language of temporal ordering specification)和基于动作的时序逻辑ACTL对系统进行描述与验证，这有利于人们对交互式用户界面的动态行为进行研究、评估与定义。

Intelligent answering based on answer library realizes the automatic answer of user＇s questions based on nature language with the Chinese segmentation algorithm based on maximum matching method.

系统的实现基于J2EE三层架构体系，在中间层采用先进的MVC设计模式思想，实现页面显示与业务逻辑的分离，有效提高系统的可维护性、可扩展性和可复用性。

Mizar system is initiated as a Computer System Language of logical proof,validation,and typeset in the 1980s.

Mizar语言系统是上世纪八十年代开创的集逻辑证明、校验、排版功能于一体的计算机语言系统。

Concerning about the closed noninteractive literature-based KDD system, whose aim is to validate whether do exist logical relation between "Raynaud"s syndrome /fish oil" and "migraine headache/magnesium to test the feasibility of the arithmetic of the closed noninteractive literature-based KDD.

闭合式知识发现过程，目的是通过书目不相关联的"雷诺氏病／鱼油"、"偏头痛／镁"之间的逻辑关联的存在性，验证本文采用的闭合式知识发现算法在汉语文献中的可行性，若可行，则闭合式知识发现系统可以用来验证开放式知识发现系统提出的假设是否准确。

The practical system of BAO Steel company has been tested for two months. The omissive prediction ratio and the false prediction ratio have decreased.

实际系统已完成两个月的试运行，漏报警率和误报警率比原逻辑预报系统都有所降低。

Based on analysing the respective characteristics of regular PID controller in trational control theory and fuzzy logical controller in intelligent control theory, the idea and technique of expert system is introduced to develop a novel kind of hybrid intelligent controller. It can coordinate two kinds of control algorithms and tune the control parameters on-line for different working zones of the controlled process.(3) The hybrid knowledge expression model, which combines discrete state space model, fuzzy relational model and rule base model, is proposed based on analysing the characteristics of all kinds of knowledge expression models. The knowledge of the controlled process in different aspects can be expressed resonably by it. Based on the model mentioned above, the related optimization strategy for complex system is developed.

本文的主要贡献体现在：（1）以炼油厂的催化裂化装置和钢铁联合企业的大型焦炉装置两个典型的复杂工业过程为例，分析了工业大系统的许多不易控制的特性，并归纳了其中的几个典型特征；（2）针对经典控制理论中的常规PID调节器和智能控制技术中的模糊逻辑控制器各自的特点，通过引入专家系统的思想和方法，开发了一类混合式专家控制器，它同时具备在线协调两种不同控制规律和自动学习控制规则的能力；（3）通过分析各种知识表达模型的特点，提出了一类包括离散状态空间模型、模糊关系模型和规则基模型在内的混合知识表达模型，它能对过程知识在各个不同侧面给予合理的描述。

On the base of the right of subrogation in marine insurance, this paper will do the research from the point of view of action;on the base of existing stipulations and legal theories of the action of subrogation in marine insurance, maritime action and civil action, this paper will consult the foreign correlative theories;not only from the point of view of the legal theories, but also by consulting the cases and usual ways in judicature of our country, this paper will make the research more practical;this paper will also do the research by induction, organon and interests-comparing, etc.

本文将在海上保险代位求偿权制度的基础上，从诉讼角度展开较为系统的研究；在我国现有的海上保险代位求偿诉讼、海事诉讼以及民事诉讼的法律规定和法律理论的基础上，参考国外相关的法律理论，对海上保险代位求偿诉讼的法律问题进行较为系统的研究；不仅从理论的角度，还要参考我国司法实践中的相关案例和通常做法，使得对海上保险代位求偿诉讼的法律问题的研究更贴近实务，更具有实际操作性；运用归纳、推理的逻辑方法，采用利益比较等具体方法，对海上保险代位求偿诉讼的法律问题进行了较为全面的研究。

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.

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