進位邏輯 的英文怎麼說

中文拼音 [jìnwèiluó]
進位邏輯 英文
carry logic
  • 進 : 進構詞成分。
  • 位 : Ⅰ名詞1 （所在或所佔的地方） place; location 2 （職位; 地位） position; post; status 3 （特指皇帝...
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 邏輯 : logic
  1. The simple sentences in news titles have such patterns as subject - predicate structure, modifier - keyword structure, verb - object structure, parataxis structure, structure with consecutive predicates, appositive structure, and single - word structure. subject - predicate structure is the major one in simple sentence. the logical relations between clauses of main titles that are complex sentences, or between shoulder titles and main titles, or between main titles and subtitles are : parataxis, continuity, illustration, causality, transition, progression, purpose, hypothesis, condition, and so on

    新聞標題單句一般由主謂、偏正、動賓、並列、連謂、同位、獨詞等結構形式構成，其中主謂結構是新聞標題單句的主要結構形式;新聞標題復句中，主題復句各分句之間、引題與主題之間、主題與副題之間、引題與主題與副題之間存在著並列、順承、解說、因果、遞進、轉折、目的、條件、假設等邏輯關系。
  2. 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組態軟體設計了系統的監控界面，從而實現了對生產線的實時監控，並且可以通過界面設置系統的一些參數，同時提供了較強大的報警功能。
  3. Part three the study of lattice - valued modal first - order logic system and its resolution principle in this part, we introduced quantifiers and predicate into lmp ( x ), put up lattice - valued modal first - order logic system lmf ( x ), and gave its semantic interpretation and syntax structure, proved soundness theorem and consistence theorem. moreover, in order to judge the satisfiability of formula, defined skolem standard type and h - interpretation. based on these work, made a primary discussion of a - resolution principle based on lmf ( x )

    第三部分：關于格值模態一階邏輯系統及其歸結原理的研究第n頁西南交通大學博士研究生學位論文這一部分主要是在格值模態命題邏輯系統lmp隊）中引進量詞和謂詞，建立格值模態一階邏輯系統lmf （廣並給出其語又解釋和語法結構，證明了系統的可靠性和協調性；另外，為了判斷公式的可滿足性，定義了格值模態一階公式的skolem標準型和體解釋；在此基礎上，對基於系統lmf （ ）的a一歸結原理進行了初步探討
  4. The writer, as one of the ma i n members i n the job analysis group, handles some specific work in this project, such as design of questionnaires, design of interview questions, design of some forms and so on. in this thesis, above all, the writer studies some relative theory, then, researches the whole process of this job analysis. according to this logical order, there are four parts in the thesis as following : the firs part introduces some important concepts and theories, including the significance, the position, the history, the methods, and the value of job analysis in modern human resource management

    本著理論指導實踐，實踐升華理論的原則，在本論文中，筆者首先從工作分析的相關理論入手，然後在理論研究的基礎上對cssc公司銷售部工作分析的全過程進行深入細致的分析研究，按照這種邏輯順序本論文共分為五大部分：第一部分為文獻綜述，主要闡述了工作分析的相關概念、工作分析的意義和作用、工作分析在現代人力資源以及人力資本管理中的地位、工作分析的歷史沿革、工作分析的理論、工作分析的內容、工作分析的方法技術、工作分析的價值等。
  5. To understand and deal with deflation becomes a new task. deflation has been paid close attentain to by academic circles and govern ment departments around the globe. on the basis of investigating the related literature of deflation at home and abroad, the auther of this paper puts emphasis on studying china ' s deflation, including its cause of formation, mechanism of the formation and effectiveness of monetary policy during deflation by qualitative and quantitative analyses, positive and normative analyses, theoretical analysis and case confirmation ; then points out the orientation of china ' s monetary policy by raising the efficiency of monetary policy in the future and avoiding deflation

    本文在分析研究國內外在通貨緊縮判斷標準、形成機理、治理對策等方面研究方法及研究現狀的基礎上，採用實證分析與規范分析相結合，定性分析與定量分析相結合，理論概括與實踐歸納相結合的方法，從多方位、多角度對產生中國目前通貨緊縮的原因進行分析，從理論上梳理出中國目前通貨緊縮形成的邏輯過程，並對通貨緊縮時期貨幣政策的效果及未來貨幣政策的取向進行了深入分析和有效探索。
  6. Chapter three is about the experimental research of the real time optimal position system ( see chapter two ), emphasis on the high performances of 196mx pts interrupt response and safe design of ipm module. the analysis of perfect experimental waveforms and basic algorithm are also provided. chapter four focus on the properties and application of ekf estimator

    論文第三章對點對點快速定位系統進行了實驗研究，重點介紹了196mxpts中斷系統對高速處理實時邏輯信號和消除編碼盤光電頭邊緣振蕩效應所起的作用、 ipm模塊的安全性分析設計等，同時給出了完整的實驗波形分析以及基本演算法。
  7. It includes : dynamic show of technics flow, real time data acquirement and show, history data save and print, fault alarm, etc. the plc control system mainly accomplishes the wastewater technics flow control, harmonizes the logical relationship among local intelligent control instruments and transmits the state of each local equipment to the industrial computer simultaneously, the plc control station receives the control commands from the industrial computer ; the local intelligent units take charge of the correlated parameters measure, disposal and control, and it will transmit the related parameters to the computer, etc. in this thesis, introduced municipal wastewater treatment technics, the integrated application program development of computer, the design method of plc control station, the communication between plc control system and computer, and the network of wastewater treatment with profibus - dp was also discussed

    上位計算機主要實現遠程監測和管理功能，具體包括:工藝流程動態顯示、實時數據獲得及顯示、歷史數據存儲與列印、故障報警等功能plc控制系統主要完成工藝流程式控制制以及協調現場各智能儀表之間的邏輯關系，將現場各設備的運行狀態通過通訊網路傳輸到上位計算機，並接收上位計算機的控制指令;現場各智能儀表單元負責各相關參數的監測和處理、控制，並將有關參數送往上位監控計算機進行處理、保存等。本文以莎車污水處理項目為例，介紹了城市污水處理工藝、上位監控計算機的綜合應用程序開發、城市污水處理自動控制系統plc控制站的設計和採用profibus系列中廣泛應用於現場設備的profibus - dp總線。
  8. Moreover criminal definition of the unit adjusting, in the illegal action definition of unit the logical subject, the unit seeies the benefit, unit entire volition, the problems such as unit duties of member and so on have been carried on the detailed directions

    並對單位犯罪的定義、單位不法行為定義中之邏輯主語、單位謀取利益、單位整體意志、單位成員的職務性等問題進行了詳細的說明。
  9. In the synchronous " model, based on the idea of polygonal flux linkage locus, by means of constructing the switch state period table of three phrase voltage inverter is required. in the brushless model, the igbt ( isolated gate bipolar transistor ) switch state period table is gained by gal ( generic array logic ) which analyzes the signal of position feed - back

    在同步方式下，基於多邊形磁鏈軌跡法的思想，用作圖法求得三相電壓型逆變器的pwm波形序列；在無刷直流方式下，用gal對位置反饋信號進行邏輯綜合，得到開關管的導通規律。
  10. Thirdly, the paper researchs the application of single electron transistor and the synthesis theory of cicuit based on quantum dot cellular automata by synthesis example of quantum cellular neural network based on build schr ? dinger equation of coupling quantum dot. at last, the paper researchs digital integrated circuit design based on quantum dot cellular automata and design a 8 - bit quantum dot cellular adder by qcadsign based on a method of majority logic reducetion for quantum cellular automata, it prove this designer of 8 - bit quantum dot cellular adder is correctly

    Dinger ）方程為基礎的量子點細胞自動機電路綜合理論，本文以量子細胞神經網路為綜合實例，建立耦合量子點的薛定鄂（ schr ? dinger ）方程組，通過化簡得到類似細胞神經網路的非線性電路方程。最後研究了基於量子點細胞自動機數字集成電路設計，通過建立邏輯方程，簡化邏輯方程，並設計基於精簡qca擇多邏輯門8位加法器，並用qcadesign進行了模擬，實驗證明設計正確性。
  11. In this paper, paradigm is firstly analyzed and regarded as a system that consists of idea paradigm, rule paradigm and practice paradigm ; then, a combined point between the western economics and paradigm is found out by analyzing economics, that is to say, idea paradigm has the same meaning as the regulative problems, and rule paradigm and practice paradigm are branches of analyzed problems. so author thinks that it is possible to appear the natural development law of economics by analyzing economics theory introduced by kuhn ' s thoughts. in this paper, the possibility of applying kuhn ' s thoughts in the researches on western economics is proved and conformed by studying the development history of western economics, and institutional economics, the development trend of western economics is deduced

    因此，為了利於研究，筆者首先對庫恩範式進行解構，把範式看作是由觀念範式、規則範式和操作範式三要素構成的範式系統，其中觀念範式是核心，是始發之源，規則範式是中層結構，而操作範式是聯結外部自然的「外圍」 ，在範式系統的層次結構中觀念範式是最穩定的，不易發生變化的，一旦觀念範式發生變化，則整個範式系統發生「格式塔轉換」使其明確化；然後通過分析經濟學的研究邏輯，認為經濟學的研究邏輯由對象邏輯、思想邏輯、和發展邏輯構成，通過對經濟學對象邏輯和思想邏輯的研究，找到經濟學研究與範式的結合點，即觀念範式與規范性問題是具有同等意義的概念，而規則範式和操作範式是武漢理工大學碩士學位論文對分析性問題的細分，從而使範式理論應用於經濟學理論的研究成為可能。
  12. The article ' s main content is divided into four parts : ( 1 ) from the view of collective action among states, we distinguish three kind of international relations, and indicate that the hard nut to govern the international order is a social dilemma, and put forward a analytical conception of international governance ; ( 2 ) after analyzing the west logic of governing international order and its evolution process, we point out the unreasonableness and the difficulty to put the logic in practice ; ( 3 ) from the problem wether social dilemma can be solved or not, together with the sociological analysis of the " dual structure ", we explain the possibility of international governance to resolve social dilemma, realise the transformation of governance and the plasticity of international order ; ( 4 ) from the " perception " of international order, we analyze the historical change of china " s traditional view of " he - he " order and the establishment of the idea of multipolarization, and illuminate the organizing pattern of collective action in the idea, based on which we define the orientation of china " strategy of multipolarization and analyze the strategical choice to utilize and promote the multipolarization

    文章的主體分為四個部分： （ 1 ）從國家間集體行動的視角出發，區分三類國際關系，揭示國際秩序的治理難題是社會困境，並給出一個國際治理的分析性概念； （ 2 ）分析了西方主導的國際秩序的治理邏輯及其演變過程，指出其內在的不合理性及其實施治理的困難所在； （ 3 ）從社會困境能否消解的問題出發，結合社會學「雙重結構」的分析，解釋了國際治理消除社會困境、實現治理轉型和國際秩序可塑性的可能性； （ 4 ）從國際秩序的「認知」角度，分析了中國傳統的和合秩序觀的歷史演變及多極化理念的確立，揭示出這一理念所內含的集體行動組織方式，即「和合邏輯」的治理架構，在此基礎上明確了中國多極化戰略的定位，並對中國如何利用和促進多極化進行了策略選擇的分析。
  13. The basic working principles and characteristics of srm will be described firstly in this paper, as well as its developing survey and researching directions. and then the srd system will be separated into several function parts to be introduced respectively in details : ( 1 ) to analyze the basic characteristics of the srm including electromagnetism, current and torque of every angle field of the rotor based on the subsection - linearized inductance characteristics of stator windings and several idealized supposes. ( 2 ) how to design and realize the h - bridge converter, and the method to use it ; ( 3 ) how to design and realize the controller based on dsp ( tms320f240 ) and the control strategies, as well as the program ; ( 4 ) to introduce the monitor program running in a pc, which is programmed by delphi

    本文首先介紹了srm的基本工作原理和特點以及srd系統發展概況和研究方向，然後以srd的功能構成為線索分部分進行介紹： （ 1 ） srm的特性及控制策略分析，在電感分段線性化等簡化條件下分析得出了各個轉子位置角度區間的電磁、電流和轉矩特性並分析了控制策略； （ 2 ）分析設計了h橋式功率變換器的設計和工程實現的方法，並設計了基於這種功率變換器的換相邏輯； （ 3 ）分析設計了以dsp為核心的控制器以及控制方法，並介紹了該控制器的軟硬體實現； （ 4 ）介紹了如何用delphi編制實現上位機監控程序。
  14. Method of inverse displacement analysis for hybrid twe pmts is a1so given. an analytical method, which is based on surface analysis, for workspace - analysis of 6 - sps type pmts is proposed in this dissertation. topological diagram of workspace for 6 - sps type pmts is derived, the equations of workspace boundny surfaces for 6 - sps type pmts are also derived based on the kinematic characteristic of the pmts

    提出了一種求解6 - sps型並聯機床主進給機構工作空間的解析方法，該方法以曲面分析為基礎，通過分析得到了6 - sps型並聯機床主進給機構工作空間四川大學博士學位論文的拓撲邏輯結構圖，結合主進給機構的運動特性，得到了主進給機構工作空間邊界曲面的曲面方程。
  15. The proposed 64 bits high performance alu is optimized at algorithm level, logic level, circuit level and layout level, and is implemented in 0. 18 m cmos process. furthermore, the testing technique of the alu is discussed. this thesis mainly contributes to the following aspect : 1

    文章從部件的演算法、邏輯結構、電路參數、物理版圖等多個層次進行設計優化，在0 . 18 mcmos工藝下實現了一款64位高性能算術邏輯部件，並對該部件的測試方法進行研究。
  16. Digital design ： binary system, boolean algebra, logic gates, simplification of boolean functions, combinational logic. analog design ： amplifiers, frequency response, feedback, operational amplifier

    數位設計：二進位制、布氏代數、邏輯閘、布氏函數的化簡、組合邏輯電路。類比設計：放大器、頻率響應、反饋系統、運算放大器。
  17. The main contributions of the second part of this dissertation are focused on the cryptographic properties of logical functions over finite field, with the help of the properties of trace functions, and that of p - polynomials, as well as the permutation theory over finite field : the new definition of chrestenson linear spectrum is given and the relation between the new chrestenson linear spectrum and the chrestenson cyclic spectrum is presented, followed by the inverse formula of logical function over finite field ; the distribution for linear structures of the logical functions over finite field is discussed and the complete construction of logical functions taking on all vectors as linear structures is suggested, which leads to the conception of the extended affine functions over finite field, whose cryptographic properties is similar to that of the affine functions over field gf ( 2 ) and prime field fp ; the relationship between the degeneration of logical functions and the linear structures, the degeneration of logical functions and the support of chrestenson spectrum, as well as the relation between the nonlinearity and the linear structures are discussed ; using the relation of the logical functions over finite field and the vector logical functions over its prime field, we reveal the relationship between the perfect nonlinear functions over finite field and the vector generalized bent functions over its prime field ; the existence or not of the perfect nonlinear functions with any variables over any finite fields is offered, and some methods are proposed to construct the perfect nonlinear functions by using the balanced p - polynomials over finite field

    重新定義了有限域上邏輯函數的chrestenson線性譜，考察了新定義的chrestenson線性譜和原來的chrestenson循環譜的關系，並利用一組對偶基給出了有限域上邏輯函數的反演公式；給出了有限域上隨機變量聯合分佈的分解式，並利用隨機變量聯合分佈的分解式對有限域上邏輯函數的密碼性質進行了研究；給出了有限域上邏輯函數與相應素域上向量邏輯函數的關系，探討了它們之間密碼性質的聯系，如平衡性，相關免疫性，擴散性，線性結構以及非線性度等；討論了有限域上邏輯函數各類線性結構之間的關系，並給出了任意點都是線性結構的邏輯函數的全部構造，由此引出了有限域上的「泛仿射函數」的概念；考察了有限域上邏輯函數的退化性與線性結構的關系、退化性與chrestenson譜支集的關系；給出了有限域邏輯函數非線性度的定義，利用有限域上邏輯函數的非線性度與相應素域上向量邏輯函數非線性度的關系，考察了有限域上邏輯函數的非線性度與線性結構的關系；利用有限域上邏輯函數與相信息工程大學博士學位論文應素域上向量邏輯函數的關系，揭示了有限域上的廣義bent函數與相應素域上的廣義bent函數的關系，以及有限域上的完全非線性函數與相應素域上向量廣義bent函數之間的關系;給出了任意有限域上任意。
  18. The next and last udf to cover bitwise operations is bitwise not that performs a bitwise logical not operation for one given integer value as translated to a binary expression

    下一個也是最後一個涉及逐位運算的udf是逐位not運算，在轉換成二進製表達式時，該udf對給定的整數值執行逐位邏輯not運算。
  19. Researched the methods to test configrable logic block ( clb ) and its sub - blocks. based on a “ divide and conquer ” methodology, the clb resources are divided into three basic blocks : logic units, carry logic module ( clm ) and lut ’ s ( look up tables ) ram - mode. the testing configurations are implemented based on a two - dimensional array structure for logic blocks

    主要基於「分治法」對clb及其子模塊進位邏輯（ clm ） 、查找表（ lut ）的ram工作模式等進行了測試劃分，分別實現了以「一維陣列」為基礎的測試配置和測試向量，以較少了測試編程次數完成了所有clb資源的測試。
  20. The values of this enumeration can be combined with the bitwise logical operators, so the

    可以使用按位邏輯運算符對此枚舉的值進行組合，因此
分享友人
分享到 Line

分享到臉書