統一事件模型 的英文怎麼說
中文拼音 [tǒngyīshìjiànmóxíng]
統一事件模型
英文
unified event model- 統 : Ⅰ名詞1 (事物間連續的關系) interconnected system 2 (衣服等的筒狀部分) any tube shaped part of ...
- 事 : 名1 (事情) matter; affair thing; business 2 (事故) trouble; accident 3 (職業;工作) job; wor...
- 件 : Ⅰ量詞(用於個體事物) piece; article; item Ⅱ名詞1. (指可以一一計算的事物) 2. (文件) letter; correspondence; paper; document
- 模 : 模名詞1. (模子) mould; pattern; matrix 2. (姓氏) a surname
- 統一 : 1. (聯成整體) unify; unite; integrate 2. (一致的; 整體的) unified; unitary; centralized
- 模型 : 1 (仿製實物) model; pattern 2 (制砂型的工具) mould; pattern3 (模子) model set; mould patter...
-
Secondly the paper describes mathematically the steady index for container terminals based on the theory of queue networks and then deals with the events of the queue models of vessel arriving and leaving in this disperse system using the event scheduling method
其次,論文以排隊網路理論,對集裝箱碼頭的一些穩態指標作了數學描述,最後利用事件調度法對集裝箱碼頭這一離散系統的船舶到、離港的排隊模型進行事件處理。But it is not the same with surd or the alternation of sonant and surd. on the base of the acoustics, a whole linear time - varying discrete speech produce model is established through anatomising the factors including track, driving source and lip eradiation the mechanism of speech in this paper, and we draw a conclusion that the time between glottal closure is pitch period
本文從聲學理論出發,剖析了語音產生的機理,綜合考慮聲道、激勵源和嘴唇輻射三方面的因素,建立了一個完整的、線性的和時變的語音產生的離散系統模型,得出兩次聲門閉合事件之間的時間間隔就是基音周期的結論。11 katoen j - p, langerak r, latella d, brinksma e. on specifying real - time systems in a causality - based setting. lecture notes in computer science 1135, 1996, pp. 385 - 405. 12 fecher h, majster - cederbaum m, wu j. refinement of actions in a real - time process algebra with a true concurrency model
在系統模型的結構表示上,本文擴充了傳統的事件結構,使用一種帶時間信息的捆綁式事件結構來模擬系統行為,在系統模型的語言刻畫上,本文採用的是帶時間的類lotos進程代數描述語言,對于動作精化,我們同樣採用運算元的觀點,將動作精化定義為一個操作運算元。Currently, the army is developping military network based oa project with effort among which military email transferring system is an essential application module. this paper proposed a data model of military email transferring as well as detailed design scheme according to the potential threat in email service system, practical condition of current military network and official model as well as document transferring process. it discussed the security requirement of military email transferring system in detail as well as analyzed and design relevent data model, mail exchange protocol and application requirement of cryptogram management
該文針對電子郵件服務系統中存在的安全隱患,基於對目前國內外電子郵件安全技術的分析研究,立足於現有軍事計算機網路的實際現狀,根據目前軍隊的辦公模式、公文傳輸流程,提出了一種適合於軍隊辦公自動化中軍用電子郵件傳輸的數據模型及具體的設計方案,詳細討論了軍用電子郵件傳輸系統的安全服務需求,對相關的數據模型、郵件交換協議、密碼管理的應用需求等進行了詳細的分析和設計。Whereafter, the structure model, implement mode, the administrative and display functions of plotting map module, and military mark base are designed with the direction of cbd theory, on the same time, a uniform data structure of military mark base is put forward
運用軟體工程的設計方法,以組件式軟體設計思想為指導,設計了軍事標圖組件的總體框架模型、實現模式、標繪要圖管理與顯示功能和軍隊標號符號庫,提出了統一的軍標符號數據結構。This thesis focuses on techniques of dynamic fault tree in system reliability modeling and its qualitative and quantitative analysis. it studies bdd solution for static sub trees 、 markov chain solution for dynamic sub tree briefly and the modularization of dynamic fault tree ; presents the algorithm for top event occurrence rate of dynamic fault tree based on weibull distribution. then this thesis presents a new approach to solve top event occurrence rate and a new generation algorithm of minimal cut sequence of dynamic fault tree that deviate from markov model completely
本文著眼于動態故障樹在系統可靠性建模及定性定量分析中的技術,研究了基於bdd的靜態子樹分析方法、基於馬爾可夫模型的動態子樹分析方法以及動態故障樹模塊化方法,並提出了基於威布爾分佈的動態故障樹頂事件發生概率計算方法;提出了一種完全脫離馬爾可夫模型的求解動態故障樹頂事件發生概率的方法和一種最小順序割集的生成方法。This model manages remote invokes through event driving, and supports two asynchronous invoke model such as asynchronous call back and polling ; the model uses router as message " store - forward " mechanism, and guarantees time independent invoke of loosely coupled application ; the model extends the traditional corba addressing way, defines a kind of logic object address, which can support object migration of loosely coupled application and increase transparency of object location ; the model also defines object group address, which supports message multicast and implements " i - to - n " communication model
該模型採用事件驅動的方式管理遠程調用,支持異步回調和異步輪詢兩種異步調用模式;模型採用路由代理作為消息的「存儲-轉發」機制,保障了松耦合應用的時間無關調用的需求;模型擴展了傳統corba的尋址方式,定義了邏輯對象地址,能夠支持松耦合應用的對象遷移,提高了對象定位的透明性;模型還定義了對象組地址,支持消息組播,實現了「一對多」的通信模式。 2Unified event model
統一事件模型The reasoning of structured model : how to transfer structured model into mathematical model that can be solved by an arithmetic system ; the determination of the most appropriate target case includes two steps : the first is wide retrieval, and the second is extract retrieval that is a method driven by adaptation rules. the case base maintenance : case storage and case knowledge maintenance. the last part of this paper is about the real information system, which introduces the analysis and design of the information system and uses a real case to describe how the system operates
這些研究工作包括:事例和問題的知識表示:給出屬性集、結構集和目標集的事例表示方法;知識化模型的推理:結構化的模型如何轉化為求解系統可識別的屬性模型的過程;最相似事例的確定:兩步選擇過程,粗選過程按屬性相交度,精選按類比轉換的規則驅動的確定最相似事例的原則和方法;類比轉換的方法:確定在一定條件下的轉換方法;事例庫的維護:事例庫是可維護的,一方面隨著系統解決問題的增多,事例庫也會不斷擴大知識領域;另一方面,通過事例庫維護模塊,可以從用戶那裡得到新的建模知識。Figures describing the functional activity are named as activity figures. the activities are shown by cases, and affairs dealt with by the system are shown by arrows. idef modeling method, a model technique for semantic data, is used to describing the relation between information and forming cims information model
描述功能活動的圖形稱為活動圖形,盒子表示活動,箭頭表示由系統處理的事件; idef _ 1建模方法是一種語義數據模型化技術,用以描述信息關系,建立cims信息模型。The continuous state system is described by using abstract language method, and the discrete event plant model is attained by consistent partition of the space of continuous state system
用抽象語言方法描述連續狀態系統,通過對連續狀態系統空間的一致性分劃,抽象出離散事件對象模型。The research on discrete event systems ( des ) is begun in the 1980 ' s. with the rapid development of information techniques, computer science and robotics, lots of manmade systems have appeared in communications, manufacture, traffic and military affairs. the flexible manufacturing system ( fms ), communication network, aerodrome traffic control system and military c3i system are the typical examples of manmade systems
離散事件系統( des )的研究興起在八十年代初期,隨著信息處理技術、計算機科學和機器人技術等的發展完善和廣泛應用,在通信、製造、交通管理、軍事指揮等領域相繼出現了一些反映技術發展方向的人造系統,其典型的例子如柔性生產線或裝配線、大規模計算機和通信網路、空中或機場交通管理系統、軍事指揮中的c ~ 3i系統等。With wmi, system administrators and management application developers can use a single interface for local and remote access to win32, system monitor, wmi for windows driver model ( wdm ), registry, event logs, desktop management interface ( dmi ), simple network management protocol ( snmp ), and any other data wmi generates
使用wmi ,系統管理員和管理應用程序的開發人員使用單一的界面即可從本地和遠程訪問win32 、系統監視器、 wmiforwindows驅動程序模型( wdm ) 、注冊表、事件日誌、桌面管理介面( dmi ) 、簡單網路管理協議( snmp )和任何其他wmi生成的數據。A discrete event model of automatic error recovery control strategy in flexible assembly system
一種基於離散事件模型的柔性裝配系統容錯控制策略Based on the event of single - warship air defence system intercepting several groups of target, the operational capability of air defense system with the improved aam model is evaluated
摘要針對單艦防空系統攔截多批次目標這一事件,採用改進的aam模型對其作戰能力進行了評估。After going over the basic theoretical principles of petri - net, the paper analyzes the exiting problems such as " block " of basic petri - net, then introduces a compound modeling idea, makes a hierarchical and dynamic model of container terminal logistics system with the four sub - models of collecting containers, unloading ships, loading ships and picking up containers, and summaries their events - changing list
在講述了petri網的一些理論基礎后,分析了基本petri網存在的「封閉性」等問題,並結合集裝箱碼頭物流系統的內部功能,引入復合建模的概念,建立了集裝箱碼頭物流系統及集箱、卸船、裝船、提箱四個子系統的層次模型和動態模型,歸納了它們的變遷事件表。Then, the paper summaries disadvantages of traditional concurrency controls under multilevel security condition and introduces multilevel security dbms concurrency control. after summarizing the related research work, we present a multi level transaction model to solve the convert channel and starvation problems in concurrent control under blp multi level security model
本文首先分析了傳統的數據庫並發控制各自存在的優缺點,總結了傳統並發控制在多級安全條件下存在的問題,由此引出了多級安全數據庫並發控制機制。在總結了已有的研究基礎上,針對blp多級安全模型下並發控制產生隱通道和饑餓問題,本文提出了一種多級事務模型- - - nhstm模型。The residual signals will be gotten from the comparison between the actual and prediction states. use a som neural networks as a classifier to classify characteristics contained in the residuals. so, we can detect whether the traffic incident has happened. this algorithm can detect not only whether the traffic incident has happened but also the level of accidental congestion caused by the traffic incident the second is another freeway traffic incident detection novel algorithm based on art2 neural networks. this algorithm uses the freeway traffic flow model and art2 neural networks as observer and classifier, respectively. the residual signals will be gotten from the comparison between the actual and estimated value of observer. use the art2 neural networks to classify characteristics contained in the residuals. so. we can detect whether the traffic incident has happened. this algorithm can recognize new pattern at the same ti
第二種是基於ar咒神經網路的檢測高速公路交通事件的新演算法。該演算法利用高速公路交通流模型和artz神經網路分別作觀測器和分類器,觀測器估計的數據和實際交通數據進行比較,得到殘差序列;利用artz神經網路對殘差序列進行分類,以區分不同交通狀態下的交通信息,達到檢測交通事件的目的。本演算法不但可以識別已知的交通事件類型,還可以識別未知的或從未出現過的交通事件類型,是一個可以邊工作、邊學習的檢測系統。This article describes the design scheme of message oriented middleware rodc : overall design conformed to jms standards ; using wal protocol and wal _ p algorithm combined with nested transaction model in transaction processing ; release mode supporting peer - to - peer mode and pub / sub mode. management and decision system in tobacco industry of state tobacco bureau is a large distributed system. this article describes the data transformation platform scheme based on mom rodc
在深入分析本領域內消息中間件基本演算法的基礎上,本文採用wal協議與嵌套事務模型結合的wal _ p演算法進行事務處理,利用點對點( peer - to - peer ) 、發布/訂閱( pub / sub )進行發布模式設計,同時計遵循jms消息中間件規范進行總體設計,設計實現了一個消息隊列中間件系統rodc ,並將rodc應用到了煙草行業的生產決策系統之中。This dissertation presents a model for composite event detection based on the framework for large - scale event notification services, discussing the ced based on the event model, time model and observation model, and then presents a ced model based on finite state automata extended with a time model, parameterization and concurrent model. based on the above studies, a dynamically extensible and configurable architecture of distributed event notification service is designed, which is presented based on configuration management and meta - service mechanisms with the ability to customize and extend the subscription, event description, interaction protocol and configuration languages
論文在大規模事件通知服務的通用框架基礎上,分別從事件系統的事件模型、時間模型和觀察模型探討了復合事件的檢測技術,在傳統的有窮狀態自動機基礎上擴充了時間模型、參數化機制和並發模型,提出了一種基於自動機的有效復合事件檢測方法,並將該方法與各種主流方法進行了對比分析。分享友人