查询词典 discussed

The main work and the originality points of this dissertation could be concluded as the following parts:(1) To analyze systematically the mathematical model of LES of air flow in great space, under the case of isothermal and non-isothermal, as well as the combined action of buoyancy and strain. Some basic problems are studied about the LES application into airflow simulation of great space, such as boundary conditions, spatial difference scheme and time advancing scheme, time step etc., which creates the basis for the LES application to indoor airflow simulation.(2) Both the instantaneous and time averaged flow field of great space with multiple jets under isothermal and non-isothermal cases are explored with large eddy simulation method, and also discussed the dynamic characteristics and the law of fluidflow in the great space.(3) Based on the results of LES of the great space and the Fanger thermal comfort indexes, it is brought forward the concept of the series of dynamic thermal comfort evaluating indexes, which could be divided into thermal comfort index with time averaged properties PD, PPD, PMV, thermal comfort index with instantaneous properties IPD, IPPD, IPMV, and time averaged thermal comfort indexes TAPD, TAPPD, TAPMV, and transient situations time averaged thermal comfort indexes TTAPD, TTAPPD, TTAPMV. The differences among them and the calculation methods are discussed, and the four kinds of indexes are calculated with the thermal comfort index PD as an example.(4) Based on the LES results it is discussed the hot air stratification phenomena in air-conditioned buildings in the case with air supply and return registers on the ceiling and the case on the sidewall. The fundamentals of the hot air stratification are studied and the relations of estimating hot air stratification are brought forward.(5) With the advanced apparatus such as hot wire film anemometer IFA300 and laser particle field anemoscope, corresponding model test and site measurements have been done, which are compared with the simulation results and LES is proved a very promising method in air flow simulation indoor.

本文主要工作既创新点体现在以下几个方面：(1)系统分析了等温、非等温和考虑剪切力与浮升力综合作用的高大空间大涡模拟数学模型，并研究了高大空间大涡模拟在室内气流仿真应用中的一些基本问题，如边界条件、空间离散格式和时间推进格式、时间步长选择等问题，为大涡模拟在室内气流计算中的广泛应用打下了基础；(2)首次用大涡模拟方法研究了高雷诺数下高大空间多射流在等温、非等温情况下的瞬时流场和时均流场分布，并探讨了多射流流场的动态特性和流动规律；(3)基于大涡模拟的动态仿真结果和Fanger的热舒适指标，首次系统地提出了动态热舒适评价指标体系的概念：即基于时间平均参数的热舒适指标PD、PPD、PMV；基于瞬时参数的瞬时热指标IPD、IPPD、IPMV；基于时间平均热舒适指标TAPD、TAPPD、TAPMV；以及沿行动迹线的时间平均热舒适指标TTAPD、TTAPPD、TTAPMV，并分析了四类热舒适指标的差异性和计算方法，还以PD值为例对四类指标分别进行了计算；(4)基于数十种工况下空调房间大涡模拟的结果，研究了空调建筑上送上回和侧送侧回两种情况下热分层现象，并探讨了热分层的基本规律，首次提出了避免热分层现象的判断公式；(5)在暖通空调领域，首次使用IFA300热线风速仪、激光粒子速度场仪等先进设备，完成了与大涡模拟相对应的模型试验，并把实测结果与仿真结果进行了对比，说明LES在室内气流仿真方面是一种很有前景的方法。

Four basic processes are analyzed in detail in network security decision,which are the base of NSDSS security decision. Then, developing strategies and methods are analyzed according to the objective and task of the system. Antetype method with RAD speciality is chosen to lead the developing process of the system. The structure of "Four-Base and Seven-System" of NSDSS is decided, based on which, the Function and Structure of Man-Machine Conversation system, General Management system, Data Base system, Model and Method Base system, knowledge base system, Causing and solving problems system are discussed. The basic theories and methods of each part are discussed. In the designing process of Model Base System, detailed analysis is given to the models of prediction, evaluation and management in the course of security decision. Moreover, basic process and method are discussed on question generation and solution. Then, detailed explanation is provided on the integration and implement of the system. After that, it is suggested that implement of the system should be carried through the process of the system.

论文首先对NSDSS涉及到的相关知识进行了讨论，详细分析了网络安全决策中的四个基本过程，这是NSDSS进行安全决策的基础；随后依据系统的目标和任务，对系统的开发策略和方法进行了分析，选择具有RAD能力的原型法指导整个系统的开发过程；确定了NSDSS"四库七系统"的整体结构；在此基础上，分别探讨了人机对话系统、通用管理系统、数据库系统、模型库和方法库系统、知识库系统、问题生成和求解系统的功能和结构，对各部件的基本原理和实现方法进行了论述；在模型库系统的设计过程中，对安全决策过程中运用到的安全预测、安全评估、安全管理等模型进行了详细的分析；仔细探讨了问题生成和求解的基本过程和方法；较为详细地阐述了系统集成和实施的有关问题，面向系统的成功实现，提出了将系统实施贯串于整个系统开发过程中的思想。

The soundness and completeness theorem of this method were proved at last. This part consists of the following points: 1. The properties of the indecomposable extremely simple form of LP were discussed, the theorem shown that every logical formula of LP was equals of a generalized conjunction normal form. 2. The method for judging a logical formula is a indecomposable extremely simple form or not was discussed, the necessary and sufficient conditions of a logical formula with not more than three implicative connective being a indecomposable extremely simple form was given. 3. The α-resolution fields of the indecomposable extremely simple form of LP were discussed, some elementary results were obtained. 4. The automated reasoning method based on the resolution principle of classical logic was discussed, the author given a method to describe the set of clauses by using a matrix, and translated the resolution of two clauses to column operations of this matrix.

二、关于格值命题逻辑系统LP中α-自动推理方法的研究 1、对LP中不可分极简式的性质进行了研究，证明了LP中任何一个格值逻辑公式等值于一个广义合取范式； 2、对LP中不可分极简式的判定方法进行了研究，讨论了含有不超过3个蕴涵运算的格值逻辑式为不可分极简式的充分必要条件； 3、对LP中不可分极简式的α-归结域进行了研究，得到了一些基本结果； 4、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

The preface gave the definition and introduced history, background of development and significance of generalized inverse matrix. The first chapter, from the development process of generalized inverse, discussed all kinds of definition of generalized inverse determined by the Moore - Penrose equations. The second chapter discussed the definition and nature of dashes inverse A in generalized inverse as well as its application in compatible linear equations. The third chapter discussed the definition and calculation of the minimum norm inverse A in generalized inverse, as well as the Minimal Norm Solution of its compatible linear equations Ax = b.

前言从引进广义逆矩阵的定义着手，介绍了它的历史概况以及发展的背景及其意义；第一章从广义逆的发展历程讨论由Moore-Penrose方程确定的各种广义逆的定义；第二章讨论广义逆中的减号逆A 的定义及性质以及在相容线性方程组的应用；第三章讨论广义逆中的最小范数逆A 的定义及计算以及它与相容线性方程组Ax=b的极小范数解。

First, based on the mathematics model of comprehensive decision at present, the concept of evaluation function is introduced. Based on the thinking stability of decision-maker, the essential meaning of comprehensive decision model is discussed, therefore, and a new improved approach on the comprehensive decision model is put forward. Second, the mathematics model of interval number comprehensive decision is systematically discussed, and the ranking method of interval number based on the decision-maker's attitude is provided. Finally, the concept of valuation order relation is introduced, the valuation order relation of interval number and fuzzy number are systematically discussed in detail, it provides a new method to research the order relations of interval number and fuzzy number, therefore, these achievements can be applied in the intelligent system.

首先，针对常用的综合决策模型，给出了评判函数的概念，讨论了综合决策模型的本质意义，指出决策者的思维应具有稳定性，从而给出了综合决策模型的一种改进方法；第二，在此基础上，给出了区间数的综合决策模型，并详细讨论了基于决策者的决策心态的区间数的排序方法；第三，引入了赋值序关系的概念，详细讨论了区间数和模糊数的赋值序关系，为区间数和模糊数的序关系研究提供了新的思路与方法，这些均有望在智能系统中得到广泛的应用。

Mao Zedong has discussed confiscation of bureaucratic capital , has built the socialist state owned economy problem on depending on the socialist society pattern of ownership and assigning the system problem,have discussed the problem reforming individual economy becoming socialism collective economy , have discussed the problem reforming private capitalistic economy becoming socialist state owned economy , have discussed appropriate develop individual economy and private economy and the problem introducing foreign investment, possessions having discussed "three-level of rural collective economy, team the problem being a basis ", have discussed the problem needing to pay attention to the interests of the collective and the individual as well as the state, Have discussed the problem persisting in distributing according to ones performance , opposing an equalitarianism.

在社会主义社会的所有制结构和分配制度问题上，毛泽东论述了没收官僚资本、建立社会主义国营经济的问题，论述了把个体经济改造成社会主义集体经济的问题，论述了把私人资本主义经济改造成社会主义国营经济的问题，论述了适当发展个体经济和私营经济以及引进国外投资的问题，论述了农村集体经济的"三级所有，队为基础"的问题，论述了要兼顾国家、集体、个人三者利益的问题，论述了坚持按劳分配、反对平均主义的问题。

The surface of conventional engineering part is composed of simple analytical surfaces and four-boundary ruled surface primarily. Therefore a point cloud segmentation method based on those feature surfaces is proposed. Several algorithms to identify the simple analytical surface feature are investigated and discussed. The theory of fitting scattered point to B－Spline and Bézier surfaces is introduced and a fitting method based on four boundary and point set is also discussed. Moreover, anew method to recover the fix-radius rolling ball blend is proposed and discussed in detail.

常规工程零件的外表面中包含了大量的特征曲面，如简单解析曲面和四边直纹面，因此，本文提出基于特征曲面的的点云分割方法，研究几种识别简单解析曲面的算法；研究由点云拟合B－Spline和Bézier曲线的理论基础，总结曲面拟合的几种方法，提出一种反求定半径滚球圆角的方法。

The main content of this thesis is as follows: 1The structures of EPS are analyzed. The main components of EPS are introduced in detail. Then the distributed torque in EPS is analyzed and the control system model is set up. 2Three control modes are discussed and the control strategy of EPS is studied in detail. Three principal modules in the control strategy are discussed—the predicted module which predicts motor rotational speed and steering rotational speed, the power-assistant module and the return control module. 3The assistant torque curves of the motor are designed by using the B-spline, so that any kind of custom-built assistant torque curves can be designed according to different kinds of automobiles. 4The hardware frame of EPS is studied. The developed controller based on 8-bit MCU MC68HC908MR8 is introduced and many related circuit units are designed, including the control circuit, the driver control circuit and so on. The software structure is discussed, then the steering control program flowchart is given.

本文的主要工作有： 1分析了EPS 的总体构成，对EPS 的各个部件作了详细的介绍，并在此基础上分析了EPS 的受力情况，建立了控制系统模型，并研究了EPS 的安全性能； 2讨论了EPS 的三种控制方式，提出了控制策略，并讨论了其中三个关键模块的作用：预估模块包括对电机转速和方向盘角速度的预估，助力控制模块以及回正模块； 3用B 样条插值方法进行EPS 助力曲线的设计，可按照用户的要求设计任意形状的助力曲线，以满足不同车型和不同用户的要求； 4研究了控制系统的硬件结构，以MC68HC908MR8 为核心设计了控制器，详细讨论了控制器的控制电路、驱动电路等；设计了控制系统的软件，给出了控制程序流程图，并对要点进行了详细的说明。

On the ecosystem health, definitions from utilization and ecosystem views are introduced, the contents and difficulties in assessing it are discussed. On the biodiversity enhancement, the relationship between forest structural complexity and forest biodiversity are discussed, the significance of old growth structure are highlighted, and measures of changing forest structure to promote forest biodiversity are put forward. On the landscape planning in forest management, some patterns, theoretical foundations and models are introduced, especially three conceptual models, i.e., key habitat\|corridors model, nature landscape model, and supportive features model. On the alternative silvicultural systems, reasons for developing alternative silvicultural system by mimic of nature disturbance are discussed, and some advanced techniques and their ecological basis are noted. Finally, on the ecosystem service, its contents and importance of assessment are illustrated.

关于森林生态系统健康，讨论了不同角度对生态系统健康的定义和不同层次上的生态系统健康的内容及评价生态系统健康的困难所在；②关于森林生物多样性，探讨了森林结构复杂性与生物多样性的关系，老龄林结构对森林生态系统的意义和作用，以及如何通过经营调整结构促进生物多样性；③关于森林经营的景观规划，描述了进行景观规划的途径、理论和模型，并对三种概念模型进行了介绍；④关于森林经营的替代技术体系，介绍了模拟自然干扰设计替代技术体系的原理，分析了替代经营技术体系产生的原因和有关最新技术研究进展；⑤关于森林生态系统服务，讨论了生态系统服务的基本内容和评价在森林生态系统管理中的重要意义。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。