邏輯作用 的英文怎麼說
中文拼音 [luózuòyòng]
邏輯作用
英文
logic action-
Because they are fascinated by mathematics, logic, and science and have taken on the rational madness of their scientific confreres, we read much these days about information theory and its relation to the psychology and composition of music ; about statistical probabilities, stochastics, and the markoff chain and their compositional possibilities, about group and set theory as applied to serial music ; about aleatory and indeterminacy and entropy
因為他們迷於數學，邏輯，與科學，將理智狂當成他們科學同伴;我們最近讀了很多，關于資訊理論及其與心理學及與作曲的關系;關于統計或然率，隨機，及馬可夫?及其譜曲可行性;關于群組與集合理論之應用於系列音樂;關于偶發性，不確定性，與熵Legal logic is useful in the processes of commanding legal concept, using legal concept, upbuilding and grasping proposition logically and carrying on legal reasoning accordingly, and doing logic reasoning for the legal arbitrament and legal ideas which are to be made
法律邏輯有助於準確掌握和運用法律概念，合乎邏輯地建立和把握命題並進行法律推理，對即將作出的法律裁決或法律意見進行邏輯論證。This paper mainly aims at the characteristics of the hardware and software structure of the parallel computer on satellite, and has fulfilled researches of fault tolerant technique in three aspects of control theories and engineering : the first research of the system level fault - tolerant module is based on the system structure of the parallel computer on satellite, a kind of cold backup module and a kind of hot backup module for multiprocessor computer have been put forward. then the research of software fault tolerant technique which is based on the operate system named rtems has been carried, the mission level fault - tolerate arithmetic and the system level fault - tolerate mechanism and strategies based on the check point technique have been put forward, at the same time the self - repair technique of software which has used the technique of system re - inject has been studied. finally the technique of components level fault - tolerant based on fpga has been studied, a kind of two level fault - tolerant project which aims at the fault - tolerant module of the parallel computer on satellite has been put forward, and the augmentative of circuit that project design realization need is little, this project can avoid any breakdown of any part logic circuit of the fpga
本課題主要針對星載并行計算機體系結構及軟體結構的特點，從如下三個方面進行了容錯控制理論研究和實踐工作:首先進行了基於星載多cpu并行計算機體系結構的系統級容錯模型研究，提出了一種多cpu冷備份容錯模型和一種多cpu熱備份容錯模型;然後進行了基於rtems操作系統的軟體容錯技術研究，提出了任務級容錯調度演算法以及基於檢查點技術的系統級容錯恢復機制和策略，同時研究了利用系統重注入進行軟體在線自修復的容錯技術;最後研究了基於fpga的部件級容錯技術，提出了對容錯模塊這一星載并行計算機關鍵部件的兩級容錯方案，實現該方案所需增加的電路少，可避免板級晶元以及fpga晶元內部任何邏輯發生單點故障。The reasoning process called for by boolean algebra are implemented through switches, acting as electronics logic circuits
布爾代數所需的推理過程是通過開關來實現的，這些開關起著邏輯電路的作用。The circuits driving the ccd and processing the video signal are implemented by means of cpld ( complex programmable logic device ) and hdl ( hardvvare description language ). the solution to solve the problem of multi - level logical competitive risks that occur in cpld circuits frequently was provided in details in the thesis
Ccd的驅動電路和視頻信號處理電路採用cpld （可編程邏輯器件）和hdl （硬體描述語言）實現，文章對cpld電路中容易出現的多級邏輯冒險競爭情況作了專門的敘述和提出相應的解決方法。Aiming at the dynamics and enormous incomplete information, defeasible logic that if of flexibility and robustness is proposed as negotiation language and protocol operation semantic ( pos ) is utilized in the system as communication protocol to meet with the requirement of sequence information exchange
針對合約市場協商的動態性和信息量大且不完全等特點，設計了靈活、魯棒性強的可廢止邏輯作為協商語言，並採用滿足序列信息交換要求的pos語義作為智能體平臺的通信協議。According to the effect s chart produce1 : 1 entitative oily and slimy mould. during the make oily mud process, can should correct the no logic, no actual, win the practicality and aesthetic feeling
根據效果圖製作1 ： 1的實體油泥模型。在製作油泥的過程中，可以將一些不邏輯不實際的部分加以糾正，達到即實用又具有美感。It w ill quick the developing of object - oriented cad system, accelerate the application of object - oriented method in engineering software, promote the expansion and maintenance of software. as an example, this paper introduces the firebrick die cad system that is designed by object - oriented technology and with the method of uml
最後，本文以耐火磚模具cad系統的開發為例，對該系統做了比較詳細的分析建模，在該系統的開發中使用了uml方法並以rationalrose作為case工具，不僅使分析過程更加符合人們的思維邏輯，具有更清晰的思路，而且提高了軟體開發效率。At the same time, it also illustrates the superiority of this kind of communication by introducing the profibus field bus. take the transformation of focke packaging machine as an example, the main content is as follows : 1st, to analyze the plc control system of s5 series, and determine the concrete functions that the new plc control system hopes to achieve as well as how to achieve the goal through studying the work program of the original one ; 2nd, to demonstrate the advantage of the field bus in the process of digital alternation by introducing the principle agreement of field bus profibus ; 3rd, to achieve each function of the original control system through using siemens ' s plc control system in the design of hardware and step 7 in the software as well as designing and compiling control system of focke packaging machine ; 4th, to use fm455 for controlling temperature not only can meet the system ’ s severe request for temperature and efficiently avoid many demerits of the temperature control instrument but also can bring convenience for operation and maintenance ; 5th, to use the intouch configuration software to compile monitor and control program can accomplish the goal for real - time surveillance and control of the production line, while setting some parameters can provide a powerful alarming function
以改造focke包裝機為例，主要內容如下: 1 、通過熟悉原有控制系統的工作流程，分析了原s5系列可編程邏輯控制器的控制系統，確定新的可編程邏輯控制器控制系統需要實現的具體功能以及其實現方法; 2 、在本系統數據交互中，通過介紹profibus現場總線原理協議，論述了現場總線在工業通訊中的優點; 3 、下位機硬體設計上使用西門子可編程邏輯控制器控制系統，軟體平臺採用西門子step7 ，設計和編制了focke包裝機控制軟體，實現了原有控制系統的各項功能; 4 、本系統對溫度要求嚴格，採用溫控儀表控制溫度不能滿足系統要求，而且溫控儀表操作和維護都不方便，因此採用fm455溫度控制模塊進行溫度控制，滿足了系統對溫度的要求，同時又有效地避免了溫控儀表在操作和維護上的缺陷; 5 、在監控系統上，使用intouch組態軟體設計了系統的監控界面，從而實現了對生產線的實時監控，並且可以通過界面設置系統的一些參數，同時提供了較強大的報警功能。The article is based on the method and model of " five angle space " which created by the author, from the chance and times back - ground of enterprise economics ' s birth, the enterprise economics ' s object, attribute, method, form, hypostases function, worth, advance the concept of the enterprise economics and the enterprise economics ' s category system, elucidate on enterprise economics ' s certainty of logic and history
摘要本文運用作者首創的「五度空間」的方法與模式，從創業經濟學產生的契機、時代背景，創業經濟學的物件、性質、方法、結構、本質、功能、意義方面，第一次提出了創業經濟學的概念，建立了創業經濟學的范疇及范疇體系，闡述了創業經濟學的邏輯與歷史的必然性。10 gianluigi greco, antonella guzzo, giuseppe manco, domenico sacca. on the mining of complex workflow schemas. in proc
而在工作流邏輯上用案例屬性中的顯性內容消解沖突，為案例確定實際路徑，這就是工作流語義。The element - available ( ) function returns a boolean value that indicates whether the element specified is supported by the xslt processor
函數的作用是：返回一個邏輯值，用於指定xslt處理器是否允許支持指定的元素。One logical volume for the operating system
1個邏輯卷用於操作系統In this dissertation, based on the thinking of reconfiguration, starting from the numerical associations between business objects, we present a log - based object association model, in which complex and volatile associations between objects are clearly separated from the inner structure of objects themselves. business logics on objects are classified into two types of operations, i. e., simple operations that deal with inner logics in a simple object, and complex operations which deal with numerical associations between objects
本文首先基於重構的思想，以業務對象間數值型關聯關系為出發點，提出一種基於日誌的業務對象關聯模型，將對象間關聯關系與業務對象清晰分離開來，採用簡單操作處理對象內業務邏輯，採用復合操作處理對象間的數值關聯關系。It shows that : ( 1 ) the semantic of ctn model is intuitive, rational and natural ; ( 2 ) the ctn model is a formal description by integrating the ability and thought status of agent, which can describe the difference among agents accessing the environment and performing actions, and the negotiation is also can be described when conflicts exist
本文通過具體示例說明此邏輯的用途后，討論了ctn系統模型的特點： ctn系統模型的語義是直覺的、合理的和自然的； ctn系統模型是將agent的能力和思維狀態相結合，能夠描述agent訪問環境時的能力差異、執行動作時的權力差異和系統發生沖突時的協商過程。However, it is a red line penetrated the manuscripts that " the two logics " coexisting and " two textual situations " interweaving, it is also a key to grasp the whole philosophical spirits, in order to deepen the understanding of logic functions and the specific presentations in the manuscripts, restore the complex, real cognitive prospects under the concrete historical perspective, it clarifies deeply the expressive way and the existing forms to the two logical clues and the contradictory words on the base of the careful reading of the manuscripts texts
為更進一步理解《手稿》的邏輯作用和「復調語境」的具體呈現，復原青年馬克思在具體歷史背景下復雜的、真實的認識圖景，文章在對《手稿》的文本進行仔細分析基礎上，對這兩條邏輯線索和矛盾話語的表達途徑與存在形式進行深入闡釋。Piaget has made significant contributes in the psychology of children ' s cognition as follows : first, he produces a complete theory of children ' s cognition structures which is full of dialectical thoughts ; second, he depicts the cognitive developing line of children from their birth to early youth ; third, he is the first psychologist one who introduce mathematical logic to draw children " development of thinking ; finally, he sets up the theoretical construction of genetic epistemology
2兒童認知發展理論的進展與思考2 1皮亞傑兒童認知結構理論的回顧皮亞傑對兒童認知心理學的主要貢獻主要體現在以下幾個方面：第一，提出了一套完整的、富有辨證思想的兒童認知結構理論；第二，描繪了兒童從出生到青年初期（ 15歲）認知發展的路線；第三，首次採用數理邏輯作為刻化兒童邏輯思維發展的工具；第四，構造了發生認識論的理論框架。Temporal logic employs three or four, depending on the model common modal operators
時態邏輯使用三個（或四個，取決于模型）常見的模態操作符。A web service application, which uses wsdl, has to cater to this in its application logic above
Wsdl不會禁止以任何順序調用操作，使用wsdl的web服務應用程序必須在上面的邏輯應用中迎合這一特點。Aiming at the research condition and the difficulty of agent security research at present, in this paper, we constructed a new agent type - immune agent ( ia ) by introducing involved biologic immune mechanisms and using dynamic fuzzy logic ( dfl ) as formal description tool. and then, according to this new kind of agent, we set up a multi - agent security model based on dfl
針對當前對agent安全的研究現狀及其面臨的困難，本文利用動態模糊邏輯作為形式化的描述工具，引入生物免疫系統的相關免疫機制，構造了一種新的agent類型-免疫agent ，並在此基礎上構建了一個基於dfl的多agent安全模式。分享友人