狀態機 的英文怎麼說
中文拼音 [zhuàngtàijī]
狀態機
英文
finite state machines-
Based on the analysis of office network data flow we lay stress on the arboreous security state machine model which befits the office network of army or government
探討機關辦公網路的數據流特點，並提出一種適合部隊和政府機關辦公網路的樹狀安全狀態機模型。Fsmail adopts and implements the asynchronous event driven mechanism, with all those network i / o operations in the server working under the non - blocking style ; accomplishes object - oriented heap with the dynamic array, adapted to any type of data ; adopts the multi - queue scheduling mechanism based on a fsm, easily to fulfill the extentions of delivery funtions ; fulfills the non - blocking domain name resolvement mechanism and the caching of the resolved results ; implements the non - blocking user database management and the caching of the user data recently accessed ; uses the unified memory pool management, avoiding the memory leakage and improving the performance of the fsmail server ; lastly, implements the log management server based on the c / s mode, eliminating the inconsistency of the logging metadata and being adapted to any kind of application logging
Fsmail採用並實現了異步事件驅動機制，所有網路i o的實現使用了非阻塞方式；以動態數組實現了基於面向對象的堆隊列，屏蔽了堆數據的非一致性；使用了基於有限狀態機的多隊列郵件調度機制，為后續版本的擴展性提供了良好的介面機制；服務器內部實現了非阻塞的域名解析機制，並實現域名地址緩存；實現了非阻塞的用戶數據庫管理模塊，並實現用戶數據緩存；使用了統一的內存池管理機制，既防止了內存泄漏，又提高了服務器的性能；最後，還實現了基於c s模式的日誌管理服務器，屏蔽了日誌數據元的非一致性。Process choreography and business state machines
流程編排和業務狀態機In the thesis, a good performance is gained with implement four 256 state machines by making good use of residuary block ram in fpga chip. in present dissertation, ts sync flag is got rapid - extract by software and hardware cooperation and whether packet length is 188 or 204 bytes also is distinguished
在硬體實現的過程中，對傳統da演算法進行了深入研究，充分利用fpga片內剩餘ram塊，實現4個256狀態的狀態機，採用軟硬體協作的方法快速提取同步位元組，自動區分包類型是188位元組長還是204位元組長。Most of vlsi circuits are sequential circuits. sequential circuits can be simulated by symbolic finite state machine ( fsm )
Vlsi系統中大部分是時序電路，時序電路可以用符號化的有限狀態機（ finite - state - machine ，簡稱fsm ）來模擬。The design of each functional module, including the bridge selected module, mlb slave state machine, buffer, ahb master state machine, arbiter. 4
各功能模塊的設計，包括橋選擇單元、 mlb從狀態機、緩沖區、 ahb主狀態機，仲裁器； 4This dissertation detailedly investigate the symbolic logic and some typical techniques for low power fsm logic synthesis and optimization
論文詳細討論了低功耗有限狀態機綜合與優化中的符號邏輯和一些典型方法。Based on ppp negou ' aton sequence examples, the ppp negotiation state machine is simplified and the software design of ppp protocol is accomplished
從ppp （點到點協議）協商實例出發，對標準ppp協商狀態機進行了簡化，並完成了ppp協議的軟體實現。This dissertation studies the reuse methodology in the verification, analyzes the intellectual property standalone verification platform, discusses the design methods of bus function model and bus monitor in the reusable function verification platform, investigate the difference in the reusability of the implementation mode of task - based and state machine - based bus function model and present the reusability design rules in the bus monitor
在此基礎上，分析了ip單獨驗證平臺，並討論了該驗證平臺中總線功能模型和總線監視器的設計方法，研究了基於任務和基於狀態機兩種總線功能模型的實現方式在可重用性方面的區別，並提出了總線監視器的可重用性設計規則。Some related techniques and applications on supply chain are described. through studying the order - decomposing process simulation, this dissertation defines the two agent classes : coordination & resource agent, maps the order - decomposing process into a real - time control process formed by a group of agents, proposes finite state machine as a kind of ideal modeling approach used to analyze the real - time control process, describes the conversation rules of agent conversation classes, identifies agents & conversation rules and develops the conversation models by using the framework provided by jafmas, jdk1. 1 integrated development environment & java. according to the structural characteristics, this dissertation transforms the optimization of series supply chain design into multi - stage decision - making problem and develops an optimization model for it
在對國內外供需鏈研究與應用進行大量調研分析的基礎上，本文給出了供需鏈的定義；闡述了供需鏈管理范疇的內涵、外延及其管理目標；綜述了供需鏈研究的現狀；在對訂單處理流程分析的基礎上，定義了兩種代理類：協調代理和資源代理，創見性地把訂單分解?匹配過程映射為一個由多個代理組成的實時控制過程；針對實時控制過程瞬時狀態難以描述的特點，本文首次把有限狀態機fsm應用到訂單分解?匹配過程中，用以描述代理會話類的會話規則；在jafmas平臺上，利用jdk1 . 1集成開發環境以及面向對象編程語言java設計了jafmas的面向對象代理模型，實現了代理會話規則的有限狀態機模型。Following the standard of status view provided by uml, we describle the status changes during the process of sync and put forward the solution based on limited states machine
依照uml動態模型中狀態視圖的規范描繪同步系統的狀態遷移並提出了基於有限狀態機的解決方案。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來協調系統各模塊之間的數據高速傳輸。The formalization for uml statechart diagrams
Uml狀態機視圖的rsl形式描述Uml ; statechart ; raise ; formalization
Uml狀態機raise形式化Research on real - time fsm modeling for microfabrication nc system
微製造數控系統的實時有限狀態機建模研究Fsm : finite state machine
用有限狀態機Finite state machine fsm
有限狀態機So it is important to do some research on the synthesis and optimization of low power fsm
因此對低功耗有限狀態機的綜合與優化的研究有著重要意義。Two cost functions, targeting area and power, are presented. switching activities of an fsm is linked to its power dissipation
引入了以優化面積和功耗為目的的價值函數，並把有限狀態機的開關活動性和它的功耗聯系在一起。This approach improves the test model by transforming the uml state diagram to extended finite state model ( efsm ), then eliminating the infeasible paths in the efsm. thus we can generate test message sequences from the resulting efsm and sort them
該方法改進了基於uml狀態圖的測試模型:通過將uml狀態圖轉化成擴展有限狀態機模型（ efsm ） ，然後消除efsm中的不可達路徑;從而根據該efsm生成測試消息序列，並對消息序列進行排序。分享友人