邏輯方程式 的英文怎麼說

中文拼音 [luófāngchéngshì]
邏輯方程式 英文
logical equation
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 方 : Ⅰ名詞1 （方形; 方體） square 2 [數學] （乘方） involution; power 3 （方向） direction 4 （方面） ...
  • 程 : 名詞1 （規章; 法式） rule; regulation 2 （進度; 程序） order; procedure 3 （路途; 一段路） journe...
  • 式 : 名詞1 （樣式） type; style 2 （格式） pattern; form 3 （儀式; 典禮） ceremony; ritual 4 （自然科...
  • 邏輯 : logic
  • 方程式 : capeta
  1. This dissertation takes feuerbachs meticulous logical structure as masterstroke, explains his whole deduction process, which from the conception of civil penalty to the theory of psychological coercion, again from law deterrence to the principle of legally prescribed punishment for a specified crime. and it also states that, feuerbach takes the external behavior for condemnatory object, obviates the intervention of sentiment, abandons moral punishment or moral principles, moreover, excludes judiciary arbitrariness by means of law restriction, besides, emphasizes law deterrence and creates the theory of psychological coercion, and as a result establishes the principle of legally prescribed punishment for a specified crime

    本文以費爾巴哈嚴謹縝密的邏輯結構為主線，梳理了其從市民刑罰概念的構築到心理強制說的提出、再到確定刑罰法規中法律威懾思想的確立直至罪刑法定主義原則的整個推論過程，闡釋了費爾巴哈把客觀的、外部的行為作為處罰的對象，排除情操的介入，把法律置於可罰性的絕對根據之中，擯棄道德性刑罰或道德性原理，通過把法官約束在法律之中的方式排斥了法官的恣意專斷，又強調法律的威懾，創立心理強制說，從而確立了罪刑法定主義的刑法思想。
  2. The method of connecting timing into 1ogic i s explained in waveform po1ynomia1 on the basis of waveform concept in boo1ean process theory. and an ana1ytica1 de1ay mode1 that is close to practice circuits is found

    並在布爾過程論中定義波形的基礎上，說明了邏輯與時序在波形多項式中的結合方法，建立了接近實際電路的解析延遲模型。
  3. By using the yearly data of water - sand that is gotten by a couple of adjacent hydrologic station in yellow river lower reaches, this paper makes use of kinds of math methods looking for the nonlinear disturbance among all of the factors, and introduces the thinking of analysis, logic, conclusion, inference, and random to nonlinear hydrologic forecasting. it realizes the valid approximation of the water level process in erodible - bed channel

    本文選擇黃河下游兩對相鄰水文站多年水沙資料，藉助多種數學方法尋找其中的非線性擾動項，將隨機數學中分析、邏輯、歸納、演繹、隨機的思考問題方式引入到非線性水文預報中，實現沖淤河道相應水位過程的有效擬合。
  4. During the process of analyzing its reasons, in the terms of logic, the thesi s proceeds from international to the domestic, from the whole nation to the west region, from under system to system itself ; in the terms of contents, the thesis respectively uses relevant theories of micro - economics, public economics and institutional economics as well as the most newly research result named " flypaper effect " in the field of financial grants

    對這一模式原因的分析過程中，在邏輯上循著國際到國內、全國到西部、制度下到制度本身這樣一條線；在內容上則分別運用了微觀經濟學、公共經濟學、制度經濟學、以及財政轉移支付研究領域有關的最新研究成果「粘蠅紙效應」等各個方面的理論，從各個不同角度分析和論證。
  5. This article contains three parts, five chapters. the first part introduces the incentive models of actual bonus stock synoptically, analyses the stock on hand, option shares and stock option, the three kind of important incentive models, on rights and incumbencies, value and the incentive guidance by contrast. the second part discusses the difficulties and influential factors in the design of technical bonus stock, quests for the incentive models of technical bonus stock, analyses superiority and inferior position in action, difference and interosculation between them, discusses the need and significance for the technical bonus stock reanimation in the middle - small technicalfilms. in order to make use of the technical bonus stock distribution mechanism fully, inspire the talent of technologists, encourage their devotion to films, we have some important discussion on the technical bonus stock distribution policy, introduce the distributed models of technical bonus stock, point out the questions in the excutive course, and offer the solution correspondingly. in the third part, we discuss the technical stock option design on middle - small technical films, and consider the logical thoughtfulness in the course of reanimation as follows : the more outstanding achievement for the powered man the more increase on special target the lower price on technical option premium the more profit the more effective reanimation. in the parameter, a set of detailed program is designed, which includes establishment of incentive fund, institution of merit system for the plan ' s grantors, award of stock option, determination of premium, so as to reduce random in the incentive course, have a great effect on the mormative management for the

    本文內容共分為五章三大部分，第一部分概括性地介紹了現行股權激勵方式，對現股、期股和期權這三種重要的激勵方式，從權利義務、價值和激勵導向三個方面進行了對比分析；第二部分探討了技術股權設計的難點和影響因素，討論了我國中小科技企業技術股權激勵的方式，分析它們在激勵中的優勢和不足，以及它們之間的區別與聯系，並對中小科技企業實施技術股權激勵的必要性和意義進行了探討。在文中還重點討論了中小科技企業技術股權分配的策略，介紹了技術股權紅利分配方式，指出在技術股權激勵過程中應注意的問題，並提出相應的解決辦法，目的在於充分利用技術股權分配機制，來激發技術人員潛在的創新能力，激勵他們為企業作貢獻；第三部分著重探討了中小科技企業技術股份期權的方案設計，在激勵方面，按照技術期權獲受人的業績越突出特定的指標增長越快行權價越低獲利越多激勵效果越好的邏輯思路進行考慮；在參數設計方面，對技術期權計劃中激勵基金、授予和考核、行權價格等參數進行了詳細地分析設計，旨在減少技術期權激勵過程中的隨意性，為中小科技企業的規范化管理起到一定的指導和借鑒作用。
  6. 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擴展模塊、速度和加速度狀態反饋的控制演算法的程序設計。
  7. In the logic design, the fundamentals and characteristics of ieee std. 1149. 1 specification and usb protocol are introduced first of all. according to altera ’ s fpga cyclone, it analyzes the architecture and jtag instructions of boundary scan test ( bst ). then the dissertation analyzes how to program cyclone device and offer the scheme of the design which is realized in verilog hdl by modelsim and quartus ii software

    在介面邏輯設計中，首先分析ieee1149 . 1標準和usb協議，理解邊界掃描測試和usb數據傳輸的工作方式，然後針對altera公司的fpga器件cyclone ，通過分析它的邊界掃描測試結構和各種jtag指令，研究它的編程過程和編程特點，並提出設計方案。
  8. In addition, make out in detail the design on inner combination logic and time logic of fpga, including series - parallel conversion, data selector, counter, flip - latch, timer, encoder, etc. at one time, not only pursuit flow of the data gathering system is illuminated, but also make use of in reason and effectively inner ram resource of fpga and build it in ping - pong framework

    另外，詳細的介紹了fpga內部的組合邏輯和時序邏輯的設計方案，包括串並轉換、數據選擇器、計數器、鎖存器、定時器、譯碼器等。並闡述了數據採集系統的工作流程，而且合理有效地使用了fpga內部的ram資源，將其構建成乒乓式結構。
  9. The dcs of i / a series is regarded as main reference object, and the control is separated from model. and the configuration of control is operatised at administration system, not to be added into model, not to build control sound code also. therefore it realizes on - line adjusting, real - time control and so on. users configurate by filling table. they only define i / o condition, fill certain operation variable, and name logic variable. the software offers a friendly user ' s interface, so personnel can compile and modify the control and logic program, change the value of logic and control variable conveniently, attach themselves to run, debug and control the system, not need to know the programs deeply. so the configuration software offer a flat that control engineers can attend to control loop, not to give their attention to the complicated program

    在本課題中，採用填表的方式進行控制組態，用戶只需定義i / o條件、填寫具體的運算變量名即可。本軟體為建模人員提供了一個友好的用戶界面，使建模人員在建模時不必對模塊內部的控制、邏輯程序有很深的了解就可以方便的對其進行編寫和修改，實時改變各邏輯和控制變量在數據庫里的值，參與運行和調試，從而實現對系統的控制。因此，本組態軟體提供的這樣一個平臺，讓控制工程師能集中精力于控制迴路的構成，而不必拘泥於一些具體而煩瑣的程序操作。
  10. We proposed an order - oriented shop floor control model, which is based on mas and dynamic _ logical cell to overcome the weakness of the existing distributed and hierarchical form. the model is divided into three layers, namely the shop floor layer, the dynamic cell layer and the equipment layer. the tasks of shop floor layer are to receive, decompose and administrate orders

    論文分析了製造系統控制結構發展演變的過程，針對分散式控制方式及傳統分層遞階控制方式的不足，提出了面向訂單的、基於多agent和動態邏輯單元的車間控制模型，該模型根據車間生產組織的特點將agent劃分為三層，即車間層、動態單元層和設備層。
  11. Computing with words, constraint - based problem solving, fuzzy modeling, granular computing, information granulation references 1 mamdani e h. application of fuzzy algorithms for control of simple dynamic plant

    由於模糊限制式包含了傳統的數學方程式不等式，更涵蓋模糊方程式不等式關系式邏輯表達式等。
  12. In this paper, the belief logic system gny and it ' s related implementation tool spearii are utilized, ssl protocol is a focused instance, then the detailed analysis procedure from initial protocol model to various evolution protocol models is given, later the final evolution protocol model and ssl protocol are contrasted and thus the security analysis conclusion is drawn for ssl. during the analysis procedure two practical security authentication solutions are designed based on evolution protocol models

    本文採用著名的信念邏輯gny邏輯系統及其相關的形式化工具spear ，以ssl協議為分析實例，詳細闡述了從初始協議模型到各個進化協議模型的分析過程，並將最終的進化模型與ssl協議作比較，給出ssl協議的安全分析，同時在分析過程中以協議模型為基礎設計了兩個實用的安全認證方案。
  13. The dynamic causality diagram developed from the belief network adopts its graphical expression of knowledge and then innovates and extends this expression approach, abolishes the limit to logical structure of system, and introduces boolean calculation. thus, the dynamic causality diagram overcomes the shortage of belief network, and possesses more greater advatage

    由信度網發展起來的動態因果圖理論，借鑒了信度網圖形知識表達的優點，但創新並擴展了表達方式，取消了對系統邏輯結構的限制，引入了邏輯運算，從而在很大程度上克服了信度網的不足，具有更大的優勢。
  14. In this programme, the database of many stored foods and experiential database are described by using production system, and, inexact reasoning is settled down with the method of fuzzy logic, finally, by separating the control knowledge and field knowledge, the design clue of expert in field is incarnated in the form of rules - base. the expert system created can simulate the thought and decision - making of expert in hvac field, and get the anticipative results

    該程序中用產生式規則系統建立了冷藏食品信息庫和經驗數據庫，並運用模糊邏輯方法進行不精確推理，採用控制知識和領域知識分離控制流的方法，以規則庫的形式，體現了領域專家設計思路。該專家系統模擬專家進行符號推理及選取經驗數據，得到了較好的設計結果。
  15. Describes the design and realization of partial run - time reconfigurable fpga in detail. in order to reduce the affect of the reconfiguration time on system execution time, mostly static circuit design method in logical design stage and incremental routing method in component implementation stage are proposed. the fft parallel processing algorithm is examined through vvp platform

    本章詳細闡述了基於vvp平臺的多sharc功能插板的具體硬體實現，以動態重構fpga設計為核心，論述了局部動態重構fpga設計流程和方法，提出了極大靜態電路邏輯設計方法和遞增式布線方法，以達到減小動態重配置時間，提高系統運行效率的目的。
  16. On the view of situation, the thesis settles the position, characteristic and the development of the primary state of the socialism in china, which is to analyze the history position and characteristic of the primaiy state of the socialism in china and to point out the general plan of the construction on the basic of sum up the thought way of the theory of social economy state of marxism. the mainly used methods of analysis are : ( 1 ) the research of the process, construction and the layer level are associated. the thesis not only analysis the historical formation, but also analysis the constitution and the layer level, so as to consolidate the various theories of the marxism, and to understand the theoiy of social economy state of marxism systematically

    本文的主要分析方法是:把社會經濟形態的過程論、結構論、層次論相結合，不僅分析社會經濟形態的縱向發展歷程，並且分析其橫向構成形式，還分析其歷程和構成的內部層次，從而使馬克思相關的豐富而多樣的論述統一到一個整體中來，以便全面、系統地理解和把握馬克思的社會經濟形態思想;把理解馬克思的論著資料與體會其思想邏輯相統一，既廣泛引用馬克思論著的眾多原文原句，又充分領會馬克思的整體思想內涵，在研究其論著資料中體會其思想內容，在分析其思想邏輯中運用其論著資料，以達到客觀、完整地理解和把握馬克思的社會經濟形態思想;注重理論研究與現實實踐相一致，既尊重馬克思的真實思想，又聯系社會實踐，特別是當今時代的現實和中國社會主義初級階段的建設。
  17. To help you to organize and perform common tasks on the items that you are developing, visual studio projects are used as containers within a solution to logically manage, build, and debug the items that comprise your application

    為了幫助您對正在開發的項進行組織和執行常規任務，將visual studio項目用作解決方案內的容器，以通過邏輯方式管理、生成和調試構成應用程序的項。
  18. It is only in the mysterious equations of love that any logical reasons can be found

    只有在這神秘的愛情方程式中才能找到邏輯或原由來。
  19. The speed development process is a tailored rup process, direct to the business logic, and some xp practices are imported. it can avoid the over - engineer of rup and avoid completely depending on the source code, which is the character of xp. the process is divided into three core workflows

    本文提出的快速開發過程是一種經過裁減的rup過程，採用分散式對象技術直接對業務邏輯編程，在設計工作中以軟體體系結構為目標，並在過程中引入了xp的若干實踐方法，因此它可以避免rup過分設計的缺點和避免xp完全依靠源代碼的缺點。
  20. So, in this paper, it does the research of the bidirectional conversion between uml and xyz / adl. in this way it combines the oo visual modeling language and formal method based on temporal logic together to describe software architecture, and so to find how to apply the formal method to real software development to promote the research not only on main technologies in software but also on formal method

    基於此，本文開展了對基於時序邏輯的軟體體系結構描述語言xyz / adl和uml之間的雙向轉換問題的研究，通過研究二者之間的轉換，實現將基於時序邏輯的形式化方法與面向對象的可視化建模語言相結合描述軟體體系結構，來探討如何將形式化方法應用於實際的軟體開發過程中，這樣不但能促進對當前軟體主流技術的研究，而且能促進對形式化開發方法的研究。
分享友人
分享到 Line

分享到臉書