类型理论

Aimed to two major problems: one is not decidable and the other is no clear semantics. We construct a framework with explicit representation and formal semantics of goalsgoal description logics, which integrates two types of goals: declarative goals and procedural goals into one concept based on description logics. In addition, the goal plan is defined and analyzed, and some reasoning problems, such as goal consistency and goal satisfiability, are discussed. Contrary to traditional ways of goal description, GDLs can bridge the gap between theory and practice in a natural way.

针对传统的目标描述中存在的不可判定性以及没有清晰的语义等问题，在描述逻辑(description logics，DLs)上，将宣称型和过程型2种类型的目标描述有机地整合在一起，从而构建了具有清晰语义与可判定性的形式化框架--目标描述逻辑(goal description logics， GDLs)，在此基础上，定义了该框架下有关规划规则；建立了可用于判定目标一致性、目标可满足性的方法，与传统的目标描述方法相比，目标描述逻辑为主体领域模型提供了一种更有力的形式化工具，同时为智能主体的模型和设计提供了很好的理论工具。

As the previous section stressed, Grotius' natural law theory was about much more than politics; it offered an account of normativity of all kinds.

如上面所强调的，格老秀斯的自然法理论更是关于政治的；它提供了所有类型的标准的说明。

By studying,we could know structural response of building to blasting seismic wave is not only relative to intensity of blasting vibration, but also to seismic frequency and characteristic of buliding and groundsill,so we should treat in different ways in practise because of difference made by blasting seismic wave to different structural types.

最后围绕爆破地震波的三要素通过建立理想的建筑模型对建筑物的结构响应进行了理论分析，通过分析得出，建筑物对爆破地震波的响应除了与震动强度有密切关系外，还与地震波频率、建筑物的尺寸、地基土的特性以及结构的累积损伤等有很大关系，而且对于不同类型的建筑物，其结构响应差异还较大，因此在工程施工中需要分别对待。

Have the development advancing by leaps and bounds during the past this over thirty years that the heddle of our country skill entertainment program produces since twenty centuries in the 80s, on program fabrication, but the systematization theory knowledge, is furthermore comparatively deficient in the field of compere's image design but not very much especially specifically for specially appointed program typecom pereaspect .

我国的综艺娱乐节目自二十世纪八十年代发端三十余年来，在节目制作上有着突飞猛进的发展，但在主持人的形象设计方面却没有系统化的理论知识，特别是针对特定节目类型的主持人方面，更是较为匮乏。

The main body of a book set off from the clothing design angle , be tied in wedlock each other by starting to pertinent theoretical analysis , linking the clothing design basal principle with, marketplace , put into practice by cooperating with project of the local TV station, thereby, sum up out a set of the new law that TV variety show anchorperson clothes and ornaments designs , form a set of new method that clothes and ornaments designs to this type thereby:(1) establishes anchorperson clothes and ornaments style , establishes anchorperson clothes and ornaments expressing priority;(2) union anchorperson oneself qualities characteristic , image characteristic , entirety design;(3) sets off from to accepting numerous angles , studies mentality, is had the design being aimed at by numerous appreciation of the beauty;(4) is in anchorperson clothes and ornaments colour being going , seek in the unification change to come to consider style and hue from entire stage indeed at the regular time;(5) heddle skill entertainment anchor-man clothes and ornaments detail designs that priority chooses high-quality material on clothing collar headquarter , shoulder , bosom, emphasize that the meticulous handicraft is right away especially important;(6) when has being anchorperson more in one program, clothes and ornaments designs that emphasizing that the series feels more.

本文从服装设计的角度出发，通过对相关的理论分析入手，结合服装设计的基本原理，与市场相结合，通过与地方电视台的项目合作实践，从而总结出一套电视综艺节目主持人服饰设计的新规律，从而形成对此类型服饰设计的一套新方法：(1)确立主持人服饰风格，确立主持人服饰表达重点；(2)结合主持人自身气质特点、形象特点，整体设计；(3)从受众的角度出发，研究受众的审美心理，有针对的设计；(4)在主持人服饰颜色的确定时，要从整个舞台的风格和色调来考虑，在统一中求变化；(5)综艺娱乐节目主持人服饰的细节设计重点在服装的领部、肩部、胸部上，选取高品质的素材、强调精细的工艺就尤为重要；(6)在一台节目有多个主持人时，服饰设计更强调系列感。

In Chapter 1, we discuss three kinds of contemporary theories of virtue: historicist, empiricist and rationalist. The main disagreements among them are the different understanding of"character", a central term in the theory of virtue.

德性论是我们整个论文的理论基础，在第一章考察当代德性伦理学的时候，我们发现，可以存在三种类型的德性论：历史主义的德性论、经验主义的德性论和理性主义的德性论。

This paper discusses the broad-sense relation between solution and coefficient of some special kinds of second order variable coefficient and homogeneous linear differential equation,and have a try of giving a general form of common solution and the coefficient decision formula of special solution.

探讨了某些特殊类型二阶变系数齐次线性常微分方程的解与系数的广义关系，尝试了从理论上给出通解的一般形式和特解的系数决定式。

For improving mixing quality and efficiency,authors gave out definition of mixer rotation speed and its rationality criterion.With the help of theoretical analysis and experimental research,authors discussed the relations among mixer rotation speed with concrete homogeneousness,type of mixer,mixing power and mixing materials and revealed the rational range of mixing speed during mixer designing and using.

为了提高搅拌质量和效率，给出了搅拌机转速的定义和评判搅拌机转速合理与否的准则；采用理论分析和试验研究相结合的方法，分析了搅拌机转速与混凝土均匀度、搅拌装置类型、能耗和被搅拌材料的关系，给出了搅拌机设计和使用时合理转速的范围。

Therefore,to clarify the definition,the nature and the type of the search has impo...

因此，分析搜查的概念、性质和类型有重要的理论与实践意义。

The classification of knowledge, concept of studying and moral development stage of cognitive psychology provides theoretic support to the existing of inculcation to pass the knowle...

认知心理学的知识类型、学习观和道德发展阶段的划分，为基本道德知识传递和输送中的灌输的存在，提供了理论上的支持。

Do you know, i need you to come back

你知道吗，我需要你回来

Yang yinshu、Wang xiangsheng、Li decang,The first discovery of haemaphysalis conicinna.

1〕 杨银书，王祥生，李德昌。安徽省首次发现嗜群血蜱。