可证明的

The paper consists of two main parts: the first part elaborates Ladriere's concept of culture, while the second part develops Ladriere' arguments further to prove the tenability of the thesis of pluralistic culture.

本文章分成个主要部分：第一部分阐述Ladriere「文化」的概，而第二部分则进一步的发展Ladriere的证以证明「多元文化」主张的可性。

The definition of key constraints for XML and a sound and complete set of inference rules of absolute and relative key are given. An algorithm of solving candidate key for XML is presented, and validity, terminability and time complexity of that are proved.

给出XML键约束的完整定义以及绝对键和相对键的推理规则，提出多项式时间求解XML候选键的算法，并对算法的正确性、可终止性和时间复杂性进行了分析和证明。

The research shows that exploitation status and dynamic monitoring in miningarea. It is practiced to provide not only the scientific reference for sustainabledevelopment in thulium mines, but also the work flow and ideas for monitoring othermines effectively and feasibly.

实践证明，对开采现状和动态监测的遥感应用研究，为稀土矿资源的可持续发展提供了科学的依据，同时为其它类型矿山监测研究提供了有效、可行的技术流程和工作思路。

Since its discovery, vitamin A has been shown to be pivotal in several bodily functions: formation of "visual purple" which allows us to see partially in low light; maintenance of healthy vision and proper eye function; repair and maintenance of epithelial tissues, especially those of the skin and mucous membranes; maintenance of the endocrine system, especially the thyroid gland; proper utilization of dietary proteins; and stimulation of the thymus gland, a major part of the immune system.

由于其发现，维生素A已被证明可在几个举足轻重的身体机能：形成"视觉紫色"让我们看到部分在光线较暗的；维护健康的理想和正确的眼睛功能；修理和保养上皮组织，尤其是那些对皮肤和粘膜膜；保养内分泌系统，特别是甲状腺；适当利用膳食蛋白质类；和刺激胸腺，一个主要部分免疫系统。

The systems can be translated to the systems developed by Wiggins［1 under some conditions.

研究了一类两个自由度系统，利用多重尺度法证明存在锁频于Ω的周期解，在一定条件下可变换为Wiggins的系统［1］，给出了这类系统的同宿轨道的计算公式。

Based on the physical characters that the temporary magnetic material can absorb magnetic force nearby and change the distribution of magnetic field,and in combiniation with structural optimization of the semi-adverse current chest,a new type magnetic separator which can make the magnetic mineral apar has been developed and the pilot test was finished.

摘 要 根据软磁材料在磁场中具有吸收附近磁力线从而改变磁场分布的物理性质，结合半逆流型底箱结构的优化，研制了一种可使磁性矿物产生物理分带的磁选机并完成了半工业试验研究，证明用于选别攀枝花钒钛磁铁矿时比传统磁选机具有明显的优越性。

Based on the theoretical analysis, theimitating experiments of the first-order and second-order autofrettage process proved the validity of the theory, the feasibility of the second-order autofrettage technique itself. This kind of technique can meet the autofrettage requirements of tubes with different bore and material.

在理论分析的基础上研究了一次、二次机械自紧模拟实验，证明了理论分析预示规律的正确性、二次机械自紧技术本身是可行的，可满足不同口径和材料性能身管的自紧要求。

By comparative analysis of applicability, we concluded that the microcapsule from sodium alginate used in carbonless copy paper had the same advantages as domestic and foreign抯 in the characteristic of use, stableness and the speed of color development and so on.

证明了以海藻酸钠为壁材单凝聚法制备的无碳复写纸用微囊具有较高的包埋率、不渗透性、稳定性及一定强度；通过应用性的对比分析，认为以海藻酸钠为壁材自制的无碳复写纸用微囊在使用性能、稳定性、显色速度等方面均可达到国内外无碳复写纸的水平。

In the citrus orchards in Canton suburbs the pradaceous mites, chrysops, mite-eating ladybird, certain species of thrips and spiders have been found to be the natural enemies of the citrus red mite Panonychus citri McG.

经过两年的试验证明，以利用钝绥螨为主，少量使用选择性农药和加强田间管理的综合措施，是防治柑桔红蜘蛛行之有效的途径，可长期控制其数量在防治指标以下，化学农药的用量也相应大大减少。

Circulative function and construction of circulatory economy from economic field to the whole social system has proven that circulatory society is the only way to sustainable development.

循环经济从经济领域的循环运行到整个社会系统的循环型建设的实践过程证明：循环型社会才是可持续发展的必由之路。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。