序同態象 的英文怎麼說

中文拼音 [tóngtàixiàng]
序同態象 英文
order homomorphic image
  • : 名詞1. (形狀; 狀態) form; condition; appearance 2. [物理學] (物質結構的狀態或階段) state 3. [語言學] (一種語法范疇) voice
  1. It is possible to let the " this " reference escape without the word " this " appearing in your program ; publishing a nonstatic inner class instance has the same effect, because an inner class holds a reference to its enclosing object s " this " reference

    如果「 this 」這個詞不會出現在程中,就可讓「 this 」引用轉義;發布一個非靜內部類實例可以達到相的效果,因為內部類持有對它包圍的對的「 this 」引用的引用。
  2. Further investigated and analyzed composition structure and flow data that dsa ' s formation of image is systematic at first in this paper, carried on intact summing up to the data in the system, having given out the plan of design of high speed and large capacity data channel of digital formation of image system of x - ray ; deeper discussion of control way on sdram, give solution that many pieces of sdram works togetherses of realizing heavy capacity, designing of heavy capacity deposit board realize storing at a high speed to vision data by frame on the basis of this ; through further investigations of interface of pci bus, optimize back end state machine design and urge procedure making with lower, giving intact pci interface scheme that realize high speed dma data transmission and satisfy request of video transmitting ; further investigate the figure systematic design method of programmable logic devices, due to the difficult point of drifting about of enabled signal in fifo in common use and setting up and keeping of output signal, method has been proposed of improving stability of system making use of signal utilizing the phase locking ring in fpga to offer a lot of clocks to move thus realize coordinating the data between every module of system to transmit at a high speed by making use of fifo

    本文首先對數字減影血管造影( dsa )成像系統的組成結構和數據流向進行了深入研究和分析,並對系統中的數據流向進行了完整的歸納和總結,給出了x線數字成像系統中的高速大容量數據通道的設計方案;在對sdram的控制方式做了深入探討后,給出了實現大容量多條sdram共工作的解決方案,在此基礎上設計了大容量幀存板實現對圖數據進行高速存儲;通過對pci總線介面的深入研究,優化後端狀機設計和低層驅動程開發,給出了完整的pci介面方案實現高速dma數據傳輸,完全可以滿足視頻傳輸要求;深入研究了基於大規模可編程器件的數字系統設計方法,針對通用fifo使能信號漂移、輸出數據難于建立和保持等設計難點,提出了利用fpga中的鎖相環提供多個時鐘相移的信號來提高系統穩定性的解決方案,從而實現利用fifo來協調系統各模塊之間的數據高速傳輸。
  3. The research of space sequence is targeted at man ' s movement - the dynamic observation of one or more than two space units while the vision is in a straight line of systematic continuous vectors on the same platform of movement

    空間列的研究對是:人的運動和視覺在一活動平臺上,呈有組織連續矢量存款直線狀時,對一個或兩個以上空間單元的動體驗。
  4. The essay, based on mental counseling towards champion candidates attending the 10th national games, presents a set of mental training programs constructed. scheduled behavior models, initiative suggestion, imaginary training and cognitive correction are integrated and intervened reasonably in each training phase, therefore improving athletes ' mental state and quality well - prepared for the national games

    在對十運會重點參賽運動員進行心理咨詢基礎上,此研究建構了一整套科學化的心理訓練方案,其中在賽前不階段將程化參賽模式、積極性自我暗示、表訓練和認知調整等心理訓練方法進行合理組合併對運動員進行系統干預,卓見成效,顯著改善了運動員的賽前心理狀,提高了運動員的心理素質,為她們在十運會奪冠提供了可靠保障。
  5. In this article, based on theory of the rcm technology and exception - tree, the equipment - management programmer and the faulty category in dlpec ( dalian petro - chemistry corporation ) are discussed in details, and the equipment - management patterns for the enterprise are brought forward. for all kinds of equipments, some measurements on the maintaining and governing are established ; moreover, the system function mode structure is also schemed out, which responses the working situation of equipment in the enterprise in detail and is composed of equipment technology document - management, equipment document - management, equipment integrating - management, equipment maintaining - plan management, equipment stat. analysis management, integrating - query system etc ; at the same time, the whole system codes are devised, which include equipment category code, engineering planning sort code, spare part sort code, testing report catalogue code of pressure vessel pile, equipment stat

    本文以大連石化公司的設備管理程和設備種類為研究對,應用rcm的技術和故障樹原理,提出了具體的適合於該企業的設備管理模式;針對各種不類型的設備,制訂出相應的維修管理對策;並運用信息系統分析與設計方法,設計出了比較詳細的、能真實反應企業設備工作狀的系統功能模型結構,包括:設備技術文檔管理、設備檔案管理、設備綜合管理、設備維修計劃管理、設備統計分析管理、綜合查詢系統等;時,設計出了比較完整的系統代碼,主要包括:設備類別編碼、工程計劃分類編碼、備品備件類別編碼、壓力容器管道檢驗報告目錄編碼、設備統計類別編碼等;另外,對數據庫設計、輸入輸出設計、系統的實施與測試等提出了比較具體的方案。
  6. We use temporal logic language xyz / e as our component description language for components may have different abstract hierarchy and different granularity. xyz / e is able to describe the dynamic semantics and static operations of component, and to formally describe system in different hierarchy

    由於構件可能具有不的抽層次和粒度,我們採用了時邏輯語言xyz e作為構件描述語言,這種語言能夠描述構件的靜語義和動執行,並且能在不層次上對系統進行形式化描述。
  7. In the paper, i construct a software platform for the turbine and feedwater pump. the platform is an object - oriented system that can be extended by the other models. i have programmed the classes of the performance of the turbine and feedwater pump. besides, the software platform has the functions of giving alarms, the storage of data, the analysis of accident, configuration of chart, administrator operation, report, the query of history data. the paper has explained the methods of constructing the platform at the same time i set forth in details the connections of mis with dcs and distributing the performance data

    本文針對電廠開發了汽輪機與給水泵組性能分析與評價平臺,本系統平臺用面向對方法編制,並與多位學合作編寫了汽輪機與給水泵組與性能有關的多個模塊時可以另外插入模塊擴充功能,此系統平臺還具有數據存儲、歷史數據查詢、報警處理、事故分析、曲線組、管理員操作、數據報表等多種功能,此外,本文詳細闡述了平臺的構建過程並且詳細論述了dcs與系統的連接方法, activeform電廠設備性能數據網路發布的方法以及現今電廠流行的pi實時數據庫的深入開發與利用,並分別編寫了相應的程
  8. Based - w on uml, we use uml extend mechanism to process specific property develop about workflow : customize stereotype such as contract, port, collaborate, etc. and set up contract hierarchical system structure. for strict mathematical analysis and simulation, we also provide a convertible mechanism from uml model to object petri nets and a object petri nets ? formal analysis method. analyze the complicated dynamic relation among wofld7low ( work item ) in distributed workflow system by object petri nets ? strong analysis and simulation capability

    我們以uml為基礎,利用uml的擴展機制進行了有關工作流特性的擴展:定製了合、埠、通訊協議塊等版類,建立了合化的層次體系結構;為了對建立的模型進行嚴密的數學分析和模擬,我們又提供了從uml模型到對petri網的轉換機制和對petri網的形式化分析方法,利用對petri網強勁的分析模擬能力來分析分散式工作流系統中工作流(工作任務)之間的復雜的動關系;根據分析結果可以對模型進行有效地改進,最後確定的模型容易實現到程代碼的轉換。
  9. 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連續映射。
  10. You ll see for yourself how easy it can be to add jmx notification events to your spring - based application methods and attributes, with the result that you can monitor state changes without introducing unnecessary code into your java objects

    您會看到在基於spring的應用程方法和屬性中加入jmx通知事件有多麼容易,結果是可以監視狀改變,時不會在java對中加入不必要的代碼。
  11. The respective outgroups acyrthosium pisum and lygus heperus knight are the new gene informations for the international biology gene bank. here we got the issrdna sequence data of the aphidiodea, which were firstly aligned by clustal w and then used to construct phylogenetic tree by mega 2. 1. the result of cervaphinae revealed that : ? he sequence included 797bp in length

    本研究以越南、北京地區的蚜總科內代表蚜蟲為主要研究對,在依據外部形分類鑒定的基礎上,應用dna列測定技術于蚜總科昆蟲系統學研究,通過pcr擴增獲得蚜蟲18srdna基因列,應用clustalw程進行源對比,採用mega2
  12. These three distinct viewpoints discussed above have defined the three object models : class - based, prototype - based, and metaclass - based

    而這三種對模型也就導致了許多不的程設計語言(如果我們暫時把靜與動的差別放在一邊) 。
  13. The paper not only used the sequence diagrams to descript the cooperation of pda and server in communications, but only adopt petri net, a kind of fdt, to built four different models on protocol ' s dynamic actions. we proposed the constrict expressions : 1. finding out and fixing the errors, we validated the protocol with petri net theories

    在通用的時圖描述通信協議動交互的基礎上,用一種形式化描述技術? ? petri網抽通信協議的動行為規范為一種鏈路層半雙工停止-等待協議,從簡單到復雜建立4個不側重點的petri網模型,分別描述通信協議的不行為:交互,超時,出錯處理。
  14. The paper attempt to applied sequential cluster method to set up the classification standard, then it regards the correlation coefficients of record values as weights and predicts the future loads by using markov chain model with weights. this method make the best of the information comprised in load series and solved the problem of obtaining weather information. not only the concrete value of the monthly sales electric energy but its range in the future is gained

    實際上,各月份的氣、經濟因素之間具有一定的相關性,這些相關信息已經包含在負荷列中,本文嘗試將馬爾可夫鏈理論應用於負荷預測之中,應用聚類分析的方法確定分級標準,將負荷分為不的狀,根據狀之間的轉移概率來推測未來負荷的發展變化,並將觀測值之間的相關系數作為權值進行綜合預測,更加合理地利用了負荷列中包含的信息,不僅可以預測出未來負荷的具體值,而且得到了其所屬的區間,具有一定的實用價值。
  15. Shifting the burden of proof of is the special provision and exception of the principle of burden of proof, during drafting " civil evidence code ", divergences about how to regulate the burden of proof appear, jurists have diffirent opinions on it, this paper set out from those divergences and disputes, discussing in detail with six sections : the disputes on the shifting the burden of proof, reasonable define the conception about shifting the burden of proof, the relation of shifting the burden of proof and deduction, shifting the burden of proof in present law and regulations, the function of shifting the burden of proof and the civil cases suitable for this regulation, legislative proposition. this artical elabrates the theoretical and realistic foundation of shifting the burden of proof. moreover, shifting the burden of proof is a phenomenon of proceeding and other regulations of solution to disputation, it is not confined to those laws and regulations of procedure, but also exist in substantial law

    舉證責任倒置是舉證責任分配規則中的特殊與例外,在民事證據法的草擬過程中對舉證責任倒置的存廢與否產生了分歧,法學界對此的觀點也呈現出百花齊放的勢,本文從舉證責任倒置爭議與分歧的觀點出發,基於舉證責任倒置存在與否的爭議、舉證責任倒置概念的合理界定、舉證責任倒置與推定的關系、舉證責任倒置在我國現行法律中的體現、舉證責任倒置的功能及可適用民事案件的具體類型、舉證責任倒置立法完善的構想共六個部分具體闡述,從理論角度、司法實踐及立法構想三個不的視角分析舉證責任倒置在我國的存在的理論意義、現實意義與立法前景,表明舉證責任倒置不僅在我國具有立法基礎而且有實踐環境,闡述舉證責任倒置雖然是出現于訴訟或是解決爭議的其他程中的一個現,但它又不局限於訴訟及其他解決爭議的程規范,從現有的法律規范及法律實踐來看,舉證責任倒置與實體法是「呼吸,共命運」的,用句老話說就是「皮之不存,毛將焉附? 」
  16. In this paper, it first defines the rule of basic structures in xyz / e, analyzes the analogies between xyz / adl design elements and uml modeling elements and defines the conversion rule, and uses uml extension mechanism and object constraint language to perfect the conversion. and then it selects class diagram and composite structure new in uml2. 0 for research, defines how to convert them to xyz / adl. there has been some research for the conversion from uml state machine diagram, activity diagram and sequence diagram to xyz / e

    本文具體工作如下:從xyz / adl到uml的轉換,首先定義了xyz / adl的語義基礎? ? xyz / e的基本結構到uml的轉換規則,接著通過分析xyz / adl的設計元素和uml建模元素之間的語義相似,定義了二者之間的轉換規則,並用uml的擴展機制和對約束語言ocl描述進一步的約束來完善相應的轉換過程;另外對于從uml到xyz / adl的轉換,本文著重對uml類圖進行研究,定義了從uml類圖到xyz / adl的轉換機制,也對uml2 . 0新增加的組成結構圖到xyz / adl的轉換進行了定義,時亦對國內已經開展的uml狀圖、活動圖、順圖到xyz / e的轉換機制研究作了簡要介紹。
  17. People do not only pay attention to the data and information, but also consider the temporal attributes of the objects such as the time sequence of transaction, the valid time of processing

    人們不僅僅關注數據和信息本身,時也考慮事務處理的時、有效性等時問題。本文目的在於應用面向對的時知識表達模型描述時知識。
  18. Firstly, we define the uml semantic of this model element based on uml extension mechanism, including capsule that is a kind of active class to represent the concurrent unit and protocol derived from collaboration, which mainly is used to describe the communication between capsules

    它有著區別于主動對的語義和表示方法,而協議被定義為一種協作,埠是參與協作的主要角色,通過狀機定義了埠間消息收發的列,並隱式地描述了封裝體對之間的步要求。
分享友人