In translation , translators should first try to master the reference on the basis of a good command of the sense in the source text , and then choose corresponding words in the target language to cover the same meaning scope of words in the source text , namely , obeying the principle of fuzziness equivalence 在翻译实践中，译者应首先在理解法律语言系统意义基础上掌握其外指意义，然后用相应的目的语词语表达原语词语同等程度的模糊性，即遵守“模糊度对等”原则。
Jdl is an interpretative language system . it has data types , expression , control flow statements and user - defined function just like the imperative programming language , but also has data types and statements such as job control statements , task control statements , wait statement , parallel statement and monitor statements particular to jms Jdl是一种解释型语言系统，既有一般命令式语言所具有的数据类型、表达式、控制流语句和用户自定义函数等要素，也另有作业管理系统所特有的数据类型、作业控制语句、任务控制语句、等待语句、并行语句和监听语句等。
In order to made his theory of confirmation have exact rules , he constructed a first - order logical language system and gave the definitions and theorems to some important concepts such as state description , structure desciption and the range of state description etc . in the given language system , some functions such as m - function , c - function etc . collected with the theory of inductive confirmation are introduced , m - function is the basis of c - function 在构建的语言系统中，引入了测度函数m 、确证函数c ，其中测度函数是确证函数的基础，由语句所满足的状态描述的测度函数m值来确定确证函数c的值，研究了归纳确证问题。
The author wants to look forward to the latest trend of development in this field by studying the theoretic and practical achievement in information retrieval language both at home and abroad in the time of internet . this paper is made up of five parts . the first part analyses the effects of information retrieval language in network condition ; the second part introduces the achievements in electronic traditional classification and the using of traditional classification in network and in information retrieval tool ; the third part introduces the achievements in electronic traditional subject and the using of traditional subject in network and in information retrieval tool ; the forth part is about natural language processing and natural language retrieval which includes basic principles of natural language processing and the using of information retrieval ; finally , the author points out that the new development of information retrieval language includes metadata and the integration of the classification - subject - natural language 本文主要研究网络环境下信息检索语言的发展，主要内容包括五部分：第一部分分析了网络环境对信息检索语言的影响；第二部分是网络环境下分类检索语言的应用，包括传统分类法电子化及在网络上的应用，网络信息检索工具中的应用；第三部分是网络环境下主题检索语言的应用，包括传统叙词表电子化及在网络上的应用，在网络信息检索工具中的应用；第四部分是自然语言处理与自然语言检索，包括自然语言处理的基本原理及在信息检索中的应用，国内外自然语言检索进展；作者在论文最后指出，在网络环境下信息检索语言新发展有：元数据研究；分类-主题-自然语言一体化，分析国外一体化系统实例：一体化医学语言系统umls ，国内一体化系统实例： 《中国财经报刊数据库》检索系统；并指出学科?事物概念组配型检索语言是理想发展模式。
The co - teaching emphasizes the co - action of the teachers and the students . the distinguishing features of the method are suitable for english teaching . in some english learning theory , the experts believe that the successful language learning is the by - product of communication , the students communicative abilities can be cultivated by using the language , and it is less efficient to learning language purposely in the classroom . it can create a proper language conditions that mix the learning consciously with grasping it unconsciously by the students discussing in groups , and the students can get the help of the teachers and the classmates in the co - teaching 语言学习理论认为：成功的语言学习是交际的副产品，交际能力只有在语言运用过程中才能逐步培养出来。而通过交际使学生无意识地接触语言系统，比通过教学有意识地学得语言的效率高。合作教学中通过小组讨论、生生合作的方式，能营造一种语言运用氛围，使学习与习得相得益漳，也使学生能随时获得教师和同学的协助。
Based on the deep analysis of the diagnosis process for rotating machinery fault diagnosis system , the research has accomplished the design and developed system software of rotating machinery fault diagnosis prototype by the matlab language , which has strong function and toolboxes . the validity of the fault diagnosis system was well tested by eigenvectors , which are common appeared in rotating machinery fault status 在深入分析旋转机械故障诊断过程的基础上，借助功能强大的matlab语言系统及其工具箱，在本论文中完成了旋转机械故障诊断原型软件的开发与设计，并用旋转机械常见故障状态的特征向量数据对其诊断结果的正确性进行了测试，效果良好，证明了此系统具有可用性。
Carnap ' s inductive logical system of the theory of probability confirmation is introduced in the second part of paper . firstly , some basical and important concepts are explained such as confirmation and degree of confirmation , probability1 and probability2 . in carnap ' s opinion , the difference between verifiability and confirmation is that verifiability means the hypothesis is finally proved to be true , but confirmation means it be true nowerdays . then carnap analyzed the distinction and relationship between probabilityi and probability2 他认为，证实是决定性地最后为真，而确证只是现阶段得到确定，并不保证以后也确定为真；继而分析了概率1与概率2两者之间的区别与联系；然后构建了一阶语言系统，并在其中定义了状态描述、结构描述、量程等重要概念与定理，以便使在考察归纳逻辑前提与结论时，能在该系统中根据确切的规则进行准确的分析。
