查询词典 generated

Gdel's second incompleteness theorem can be stated as follows: For any formal effectively generated theory T including basic arithmetical truths and also certain truths about formal provability, T includes a statement of its own consistency if and only if T is inconsistent .

第二，他证明了，对于任意的数学系统，如果其中包含了算术系统的话，那么我们不能在这个系统内部证明它的一致性。这就是希尔伯特第二问题答案的一部分。

This generated a lively discussion in which children commented on the inconsiderateness of the three visiting children, the desirability of working out a solution that would satisfy all four children, the importance of respecting people's rights, and how one might feel if he or she were in Ian's place.

这引起了热烈的讨论，使儿童的评论inconsiderateness三国儿童可取了对策，满足所有四个孩子，要尊重人民的权利，如何可以感受到如果他或她在伊恩的地方。

Different from conventional MLLR, the regression classes of TMLLR are generated dynamically based on increment of target function and a multi layer feedback mechanism.

并且由于这种算法的特殊多层结构，减少了许多中间的冗余计算，算法在具有较高的自适应精度的同时还具有较快的自适应速度。

Different from conventional MLLR, the regression classes of TMLLR are generated dynamically based on increment of target function and a multi-layer feedback mechanism.

这种算法基於目標驱动的原则，引入反馈机制，根据目標函数似然概率的增加来动態决定MLLR变换的变换类，大大提高了系统的识别率。

Firstly, the residual error of each time step is calculated, and then the adaptation matrix is generated in accordance with the residual error. Through the proposed error index the on-line adaptive tracking of system parameter can be identified.

首先，每一个时间点的残余误差将被算出，而适应性矩阵根据残余误差产生，最后透过推荐的误差指数使得系统参数可以即时的被识别。

In the relationship between implication and images, implication not only reflect Chinese culture and spirit, but also reach agreement with "the spirit of dancing accompanied by music" of Chinese art because it exists in an abstract, objective and indistinctive form of "graceful dance movements","a state of life generated by breath" and "the spirit of Taoism".

不仅具有鲜明的中国传统文化特质，同时也是中国绘画本质的体现，是"意"与"象"的完美结合。在"意"与"象"的关系中，"意"不但体现着中国文化和精神的交融，并且因具有一定的抽象性、主观性和模糊性而与中国艺术之精神——"乐舞精神"相吻合。

Electricity Having an induced current that is generated by an inductively coupled primary.

产生感应电流的：由初级电圈感应产生的感应电流的。

The authors analyze the mechanics of ozone generated by corona discharge and the elements of surface discharging electrode and conclude that heightening the inductivity and the surface resisitivity of the dielectric and decreasing the thickness of the dielectric can increase the productivity of the ozone generator.

本文论述了电晕放电法产生臭氧的机理和沿面放电用电极的结构及影响因素，认为提高电介质的介电常数、表面电阻率和降低电介质的厚度可以提高臭氧发生器的效率。

When a container with an inner aluminum-foil cover passes inductorium, heat will be immediately generated and makes the aluminum-foil layer stick tightly to the bottle mouth to avoid air leakage.

当装有铝箔内盖的容器经过感应圈时，即产生涡流瞬时发热，使铝箔面与瓶口紧密地粘合，达到气密封口的目的。

With rapid development of information technology, a kind of infinite sequence data is generated in many areas.

中文摘要随着信息技术的飞速发展，许多领域产生的数据是在时间维度上严格有序、在数值上不断变化的无限的数据序列，由此产生数据流模型。

When this condition occurs, inbound replication with the source partner is stopped on the destination domain controller and event ID 2042 is logged in the Directory Services event log.

计算机密码学是研究计算机信息加密、解密及其变换的科学，是数学和计算机的交义学科，也是一门新兴的学科。

Instructions: click on the thumbnails to see a larger image, then use the left-right arrow keys to scroll through the slideshow.

使用说明：滑鼠点在小图上即可放大观赏。开启后键盘左右键可用来换照片。