狀態邏輯 的英文怎麼說

中文拼音 [zhuàngtàiluó]
狀態邏輯 英文
logic state
  • 狀 : Ⅰ名詞1 （形狀） form; shape 2 （情況） state; condition; situation; circumstances 3 （陳述事件或...
  • 態 : 名詞1. （形狀; 狀態） form; condition; appearance 2. [物理學] （物質結構的狀態或階段） state 3. [語言學] （一種語法范疇） voice
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 狀態 : status; state; condition; state of affairs: （病的）危險狀態 critical condition; 戰爭狀態 state o...
  • 邏輯 : logic
  1. On january 25th he accused his detractors of trying to put the nation under a state of emergency and described their demands for a return to the old order as “ ahistoric and illogical ”

    1月25日他指責他的批評者試圖將國家置於緊急狀態下，形容他們要求回到舊的秩序是「無歷史記載也不合邏輯的」 。
  2. A strategy specification, which is specified by a state chart and defeasible rules, can be dynamically plugged into an agent shell incorporating a state chart interpreter and a defeasible logic inference engine, in order to yield a desirable agent

    使用狀態圖和可廢止邏輯規則說明談判策略，將其動態地插入到一個集狀態解釋器和可廢止邏輯推理引擎於一體的代理殼中，就可以獲得所需要的自動談判代理。
  3. The intelligence agent technology is an approach to automatic negotiation. the paper presents a flexible and effective method of development of negotiating agents. a strategy specification, which is specified by a state chart and defeasible rules, can be dynamically plugged into an agent shell incorporating a state chart interpreter and a defeasible logic inference engine, in order to yield a desirable agent

    智能代理技術是實現自動談判的有效途徑，本文提供靈活有效的談判代理開發方法，使用狀態圖和可廢止邏輯規則說明談判策略，動態地插入到一個集狀態解釋器和可廢止邏輯推理引擎於一體的代理殼中，就可以獲得所需要的自動談判代理。
  4. Based on field research and the dynamic analysis of remote sensing data of different time ( 1987 tm, 1996 tm and 2000 china - brazil earth resource satellite ccd ), using multi - information of research area ( including data of geology, geography, hydrology, meteorology, economy, human culture and dem ) and existing research results, the dissertation discusses drive factors of desertification and the relationships between drive factors and desertification with the help of gis tool and some mathematical methods such as probability, statistics, curvilinear estimation, logical analysis and analytic hierarchy process

    論文在對研究區土地荒漠化現狀野外調研和不同時相（ 1987tm 、 1996tm和2000ccd ）遙感圖像土地荒漠化信息提取和演變分析的基礎上，結合研究區已有的多元信息基礎資料及研究成果（包括地質、地理、多時期的水文氣象、經濟、人文以及dem數據等） ，運用gis強大的空間分析功能和概率統計、曲線估計、邏輯分析、主成分分析、層次分析等數學方法綜合研究了土地荒漠化與各驅動因子之間的相關關系，揭示了研究區土地荒漠化的主要驅動因素，探討了荒漠化動態演化規律。
  5. Utilize advanced on - the - spot sensing technology, information digitization gathering technology, electromechanics integrated technology and computer logic analysis technology, carry on fault analysis and diagnose to power machinery in the operation state, provide the theoretical foundation and experimental data for power machinery designing at the same time

    利用先進的現場傳感技術、信息數字化採集技術、機電一體化技術及計算機邏輯分析處理技術，對運行狀態中的動力機械進行故障分析、診斷，同時為動力機械設計提供理論依據和實驗數據。
  6. The present studies have such problems : the connotation of great tourism power is obscure, the logicality in the studies is far from perfect, the subjective aims in the studies cannot match the actual aims, there is a paradox between the dynamic change in great tourism power and the static measurement of great tourism power standard, etc

    目前的現狀是：旅遊強國的內涵含混不清，研究的邏輯性難以經得起推敲，研究的主觀目標和研究的實際目標嚴重錯位，旅遊強國的動態變化與衡量旅遊強國標準的非動態化之間存在矛盾等等。
  7. Status flags represent one of the simplest forms of microcomputer logic.

    狀態標志是微計算機邏輯中的一種最簡單的形式之一。
  8. In the hardware design, the paper completes modules ’ design like outside memory, patulous a / d, patulous d / a, rs232 communication, ecan communication, led control, keyboard control, distant control, emulation, reset, logic voltage switch, dsp supply power regulate and ac - dc power circuit, as well as room layout design like anterior panel, back panel etc. and dsp transfers data with peripheral equipments except outside memory using serial ports. besides, the whole circuit is configured in interrupt response. thus, it can meet system demand as well as take full advantage of tms320f2812 ’ s hardware resource. in the software design, the paper finishs programs like the interface programms intercommunicates with people, the distant control program, ad and da modules ’ control program, in addition, the paper select the velocity and acceleration state - feedback algorithm and is written in the program. the software design uses dsp integrate exploiting environment named ccs2. 2 of ti inc. as software instrument, and programs with the combination of c language and assembly language. moreover, in order to maintenance or modify the software expediently and shorten software ’ s exploitation time, the design adopt software modularization technique. finally, some air cylinder experiments are carried out to proved that the pneumatic controller is very practical

    在硬體設計中，本文完成了片外存儲器擴展、 a / d擴展、 d / a擴展、 rs232通信介面、 ecan通信總線介面、液晶顯示控制、鍵盤控制、遠程控制、模擬、復位、邏輯電平轉換、 dsp工作電源校正電路和ac - dc電源等模塊設計以及控制器前面板、後面板等的空間布局設計。其中dsp與除外部存儲器的外圍設備之間的數據傳送全部採用串口通信，同時系統電路配置成中斷響應方式，這樣既滿足了系統要求，又充分利用了tms320f2812的硬體資源。在軟體設計中，本文完成了人機界面功能模塊、遠程控制模塊、 ad擴展模塊、 da擴展模塊、速度和加速度狀態反饋的控制演算法的程序設計。
  9. With the fuzzy theory and the dew point confined, the system can automatically adjust the surrounding temperature and humidity in the workshop to the set - point, no matter what the outside condition is, such as the change of temperature in winter or summer, in day or night, and the asymmetry of the machine and the pyrotoxin

    研究出適合計算機控制的溫濕度控制模型，通過模糊控制邏輯和露點限制，自動適應冬夏氣候變化、晝夜溫差變化、車間機器分佈和發熱不均等復雜工況。實現多工況多控制狀態的自適應控制，車間主控區溫度1 ，濕度4的控制目標。
  10. This dissertation detailedly investigate the symbolic logic and some typical techniques for low power fsm logic synthesis and optimization

    論文詳細討論了低功耗有限狀態機綜合與優化中的符號邏輯和一些典型方法。
  11. Class used to logically host cells that indicate binary state

    類的專用類型，用於邏輯承載指示二元狀態的單元格。
  12. On the other hand, in order to get over the shortcoming of classical set theory, under which each member is required to belong to a unique set, the fuzzy set theory extends the classical set theory, providing a status between in - set and not - in - set as the smooth transferring status

    另一方面，模糊集合理論對經典集合論進行擴展，突破了經典集合「非此即彼」的精確二值邏輯，使得集合元素的歸屬狀態在集合元素與非集合元素之間有一個平滑的過渡。
  13. Evolution mechanism of logistic equation is studied, and is used in a kind of cobweb model. the stability and the characters are studied with the change of parameters. finally the parameters " regions in which the economic system reaches the stability and the chaos are determined

    第五章：邏輯斯蒂方程在蛛網模型分析中的應用本章研究了邏輯斯蒂方程的演化機制，並將它應用在一類蛛網模型的研究中，對模型進行動態分析和穩定性分析，研究了各種參數條件下的性態，確定了經濟系統達到穩定狀態的參數范圍及進入混沌狀態的參數范圍。
  14. The highest frequency brain waves, beta waves, are associated with the active, conscious state of mind involved in mental processes and logical thinking

    最高頻率的腦波，波：與涉及認知活動和邏輯思維的活躍意識狀態相關。
  15. Otherwise, this highest level of samadhi leads to nirvana, what means total unity with logical end of individual form ( end of personal soul and also death or dematerialization of the body )

    否則，這種最高級別的三摩地會進入涅磐，意味著隨著個體形態合乎邏輯的完結而來的整個統一（個人靈魂的完結，同時也是肉體的死亡或者喪失物質狀態） 。
  16. The set of desirable criteria and rules is required to be justified with different context of the application

    由於狀態圖和可廢止邏輯有很強的適應性，當應用環境發生變化時，只需要調整標準和規則的集合。
  17. For its characteristic of parallel logic and dispersed state, ca can be realized easily in hardware

    元胞自動機的并行邏輯特性以及離散狀態等特性，使其易於硬體實現。
  18. This paper presents the conversion from dynamic logic gate to markov chain, the solution of dynamic subtree top event failure probability and the method of obtaining the failure mode of subsystem using markov model, that is sequence cutsets of the dynamic subtree. the typical approach to importance analysis of component is impractical for large systems in markov model, so this paper also provides a simple and intuitionistic graph solution based on markov chain

    論文研究了動態邏輯門向馬爾可夫鏈的轉化方法，利用馬爾可夫鏈法求解動態子樹頂事件概率，以及通過馬爾可夫狀態轉移圖直接找齣子系統的故障模式和薄弱環節，即得到動態子樹的順序割集。
  19. The adapter can then adjust rendered output for example, and handle any device - specific view state logic or device idiosyncrasies

    然後該適配器便可調整呈現的輸出，並處理任何特定於設備的視圖狀態邏輯或設備特性。
  20. A verification method for finite states systems based on temporal logic

    一種基於時態邏輯的有限狀態系統驗證方法
分享友人
分享到 Line

分享到臉書