查询词典 valued
- 与 valued 相关的网络例句 [注:此内容来源于网络,仅供参考]
-
Complex--valued kernel structure element frequency filtering morphological centroid scale--space image parallel processing system has been proposed and established, in which the complex--valued kernel structure element frequency filtering CGH was designed and made by the way of Burckhardt which could improve recording accuracy and reduce quantity noise.
提出并构造了复值核结构元频域滤波形态学矩心尺度--空间图象处理系统,其中采用编码精度高和量化噪声小的Burckhardt方法设计和制作了复值核结构元频域滤波器CGH模板,并对系统处理图象的面积、系统对CGH复位精度的要求进行了分析。
-
It has a long history to study on the problem of best restricted range approximationin a space of real-valued continuous functions on a closed interval, while the corresponding problem in a space of complex-valued continuous functions on a compact metric space was just introduced in recent years.
三。实值连续函数空间中最佳限制值域逼近问题的研究有较长历史,而复值连续函数空间中相应问题的研究却是近几年来的事情。
-
Using the equivalent condition under which the limit of a sequence of fuzzy numbers exists in the sense of level convergence, we analyze the structure of the level continuous fuzzy number valued function. On the basis of it, we prove the level continuous fuzzy number valued function on a closed interval exists supremum and infimum and give the precise representation.
利用模糊数序列水平收敛意义下极限存在的充要条件,在分析了水平连续函数结构特点的基础上,证明了闭区间上水平连续的模糊数值函数存在上、下确界,并给出了上、下确界的具体表达式。
-
At first, we establish some new KKM type theorems involving admissible set-valued mappings and the set-valued mapping with compactly local intersection property in FC-spaces. As applications, some new coincidence theorems and fixed point theorems are proved in FC-spaces.
首先,在FC-空间中得到了涉及容许类集值映射和具有紧局部交性质的更为一般的KKM 型定理,作为应用,在FC-空间中证明了一些新的重合点定理和不动点定理。
-
In this paper, complex valued harmonic conjugate function is defined, Cauchy Riemann equations of complex valued harmonic functions are considered.
定义了复调和函数的共轭复调和函数,给出了复调和函数的Cauchy—Rie-mann方程,同时讨论了它们与解析函数之间的关
-
Iii By using the well-known properties of the dela vallee-poussin summability kernels and the pass principle of weakly compact operator, we study the weak compactness of C〓 on vector-valued analytic function spaces H〓, B〓, N and N〓, establish some connections between the weak compactness of composition operators and the structure properties of Banach spaces. These generalize and unify the corresponding results in the scalar-valued setting and enrich the content of the study of composition operator in another way.
第三,利用著名的de la Vallee-poussin可和核及有关算子的弱紧性的传递原理给出了向量值解析函数空间H〓、B〓、N及N〓上的复合算子的弱紧性的刻画,建立了复合算子的弱紧性与Banach空间的结构性质之间的联系,统一和推广了对应的数量值解析函数空间上的复合算子的弱紧性,这从另一种途径极大地丰富了复合算子的研究内容。
-
Conditional sentences in two-valued logical systems are incapable of supplying solutions, consequently have to advance to a three-valued logical system, in order to secure a valid conditional sentence truth-table and solve the paradox of The Verification of the Paradox.
条件语句的问题在二値逻辑的系统无法获得解决,因此我们必须进一步诉诸一套三值的逻辑系统,才能得到合理的条件语句眞值表,并且解决像「检证的吊诡」一类的矛盾。
-
Reyes got so frustrated that she "knocked over and damaged the band's conga drums valued at $600, a speaker valued at $350 and other equipment," according to the New York newspaper The Journal News.
雷耶斯如此沮丧,她"撞倒并损害了乐队的康加鼓,价值600美元,一位发言者估计价值是350美元,"根据纽约报纸《新闻消息》报道。
-
Another part of our work begins with definition of multioutput generalized bent functions. We show their spectral characteristics and give equivalence definition using generalized first order Chrestenson cyclic spectrum. Also we calculate rate of accordance between multioutput generalized bent functions and multioutput m-valued affine functions. Then we define multioutput m-valued perfect nonlinear functions and show relationship between them and multioutput generalized bent functions. Finally we give two ways of constructions of multioutput generalized bent functions.
第三章中首先给出了剩余类环上的多输出广义Bent函数的定义,得到了多输出广义Bent函数的广义一阶Chrestenson谱特征,然后计算了多输出广义Bent函数与多输出m值仿射函数的符合率;接着定义了多输出m值完全非线性函数,讨论了多输出m值完全非线性函数与多输出广义Bent函数之间的关系;最后给出了两种构造多输出广义Bent函数的方法。
-
The study of lattice-valued propositional logic system based on lattice implication algebra.On the bases of previous study, by using the concepts and methods of T algebras we established the lattice-valued propositional logic system LP , whose truth values domain is a lattice implication algebra, and discussed systematically the semantical and syntactical properties of LP , proved the soundness theorem 、consistency theorem、deduction theorem and the decidability of validity of the system when the truth values lattice is finite. We also discussed the relationship between the α-theorem of some premise, say A, and the closed sets that contain A.
本文在前人研究工作的基础上,利用T代数的概念与方法,建立了真值取于格蕴涵代数的格值命题逻辑系统LP,对它的语义及语法性质进行了较系统的研究,得到了它的可靠性定理、协调性定理及演绎定理等,证明了值格有限时系统"有效性"的可判定性并讨论了某一前提A下的α定理与包含A的闭集之间的关系。
- 相关中文对照歌词
- Sleepeater
- Where Were You
- Well Water
- How Many MC's
- Mississippi Delta City Blues
- Danger Bay
- GHN: Global Hood News
- Good Lovin' Ain't Easy To Come By
- True Faith
- Yeah!
- 推荐网络例句
-
The system can be widely used in belt weighing and batching process control,etc.
介绍了基于智能模糊控制的嵌入式配料系统的设计方法,对模糊PID控制过程和系统调零作了重点的讨论,同时给出了PID控制的程序流程图和系统定长调零子程序。
-
"I dunno," she answered,"but if you show me aroun', I'll recognize it from the lighthouse just outside the porthole."
"我不知道,"她回答说,"如果你能带我转转,我能认出来的,因为灯塔就在舷窗外。"
-
That experience was of great benefit to me.
那次经历对我很有益处。