dynamic logic 中文意思是什麼
dynamic logic
解釋
動力邏輯-
On the basis of former work, author presents a fga based on the diversity measure. in order to keep the dynamic balance between eer, t ' uz / y logic controller ( flc ) was used to adjust ga ' s important parameters dynamicly
本文在前人研究的基礎上，基於群體多樣性測度設計了一個模糊遺傳演算法，利用模糊邏輯控制器來動態調整遺傳演算法中的重要參數，保持遺傳演算法eer的動態平衡。 -
Via the investigation on the subjects such as philosophy of moral education, semasiology, logic, anthropology, psychology and so on, the author thinks that the ultimate goal is to cultivate the value character of our students. this character is an " attitude " dynamic system which consists of the subsystems such as " moral cognition ", " moral emotion ", " moral behavior ", etc. it is built on the basis of our traditional culture, which focuses on three dimensions of " learn to be ", " learn together " and " learn to act ". and it embodies the respect - responsibility ( individual to himself, to others, to society, to nature and so on ) value which is the students " core character as well as the goal of education that our moral education should pursue
透過道德教育哲學、語義學、邏輯學、人類學、心理學等多學科的考察，論文認為，學校道德教育的根本目的在於培養受教育者的德性品質（品格） ；受教育者的品格是由「道德認知」 、 「道德情感」 、 「道德行為」等子系統組成的「態度」動力系統；建立在傳統文化基礎上，圍繞「立身」 、 「處世」 、 「行事」三個維度，體現「尊重?責任」關系（生命個體對自己、他人、社會、自然等）價值觀，既是受教育者核心品格，也是學校道德教育應該追求的教育目標。 -
The guizhou xishui power station ' s 135mw set are regareded as a example, the paper sets up a electric system ' s dynamic maths model, exploits a control configuration software basely on dcs power station simulator, and designs a software of simulator ' s logic protect ( include electric logic ) and control
以貴州習水電廠135mw機組模擬機的開發為實例，本文建立了以電氣系統為對象的動態數學模型，開發了一個基於dcs電站模擬機的控制組態軟體，並應用該組態軟體設計了對象機組的邏輯保護（包括電氣邏輯）及控制部分的模擬軟體。 -
As key technology of the single chip calculator, the highly integrated dynamic cmos logic implement and the micro program design are now owned only by the developed countries and kept in secret. based on the conjunction of " top - down " and " bottom - up " design approach, the hardware system and micro program design of the calculator is thoroughly studied in this paper, and finally has been mastered
本論文以香港興華半導體公司的計算器單晶元c9821為藍本，採用了自頂向下和從底向上相結合的方法，對計算器單晶元的硬體電路設計和軟體編程方法進行了深入的研究與剖析，終于掌握了這種晶元的設計技術，並對c9821進行了功能的改進與完善。 -
( c ) the existence of the firm results from its effective configuration advantage of production and transaction obtained through routine - based evolution ; the boundary of the firm is concerned with integration of contestable activities which depend upon coherent dimensions of routines and dynamic selection regime and integration of non - contestable activities which depend upon variation and retention of routines, dynamic selection regime and dominant logic, assemblages of routines and path
三、企業的存在是因為通過慣例的演化，實現了生產和交易的有效配置優勢。企業的邊界涉及可競爭性活動和不可競爭性活動的整合，慣例的連貫性維度和動態選擇制度決定了可競爭性活動的整合；慣例的變異和保留能力、動態選擇制度和主導邏輯、慣例集及其路徑決定了不可競爭性活動的整合。 -
The main work included : the classical lambda calculus was modified to describe the character of dynamic fuzzy ; the abstract syntax of dfl programming language was described through bnf notation ; an operational semantics model of dfl programming language was proposed with a ternary array < dfsc, dfo, dfss > and then some basic data types and several mechanisms of constructing new data types were defined ; the frame of dfl progaramming language was provided ; it was described how to solve some problems applying the operational semantics model ; the correctness and reliability of the operational semantics model were proved by hoare logic and denotational semantics
主要內容包括:變形傳統的演算，以更好地描述具有動態模糊性的問題;通過bnf描述了dfl程序設計語言的抽象語法;通過一個三元組< dfsc ， dfo ， dfss >給出了dfl程序設計語言的操作語義模型;給出了dfl程序設計語言的基本框架結構;給出了該操作語義模型的一些應用實例;通過hoare邏輯和基本指稱語義對本文所定義的操作語義模型的正確性和可靠性進行了證明。由此可見，本文從全新的角度定義了一種可以處理動態模糊問題的程序設計語言。 -
Action assertion event and actor some basic conceptions in dynamic deontic logic
動態道義邏輯的幾個基本概念 -
The evaluation of contactor performances according as dynamic characteristic curves is put forward the first time. fuzzy logic and neural network are introduced to establish a model for the contactor performances intelligent evaluation system. the model mentioned above can give a performance evaluation result in the meanwhile of the contractor dynamic process testing
首次提出以動態特性曲線參數作為接觸器性能評判的依據，並構造了基於模糊聚類分析和神經網路演算法的接觸器動態特性性能評判模型，在實現對接觸器動態過程測試的同時，給出接觸器動態特性性能評判結果。 -
Instead, each system relies on dynamic decision inside advice to inspect properties and invoke appropriate logic or at least the use of dynamic checks with an
相反，每個系統都是根據通知中的動態決定來檢查屬性，並調用相應的邏輯（或者至少使用 -
Up to now, there has been ten years for the research of dynamic fuzzy logic ( dfl ) and a series of achievements have been made. in order to further expand the applications of dfl, this thesis followed dijkstra ’ s guarded commands and put forward an operational semantics model of dfl programming language which can solve dynamic fuzzy problems
動態模糊邏輯（ dfl ）的研究已有十年的時間了，目前已取得了一系列研究成果，為了進一步拓展這些研究成果的應用，本文借鑒dijkstra的監督命令程序結構，通過結構化操作語義描述方法從軟體理論方面進行研究，提出了動態模糊邏輯程序設計語言（ dflprogramminglanguage ）的操作語義模型，以期形成解決動態模糊性問題的程序設計方法。 -
The paper, in order to support for alteration of enterprise data analysis requirements, provides a kind of adaptive online analysis processing and data mining model ( abbreviated dolam ), its logic structure, system frame and physical structure are presented, which enhances hominine direction and controlling mechanism, embodying in such aspects as query - driven, fuzzy data mining and dynamic interactive ability etc. the paper offers design and implementation blue print of the core of dolam - - data warehouse management tool, olap tool and summarysql tool, now, they are running in dalian international cooperation ( group ) stock ltd and have gained good effect
四、決策敏捷依賴于dss的柔性，為增強dss的柔性，本文提出一種具有可適應的聯機分析挖掘模型dolam ，設計了它的邏輯結構、體系結構和物理實現結構。該模型加強了人的導向和控制機制，體現在查詢驅動、模糊挖掘、動態交互方面。本文給出了dolam的核心部分?數據倉庫管理工具、 olap工具、 summarysql模糊查詢挖掘工具的具體設計和實現方案，並運用它于大連國際合作（集團）股份有限公司的決策支持實踐中，取得了較好的應用效果。 -
In this study, a mathematic model was established and dynamic characteristics simulation was conducted in matlab to prove the validity of the fuzzy logic control
利用matlab軟體設計了模糊控制器，並實現了大氣模擬艙壓力控制系統的模擬，驗證模糊控制的有效性。 -
Then a simple e - dealing system is devised to show the thoughts of the protocol. in order to formalize and verify the protocol, bzl logic model is built, which based on first - order logic and introduces many - sorted, dynamic and non - monotony logic
為了形式化驗證數字現金的安全性，本文在經典一階邏輯的基礎上，吸取了多類邏輯、動態邏輯和非單調邏輯的思想，提出了bzl邏輯模型。 -
With turning the scale of asic ( appl ication specified integrated circuits ) to s0c ( system on chip ), which conunon1y is composed of mcu, specified function ip cores, memory, periphery interface etc, the ip reuse techno1ogy is very important in s0c design flow, which can realize the constructions of different levels components. the approach of configurable system, method and design f1ow for udsm ( u1tra deep sub micron ) asic, logic system design using hdl 1anguage, coding style, static and dynamic verification strategy are a1so presented in chapter 2. in chapter 3 we study the vlsi - - dsp architecture design, dense computation and high speed high performance digital signal processing unit structure, which includes high speed mac components and distributed arithmetic unit
在工程設計方法及結構化設計和高層次綜合的研究中，介紹了在深亞微米工藝條件使用的方法和asic設計流程，討論了高層次綜合的核心如何從描述推出電路構成的設計思路，針對不同目標的設計技巧討論了採用hdl語言進行邏輯系統設計的方法，給出了用vhdl語言進行代碼設計時的規范和風格，在面向soc的驗證策略討論了動態和靜態的驗證技術，提出了進行單獨模塊驗證、晶元的全功能驗證和系統軟硬體協同驗證的整體策略。 -
The reason why peop1e give very close attention and research interesting is that both scientific approach and rationa1 logic had shoen it ' s limitation to explain human behavior, operationa1 state, and development and reyolution vitelity, ithin organization. so the scholars attempt to find out another approach to explain the inner cultural dynamic reason of organization ' s daily operational procedure and revolution vitality
人們之所以對其表示出極大的關注與濃厚的研究興趣，個中緣由在於：傳統的科學主義研究線路與理性的邏輯推演，在涉及到對組織內部人的行為、組織的基本運作狀態、以及組織發展與變革活力等方面的解釋上，越來越顯露其解釋力的蒼白與理論邏輯「精緻」的荒誕。 -
Traditional fault tree analysis method is an effective method to analyze system reliability that is based on static logic and static failure mechanism. but it cannot be used to analyze the reliability of systems with dynamic random and dependency
傳統的故障樹分析方法是基於靜態邏輯和靜態故障機理提出的一種有效的系統可靠性分析方法，但不適用於具有動態隨機性故障和相關性的系統的可靠性分析。 -
Based on static logic or static failure mechanism, the traditional fault tree analysis is a effective method to analyze system reliability. but it can not be used to analyze the reliability of systems with dynamic randomicity and dependency, such as fault tolerant system, repairable system with redundance ( cold spare or hot spare ), sequence dependency system and system with spare pool
傳統故障樹分析方法是基於靜態邏輯和靜態故障機理提出的一種有效的系統可靠性分析方法，不適用於對具有動態隨機性故障和相關性的系統，如容錯系統、冗餘（或冷、熱備件）可修系統、公用資源庫系統，具有順序相關性的系統的可靠性分析。 -
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作為構件描述語言，這種語言能夠描述構件的靜態語義和動態執行，並且能在不同抽象層次上對系統進行形式化描述。 -
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
論文研究了動態邏輯門向馬爾可夫鏈的轉化方法，利用馬爾可夫鏈法求解動態子樹頂事件概率，以及通過馬爾可夫狀態轉移圖直接找齣子系統的故障模式和薄弱環節，即得到動態子樹的順序割集。 -
A multi - action commitments approach based on dynamic logic
基於動態邏輯的多動作承諾機制
分享友人