类型理论

In this paper, based on the idea of knowledge constructionism, a structural knowledge representation approach is proposed. The "Unit" is defined as the essential knowledge component, and ten types of units and relations between units are suggested.

本文以认知科学中的知识建构理论为基础提出了一种结构化知识表示方法，此方法以"单元"作为知识表示的基本结构模块，将单元划分为十种类型，并定义了单元之间的关系。

And attempt to extract the differences or possible categories from the viewpoint of Social Constructionist Theory.

且藉由社会建构理论观点，企图找出导致已婚妇女堕胎的差异性或可能类型。

The theory of "continuum of problem types" supplied a good frame for designing questions in class,"Five Why" question design ing methods played a important role in increasing practice of question design ing.

问题类型连续体"理论为课堂教学问题设计提供了框架"，五何问题设计方法在增加问题设计的可操作性方面起到了重要作用。

Legal authority means that the internal convincingness and external force of law are widely believed, respected, supported and obeyed.

法律权威论一题用意有二：（1在理论层面是对法律自身性质的一种理解和认定；法律是一种权威，而权威是一种基于正当性的权力，具有内圣外王的性质，这使它不同于道德也区别于权力；(2)在实践层面是对社会转型期法律权威的重要性的一种强调；权威是人类社会须臾不可离之物，法律权威是中国走向现代化的唯一可选择的权威类型。

The method of elastic analysis is adopted according to the classification of the cross section.

根据截面类型的划分而采用以换算截面理论为基础的弹性分析方法。

The model types include frequency histogram,cumulative frequency distributing graph and theoretical model with double logarithmic coordinates.

模型类型包括频率直方图、累积频率分布图以及用双对数坐标表示的理论分布模型。

This research was important to understand the symmetry property on Dauphine and Brazil twinning of α-quartz and provided a useful method for the identification of the two kinds of twinning.

这一研究对认清α-石英道芬双晶和巴西双晶腐蚀像的对称关系，鉴定α-石英的双晶类型具有理论与实际意义。

Under this background, this paper studies the effects of debt financing on corporate governance in Chinese private listed companies.

文章首先通过对前人理论的梳理，在阐述债务融资基本治理效应的基础上，进一步对不同期限结构以及不同类型的债务融资的治理功能进行了比较分析。

In Chapter Three of Real Rights,"real rights protection" declaratively regulates several types of claim of real rights which have substantial significance. From the angle of the law, it marks the establishment of the system of claim of real rights in China, which has theoretical value and practical connotation.

我国《物权法》在第三章"物权的保护"中已宣示性地规定了几种具有实质意义上的物权请求权类型，它标志着我国物权请求权制度在立法上的最终确立，极具理论价值和实践意蕴。

Because of the deficiency of the index analysis method, the author puts forward the increment analysis method as an improved method, studies and demonstrates the theory and method and procedure and points for attention of the increment analysis.

第二部分，第四章至第六章，属于指数的应用研究，在对价格类型和价格指数体系进行分类和分析的基础上，研究和构建了股价指数、国债价格指数和证券投资基金价格指数三维一体的金融证券价格指数体系，并对这三种价格指数的理论和应用作了系统的研究和探索。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了