明了的例句大全

Let f be a covering mapping of a compact manifold M without boundary. It is shown that the necessary and sufficient condition of the quasi-hyperbolic covering mapping of f is that ( I-f) is injective and has closed range.

设f是紧致不带边流形M上的覆盖映射，证明了f是拟双曲覆盖映射的充分必要条件是（I－f＊）为单射且有闭值域。

In Chapter V, this paper primarily analyzed an actual case of K Co., and proved the feasibility of the lean improvable and implemental system based on entropy theory.

本文通过对K公司的实际案例进行分析探讨，证明了基于熵理论的精益改善方法及实施体系的可行性。

Simulation results demonstrate effectiveness of the AAFC scheme.

仿真结果证明了AAFC方案的有效性。

Applying forcing method, we show that both are consistent with ZFC, respectively.

用力迫方法证明了它们分别相对于ZFC协调。

The sample illustrates how data from several software applications can be merged with XDP templates to produce PDF documents that are signed with a digital signature.

该样例说明了来源于一些软件应用程序的数据如何与XDP模板合并来生成具有数字签名的PDF文档。

The practical research confirmed the availability of MCCFs on improving the microwave absorption and mechanical properties of WHF/ VMQ composites.

通过实用化研究证明了磁性纤维在改善铁氧体/甲基乙烯基硅橡胶复合材料的吸波性能以及力学性能方面的有效性。

The full WGI volume, called" Governance Matters VI," shows how the six aggregate indicators are constructed.

《全球治理指标》全卷，即《治理至关重要之六》说明了六项综合指标的构造。

There were facts and figures of both good and bad VFM delivered by the associated projects.

根据相关项目的研究并结合事实和数据说明了，提升资金价值有好与有坏。

The results of the wear tests performed in the TNO tester and the bearing tester also indicate this application.

在TNO试验机和轴承试验机上进行的磨损试验也说明了这种应用。

Through study of the testing technique for oil feed circuit and designing principle of data fusion, the realization of fault test and diagnosis for hydraulic system was illustrated.

通过对液压系统供油回路的信号测试过程及信息融合方案的设计分析，阐明了液压系统故障检测和诊断的实现过程。

The simulation experiment in balancing control of inverted pendulum shows that the proposed RHC strategy is correct, and the realization of infinite horizon closed-loop optimal control is feasible by integrating with rolling optimization idea.

应用于倒立摆平衡控制的仿真实验说明了论文提出的移动域控制策略的正确性及与滚动优化思想相结合实现无限域闭环最优控制的可行性。

Many theories and practices in developed countries have validated the influence that QWL have on human resource management.

发达国家已经有很多理论和实践证明了工作生活质量对人力资源管理的影响作用，并被系统地、广泛地应用在实际的生产管理活动中。

It is proved that the set of all OWG operators form a complete lattice according to the order on the set of all weight vectors.

证明了按照权重向量的序关系OWG算子集合构成一个完备格。

The changing processes and the Lyapunov exponents is calculated by the small data set method, the result shows that the chaos exactly exist in the traffic flow of OVM.

通过分析这种车头间距变化过程的变化曲线并利用小数据量方法计算Lyapunov指数，证明了基于OVM模型产生的交通流中存在着混沌现象。

Firstly, it was proved that the multistage wiener filter ( MWF) implemented by the correlation subtraction algorithm ( CSA) was a unitary MWF and that the matched filters were equal to the corresponding basis vectors of the rank reducing subspace in the CSA-MWF.

证明了由相关相减算法实现的多级维纳滤波器是一种酉多级维纳滤波器，并且其各级的匹配滤波器与对应的降秩子空间的基向量相等。

We prove that the system life distribution is NWU under Poisson shock source.

在Poisson冲击下，我们证明了该系统的寿命分布是NBU的。

It meaned that the output current of MCR was closely related with DC bias.

这说明了磁控电抗器的输出电流与直流偏磁是密切相关的。

To ensure stability of the NNA, the convergence theorem of the NNA is presented and proved.

为保证该算法的稳定性，提出并证明了该算法的收敛定理。

And we show the key code and the data structure . 3.

说明了其中关键代码的实现和数据结构的设计.

The flexibility of the model is verified by implementing RED and LQD algorithms.

通过对RED和LQD算法的仿真，表明了该模型的有效性和通用性。