查询词典 weak-spirited

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.

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

Limit theorems for the integration of function sequence with respect to weak convergence probability measure sequence are proved under the condition of the weak tight, which have been used to research the some convergence of expectant functional sequence,and a sufficient condition for the epi-convergence of expectant functional sequence is obtained.

提出了弱胎紧的概念，并在弱胎紧的条件下证明了函数序列关于弱收敛概率测度序列积分的极限定理，用其研究了期望泛函序列的若干收敛性，得到了期望泛函序列的、上图收敛的一个充分条件。

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.

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

Interference is most difficult to be avoided while measuring the weak signal, Especially when the signal is only at microvolt level.X9313 is a kind of digitally controlled dissurbacne potentiometer produced by Xicor company.We succeed in using it to solve the problem that the signal is too strong, and get the useful signal in a weak signal measurement device.

微信号检测中最难避免的就是干扰问题，特别是在信号仅为微伏级时，信号相对于干扰来说，几乎被完全淹没，因此，研究如何在干扰信号很大的情况下尽可能地检测出有用信号有着极其重要的意义。X9313是Xicor公司推出的一种数字电位器，在某微弱信号检测装置中，采用X9313可成功解决干扰信号过大的问题。

And also,the Holder"s, Minkowski"s,Young-type inequalities and four interpolation theorems,which are hold on the Lebesgue spaces,are established on the homogeneous Morrey-Herz spaces MK_~ and the weak homogeneous Morrey-Herz spaces WMK_~.These results on the cor-responding homogeneous Herz space K_q~and the weak homogeneous Herz spaces WK_q~are also new.

同时把Lebesgue空间上成立的Holder、Minkowski、Young不等式以及四个插值定理推广到了齐次Morrey-Herz空间及弱Morrey-Herz空间WMK_~上，而这些结果在相应的齐次Herz空间K_q~和弱齐次Herz空间WK_q~上也是新的。

It has been put forward that there exists single Ball point and double Ball points on the symmetrical connecting-rod curves of equilateral mechanisms.

从鲍尔点的形成原理出发，分析对称连杆曲线上鲍尔点的产生条件，提出等边机构的对称连杆曲线上有单鲍尔点和双鲍尔点。

The factory affiliated to the Group primarily manufactures multiple-purpose pincers, baking kits, knives, scissors, kitchenware, gardening tools and beauty care kits as well as other hardware tools, the annual production value of which reaches US$ 30 million dollars.

集团所属工厂主要生产多用钳、烤具、刀具、剪刀、厨具、花园工具、美容套等五金产品，年生产总值3000万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐