狀態抽象 的英文怎麼說

中文拼音 [zhuàngtàichōuxiàng]
狀態抽象 英文
state abstraction
  • : Ⅰ名詞1 (形狀) form; shape 2 (情況) state; condition; situation; circumstances 3 (陳述事件或...
  • : 名詞1. (形狀; 狀態) form; condition; appearance 2. [物理學] (物質結構的狀態或階段) state 3. [語言學] (一種語法范疇) voice
  • : 動詞1 (把夾在中間的東西拉出; 提取) take out (from in between) 2 (從全部里取出一部分; 騰出) ...
  • 狀態 : status; state; condition; state of affairs: (病的)危險狀態 critical condition; 戰爭狀態 state o...
  • 抽象 : abstract
  1. This phase is followed by twitching and jerking, and the victim will lapse into a coma and suffocate as a consequence of convulsive spasms

    這個階段之後將出現顫搐和痙攣現,受害者將由於搐痙攣而陷入昏迷和窒息
  2. Combined with the actual condition of the plant simulator, this paper analyzes the native and abroad development of the simulation device. the main content is followed : introducing the characteristics and managing specialties of the simulator project in detail ; introducing the simulation object, describing the hardware, software structure and functions of the simulation object ; describing the exploitation process and mathematic model of the main steam, reheater, by - pass system, regenerative heater extraction, deareator, pipes, network system and pumps

    本文分析了國內外模擬培訓裝置的發展,並結合本廠模擬機開發的實際情況,其主要工作如下:詳細介紹了模擬機開發項目的特占和管理特殊性;介紹了模擬對和所開發模擬機的硬體結構、軟體結構,以及它的功能;詳細介紹了作者參加開發的汽機系統的主蒸汽、再熱蒸汽和旁路系統,回熱氣和除氧系統,以及管道、管網和泵等模型的開發過程和數學模型。
  3. It explains the rules of communication in consumption society, and then establishes a consumption - communication zoology structures. this part embodies the characteristics of consumption communication, such as the spectacle feature, messages environment and what we really consume. the second chapter mostly aims at analyzing the existence of the symbol commodities and its essence, which belongs to the media analysis in communication study

    化的認定不足以使消費傳播生生動的展現,第一章的第二部分著墨于使消費傳播的各個特徵具化,通過剖析景社會、消費傳播語境和我們真正的消費對,使得關于消費傳播的描畫更加的具體,也是消費傳播真正現實的展現。
  4. Ibatis supports many other features as well, although it does not try to compete with full fledged orms, which have abstract query languages, map oo constructs such as inheritance to complex table relationships, or have fully managed object state

    雖然ibatis還支持許多其他功能,但是它不能與成熟完備的orm相比, orm具有的查詢語言,能夠將oo構造如繼承映射到復雜的表關系,或者具有完全託管的對
  5. By such a formalization, a general framework is proposed for integration of graphical uml statechart diagrams and formal rsl specifications, which forms the continuation of the previous work on formalization of uml class diagrams in rsl. this allows the definition of uml semantic interpretations that are precise and unambiguous, and also enhancing the readability, conciseness and abstraction of the resulting rsl specification

    通過這一形式化提出了一種對圖形化的uml機視圖模型的形式化和rsl規范進行集成的框架,這一工作是對uml類圖在rsl中形式化的繼續,使得人們可以對uml的非形式化模型給出一種精確無二義性的語義解釋,同時也提高了rsl規范的層次,增強了其可讀性簡明性。
  6. 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

    語言方法描述連續系統,通過對連續系統空間的一致性分劃,出離散事件對模型。
  7. Each of the above is classified as a full domain model mapper, where tables are mapped to objects, object state is maintained, objects follow a connected model as client components interact with the object, underlying database operations are implied either all or some of the time, and an abstract query language works against the object model

    上面每一個框架都被分類為一個完整的域模型映射程序,其中將表映射到對,對得到維護,對在任何時間或者某些時間跟隨一個連接的模型由於客戶機組件與對交互,因此將涉及到基礎數據庫操作,並且查詢語言通過對模型進行工作。
  8. The main research area of traditional cost theory is the cost of production, known as the cost of production theories. the traditional theory consider as the system of neutral, market transactions are fully competitive market and zero transaction costs of the state means that the traditional theory only in highly abstract sense analysis of the allocation of resources, but not strictly bound to consider the institution and institution costs, which constitute a fatal mistakes on cost analysis to the traditional cost theory

    但是,由於傳統新古典理論的制度中性假設,市場交易是在完全競爭市場和零交易成本下進行的,使得傳統理論只能在高度的意義上分析資源配置問題,而沒有嚴格地考慮制度約束和制度成本,占總成本很大比例的交易成本等制度成本往往被忽略了,這構成了傳統理論進行成本分析的一個致命缺陷。
  9. Jobservable is the abstract class that interacts with jobserver. ? it has a method to notify all jobserver objects observing it of an event or " state change "

    觀察者模式兩個類之一,于觀察者對交互。它可以通知所有觀察者自己發生了改變。
  10. Jobserver is one of two abstract classes that implement the observer design pattern. ? a class that extends jobserver is able to attach itself to a jobservable object and observe the state of the observable object. ? this is an equivalent of the jobserver object listening for an event fired by the jobservable class it is attached to

    實現觀察者模式的兩個類之一,從觀察者類擴展的類能夠負載於一個觀察對,並且能夠觀察對變化,這相當于觀察者對接受由被觀察對觸發的事件。
  11. These may be " wires " that connect component instances or a " query " that executes to find a component at run time that implements the interface, has the associated qos policies, and matches the specified behavior such as an abstract process or state model

    它們可以是連接組件實例的「網路」 ,也可以是在運行時執行以查找組件的「查詢」 ,所查找的組件實現相關介面,具有相關的qos策略,並且匹配指定的行為(例如流程或模型) 。
  12. First, the basic raster graphics algorithms for drawing 2d primitives are introduced, including edge coherence and the scan - line algorithm of triangle, brush algorithm of thick line ( and its improved method ) and midpoint circle and ellipse algorithm ; and the current situation of the advanced algorithms is also involved. second, the mapping of high level programming language to hardware description language is described, some principles of the conversion of algorithm to state machine are proposed also ; then, the implementation of basic graphics in hardware is discussed in detail, the state machines are drawn in the paper, and the interfaces of hardware are defined, block diagrams too, and the advanced algorithm of conic is proved ; finally, some issues about test are described, the results of simulation and synthesis are given in the last, and some detailed data are displayed in the appendix

    首先介紹了現有的基本圖形生成演算法,包括三角形邊相關掃描演算法,寬直線的線刷子演算法及其改進和圓形、橢圓的生成演算法,同時介紹了加速演算法的研究現;然後,討論了高級語言描述到硬體描述語言的映射,提出了演算法到的規律;接著具體討論了基本圖形的硬體實現,給出了各演算法的機圖,介面定義和實現框架,並且從理論角度給出了二次曲線加速演算法的證明:最後採用軟體工具進行測試驗證,給出了模擬、綜合實現的結果,並在附錄中有詳細的實驗結果數據。
  13. Though he uses the nonfigurative brushwork, we still can feel the face expression of every character in the painting and their mental state

    畫家用明麗,鮮艷的色彩表現了街頭的繁華,雖然用的是筆法,但是我們似乎能感覺到每一個人的面目表情,神和他們所處的
  14. A network based approach, called extended petri - nets that represents the design of the supply chain as an abstracted network with " and " and " or " nodes, is presented. based on their substantial disadvantages of linear programming, integer programming, nonlinear programming and genetic algorithm in dealing with a typical supply chain, a constraint based genetic algorithm as part of the extended petri - nets approach is introduced to search for improvements in the design that satisfies the constraints imposed on the system. a prototype testing system is constructed, which is followed by an example together with a description of the small automobile supply chain system implementation

    兩北丁業人學博十學位論義通過對鏈式供需鏈的結構分析,把鏈式供需鏈的設計優化轉化為多階段決策問題,在此基礎上建立了設計優化模型,並提出前向與後向兩種動規劃求解演算法;鑒于線性規劃、整數規劃、非線牲規劃以及遺傳演算法在解決網供需鏈設計優化問題時皆存在著不足,本文對petri網進行了改進,提出了擴展petri網的概念,用於把網供需鏈為一個具有「與」和「或」變遷節點的網路,並在前人工作的基礎上,把基於約束的遺傳演算法cbga與擴展petri網結合起來,用
  15. Abstract cutter teeth and gear teeth are simplified as mechanical models, the bending deformation at contact nodes is calculated by applying the three - dimension finite element method and analyzing their mechanical condition, the relation curve between shaving force and bending deformation is drawn out

    簡介:摘要將刀齒和輪齒簡化為力學模型,分析其受力,並運用三維有限單元法計算各節點的彎曲變形量。
  16. It makes possible that system can be verified without constructing the global state transition diagram. furthermore, we make use of the hierarchies in compositional verification, which makes it possible to substitute some components of implementation with abstract specifications ( which usually have smaller state space )

    此外,根據statecharts的特點把層次結構加入到組合驗證的過程中,使得對實現的驗證可以通過把系統的某些精化部分用更的規范(通常有更小的空間)代替來進行。
  17. Systems are verified in a transaction level not an event - based level which the existing verification methods are based on. this method has been successfully implemented through the soc hardware software co - verification system which is developed by me and other partners in our group. in the particular implement process, the whole system is divided into two parts

    在具體的實現過程中,將系統劃分為兩大部分來實現,軟體部分採用systemc這一高級的編程語言對軟體側進行建模,對數據結構進行打包,實現數據的傳送、接收以及結果的查看等;在硬體部分,主要由veriloghdl語言編寫的機實現bfm的功能,包括數據結構進行解包並信號級別信息的轉換, bfm與dut的數據通信,以及對信號進行打包傳送等工作。
  18. Research results show that the pro posed method can transform the abstract assembly constraints into specific descriptions of structure, and express the evolution of assembly state and process information and realize the top - down product assembly design

    研究結果表明,該方法將的裝配約束轉化為具體的結構描述,表達了裝配和過程信息的演化,實現了自頂向下的產品裝配設計。
  19. During his employment in jiayang company, based on customer back - fed problems exist in current system, especially how should the evaluation module adapt to the dynamic development of enterprises, contraposing elements of performance evaluation and status quo of hrmis and problems exist in evaluation module, and on basis of thorhough analysis of usual enterprise evaluation methods, the author ' s abstracted f i ve el ements of evaluation, summed up the general procedure of evaluation and put forward a general model for enterprise evaluation

    作者在嘉揚公司任職的實際工作中,根據用戶反映現有系統存在的問題,特別是考核模塊如何適應企業動發展的要求,針對績效考核的構成要素以及現有人力資源管理信息系統的現及其在考核模塊中存在的問題,在深入分析現行常見的企業考核方法的基礎上,出構成考核的五個基本要素,總結了考核的一般過程,提出了目前企業員工考核的一般模型。
  20. The reasons that rawls put forward the idea of the original position, that is to say, the reasons that he constructed his whole system, are as following : the first is that he wanted to establish a new contract theory and elevated it to a higher level of abstraction, the second is that he hoped to establish a kind of theory of equal justice, and subsequently criticized the dominant utilitarianism

    羅爾斯提出原初理念的緣由也是建構整個正義理論的緣由:一是為了確立一種新契約論,使之上升到更高的水平,二是為了建立一種公平的正義理論,以批判一直居於支配地位的功利主義,除此以外,其人生經歷也是機緣之一。原初理念在其整個體系中具有舉足輕重的作用。
分享友人