查询词典 extend

At the same time , we discuss the determinism and nondeterminism of formula-clock automata and the closure propertied under Boolean operation of the language which is accepted by formula-clock automata. We also prove the expressive equivalence between the deterministic formula-clock automata and the nondeterministic formula-clock automata. This means that every nondeterministic formula-clock automata can be transformed to a deterministic formula-clock automata which exactly accept the timed language identified by the fomer.We also extend timed words to infiniteness and define the formula-clock Buchi automata and the formula-clock Muller automata. At last, we show its application in formal verification and modeling of real-time system.

然后讨论了公式时钟自动机的确定性和非确定性，公式时钟自动机识别的语言类在并、交、补运算下的封闭性；并证明了确定的公式时钟自动机和非确定的公式时钟自动机表达能力的等价性，这意味这每一个非确定的公式时钟自动机都能转换为一个与之识别相同时间语言的确定的公式时钟自动机；我们将时间字扩展为无穷的，从而定义了公式时钟Buchi自动机与公式时钟Muller自动机；最后给出了用它进行实时系统的形式化验证方面及对实时系统建模的应用。

This paper presents the local color transfer approach based on the simple statistics and gradient domain information of images. Our approach proposes a sketching interface, can preserve the color details of source image, and can extend to colorization problem for improving the speed of colorization.

提出一种基于图像的简单统计信息和梯度域信息的局部颜色迁移算法，其中提供了简单易用的操作界面，在迁移过程中能够保持源图像的颜色细节；将其推广到灰度图上色问题，可有效地提高上色速度。

The "V-Y" progradation suture was used in the philtrum introcession and the bottom of nasal columella to extend the nasal columella.

在鼻小柱底部人中凹陷处行"V-Y"皮瓣推进缝合以延长鼻小柱。

Medium-sized come into leaf; Total Xie Bing is long make an appointment with 9cm, fine hard, inclined extend; Flocculus grows egg form or broadness wraps around needle form, the notch is little, upright gradually pointed, the brim is small go up roll, green of face of blade.

中型长叶；总叶柄长约9cm，细硬，斜伸；小叶长卵形或阔披针形，缺刻少，端渐尖，边缘微上卷，叶面绿色。

In recent years, WMN which uses a multi-hop configuration to extend the reach of the last-mile access to Internet has come into public notice. WMN is characterized by the use of multiple orthogonal (non-overlapping) channels and multiple wireless interfaces.

最近几年，无线网状网路使用无线多跳跃模式，不需有线电缆的架设，即可以经由无线网路将可上网的范围扩大，已引起大家的关注，而无线网状网路主要是利用多频道以及多天线的架构，来增加网路吞吐量和减少延迟。

Through analyzing the concept of the least common multiple of fraction,we gave the formula computation of the least common multiple of fraction,and made the concept of the least common multiple extend to real numbers.

通过分析分数的最小公倍数定义，引出了分数最小公倍数的计算公式，使得最小公倍数的概念扩充到实数范围。

By using generalized-weak commutativity mapping, the existence of common fixed point for this class of contractive type mappings is studied in complete metric space, a common fixed point theorem for contractive type mappings is obtained, which largely improve and extend the corresponding results in some references.

通过使用映象的广义弱交换条件，在完备度量空间中研究了更为广泛的一类压缩型映象的公共不动点的存在性，给出了一个新的公共不动点定理，从而在很大程度上改进和推广了现有文献中的一些结果。

Finally we discuss the collectively compact Toeplitz operator sequences on Dirichlet space.it extend the single compact operator.

最后对Dirichlet空间上的Toeplitz算子序列的总体紧性进行了刻画，这是单个算子情形的推广。

There are mainly four innovations made in this thesis: By introducing the notion"collectively compact operator sequence"into the study of composition operators, we give a sufficient and necessary condition on generalized Nevanlinna counting functions of the inducing maps for {C〓} to be collectively compact, extend some previous results and enrich the content of the study of composition operators.

本文主要在以下几个方面有所创新：第一，把逼近论中的算子序列总体紧性的概念引入到复合算子理论的研究中来，并通过值分布理论中的广义Nevanlinna计数函数给出了Hardy空间与加权Bergman空间之间的复合算子序列的总体紧性的刻画，从而推广了Shapiro的结果，丰富了复合算子理论的内容。

This proprietary product ( Patent number: 200530017871.6), is in Shandong the information forecast the research institute, in many years study the motherland tradition Chinese character forecast culture and in the Western tower compass card forecasting technology foundation,"extend the thought" using British biology chemist Scherr Drake the theory, pass through explore, the new generation high tech content forecast tool which unceasingly develops.

该专利产品（专利号：200530017871.6），是山东中正信息预测研究所在多年研究祖国传统汉字预测文化和西方塔罗牌预测技术的基础上，应用英国生物化学家谢尔德雷克"延伸的思想"理论，经过不断探索，开发出的新一代高科技含量的预测工具。

I had a lovely dog named PiPi, he was one of my best friends.

我曾经有过一只小狗，它的名字叫皮皮，它很善良，它是我最忠实的朋友。

Newly ovulated mouse oocytes were cultured in the CZB medium supplemented with different concentrations of pyruvate before treated for activation or assayed for MPF activity.

我们猜测卵母细胞在不含丙酮酸的条件下老化的更快，并且卵丘细胞可能通过消耗不含葡萄糖的CZB中的丙酮酸从而促进卵母细胞老化。