查询词典 sets

According to the properties of dynamic doxastic logic and stable sets, we built a DDL system for revision on stable sets; model completeness has been proved there.

4根据动态信念逻辑和稳定集的特点，构造了一个关于稳定集修正的动态信念逻辑系统，其中模型完全性得到了证明。

The sand dunes analyses data have shown they mainly consist of well sorted, symmetry skewness and find sands, and the kurtosis peak is narrow or very narrow. There are abundant impacts of mechanic process on the surface of quartz grains. The traces of eolian process often superpose on the traces stamped by river and beach processes. The dish--shaped concavities and mechanic pits are the most common surface textures, but the barchan concavities and curved grain edges are indicated the marks by eolian environment. The heavy minerals assemblages of coastal dunes are dominated by relatively high specific gravity which have stable chemical properity suggesting the mordern high dynamic environments of coast area. The depositional structures of coastal dunes are typified by corss--bed sets composed of steep foreset laminates and gentle windward dipping sets. It also contains some shell fragments and strong worn foraminiferal tests that are impossibly found in inland desert. On the other hand, the sandy deposits of the continental shelf of East China Sea are with wide range of grains, and the depositional pattens are quite complicated.

海岸沙丘是晚全新世以来相对稳定的海平面背景下的海岸带风成堆积，其沉积特征是以细沙为主，分选好，搬运方式以跃移占绝对优势，偏度上近对称，峰态窄到很窄；石英颗粒表面机械作用形态丰富，风成作用形态叠加于河流和海滩过程形态之上，碟形坑和撞击麻点是最为常见的表面形态，而新月形坑和曲脊是其指示性的特征标志；沙丘沙重矿物以化学性质稳定、比重较大的种类为主，反映了海岸带目前的高能动力环境；海岸沙丘沙的沉积构造以高角度前积层和低角度顶积层组成的交错层理为典型特征，同时还含有少量内陆沙漠所没有的少量贝壳碎屑和强烈磨损的有孔虫壳体。

With 526 sets of production facilities of all kinds, 18 specialized lines of production and 66 sets of cots, Freet covers an area of 2.6 million square meters and includes 4 manufacturing districts.

到2007年底，孚瑞特公司制造业产能规模已达36亿元；其中：管业制造28亿元、石油机械装备4亿元、特车改装2亿元，其他各种钻采装备和机具2亿元。

As Coiled Tubing, there are 30 sets of Coiled Tubing Working trucks in China and 30 million yuan ' s (200 thousand meters) requirement. It is broadly used in Tuha, Sichuan, Daqing and Shengli and so on oilfields. Freet ' s Coiled Tubing Working Truck worked in Hekou, Shengli, Zhuangxi, Chunliang and so on oil extraction fields to take the wax-cleaning, sand-washing work and achieved great effect. There are 1,050 sets of working trucks abroad and annual requirement is 1.5 to 2 billion yuan (8 million meters).

对于连续油管，目前国内有30台连续油管作业车，每年需求在3000万元左右（20万米），广泛应用于吐哈、四川、辽河、大庆、胜利等油田，我公司的连续油管作业车先后在胜利油田的河口、胜利、桩西、纯梁等采油厂进行清蜡、冲砂等作业，效果显著；国外有1050台作业车，每年需求量在15-20亿元左右（800万米）。

Existing large-scale enterprises glauberite ore two domestic advanced production lines of four sets of Sodium Sulfate, Sodium six production lines, two sets of alkaline protease production lines, pharmaceutical production lines mirabilite set.

企业现有大型钙芒硝矿两座，国内先进的元明粉生产线四套，硫化钠生产线六套，碱性蛋白酶生产线两套，药用芒硝生产线一套。

This activity has been warmly welcomed and pursued large numbers of customers, Pearl River real estate launched 388 units already sold out ex gratia sets, plus an ex gratia good house on 288 sets, and sold.

此次活动受到了广大客户的热烈欢迎和追捧，珠江地产推出的388套特惠单元即已全部售罄，加推288套特惠好房子，又销售一空。

There are over 80 first tier dealers in China; its sales network covers all domestics markets; and its products are sold to overseas markets. Over 3000 sets of forklifts are sold in 2005; about 600 sets are sold to major markets in Europe and America, the sales income is nearly 300 million Yuan. The company has become the most growable forklift and construction machinery manufacturer and major base of forklift development and export in China.

公司已经在国内建立了80多家一级代理经销商，营销网络全面覆盖国内市场，产品批量出口国际市场。2005年叉车产品销售3000余台，销售收入近3亿元，出口欧美主流市场600余台，成为国内最具成长优势的叉车及工程机械强式品牌和国内主要的叉车出口及研发基地。

At the early 1980s, is an effective mathematic tool to deal with the uncertain or fuzzy knowledge. Rough rule theory has been widely used in information retrieval, digital library, software engineering and knowledge discovery. Its main idea includes acquisition of rough decision rules by reduction of data under the condition of keeping an invariability of classification capacity. And it basically represents a concept by a pair of approximation sets according to the partition on the given data based on the indiscernibility relation. Rough sets theory is well suited to deal with inconsistency of the rough approximations. So it is a new mathematical tool dealing with vagueness and uncertainty, and has found its applications in many areas such as AI, KDD, pattern recognition and classification and fault diagnosis.

主要完成了以下几个方面的工作：(1)对于高速移动机器人车道线跟踪问题中的规则知识获取，首先阐述了模糊逻辑系统的基本特点、工作原理和基本作法，分析了模糊规则知识获取过于依赖专家经验知识、对于每一个细节几乎都需要人工主观经验的参与、难以处理大数据集样本等方面的不足，进而阐述了粗糙集合理论的基本特点、基于粗糙集合理论的规则获取的关键技术和工作原理，为后续章节中经典粗糙集合模型的扩展及粗糙决策规则集的性能分析做好基础；(2)在经典粗糙集理论及其一般扩展的可变精度粗糙集VPRS的基础上，提出了非均匀可变精度粗糙集模型k-VPRS。

Each group contains a detailed classification of different standpoints. Part 4 makes a careful study and analysis of the causes of errors and induces the causes of errors into interlingual errors,intralingual errors,limitation of basic language knowledge and writing skills and ignorance of commenting on composition and correcting errors. Part 5 draws a conclusion and sets forth some error corrections and teaching methods to reduce errors. Part 6 sets forth the authors suggestions and some problems to discuss.

并根据具体实例将不同错误类型进行了更为详细的分类及分析；第四部分分析写作错误的原因，将导致写作错误的原因归纳为语际因素，语内因素，学习者语言知识和写作技巧的限制及忽视作文评改；第五部分归纳和总结全文，通过归纳前述内容提出减少错误的教学对策和纠正错误的方法；第六部分提出本人的建议和进一步需要探讨的问题。

In this experimental system, the main feature is that user can do some basal operation expediently using graphical interfaces, namely loading the existent data sets or creating new data sets, and choosing different kernel function to train the SVM classification, which can classify the given data correctly, it shows the result of classification and comparison of performance intuitionally.

在该实验系统中，最大的特点是用户可以通过图形界面方便地进行一些基本的操作，即装载已有的数据集，也可以创建新的数据集，并选择不同的核函数训练支持向量机分类器，能够对数据进行正确的分类，比较直观地显示了分类的结果。

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.

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