查询词典 weak convergence

A weak inverse of S is an element x ∈ S such that x = xax, denoted by W the set of weak inverse s of a.

如果存在x∈S，使得x=xax，则称x为a的一个弱逆。

In chapter three, we first give the definition of quadratic automata (3. 6 definition), then study their invertibility. 3. 10 theorem gives a sufficient and necessary conditions for weak inverse quadratic form finite automata, and a way to find the one whose weak inverse is quadratic form finite automata.

第三章首先构造了二次型有限自动机类（3.6定义），研究其上的可逆性理论。3.10定理给出了弱逆二次型有限自动机的充要条件及弱原逆的求法、3.12定理则给出了弱可逆二次型有限自动机的充要条件及弱逆的求法。

Establish integrated invertibility theory over it: By R〓R〓 transformation method, we solve the problem of deciding weakly invertibility and finding weak inverse, By founding the bijections between all quadratic form automata and input memory linear finite automata, we find a algorithm to produce all weak inverse quadratic form finite automata.

本文着眼于这些最基本问题，将有限域上的二次型和置换多项式理论引入有限自动机可逆性的研究，构造了一类由二次型构成的非线性有限自动机（3.6定义），称之为二次型有限自动机，我们在其上面建立了与线性有限自动机可逆性理论相对应的完整的可逆性理论：采用线性R〓R〓变换方法，解决了此类有限自动机的弱可逆性判定、求弱逆问题（3.10、3.12定理）、通过建立全体二次型有限自动机与全体输入存储线性有限自动机之间的保持弱逆性的一一对应，给出了产生全部可逆二次型有限自动机的方法。

In the last section of the chapter, sufficient and necessary conditions about weak invertibility or weak inverse for a kind of NFA are given.

进而又讨论了它们也是判定FA为弱可逆或弱逆的必要条件的情形。

This paper studies on weak invertibility of a linear finite automata based on its matrix model,gets a full and essential condition on which a linear finite automata weakly and invertibly delays finite steps,and also gives an algorithm whether or not a linear finite automata has weak invertibility .

主要讨论了基于矩阵模型表示的线性有限自动机的弱可逆性，利用矩阵模型得出了线性有限自动机延迟有限步弱可逆的充分必要条件，并且给出了线性有限自动机是否具有弱可逆的算法。

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、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

Owing to existing problems of poor levelness and wet fastness in polyamide fabric dyeing with weak acid dye, reasonable dyeing process was put forward, that is the polyamide fabric was pretreated with chitosan and then dyed with weak acid dye.

根据壳聚糖在阴离子染料染色时，可起到使颜色增深的作用特性，先用一定浓度的壳聚糖溶液对锦纶织物进行预处理，然后再用弱酸性染料进行染色，以提高其湿处理牢度。

Great differences between them are found in amplitude, and attributed to the strong background wind in troposphere and steady weak wind in lower stratosphere. Steady diurnal variation of temperature appears above 23 km, and the same variation in pressure is found starting from lower altitude, which together suggest a weak diurnal variation in atmosphere density above 23 km, that approximates a constant at each height.

发现风场振幅的变化与统计平均的结果存在较大差异，这归结于当地冬季对流层内强烈变化而低平流层内相对稳定的风场；温度在23 km以上存在稳定的周日变化，气压在更大的范围内存在与温度类似的周日变化，这使得在23 km以上大气密度的周日变化十分微弱，在各个高度上近似为一个常数。

First, experimental datum is analyzed and it is found that the shallow water ocean internal wave spectrum is different from that of the deep ocean GM spectrum. Then, the theory of weak turbulence is systematically summarized, and Lvov and Tabak's method of obtaining the deep ocean internal wave spectrum is introduced. They applied the theory of weak turbulence to internal waves of long wave length and found that GM spectrum maybe obtained theoretically.

首先，基于海洋实验数据分析了浅海内波谱特性，指出它与深海GM谱不同；接着，系统地总结了Zakharov等人发展的基于波-波相互作用的弱湍流理论，对文献中没有给出推导的一些关键性公式进行了细致的推导，并讨论了Kolmogorov-Zakharov谱在海洋内波研究方面可能的应用；最后，总结了Lvov和Tabak对于深海GM谱的弱湍流理论解释；介绍并细致推导了Madja、Mclaughlin和Tabak(1997)提出的一维MMT模型及其特性。

A maximum method for measuring surface tension coefficient;2. A discussion on the maximum positions of a function and its transform;3. There are the minimum and the maximum of ionicity of weak acid and weak base.

在化学教学中，涉及到弱酸和弱碱的电离度，弱酸和弱碱的电离度存在极小值和极大值，用稀释定律求算电离度会引起的一定的误差。

Panorama Many people are dancing in a large sitting room.

在一个大客厅里，许多人在跳舞。

We fully understand how a microwave oven cooks food, it is first necessary to talk ...

我们充分理解一个微波炉煮的食物，这是首先要谈。。。