查询词典 set forth

This chapter, on the basis of analyzing the basic function of disciplinal mechanism of faith-breaking, puts forth the basic principles implemented for establishment of disciplinal mechanism of faith-breaking and puts forth the system designing of disciplinal mechanism of faith-breaking from such aspects as credit early warning, punishment on faith-breaking, encouragement for faith-keeping, credit restoration etc., finally it discusses how to set up the civil, administrative and special legal liabilities for discipline of faith-breaking.

本章在对失信惩戒机制的概念和特征进行解读的基础上，通过对失信惩戒国外经验的分析，提出在征信的基础上建立信用预警、失信处罚、守信激励、严重失信淘汰以及信用修复的失信惩戒法律措施，最后探讨了如何构造失信惩戒的民事、行政、刑事及特殊法律责任。

To avoid the collision accidents of ships at sea, with the universalizing and application of computer, and the development and maturity of the technology of Expert System and Artificial Intelligent, this paper developed an intelligent collision avoidance expert system for navigation. The main research work centers on several aspects, which will be represented as below:By the navigation rules" understanding and analyzing, and by the navigation experience and navigation samples" collecting and trimming, we put forth and build a multi-unit and layering KB systematic structure, and implement the KBM. According to features of different knowledge, we adopt multifarious KR, such as: frame KR, production rule KR, procedure KR. We also build a multi-inference system, which based on analog inference, forward illation inference, conversion inference and meta-rule inference. At the same time, we develop each reasoning algorithm. For some problems in collision avoidance region during the building of the expert system, we put forth and build a set of models to solve them using neural network technology.

为了避免船舶间碰撞事故的发生，结合计算机技术在各类船舶中的普及与应用、专家系统技术及人工智能技术的发展、成熟，本文研制、开发了一种具有一定智能的航海避碰专家系统，主要内容包括以下几个方面：通过对航海规则的理解与分析，对航海经验、航海实例的搜集、整理，提出并建立起了航海避碰专家系统的多元分层知识库体系结构，并实现了知识库的管理；根据不同知识的特点，分别采用了框架、产生式规则、过程等多种知识表示方法；提出了一种基于类比推理、正向演绎推理、换位推理及元级推理等的多种推理机制，并建立起了相应的推理算法；引入神经网络技术，针对在建立专家系统过程中所遇到的有关避碰领域内的一些难题，提出并建立了相应解决问题的模型，其中包括：船舶类型的识别，会遇态势的分类及避碰危险的评估。

According to evaluation of the thermal, hydraulic, environmental and mechanic characteristics and energy performance of building and VAV air-conditioning system, and evaluation of the control performance of local control loops using the simulator of VAV system, this paper presents five on-line supervisory control strategies for local control loops: on-line optimization of VAV supply air static pressure set-point, on-line optimization of AHU supply air temperature set-point, on-line optimization of on/off set of CAV sub-system, on-line optimization of outdoor air set-point and on-line optimization of chilled water secondary pump pressure set-point.

通过数字仿真器对建筑物及其变风量空调系统的热力、动力、环境和能耗等运行特性的模拟，以及对系统常规采用的下位机控制回路可控性和稳定性等控制特性的研究和分析，本文先从局部的角度开展了系统局部优化的研究。提出并在仿真器上分别实施了VAV送风静压设定的实时优化，AHU送风温度设定的实时优化，CAV子系统开／停的实时优化，新风量设定的实时优化以及二级泵冷媒水供水压差设定的实时优化。

Grinding machine, 1 set Plane Grinding machine, 3 sets EDM, 1 set CMM, 1 set universal tool microscope, 1 set cutter aligner, 1 set roughness instrument, etc., much of equipments are the most advanced in domestic.

主要 设备有：加工中心9台（FV-800A 6台、QM-800A 1台、QM-22T 1台、卧式加工中心1台）、数控车床6台（FTC-20 2台、FTC-10 2台、FTC-30 1台、FTC-150 1台）、外圆磨一台、平面磨一台、慢走丝线切割机一台、快走丝线切割机一台，电火花成形机（MOND030）、三维坐标测量仪（GALAXY/SCICNC）、万能工具显微镜（19JC），对刀仪、粗糙度仪等。

Through the analysis of the second power Cartesian product of natural number set N——N×N and the thirdpower Cartesian product of natural number set N——N×N×N,obtains the conclusion that they all have the bijective relation to natural number set N,it means that the set N×N and the set N×N×N are all countably infinite.

通过对自然数集合N的二次笛卡尔积运算———N×N和三次笛卡尔积运算———N×N×N的详细分析，得出了它们与自然数集合N之间都存在双射关系结论，即集合N×N和集合N×N×N都是可数无穷的。

Fuzzy set, Vague set and C(superscript *)-fuzzy set are extension of classical set theory. They are also results of fuzzy set theory development.

模糊集、Vague集和C-模糊集都是对经典集合论的扩展，同时又是模糊集合论分支的发展成果。

In chapter 2, basic knowledge of the rough set theory, such as indiscernibilityrelation, elementary set, approximate space, upper approximation, lower approximation, negative region, boundary region, rough set, etc., and algebraic properties of rough set are introduced. At the same time, the feature of the rough, set theory is also introduced.

第二章介绍了粗糙集理论基本知识，如不可分辨关系、基本集、近似空间、上近似、下近似、负域、边界域、粗糙集等概念，以及粗糙集的代数性质，同时还介绍了粗糙集理论的特点。

A basic fact about sets is that there are two sets only when their memberships differ. The membership of the set of things that are phlogiston is exactly the same as the membership of the set of things that are Devil-dealing Salem witches. In each case, there are none. So in each case the set of instances is the set with no members, the null set.

按集合观，不承认这里有不同的共相，因为基础事实是，两个集合不同当且仅当成员不同，而这两个集合是相同的，因为都是没有成员的集合，即空集。

Home owner's tool set, electric tool set, garden tool set, machrical repairing tool set, socket tool set, plier, measuring tape, screwdriver.

8D40 家用组套工具，电讯组套工具，花园组套工具，机修组套工具，套筒组套工具，钳子，卷尺，螺丝批。

Finally, the condition examining and schema decomposition algorithm are given.Fourthly, The definitions of elementary merge dependency set and minimum elementary merge dependency set are put forward. The weak leftside conflict and weak rightside conflict in the minimum elementary merge dependency set are defined. The conclusion that when the minimum elementary merge dependency set has weak left side conflicts or weak right side conflict is reached, The decomposition meeting PEK isα-cyclic is given. The algorithms of calculating the minimum elementary merge dependency set and examining the conflicts are given.

给出了条件的判定算法和数据库模式的分解算法。4、提出初等归并依赖集和初等最小归并依赖集的概念，定义初等最小规并依赖集的弱左部冲突和弱右部冲突，讨论了初等最小归并依赖集下的冲突问题，给出了在FD集F其初等最小归并依赖集D中存在弱左，右部冲突时模式分解为满足PEK为有α环的结论，并给出了初等最小归并依赖集的求解方法，冲突的判定算法。

The dissecting of samples in group2 were difficult. The root of pulmonary artery and ascending aorta failed to be unfolded because fibrous tissue was tough, right and left fibrous trigone were too firm to be solved by hand. Cardiac muscle fibers couldn't be stripped along myofibrillar trajectory since they were prone to break because of their friability.

组2的心脏解剖困难，表现为纤维组织坚韧，游离肺动脉非常困难；徒手无法松解左、右纤维三角，肺动脉和主动脉根部的游离非常困难；心肌纤维坚硬、质脆，解剖时容易断离成碎块，无法沿纤维走行方向剥离。

We have battled against the odds in a province that has become increasingly violent.

我们对在一个争夺日益激烈省的可能性。