查询词典 especially valued or antique knife

In operation, a annular cutting knife moves forward to cut off the knife anvil (4),and when the annular cutting knife moves backward, it carries off the inner ring of the knife anvil (4), the elastic locking piece (5) is springed back and replaced.

手术时，环形切刀向前运动切断刀砧、后退时把刀砧内圈带走，弹性锁片发生回弹复位，在各种辅助机构的配合下，钉砧环便可以绕着钉砧轴发生翻转。

Based on the research of fuzzy valued functions, the absolute uniform convergence for the series of fuzzy valued functions is discussed, by using concept of the metric and absolute valued of fuzzy numbers.

基于模糊值函数的研究，利用模糊数的度量以及模糊数的绝对值概念，讨论了模糊值函数级数绝对一致收敛性，给出了模糊值函数级数绝对一致收敛性的一个充要条件和几个推论。

Interval-valued intuitionistic fuzzy numbers; operation laws; pure interval-valued intuitionistic fuzzy weighted arithmetric averagingoperator; pure interval-valued intuitionistic fuzzy ordered weighted averaging operator

区间直觉模糊数；运算法则；纯区间直觉模糊数加权算术平均算子；纯区间直觉模糊数有序加权平均算子

We introduce the notion of fuzzy-valued continuous function on a compact set K in a metric space, and discuss its properties; On this base, we study the uniformly d∞-convergence of a sequence of fuzzy-valued continuous function on K. We prove that the space of fuzzy-valued continuous functions on K, i.e. C(K, E1), is a complete metric space with respect to the metric D.

引入了定义在某度量空间的紧子集K上的模糊数值连续函数和水平连续函数的概念，讨论了它们的某些性质；在此基础上，研究了K上模糊数值连续函数列的一致d∞-收敛性，证明了K上模糊数值连续函数空间C(K， E1)关于度量 D 构成一个完备的度量空间。

It employs the complex-valued step function to build neural model, then constructs network structure and decides the number of neurons; it adopts complex-valued Hebbian rules and inner product way to calculate the net weight matrix; then it analyzes the convergence of the network by taking advantage of the definition of energy function. In the image pre-processing stage, 2-dimensional Fourier Transform and Euler's formula are used, respectively, to transfer a gray-scaled image into phase information needed by the complex-valued neural network when stores the traffic sign. In the image post-processing stage, phase inverse transformation is used to change the phase image to gray-scaled image.

采用复数阶跃函数构建了神经元模型，建立了复数Hopfield神经网络结构，并且确定了网络中神经元的个数；借助复数Hebbian学习规则和复数内积法给出了网络权值的确定方法；借用复数网络能量函数的定义，说明了复数识别网络的收敛性；在前期的图像数据处理部分，分别使用离散二维傅里叶变换和欧拉公式，给出了将灰度图像数据转化为复数网络所需要的相位信息的方法，实现了网络对路牌的记忆存储；在后期的图像还原部分利用相位逆变换的方法，实现了相位图到灰度图转化。

We prove that in every induced locally compact 〓fuzzy topological groupthere exist at least one regular fuzzy set-valued Haar measure.We define the fuzzymeasurable group and prove that the fuzzy set-valued Haar measure in a fuzzymeasurable group is essentially unique.We also construct the fuzzy topologicalstructure on a group by the fuzzy set-valued measure such that make it a fuzzytopological group.

证明了诱导局部紧〓模糊拓扑群上存在模糊集值Haar测度，定义了模糊可测群，通过对模糊可测群的研究证明了诱导局部紧〓模糊拓扑群上的模糊集值Haar测度本质上的唯一性，并利用模糊可测群上的模糊集值测度构造了群上的模糊拓扑结构使之成为模糊拓扑群。

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

According to the existence results of general equilibrium problems and vector equilibrium problems have been studied more and more. Inspired and motivated by these research results, this paper is devoted to study systematically a class of equilibrium problems, which is unify and extension of a large number of known equilibrium problems and variational inequalities problems. The research is carried on from three aspects.Firstly, in finitely continuous topological spaces, we introduce four new types of the system of generalized vector quasi-equilibrium problems, and we derive some existence results of a solution for the system of generalized vector quasi-equilibrium problems via the maximal element theorems in product finitely continuous topological spaces.Secondly, in complete metric spaces, we provide the Ekeland variational principle to equilibrium problems with set-valued maps. And via the Ekeland variational principle, existence results for vector equilibrium problem with set-valued maps and the system of vector equilibrium problem with set-valued maps.

针对一般的均衡问题和向量均衡问题解的存在性，已有许多研究成果，受这些成果的启发，本文主要从理论上较为系统地研究了一类均衡问题，它统一和推广了许多已有的均衡问题和变分不等式问题，研究分有三个方面；首先，在有限连续拓扑空间中，我们提出了四类广义向量拟均衡系，并借助于有限连续拓扑空间中的极大元定理讨论了这四类均衡系问题的解的存在性问题，然后，在完备度量空间中，我们给出了关于集值均衡问题的Ekeland变分原理，并利用Ekeland变分原理分别讨论了集值向量均衡问题和集值向量均衡系问题的解的存在性。

From the point of view of measure theory, this paper gives the unified definition of measurable real fuzzy set-valued function and n-dimensional measurable real fuzzy set-valued function, and discusses the fundamental properties of them and their invers fuzzy set-valued function by combining with fuzzy σ-algebra.

5研究了有界闭复模糊数的四则运算、交并运算以及上下确界、上下极限与极限运算的若干基本性质

The interactions between two semifolded solitons are elastic,while the interactions among other nonlinear multivalued and single valued excitation patterns such as the interactions between semifolded soliton and single valued localized soliton,semifolded soliton and folded soliton,and the interaction among semifolded soltion,folded soliton and single valued localized solitons,are nonelastic generally,which reveal different exotic and important nonlinear mechanical properties.

半折叠孤子之间的非线性相互作用是弹性，而半折叠孤子与单值局域孤子、半折叠孤子与折叠孤子以及更复杂的半折叠孤子、折叠孤子、单值局域相干孤子之间等多值和单值非线性激发模式间的相互作用是非弹性的，呈现出多样的非线性特性。

Although translator has turned from being a crystal ball by which the original culture can unrestrainedly penetrate to another crystal ball by which the target culture can freely traverse, the translator's personal embodiment, in the process of cognitive act, are still absent in translation studies. Translators are still subjects without body or simply disembodied subjects.

译者虽然由原语文化可以自由穿透的玻璃球变成了译语文化可以自由穿越的玻璃球，但译者认知过程中的个体体验在翻译研究中依然缺席，译者依然仅仅是一个没有躯体体验的主体。

Chillingly, he claimed our technology is 'not nearly as sophisticated' as theirs and "had they been hostile", he warned 'we would be been gone by now'.

令人毛骨悚然的，他声称我们的技术是'并不那么复杂，像他们一样，和"如果他们敌意"，他警告说，'我们将现在已经过去了。