语言知识

The Tableau decision algorithm for D-ALCO forms an elaborated combination of the Tableau algorithm for ALCO,the decision algorithm for propositional dynamic logic,and the embodiment of the possible models approach.

1引言作为一类用于知识表示的形式化工具，描述逻辑在信息系统、软件工程、自然语言处理等领域得到了成功应用[1]。

The relatively rapid complexification in most recent geological history suggests to Brooks "that problem solving behavior, language, expert knowledge and reason, are all pretty simple once the essence of being and reacting are available."

最近的地质史叙述了复杂性的相对激增，这使布鲁克斯想到：一旦获得生命的实体，而且它能对外部世界做出反应，那么赋予其解决问题的习性、语言、专业知识和推理能力就成为轻而易举的事了。

The relatively rapid complexification in most recent geological history suggests to Brooks "that problem solving behavior, language, expert knowledge and reason, are all pretty simple once the essence of being and reacting are available."

在地质学史上，复杂性在近代有了较快的发展。这使布鲁克斯想到：一旦具备了生命和对外界做出反应的基本条件，就可以轻而易举地演化出解决问题、创造语言、发展专业知识和进行推理等高级智能。

The paper bases on competency including personality, attitude, knowledge and skill of competency and so on. It adopts qualitative index and quantitative index and assesses the attitude, achievement, ability and potential across-the-aboard. The paper draws on fuzzy synthesis decision, analytic hierarchy process, fuzzy approximation and factors weight design and so on in fuzzy mathematic by dint of the research about management by objective, 360 degree feedback, key process indication and balance score card. We establish performance assessment index based on competency model and distribute different weigh. We can set the weight of different assessment index. At the same time, we must set assessment relation and corresponding weight considering different people. We also assign different weight to every assessment factors according to the require of corporation. Then we can go on assessing more particularly and compressively.

本论文基于能力素质模型，包括能力的人格、态度、知识和技能等要素，采用定性指标和定量指标，对员工的工作态度、业绩、能力和潜力进行全面考核，通过对目标管理、360度反馈评价法、关键绩效指标和平衡记分卡等考核方法的研究，独创引入模糊数学中的综合评定法、层次分析法、模糊贴近度以及要素权重设计等方法，以能力素质特征模型为基础确立绩效考核指标，利用主观经验法、层次分析法等确定各考核指标的权重，同时考虑到企业中不同人员的考核，还需要定出考核关系及其权重，同时还可以根据企业要求为各考核要素分配权重，这样更详细、更全面的进行考核，并借助软件工程，利用UML建模语言把整个软件系统化、模型化，采用。

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.

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

On the basis of analysis of representation, research conditions and authors cultural background, this study selected the Arhorchin Banner of Inner Mongolia as study area and Arhorchin Mongols as research object of the study ethnic group, aimed to understand the contents, structure and value of Arhorchin Mongolian ethnobotanical knowledge.

本项研究旨在分析具有代表性、可供研究条件和研究者文化背景的基础上，选择内蒙古自治区阿鲁科尔沁旗为研究地区，对阿鲁科尔沁蒙古族为研究人群，运用随机访谈、半结构访谈、结构访谈、语言分析和植物学调查等民族植物学研究的方法，对阿鲁科尔沁蒙古民族植物学知识的内容、特征和价值进行了定性和定量的调查研究。

The thesis put forward a arrangement algorithm of examinatorial course based on sequential coloring algorithm which using the knowledge of array and structural linked list in C++ language ,combining the sequential coloring algorithm in graph theory to solve the conflict in arranging the examination course.

论文运用C++语言中的数组和链表结构的相关知识，结合《图论及其算法》中的顺序着色算法，提出了一种基于顺序着色算法的考试课程安排算法。

This new breed of managers would be able to "understand the languages and practices of many specialists, and who can work fluidly and flexibly across intellectual and professional disciplines and geographic regions".

这种新品种的管理人员将能够&理解的语言和许多专家的做法，以及谁可以流畅地工作和跨学科的知识和专业灵活和地理区域&。。。。

What I did is very straining at the beginning, often baffled by the question which the classmates put forward, For letting this piece with right titles and proper words I, I begin under lesson time study physics, The content that previews on one ' s own initiative followingly, dabble some knowledge after class, gradually, I can be calm in the face of various kinds of which everybody put forward at last Question, it wins physics of Beijing the first prizes of contest even the achievement unable term describe by speech sense, I have overcome the joke which is opened by the destiny with my own effortat last.

一开始我做的很吃力，常常被同学们提出的问题难倒，为了让我这个物理课代表能够当的名正言顺，我开始在课下时间研究物理，主动预习后面的内容，涉猎一些课外的知识，渐渐的，我终于能够从容的面对大家提出的各种问题了，甚至还获得了北京市物理竞赛的一等奖，那种成就感简直无法用语言形容，我终于用我自己的努力战胜了命运和我开的这个玩笑。

In teaching it is necessary to train students in scientific general observative method and their sensitive perceptual observation capacity, which needs to ask them to take full advantage of anatomy and perspective knowledge, to strengthen the understanding of physical structure, to seize the characteristics of the figure image, to form good habits of paint, so that an independent personal painting language can eventually form.

在教学中必须培养学生科学整体的观察方式以及敏锐的观察感受能力，要求其充分掌握解剖、透视相关知识，加强对形体结构的认识，抓住人物的形象特征，养成良好的作画习惯，最终形成独立的个人绘画语言。

For a big chunk of credit-card losses; the number of filings (and thus charge-off rates) would be rising again, whether

年美国个人破产法的一个改动使得破产登记急速下降，而后引起了信用卡大规模的亏损。

Eph. 4:23 And that you be renewed in the spirit of your mind

弗四23 而在你们心思的灵里得以更新