完备
- 与 完备 相关的网络例句 [注:此内容来源于网络,仅供参考]
-
Manufacturing, additional processing, and production, to customercomplaints Lee Kum Kee has a comprehensive monitoring system.
公司从农场到制作、加工、生产、出品甚至到处理客户投诉都有一套完备的监察机制,我们强调全面品质管
-
But at last a time came when the tyrants of Athens and the far older tyrannies of the rest of Hellas were, with the exception of those in Sicily, once and for all put down by Lacedaemon; for this city, though after the settlement of the Dorians, its present inhabitants, it suffered from factions for an unparalleled length of time, still at a very early period obtained good laws, and enjoyed a freedom from tyrants which was unbroken; it has possessed the same form of government for more than four hundred years, reckoning to the end of the late war, and has thus been in a position to arrange the affairs of the other states.
然而,最后Athens和Hellas除Sicily之外其余地方的僭主出现,立刻全部被Lacedaemon人镇压;这些城市,虽然在Dorian人定居以来,他的居民遭受了空前长时间的内讧,但是仍然在很早的时候就制定了比较完备的法律,在完整的僭主统治下仍享有自由;这种政府形式持续了超过四百年,由于后来的战争,这种制度被用于调解与别国的纠纷中。
-
But because landownership was not reformed, forestry property right was still incomplete , its operation mechanism was not sound , those problems of management couldn't be solved yet.
但由于没有触动土地所有权改革,使得林业产权尚不完备,运营机制有待完善,有关要素参与、科学经营、持续收益、法人运作等经营方面的种种问题还未能得到解决。
-
The author also gave a detailed analysis of standard form contract legal characteristics, such as the characteristic of comprehensiveness, lastingness and specificness; pre-decision of unilateral; criterion, perfection and shapeliness etc.
详细分析了格式合同的法律特征:如广泛性、持久性和细节性;单方事先决定性;规范、完备和定型化的特点等等。
-
Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.
本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作,对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究,主要有以下两方面的研究成果:一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究,得到了当L为完备格蕴涵代数时,关于∨,∧,→运算的一些结果; 2、对格蕴涵代数的左幂等元进行了研究,证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和; 3、对格蕴涵代数的滤子的性质进行了研究,证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理; 4、给出了格蕴涵代数中弱滤子的概念,对弱滤子的性质个结构进行了研究,证明了格蕴涵代数的全体弱滤子构成一个拓扑结构,格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。
-
This paper, entitled with A Study On the Mortgage Right of Securitization System makes a research on the theory of mortgage securitization from aspect of law by means of induction, deduction, and demonstration etc. The paper consists of four chapters.
同时建立一套较完备的相关法律制度,确保抵押证券的流通性和安全性,以便充分发挥抵押权的债权保全功能与投资融资功能。
-
Secondly, two kinds of robust adaptive control algorithms are put forward by making use of the normalization method and recursive least squares estimator with adequate adaptation freezing.
第二章讨论结构不确定系统的完备描述问题,在此基础上,首次建立了鲁棒自适应控制问题的一般提法,并提出了控制系统定性-定量建模理论与方法。
-
In the sense of cutset, the relation between the rough set of a cutset and the cutset of a rough set, a fuzzy rough set of a fuzzy primary ideal in a semigroup is proved to be its fuzzy primary ideal. The sixed chapter is Rough Primary Ideals and Rough Fuzzy Primary Ideals in rings, the corresponding results of a semigroup are generalized in a ring. The last chapter is Rough-fuzzy Subsemirings in Semirings, First, the lower and upper rough-fuzzy semirings together with the left and the right ideal are defined.
利用截集意义下,截集的粗糙集与粗糙集截集的关系,证明了在完备同余关系下半群中的模糊准素理想的粗糙集是模糊准素理想;第六章是环中粗准素理想和粗模糊准素理想,将半群中的相(来源:A70BC论文网www.abclunwen.com)应结果推广到环中;第七章是半环中的粗模糊子半环,首先,给出上粗模糊子半环及上粗模糊理想等概念,并研究了它们的性质。
-
After hard work, I finally realized my design as expected, and developed this practical and valuable automobile lend-lease management system.
基于计算机技术的完备的机动车租赁管理系统把一些繁琐的数据计算、信息处理化为简单的指令操作。
-
Based on the computer technique, the perfect automobile lend-lease management turns those complicated data calculation and information processing into simple instructions.
基于计算机技术的完备的机动车租赁治理系统把一些繁琐的数据计算、信息处理化为简单的指令操作。
- 推荐网络例句
-
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 。
-
The shamrock is the symbol of Ireland and of St.
三叶草是爱尔兰和圣特里克节的标志同时它的寓意是带来幸运。3片心形叶子围绕着一根断茎,深绿色。