超度量 meaning in English
hypermetric
Examples
- However , because - bisimulation is not always an equivalence relation , such characterization in the usual style of hml does not always exist for - bisimulation associated with an arbitrary metric
但由于不为超度量时-互模拟一般不为等价关系,所以无法得到一个具有hml经典形式的逻辑特征。 - For describing the similarity of two processes , - bisimulation is introduced , its properties are associated with a metric and the modal logic characterization of - bisimulation when is an ultra - metric is given
为了描述进程间的近似等价,最近文献中提出了-互模拟的概念,并将其性质与度量联系在一起,给出了为超度量时-互模拟的模态逻辑特征。 - The primary studies in this paper are the following : ( 1 ) we define a generalized alexandroff topology on an l - fuzzy quasi ordered set which is a generalization of the alexandroff topology on an ordinary quasi ordered set , prove that the generalized alexandroff topology on an l - quasi ordered set ( x , e ) can be obtained by the join of a family of the alexandroff topologies on it , a topology on any topological space can be represented as a generalized alexandroff topology on some l - quasi ordered set , and the generalized alexandroff topologies on l - fuzzy quasi ordered sets are generalizations of the generalized alexandroff topologies on generalized ultrametric spaces which are defined by j . j . m . m . rutten etc . ( 2 ) by introducing the concepts of the join of l - fuzzy set on an l - fuzzy partial ordered set with respect to the l - fuzzy partial order and l - fuzzy directed set on an l - fuzzy quasi ordered set ( with respect to the l - fuzzy quasi order ) , we define l - fuzzy directed - complete l - fuzzy partial ordered set ( or briefly , l - fuzzy dcpo or l - fuzzy domain ) and l - fuzzy scott continuous mapping , prove that they are respectively generalizations of ordinary dcpo and scott continuous mapping , when l is a completely distributive lattice with order - reversing involution , the category l - fdom of l - fuzzy domains and l - fuzzy scott continuous mappings is isomorphic to a special kind of the category of v - domains and scott continuous mappings , that is , the category l - dcqum of directed - complete l - quasi ultrametric spaces and scott continuous mappings , and when l is a completely distributive lattice in which 1 is a molecule , l - fuzzy domains and l - fuzzy scott continuous mappings are consistent to directed lim inf complete categories and lim inf co ntinuous mappings in [ 59 ]
本文主要工作是： ( 1 )在l - fuzzy拟序集上定义广义alexandroff拓扑，证明了它是通常拟序集上alexandroff拓扑的推广，一个l - fuzzy拟序集( x ， e )上的广义alexandroff拓扑可以由其上一族alexandroff拓扑取并得到，任意一个拓扑空间的拓扑都可以表示为某个l - fuzzy拟序集上的广义alexandroff拓扑，以及l - fuzzy拟序集上的广义alexandroff拓扑是j . j . m . m . rutten等定义的广义超度量空间上广义alexandroff拓扑的推广。 ( 2 )通过引入l - fuzzy偏序集上的l - fuzzy集关于l - fuzzy偏序的并以及l - fuzzy拟序集上(关于l - fuzzy拟序)的l - fuzzy定向集等概念，定义了l - fuzzy定向完备的l - fuzzy偏序集(简称l - fuzzydcpo ，又叫l - fuzzydomain )和l - fuzzyscott连续映射，证明了它们分别是通常的dcpo和scott连续映射的推广，当l是带有逆序对合对应的完全分配格时，以l - fuzzydomain为对象， l - fuzzyscott连续映射为态射的范畴l - fdom同构于一类特殊的v - domain范畴，即以定向完备的l -值拟超度量空间为对象， scott连续映射为态射的范畴l - dcqum ，以及当l是1为分子的完全分配格时， l - fuzzydomain和l - fuzzyscott连续映射一致于k . wagner在[ 59 ]中定义的定向liminf完备的-范畴和liminf连续映射。