逻辑系统

Finally, we discuss the encoding methods of mathematical analysis in NL and also in PVS, which is the starting point of mechanical supporting of mathematical analysis in hybrid systems.

最后我们讨论了数学分析在邻域逻辑和PVS中的编码，这是对混合系统数学分析提供机械支持的基石。

On the base of RTK and ethernet technique, this paper proposed a plan on ship automatic berthing system, and pointed out a new development trend in ship nonlinear control research, that is, a logic-based hybrid control and its applications to ship automatic berthing.

基于RTK技术和以太网技术给出了船舶自动靠离泊智能系统方案，同时指出了当前船舶运动非线性控制研究发展的一个新方向：一种基于逻辑的混合控制策略在船舶自动靠离泊控制设计中的应用。

Natural meaning and nonnatural meaning; utterer's meaning, sentence-meaning and word-meaning ;utterer's meaning and intention .

他借助逻辑分析这种形式化的工具，系统地研究了多种类别的意义：自然意义与非自然意义；词汇意义、句子意义与说话人的意义；说话人的意义与意图。

With the help of the mathematical logic, he distinguished the differences among the types of meaning , i.e. natural meaning and nonnatural meaning; utterer"s meaning, sentence-meaning and word-meaning ;utterer"s meaning and intention .

他借助逻辑分析这种形式化的工具，系统地研究了多种类别的意义：自然意义与非自然意义；词汇意义、句子意义与说话人的意义；说话人的意义与意图。

The logistic map and Lorenz system were studied respectively,and the property of the results of numberical simulation were judged by three methods.

分别研究了一维逻辑映象和洛仑兹系统，用三种方法判断数值模拟结果的性质。

In order to made up the present imperfection in unit velocity modulation and logical control of domestic cableway, this parer proposes a new project for the electricity control system of Zhougongzhai cableway. This project adopts a full digital current changer and PLC, with optical fibre instead of multi-line cable.

为了弥补目前国内缆机在机组调速和逻辑控制方面存在的一些缺憾，本文对周公宅缆索起重机的电气控制系统项目提出了一种新的方案，该项目采用了全数字直流变流器加 PLC 的技术，并采用光纤代替多芯电缆。

By means of the analysis of the dilemma in the traditional science covering epistemology and methodology, I spelt the fundamental cause and historic background of the birth of the strategy of Pera's rhetoric of science out, furthered to study some problems such as the functions, the rational rebuilding and the logic of rhetoric of science systematically, finally gave my explanation of Pera's dialectic model of science and my objective and comprehensive evaluation of Pera's rhetorical thoughts.

本文通过对支撑传统科学的两根支柱——认识论和方法论困境的分析，阐述了佩拉的科学修辞学战略产生的动因和历史背景。在此基础上，进一步对科学修辞学的功能、理性重建和逻辑等问题进行了系统阐述，最后对佩拉提出的科学辨证图景的合理性进行了说明，并对佩拉的科学修辞学战略给予了客观和全面的评价。

The type system is one of the language's features. The language is polymorphic.

觟del语言的类型系统独特于通常的逻辑程序设计语言，语义上已初步形成了相应的描述方法，建立了严格的理论基础。

This paper unifies the achievement in practice and theory research of SCM andlogistics management in various countries, absorbs adequately the related theory achievement including Strategic Management, Industrial Economics, System Economics, and uses some specific methods including normative analysis and positive analysis, logic analysis and the historical analysis, and so on. The purpose is trying to elaborate the automobile logistics supply chain management based on strategic alliance.

本文结合世界各国及我国供应链、物流管理理论研究和实践活动等领域中的现有成果，充分吸收包括战略管理、产业经济学、制度经济学等理论的相关成果，并综合运用规范分析和实证分析相结合、逻辑分析和历史分析相结合等具体分析方法，力求全面系统地论述基于战略联盟的汽车物流供应链管理。

The reason is that we can postulate them in so far as we can postulate an adequate notation.

道理就在于，我们可以要求设立逻辑真理，就如我们可以要求设立一种合适的记号系统一样。

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.

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