扩展

Software entites should be open for extension,but closed for modification.

开闭的原则是：一个软件实体对扩展开放，对修改关闭。

Classes should be open for extension, but closed for modification.

类应当对"扩展"开放，对"更改"封闭。

Software entities like classes, modules and functions should be open for extension but closed for modifications.

软件实体，像类，模块和功能应当被开发允许扩展，并且被关闭不允许修改。

To propose a new way to expand closed feature phone system.

提出了一种扩展封闭的feature phone的新方法。

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自动机；最后给出了用它进行实时系统的形式化验证方面及对实时系统建模的应用。

A co-author can help you expand your knowledge , improve your skills , and expose your biases .

他可以帮你扩展你的专业知识，提高你的研究能力，暴露你的学术偏见。

We have used interfaces to services outside Python, and we've coded extensions as Python modules.

我们使用了Python外部服务的接口，我们以Python模块的方式编写了扩展。

And central and western areas are relatively weak. However, as the development of western regions, many rare natural landscapes have gradually entered people's vision. It has great relations to the expansion of cognizable space, the awakening of commercial awareness and the expansion of tourism demand.

不过，随着西部大开发以及西部探险旅游的深入，西部众多以往默默无闻的奇异自然景观也逐步进入人们的视野，这与人们认知空间的扩展、运营意识的深化以及旅游需求的升华有很大关系。

The effectiveness of the proposed approach is demonstrated by simulations of cohesive crack growth in concrete.

对混凝土粘结裂纹扩展的数值模拟说明了该计算方法的有效性。

Owing to a global cold and dry weather,desert areas expanded constantly in the North, and the n

由于全球性寒冷干燥期的出现，我国北方沙漠面积不断扩展，各游牧民族原有的生存环境不断恶化，于是纷纷南迁，趁着西晋统治集团内乱之际，夺取了政权。

I didn't watch TV last night, because it .

昨晚我没有看电视，因为电视机坏了。

Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.

今年以来，在北京的很多小区里，电梯液晶电视被撤了下来。