查询词典 proved

Characteristics of a number of gates from the set of all generalized Toffoli gates are studied. Any permutation S is proved to be generated by a n-cycle δ and a permutation τ=i(subscript j, i together. It shows that any neighboring 2-cycle permutation can be generated by at most two NOT gates without ancilla bit.

本文研究了生成Toffoli门集合的可逆逻辑门数的特点，证明了任意置换S可以由n-轮换δ和一个置换τ=i(下标 j，i生成，同时证明了相邻2-轮换可由至多两个NOT门在不增加额外信息位的情况下生成。

Description of project:There are rich resources of andalusite with the proved reserves of 18 million tons.

三、项目概况：岫岩县红柱石资源丰富，现已探明保有储量1800万吨。

The fact proved that, student's independent management manifests fully, enthusiasm higher, the class anemology wind is better.

事实证明，学生的自主管理体现得越充分，积极性就越高，班风学风就越好。

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在室内气流仿真方面是一种很有前景的方法。

The analysis and summarization, the projection character of angle bisector is proved on theory.

通过对角平分线投影特性的分析、总结，从理论上证明了角平分线投影特性。

This paper presents a simple physical model of change of mass density for calculating the diffraction intensity of multilayer, which is proved by the experiments of the small angle X-ray diffraction.

提出了这种膜系内密度变化的简单物理模型，通过理论衍射强度计算和小角X衍射实验证明这种模型是合理的。

the conditions of acquisition of minimum deviation is proved by means of rolle's theorem and the reversibility principle of beam path for triple prism, it is that the angle of incidence is equal to the angle of emergence for monochromatic incident beam.

利用数学中的罗尔中值定理及光路的可逆性原理证明了三棱镜获得最小偏向角的条件，即单色光线的入射角等于出射角。

Studies of the angular correlation functions and vibrational properties of zirconium nanowire have farther proved such novel structural growth order.

角关联函数和振动谱研究进一步证明了这种奇特的纳米线结构生长序。

In this paper, firstly we researched the relationships of the communicating distanceand the channel characteristic, the effect of the multiple scattering to the laserpropagation, the requirement of the laser communication to the ATP system and theway to determine the angular dispersion and receive field of view. It is proved that inlight haze weather, letting the input and output laser\'s wavelength are diferrent witheach other, after passing by the filter, it can avoid backward scattering effectually andfor the communication within 15km, the influence of the multiple scattering inatmosphere can be ignored.

论文对通信距离与信道特性、多次散射对光传输的影响、无线激光通信对ATP带宽的需求以及光束发散角和接收视场角等重要系统性能参数和指标进行了分析和研究，证明了在轻霾天气状态下，使系统中两终端发送的激光束波长各不相同，经过光束滤波，可以有效地消除后向散射干扰；在15km的通信距离范围内，大气中的多次散射对无线激光通信光传输的影响可以忽略。

It is proved that the anode effect can be predicted and positioned by analyzing the vibration signal of poles.

本文的具体工作如下：首先，对阳极振动信号进行了理论分析和实验。

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失