閉范疇 的英文怎麼說
中文拼音 [bìfànchóu]
閉范疇
英文
closed category- 閉 : Ⅰ動詞1. (關; 合) close; shut 2. (堵塞不通) block up; obstruct; stop up Ⅱ名詞(姓氏) a surname
- 范 : 名詞1 [書面語] (模子) pattern; mould; matrix 2 (模範; 榜樣) model; example 3 (范圍) boundar...
- 疇 : 名詞1. [書面語] (田地) farmland 2. [書面語] (種類) kind; division 3. [物理學] (定義范圍; 領域) domain 4. (姓氏) a surname
- 范疇 : category; domain; scope
-
Cartesian closedness of the category of consistent l - domains
范疇的笛卡兒閉性Most control system fall in the "closed-loop" classification.
大多數控制系統屬于「閉環式」范疇。Domain theory provides the mathematical foundation for denotation semantics of computer program languages. it is characterized by the close connection between order and topology, which makes it the common study field of both computer experts and mathematicians. weight, character and density are generally called cardinal functions
一種domain范疇要成為某種語言的語義學模型其基本條件是笛卡爾閉的,因而研究domain范疇的笛卡爾閉性或者說尋找笛卡爾閉的domain范疇就自然成了domain理論中一個十分基本的問題。Closeness of product and coproduct operation inseveral kinds of the category of lattice - valued topological spaces
幾種格上拓撲空間范疇中乘積與上積運算的封閉性And if it be contended that such research is so supported because in the past it has yielded eventual applications, one can counter with, for example, the music of anton webern, which during the composer s lifetime was regarded ( to the very limited extent that it was regarded at all ) as the ultimate in hermetic, specialized, and idiosyncratic composition ; today, some dozen years after the composer s death, his complete works have been recorded by a major record company, primarily - i suspect - as a result of the enormous influence this music has had on the postwar, nonpopular, musical world
若或爭論說,要支持這樣的研究,乃因過去以來,研究總能產生應用;就可以,譬如antonwebern ,來答辯:該作家的音樂,在生前被視為, (若在最苛求的范疇,算他有被視到的話) ,澈底地封閉,與眾不同,特異體質;今天,在該作家死後數十年,他所有的作品已被某大唱片公司所錄音,主要因為-我猜-是他的音樂對戰后,非通俗音樂世界,巨大的影響Since domain is the close interaction of order and topology, we now consider these cardinal functions on continuous domains
在某種意義上完善了對dcpo的滿子范疇的笛卡爾閉性的討論。Another main topic of this thesis is to discuss cartesian closed property of some full subcategories of local complete semi - lattices with stable functions
第三章討論以穩定映射為態射的局部完備格範疇的滿子范疇的笛卡爾閉性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的滿子范疇中的指數對象就是穩定映射構成的函數空間Six distinguished computer experts including scott defined the weight of continuous lattices in the first reference and proved that the three kind of weights ? ei g ht of continuous lattices, weight of the related scott topological space and weight of the related lawson topological space, are consistent
證明了幾類分配的domain范疇即sdscs 、 sdccs 、 sdacs是slp的閉的滿子范疇,指出在slp的滿子范疇中指數對象同構于穩定映射所成的函數空間。The cartesian closed properties of some distributive domains are obtained, such as the categories of distributive meet - continuous semi - lattices, distributive continuous complete semi - lattices, distributive algebraic complete semi - lattices ( distributive scott domains ). generally, we have that the categorical products are cartesian products and the exponential objects are in fact the function spaces of stable functions under stable orders in any full subcategory of slp
得到了以穩定映射為態射的完備半格範疇、連續完備半格範疇、代數完備半格範疇都不是笛卡爾閉的,而以分配的交連續完備半格、分配的cos 、分配的scottdomain等為對象的slp的滿子范疇是笛卡爾閉的This paper is mainly concerned with a closed - loop mechanism that lies between parallel mechanism and parallel robotics
本文主要討論一種界于並聯機構和並聯機器人范疇的閉鏈機構。The last part of this thesis is to say something about the spectral theory of complete lattices and the sobrification of topological spaces
從而推廣了g berry和ptaylor關于以穩定映射為態射的相應domain范疇的笛卡爾閉性的部分結果分享友人