Chinese translation for "dcpo"
|
- 贸促会展览部受当地组委会及迪拜中国贸易
氧化二异丙苯
- Example Sentences:
| 1. | Compactness of lawson topology in continuous dcpo 拓扑的紧性 | | 2. | Since domain is the close interaction of order and topology , we now consider these cardinal functions on continuous domains 在某种意义上完善了对dcpo的满子范畴的笛卡尔闭性的讨论。 | | 3. | It had been established by some computer experts and mathematicians at nearly the same time by the end of 1960 满足一定条件的dcpo与其上的某些scott连续映射组成的范畴称为某种domain范畴。 | | 4. | The basic properties of stable functions are given firstly . distributive dcpo is defined then and the stable function on this kind of dcpo is discussed in detail 给出了范畴slp的满子范畴笛卡尔闭的必要条件,即证明了slp的满子范畴中的指数对象就是稳定映射构成的函数空间 | | 5. | 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连续映射。 |
- Similar Words:
- "dcpd" Chinese translation, "dcpdata communications preprocessor" Chinese translation, "dcpi dual circuit and packet interface" Chinese translation, "dcpm data control performance monitor" Chinese translation, "dcpn domestic customer premises network" Chinese translation, "dcppio movimento" Chinese translation, "dcpromo" Chinese translation, "dcps data compression processing system" Chinese translation, "dcps digitally controlled power source" Chinese translation, "dcpsd c power supply panel" Chinese translation
|
|
|