语言能力

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

The aim of language teaching is to foster students communicative competence by using the language.

语言教学的目的是为了培养学生运用这种语言进行交际的能力。

Compound function word can strengthen the mood of sentence, m...

主要功能是使语言准确、精密，加强语气、语势和感染力，丰富语言表达的形式和能力等。

Through story telling, develop the capability of language expression especially the oral language competencies, also promote expressiveness and descriptiveness of their language.

通过讲故事，发展学生语言表达尤其是说的能力，提高语言的表现力

It is the sole method of recognition capacity, and also is a dispensable implement in the language understanding and harvest.

隐喻是理解认知能力的唯一方法，也是语言理解和语言习得中不可缺少的工具。

The maximum entropy approach is proved to be expressive and effective for the statistics language modeling, but it suffers from the computational expensiveness of the model building.

近几年在自然语言处理的研究过程中发现，最大熵方法是一种建立统计语言模型的有效方法，具有较强的知识表达能力。

With entering WTO in 2002, China has become an important component of the world economic chain. In order to keep an extensive contact with other countries, China urgently needs people with solid linguistic knowledge and the ability to use English in real-world situations.

随着2002中国进入WTO，中国已成为世界经济链条的一个重要组成部分，为了同世界各国进行更广泛的交往，迫切需要高素质的复合型的英语人才，即具有扎实的语言基础，及实际运用语言的能力。

The contributions of this paper are as following. Firstly, an authorization language is proposed. The expressive power of FEAL can be enhanced by user-defined predicates, and multiple policies are supported.

通过上述工作，本文的主要贡献体现在以下几点：第一，提出了一种灵活的可扩展的授权语言FEAL，利用自定义谓词扩展语言的表达能力，描述多种安全策略。

It also puts forward some suggestions in order to make students achieve the balance of lanˉguage competence.

教师采用的是以教师为中心的教学法，学生被动听课，很少有参与的机会，这就造成了学生在听力和阅读这些属于被动语言输入的技能强于属于语言输出的写作和口语能力的后果。

Because NLP is not perfect now and all of the features are gained from NLP, mistake is ineluctable.

由于目前自然语言处理技术还不完善，而特征属性的取值主要依靠自然语言处理工具，因此，错误不可避免，而实验表明，该算法的抗噪声能力较强。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。