查询词典 formal

The third chapter introduces the notion of inductive *-semirings and weak inductive *-semirings. We give some basic properties of them and discuss the formal power series semirings.

第三章以归纳*-半环为重点，介绍了归纳*-半环及弱归纳*-半环的概念及基本性质，并讨论了归纳*-半环的形式幂级数半环。

In chapter 5, we define the notions of *-μ-semirings as well as *-λ-semirings and also study the primary properties of them. We discuss the interrelation between *-μ-semirings and *-λ-semirings, and their relation with those semirings introduced above. In the end, we study the formal power series semirings of *-λ-semirings as well as weak inductive *-semirings.

第五章给出了*-μ-半环和*-λ-半环的定义和基本性质，讨论了这两类半环之间以及它们与归纳*-半环、弱归纳*-半环之间的一些内在关系并研究了它们的形式幂级数半环。

In this thesis, we define the notions of μ-semirings, A-semirings,*-μ-semirings and *-λ-semirings which extend the notions of inductive *-semirings. we also study the basic properties of these semirings and discuss the interrelation between them. Also, we discuss whether these semirings are closed for the construction of formal power series via a fixed point-theoretical viewpoint.

本文给出了归纳术*-半环及弱归纳*-半环概念的推广，即μ-半环、λ-半环、*-μ-半环以及*-λ-半环的定义；研究了这些半环的一些基本性质以及它们之间的相互关系；同时结合形式幂级数及不动点理论，讨论了这些半环关于形式幂级数构造的封闭性问题。

This is bigger than the formal banking system.

该系统的规模大于常规的银行系统。

Law is an important part of formal system, and efficient law can provide effective incentive mechanism.

摘要法律是正式制度的重要组成部分，有效率的法律能提供有效的激励机制。

This dissertation presents a formal system of cooperation.

提出了一种描述主体协作的形式系统。

Secondly,the main formal models and methods of system are analysed.

其次 ，分析了几种主要的系统形式化模型和方法。

Part five and six is the research of China's commercial bank credit system from the formal angle.

第五、六章是从制度的正式安排角度对我国商业银行信贷制度进行了深入研究。

What is your perspective on the impact of system modeling on formal verification?

你如何看待的影响的系统建模的形式化验证？

It is regarded as the formal beginning of the system in China market.

该制度在中国如何能有效实施？目前的实施情况和存在问题是什么？

Lugalbanda was a god and shepherd king of Uruk where he was worshipped for over a thousand years.

Lugalbanda 是神和被崇拜了一千年多 Uruk古埃及喜克索王朝国王。

I am coming just now,' and went on perfuming himself with Hunut, then he came and sat.

我来只是现在，'歼灭战perfuming自己与胡努特，那麼，他来到和SAT 。