x
uploads/isomorphic.jpg

isomorphic adj.1.同晶型的。2.【生物化學】同形的,同態的(=...

isomorphism

Then we have : theorem 1 provided that h = be a weak hopf - coalgebra ; then we have : in the third section , we mainly study the - comudules : the weak hopf - comodules ; and we get the main results as : theorem 2 suppose c is a - coalgebra , then we say : ( a ) there is a one - to - one correspondence between ( isomorphic classses of ) right - comoduleover c and ( isomorphic classes of ) rational - graded left c * - modules 為c在訂上的模作用,它在直和項上的模作用形式為:上面三步影射依次為: z嗆p (叩廣。 ,山二clmhxclmhx ;吮z ;麗,遲兒的;是指q與c之間的自然匹配定理2設c為7t一余代數,則以下結論成立: ( a ) c上的右。

In the first part , i held the opinion that there are five main elements in software modeling : homostasis and isomorphic mapping , leveling , extension , priority of the big probability thing and efficiency . i brought forward my own modeling and development model , homostasis and isomorphic mapping - based , leveling , use case - dived , and parallel modeling and development model . beside these , there are introduction about rapid prototyping technology and uml 該論文分建模理論和實踐兩部分,在建模理論部分提出建模活動中的五大要素:同態同構問題、分層次問題、可擴展問題、大概率事件優先問題及效率問題,并對此進行詳述;進一步提出自己的應用uml進行軟件建模開發模型;基于同態同構的、分層次的、用況驅動的并行開發模型,此外還對uml及原型化技術進行簡單介紹,對該防火墻的核心技術? ? windows2000防火墻網絡封包過濾原理進行詳細探討。

Abstract : the article retr - ospects to the history origin and evolving course of building built on stilts , explounds how the natural environment , society objective conditions and human cultures have affected them when they came into being and developed , probes into the isomorphic relation between the buildings and the antitype , and analyses the characteristics , the forms , the significances to apply and the values to popularize , as far as the philosophic sense is concerned 文摘:文章追溯了干欄建筑的歷史淵源和演變歷程,探討了自然環境、社會客觀條件、人文因素對干欄形式的產生和發展的影響;探討底層架空現象和干欄形式的同構關系,在哲學意義上分析底層架空形式的特征、形式、應用意義和推廣價值。

In this paper , the researches on the substitutions of ca - polyhedral , p - tetrahedral and channel positions in apatite structure are reviewed , the structural sites , substitution forms and mechanism of isomorphic ions are discussed , and the influence of the substitution of this mineral upon the environmental mineralogy is briefly described 摘要綜述了作為重要環境礦物材料的磷灰石在鈣位、四面體位和結構通道位置上類質同象替換的研究進展,討論了替換離子的結構占位、替換形式和機理,并就替換對這種礦物在環境治理領域應用的影響進行了簡要評述。

In the second part , a class of left - continuous isomorphic to r0 t - norm are given . the concept of isomorphism among implication operators is introduced and it is proved that two implication operators are isomorphic if and only if the two t - norms residuated to them respectively are isomorphic . moreover , modifications of classes of a - tautologies under isomorphisms are investigated 緊接著,引入了蘊涵算子同構的概念,并對伴隨情況下t -模同構與蘊涵算子同構之間的關系進行了討論,初步研究了同構的蘊涵算子對-重言式類的影響,得到了關于系統的廣義重言式分類定理。

Similarly , cokernels of the flat envelope of a finitely gener - ated coreduced gorenstein flat module is also a finitely generated coreduced gorenstein flat module , moreover the flat envelope of the former is the flat cover of the latter . and then we prove that over these rings , in quotient categories mod every finitely generated module has a finitely generated coreduced gorenstein flat preenvelope , and its two such preenvelopes are isomorphic 接著證明了這類環上每個模的極小平坦分解式的合沖模從第n個起都是有限生成的上約化的gorenstein平坦模,最后證明了在這類環上,商范疇dlaa中每個有限生y成模都有有限生成的上約化的gorenstein平坦包,并且這種蓋在同構意義下是唯一的

Further more , the thesis lucubrates some key techniques : aiming at the management of the distributed objects , we skillfully construct the isomorphic project object tree for the real projects structure by using the corba naming service , and laconically and effectively implement the management of the services and modules by using the location service . and we also propose a design which uses corba event service and borland midas to implement the distributed data service in a creative way and analyze the advantages and disadvantages of this design at the same time 并針對一些關鍵技術做了深入的討論和分析,例如針對整個系統的分布式對象的管理,巧妙地借用corba的名字服務構造了同構于實際工程組織的工程對象樹,同時使用定位服務簡潔而有效的實現了對服務和模塊的管理;針對分布式數據庫的實現,創造性地提出了一種使用corba事件服務和borlandmidas組件來實現分布式數據服務的設計,并實現了這個設計,同時分析了這種設計的優劣。

This paper will analyze and compare advantages and disadvantages of these two programming languages : java and fortran , clarify the practical significance of implementing supporting fortran parallel programming in the jme , and expatiates on several key problems and how to solve these problems : keeping working nodes isomorphic , parallel programming , distributing and executing task , collecting results , etc . this paper also discusses how to implement user management . at last this paper gives users some advice on programming in the jme on the basis of analyzing results of testing jme 本文分析比較了java和fortran兩種程序設計語言的利弊,闡述了jme元計算環境支持fortran并行程序設計的意義,并針對實現這種支持的保證工作機同構、并行編程支持、程序的分布執行、結果回收等幾個關鍵問題做了詳細闡述;然后就用戶管理功能的實現做了討論;最后在分析jme系統測試結果的基礎上,對用戶編程給出了一些建議。

3 g 一 g g abasi 叱 加 ical pp 訕 howthe qquasi ghgsical 毗 quasi sociological methodmo 止 secondlx we uthuther nalsze the nhrsical model on which he quasi pnsical and quasi sociological methods for solving s 肛 problembased considering a physical hypothesis on this model , we construct a counterexaxnple to showthatthe hypothesis is not eee ? howeve 二 itdoes notdamage the goodpractical effectof applpinp this phpsical model to solve s 盯 problem considering he existence of alsorithlnic region , which reflects that the quasi sociological method is very necessw for ass 吶 ng the high efficient of theent whole algori 燦 m therefore deepens our comprehension on the quasi physical and quasi sociological methods mird1x we wpl … 叫 nas 恤 ysi 陰 1md q 阻 si 500i 吶 i0alm 毗 cd 引 0 咖 we mathematical problem ofcom 恤 non oforthogonal tmles m successfully es 恤 fish a physicalopttrizatbo model for sotring saturated o 汕 ogonal tables , whwh ws provedto be correctintheo0 we thi 冰 。 w goodpersonated s 咖 egies forjumping out of the t 呷 oflocal minimum using quasi sociological method based onthe physical model thus wegetthe wholequasi physicaland quasi sociological algorim forthe problem ofconswction ofs 咖 med orthogonal tables he experimental results showthatthephysical model ishighly efficientthanthe conflmng nlllllber mode ! based on me pure m 她 ematical 訕 kgfound 他 sucoes 訕 11y ? ? rk 咖 m 枷 ons 訕 卿 nal 郵 ie with 3 leve13 using th 叫 u 1 physical and quasi sociological algori 恤 we got some o 汕 ogonal t 勸 les ofl 。 , ( 3 ’ ‘ ) which are not isomorphic moreove 乙 some ofour results are also not isomorphic to oe results pearedb 山 e open rekrences we got lip to now lastlx for 讓 卜 ancie 口 戊 扯 d importantproblemsofconstfutfuction oflatin square and orthogonal latin squares ( most of 應用此算法,我們成功地計算出難的三水平正交表本課題為國家重點基礎研究發展“九七三”規劃,國家“八六三”高技術發展計劃,高等學校博士學位點專項科研基金及中國科學院軟件研究所計算機科學開放研究實驗室課題基金資助項目1g一gs第四,應用擬物擬人方法嘗試求解古老而重要的拉丁方、正交拉丁方(它們事實上是正交表)問題。我們結合這些問題的特性,建立了新的物理模型,從理論上證明了這些物理模型的正確性,并設計出擬人化的“跳出局部極小值陷餅”的策略,得到了求解拉丁方、正交拉丁方的擬物擬人算法。實驗表明, ”對某些問題算法有好的效果。

As to the stochastic simulation of stochastic biological processes , if only use stochastic petri net , although it has standard graphics expression , which is isomorphic to markov chain , along with the increase of models ’ scale and complexity , the number of states will increase exponentially , so it is very difficult to analyze models by the method which stochastic petri net has ; if only use stochastic algorithm , which has rapid simulation speed , but lack of intuitive graphical expression 對于隨機生物過程的模擬,如果只采用隨機petri網模擬生物隨機過程,其優點是形象、直觀,缺點是隨著模型的規模和復雜性的增加,狀態的數量呈指數性地增長,出現模型狀態空間的爆炸問題,用隨機petri網本身的分析方法很難分析整個系統的性能;如果只采用隨機模擬算法模擬,其優點是速度較快,但是缺少形象的圖形表達,不利于模擬技術的應用。

In this dissertation , we characterize the congruences on a strong semilattice of semigroups by the congruences on those semigroups and prove that a sublattice of the direct product of the lattices of congruences on those semigroups is isomorphic to a sublattice of the lattice of congruences on the strong semilattice of semigroups 本文,我們主要利用一族半群上的同余刻劃其強半格上的同余,并討論這族半群的同余格的直積的子格與其強半格上的同余子格的關系。

With this method , in the present thesis , we will classify all the connected regular covering graphs of the cube satisfying the following two properties : ( 1 ) the covering transformation group is isomorphic to the elementary abelian p - group ; ( 2 ) the group of fibre - preserving automorphisms acts edge - transitively 本文中,我們用同一種方法分類立方體的正則連通覆蓋圖,并且滿足兩個條件,覆蓋變換群同構于初等交換p -群且保纖維自同構群是邊傳遞的。

In this paper , we extend the theorem of song to multipartite tournaments and prove that every 2 - connected and 2 - equilibrium multipartite tournament contains a pair of componentwise complementary cycles , unless it is isomorphic to t71 ( see figure in ? ) 本文將競賽圖的結果推廣到均勻多部競賽圖上,并證明了2 -強連通2 -均勻多部競賽圖包含一對分量共軛圈,除非它同構于競賽圖t _ 7 ~ 1 (參看圖1 ) 。

In first section , the concept of pseudo ideal is raised . then , we discuss the relations of pseudo ideals , kernel of homomorphisms and congruences on a division semiring . and the homomorphic basic theorem , the first and the second isomorphic theorems are proved 第一部分,引入偽理想這一新概念,討論了偽理想,同態核,同余在可除半環中的關系,證明了同態基本定理及第一、二同構定理

For quantitative solution , we study gspn and find that the reachability graph of a gspn is isomorphic to a continuous time markov process ( ctmp ) when the vanishing markings are eliminated , so markov process method can be used 在安全性定量分析方面,我們研究發現去除消失標識后, gspn的可達圖與一個連續時間markov過程( ctmp )是同構的,為此,可利用markov過程方法進行分析。

We also have proved that these three cardinal functions are isomorphic invariable . particularly , character is equivalent invariable . after this main topic , the characterization and definition of meet - continuous complete semi - lattices are given 第節定義了連續domain的特征并討論了三種特征之間的關系,得到了連續domain的特征與zp的特征相等

A graph g is chromatically unique if p ( h , ) = p ( g , ) implies that h is isomorphic to g . the notion of chromatic uniqueness was first introduced by chao and whitehead in 1976 如果p ( g , ) = p ( h , ) ,并且h與g是同構的,就稱圖g是色唯一的。色唯一的概念是chao和whitehead在1976年第一次提出來的,從那以后,大量的色唯一圖類就不斷地被發現。

( 7 ) assume thatg has two nilpotent maximal subgroups not conjugate ing , which are weakly quasinormal ing , then g is nilpotent if and only if g has no section isomorphic to d , where d is identical with one in ( 6 ) ( 7 )若群g存在兩個不共軛的冪零極大子群均在g中弱擬正規,則g冪零當且僅當g與d型群無關,其中d型群的定義同( 6 )中d型群的定義。

Another reason we use this structure to our system is its potential ability to integrate the ontology with usage information , for it has an isomorphic structure with recently improved web semantic langusage 另一方面,概念格與當前流行的web本體語言只有同構性,可以方便地將站點的內容信息與用戶的使用信息結合到同一個挖掘結構中。