完备 complete; perfect 指出不完备之处 point out the imperfections; 这些插图使正文臻于完备。 these illustrations fulfil the text. 再有一张邮票, 我这套集邮就完备了。 i need one more stamp before my collection is completed
Taking the greenhouse as application object , based on the analysis of the test data by the theory of rough sets , and using the theory of structure mechanics , the dissertation presents a new method of optimizing designing of greenhouses " structures based on the rough sets theory 本文以日光温室为试验研究对象,基于rough集理论对试验数据的完备化推理分析,应用结构力学等知识,根据温室载荷设计标准,分析研究了基于rough集的日光温室结构优化设计的方法,提出了一种基于试验数据本身信息的日光温室结构优化设计的新方法。
It is proved that this approach reduces the entropy of information system and the mutual information of decision system . according to information theory , this approach is better than other completion methods , such as remove incompletes , mean / mode fill , combinatorial completion and similarity relation model 本文证明该拓展算法使信息系统的信息熵(决策系统的互信息)减小,在信息理论意义上优于删除法、扩展法、默认值替代法和相似模型法等常用的完备化处理方法。
In the final part we concern with the convergence rates of ergodic limits and approximation for k - regularized resolvent families for a linear volterra integral equation . we give the ergodicty for k - regularized resolvent operator families at 0 and we also prove their basic properties by means of k - functional and relative completion . finally , we obtain some results of the convergence rates of ergodic limits and approximation for k - regularized resolvent families 第四章我们主要研究了k -正则预解算子族的遍历极限的收敛率和逼近。借助于k -泛函和相对完备化,给出了k -正则预解算子族在0点的遍历性,证明了一些基本性质。我们也证明了k -正则预解算子族的遍历极限的收敛率和逼近的一些结果。
An important property of sobrification is given . by discussing the spectra of complete lattices , a theoretical foundation of sobrification of spaces is obtained . thus we know that the category of sober spaces is a reflective subcategory of the category of all the topological spaces with continuous functions 通过对完备格的谱理论的简单讨,为一般的拓扑空间及偏序集的sober匕做了理论上的铺垫z指出了拓扑空间的sober化函子是从sob到top的包含函子的左拌随,理想完备化函子是从alg到pos的遗忘函子的左拌随
Secondly , based on the theory of consistent l - domains and their directed completions established by professor xu , this paper proves that the set of compact elements in a consistently algebraic l - domain is an l - cusl and that the ideal completion of the set of compact elements in a consistently algebraic l - domain is isomorphic to its directed completion , which characterizes the directed completion of consistently algebraic l - domains 在徐罗山教授所建立的相容l - domain及其定向完备化理论的基础上证明了相容代数l - domain的紧元集是l - cusl ,得到了相容代数l - domain的紧元集的理想完备化与其定向完备化同构这一重要结果,从而刻化了相容代数l - domain的定向完备化。
With these concepts , the following results are obtained : ( 1 ) the set of compact elements in an algebraic l - domain is an l - cusl ; ( 2 ) algebraic l - domains equipped with scott topology are the soberification of their sets of compact elements equipped with pseudoscott topology ; ( 3 ) the ideal completion of an l - cusl is an algebraic l - domain , obtaining a representation theorem for algebraic l - domains 证明了:任一代数l - domain的紧元集是l - cusl ;任一代数l - domain是其紧元集赋予alexandrov拓扑时的sober化;任一l - cusl的理想完备化是代数l - domain ,从而得到了代数l - domain的表示定理。