邏輯核對 的英文怎麼說

中文拼音 [luóhéduì]
邏輯核對 英文
logical verify
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 核 : 核構詞成分。
  • 對 : Ⅰ動詞1 （回答） answer; reply 2 （對待; 對付） treat; cope with; counter 3 （朝; 向; 面對） be tr...
  • 邏輯 : logic
  • 核對 : check; collate; verify; collating; verification; verifying; checking
  1. We first present a number of desiderata for an xml - based query language, and based on this criterion, we introduce the syntax of a simple core ian - guage for semistructured data and then describe four extensions that have resulted in working prototypes. second, we present the algorithm for computing the result of a regular expression on data graph with cycles, the first - order interpretation of querying language for semistructured data, and explore structural recursion and bisimulation in semistructured data and propose an efficient and systematic way to computing a bisimulation between the two graphs. we also proposed and implemented a web querying system with database features

    基於這些準則，對一個簡單的半結構數據查詢核心語言的語法提出了兩方面擴充；給出了計算數據圖中正規表達式的演算法；對半結構數據查詢語言的一階邏輯描述、結構遞歸和數據圖的雙態模擬（ bisimulation ）等問題進行了研究，提出了一種判定數據圖的bisimulation演算法；在xml數據查詢語言研究的基礎上，設計並實現了一種具有數據庫查詢特性的web查詢系統原型。
  2. The system comprises three modules : the first is the ccd driver module, which controlled with cpld. programming the cpld to produce ccd driving pulses and synchronized communication signals. after preprocessing, the output video signals are transmitted into high resolution adc module, in which they are converted into digital signals, and then processed in arm processing module

    整個系統分為三個模塊: ccd驅動模塊的核心是一片復雜可編程邏輯器件（ cpld ） ，對其編程產生ccd的驅動脈沖及同步控制信號;視頻輸出信號經預處理后，由高精度ad轉換模塊進行采樣，將ccd輸出的模擬信號轉換成數字量;最後，將數據送入arm處理系統中進行后續處理。
  3. 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

    本文內容共分為五章三大部分，第一部分概括性地介紹了現行股權激勵方式，對現股、期股和期權這三種重要的激勵方式，從權利義務、價值和激勵導向三個方面進行了對比分析；第二部分探討了技術股權設計的難點和影響因素，討論了我國中小科技企業技術股權激勵的方式，分析它們在激勵中的優勢和不足，以及它們之間的區別與聯系，並對中小科技企業實施技術股權激勵的必要性和意義進行了探討。在文中還重點討論了中小科技企業技術股權分配的策略，介紹了技術股權紅利分配方式，指出在技術股權激勵過程中應注意的問題，並提出相應的解決辦法，目的在於充分利用技術股權分配機制，來激發技術人員潛在的創新能力，激勵他們為企業作貢獻；第三部分著重探討了中小科技企業技術股份期權的方案設計，在激勵方面，按照技術期權獲受人的業績越突出特定的指標增長越快行權價越低獲利越多激勵效果越好的邏輯思路進行考慮；在參數設計方面，對技術期權計劃中激勵基金、授予和考核、行權價格等參數進行了詳細地分析設計，旨在減少技術期權激勵過程中的隨意性，為中小科技企業的規范化管理起到一定的指導和借鑒作用。
  4. 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

    透過道德教育哲學、語義學、邏輯學、人類學、心理學等多學科的考察，論文認為，學校道德教育的根本目的在於培養受教育者的德性品質（品格） ；受教育者的品格是由「道德認知」 、 「道德情感」 、 「道德行為」等子系統組成的「態度」動力系統；建立在傳統文化基礎上，圍繞「立身」 、 「處世」 、 「行事」三個維度，體現「尊重?責任」關系（生命個體對自己、他人、社會、自然等）價值觀，既是受教育者核心品格，也是學校道德教育應該追求的教育目標。
  5. Through the approach of investigative questionnaire and ability examination, considering both teachers " teaching practice in senior high school and students " need in analyzing and resolving problem, taking the method of fixing the quality and quantity, we make a demonstration research. at last, we draw a conclusion that the 19 manifestations of chemistry ability can be reduced to three levels : the basal level, called repeating thinking, includes distinguishing and judging the chemical fact and relations of quantity in chemical reaction, comparing and summarizing the chemistry fundamental knowledge ; innovative thinking level includes illogical thinking and logical thinking. illogical thinking mainly contains intuition, association and space imagination of micro - particle

    通過調查問卷、能力測試等途徑，結合教師在中學化學的教學實踐和學生在分析、解決問題的實際需要，採用定性與定量結合的方法，進行實證研究，得出結論：化學學科能力的19種表現形式歸納為3個層次：最基礎的再造性思維能力層次包括對化學事實和化學反應中量的關系的識別和判斷、對化學基礎知識的比較概括；以培養創新能力為核心的創造性思維層次包括化學直覺思維、聯想、對微觀粒子的空間想象為主的非邏輯思維和靈活運用已學的化學知識通過分析、綜合地解決問題為主的邏輯思維；化學實驗能力層次是化學學科能力的最高層次，它以思維能力為基礎，集中體現了化學教學的基本特徵，實驗能力層次包括：選用實驗方法和設計實驗方案，對實驗的評價，研究和處理實驗事實、資料、數據，發現規律，表達實驗及其結果，最終解決問題的能力和發散思維。
  6. Secondly, the paper describe the principle of atm network, and the function of ' sar " ( segmentation and reassembly ) and the format of packet aal5, and introduce the basic idea of ipoa, and the design project and implementing of the control chip. later, the paper introduce the logic function and operational principle of packet buffer control chip and prove the feasibity and correctness of the arithmetic. at last the paper introduce crc - 32 arithmetic based on look up and implement it with hardware

    接著詳細論述了核心路由器atm網路實現的原理，包括「 sar 」 （ segmentationandreassembly ）功能和aal5報文的格式， ipoa基本思想，以及控制晶元的設計方案和實現途徑等。然後又論述報文緩存區控制晶元的工作原理和邏輯功能等，並對演算法的可行性，正確性等進行論證。最後介紹了一種基於查表的crc - 32演算法的原理及其硬體實現。
  7. After that, the system and function simulation platform are introduced, and the simulation results are analysed. moreover the gate - level simulation is done after the ip code is synthesized

    之後，介紹了此ip核的系統模擬平臺和功能模擬平臺，並對端點0的各個邏輯功能塊的功能模擬的結果進行了分析。
  8. This essay thinks that the statement of glas and johnson is objective and their comparative analysis is practical but the author disagrees with them in combining the logic sequence of the two hard cores for the convenience of comparative analysis

    本文認為格拉斯和約翰遜的陳述是客觀的，對其所作的對比分析也是符合實際的。但是，卻不同意他們為了對照分析的方便，把兩大綱領的硬核內容的邏輯順序也一致起來加以說明。
  9. Also we make full considering of how to abstract reusable classes and packages and arrange the algorithm logic and interface into different layers. so we can make sure the software has good reusability and translatabiliry. fifthly, we further described the process of how to analyze and design the application layer of flight information subsystem

    在分析設計過程中，充分考慮到了對可重用的類和包的提取，同時採用分層設計的方法，使核心演算法邏輯與外部介面處于不同的層次中，保證了軟體的可重用性和可移植性。
  10. 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的驗證策略討論了動態和靜態的驗證技術，提出了進行單獨模塊驗證、晶元的全功能驗證和系統軟硬體協同驗證的整體策略。
  11. To realize nolinear excitation controller, it must be improved that the disposal speed of nolinear excitation control " s signal. with analyzing and comparing all kinds of microcomputer excitation controller, a new microcomputer excitation control scheme is offered that is based on dsp controller while the cpld chip is utilized for realizing the function of pulse trigger. it is described in detail that the method of realizing controllable silicon digital logic by verilog hardware describe language and the designed digital pulse trigger " s veracity was validated by digital simulation

    論文進一步針對非線性勵磁控制要求信號處理速度高、信息量大的特點，在對目前微機勵磁控制器分析基礎上，提出採用dsp控制器晶元作為核心處理器的微機勵磁控制器的解決方案，運用復雜可編程邏輯器件cpld晶元實現可控硅同步脈沖觸發單元，並簡要說明了verilog硬體描述語言和數字脈沖形成邏輯的方法，通過電路數字模擬對所設計的數字觸發單元進行了驗證。
  12. This paper includes a number of contributions on how to harmonize the macro and micro, global and local, random and structural, order and disorder, simple and complex, and so on, which is the significant task for the complexity exploration. it is research course that is more important than others, but still several conclusions have been drawn as follows : regional speciality lies in spatial complexity, the process of spatial complication starts from symmetry rebuilding in macro - level while symmetry breaking in micro - level which accounts for emergence of complex regularity, and the target of geographical evolution seems to reconstruct the symmetry laws of nature

    標度律是全文的邏輯核心，通過它們將城市系統的宏觀與微觀、整體與局部、有序與無序、隨機與確定、簡單與復雜、對稱與對稱破缺等對立問題有機地統一起來。盡管如此，本文還是得出了一些基本結論:所謂地理學的區域獨特性實則空間復雜性，微觀層面的對稱破壞與宏觀層面的對稱重組是「突現」和空間復雜化的動力根源，城市系統自組織演化的優化目標似乎就是重建大自然的對稱律。
  13. Subsequently, learning organization and knowledge management theory and practice based on networks that are in the basic grade are discussed in the first place. resource, finance and marketing cooperation network are bring forward secondly, in this part, the dissertation recommend the ? balanced ? score ? card （ bsc ）, total budget management and total dimension marketing as ways of being used widely in some famous corporations like ibm and ge. later, the most important that is the core operation action of manufacturing enterprise, including “ 5s ”, lean manufacture, “ 6 ” management mode and business reengineering are go deeply into

    根據系統化企業管理體系的邏輯關系，本文先對處于基礎層級的理念與技術支持體系中學習型組織和基於信息網路的知識管理體系作了較為詳盡的介紹，然後針對一般製造型企業核心業務活動的開展所必須具備的支持體系? ?人力，財務，營銷合作網路三大核心活動支持體系逐一作了說明，在這一部分，先後介紹了平衡計分卡在績效考核中的應用，財務上的全面預算管理主要內容與開展方式以及全方位營銷框架。
  14. 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

    因此，為了利於研究，筆者首先對庫恩範式進行解構，把範式看作是由觀念範式、規則範式和操作範式三要素構成的範式系統，其中觀念範式是核心，是始發之源，規則範式是中層結構，而操作範式是聯結外部自然的「外圍」 ，在範式系統的層次結構中觀念範式是最穩定的，不易發生變化的，一旦觀念範式發生變化，則整個範式系統發生「格式塔轉換」使其明確化；然後通過分析經濟學的研究邏輯，認為經濟學的研究邏輯由對象邏輯、思想邏輯、和發展邏輯構成，通過對經濟學對象邏輯和思想邏輯的研究，找到經濟學研究與範式的結合點，即觀念範式與規范性問題是具有同等意義的概念，而規則範式和操作範式是武漢理工大學碩士學位論文對分析性問題的細分，從而使範式理論應用於經濟學理論的研究成為可能。
  15. The dissertation emphasize : the legal relations of taxation is defined by taxation laws, developed during taxpayer nation and collection power, during which is the rights and duties " of them ; it is made up of four legal relations of taxation between the three main parts ; therefore, the core content of taxation basic law is the design about rights and duties of tax collection and payment, and those should be regulated as parts of laws during the taxation basic law

    本文認為，稅收法律關系是由稅法確認和調整的，在國家稅收活動中各方當事人之間形成的，具有權利義務內容的社會關系；稅收法律關系是由三方主體間的四重法律關系所組成，其基本內容是征納雙方的權利和義務；其本質屬性是平等性。鑒於此，作為以稅收法律關系為調整對象的稅收基本法，其核心內容應是對征納雙方權利義務的設定；稅收基本法應以征納權利義務關系為線索來組織完整的邏輯結構，並將征納主體的權利義務直接在稅收基本法中明確規定。
  16. This article constructs a systematic structure of “ port, hinterland economy and central city ” by analysis of key elements and internal logical relations of international shipping center

    本文通過對國際航運中心理論構建、核心要素構成及內在邏輯關系的分析，構建了「港口?經濟腹地?中心城市」的系統結構框架。
  17. At the advanced phase of human thought, the dialectic logical thought, on the one hand, is the most essential and the core factors for innovation thought in terms of the flexibility, structurality, diversity, multi - dimension in thought movement, hence, it becomes one important component of quality education which takes the innovation education as it ' s core. on the other hand, it is the indispensable means for correctly understanding the quality education as well as for guidance of high school physics education in broad view

    辯證邏輯思維作為人類思維發展的高級階段，一方面以其所具備的思維運動的靈活性、建構性、多向性和多維性成為創新思維中最本質、最核心的因素，進而成為以創新教育為核心的素質教育的一項重要內容；另一方面，它也是我們正確理解素質教育，對中學物理教學在宏觀上加以把握所不可或缺的思維方式。
  18. Therefore reasoning is not only the very important part of logic, but also the key aspect in the area of artificial intelligence

    從邏輯的角度來看，對知識的利用就是推理，就是邏輯演繹。因此，推理不僅是邏輯系統的重要組成部分，也是人工智慧領域的核心課題之一。
  19. In this paper, we principally investigate the nuclear problems of reverse engineering transformation method. it is about transformation rules and interrelated mechanism

    本文主要對逆向變換方法的核心問題?逆向變換規則與機制進行了研究，提出了java語言向uml的映射規則以及java過程藍圖到抽象邏輯結構圖的逆向映射機制。
  20. In the constructing of the diagnosis module using the technology of the combination of the fuzzy logic and neural network, which based on the fuzzy adaptive learning control network, a simple kind of capable method for consummate the structure and performance of network is introduced, which includes the rules extraction based on the maximum weights matrix and the parameters amendment based on genetic algorithm by floating - point coding. during the monitoring of the parts condition, the output of the condition monitoring system shows the good working condition of the executing agency by fuzzily deducing from the control instruction send by the auv ' s controller and motion status, and so offers the proof to complete mission and return safely

    在珍斷模塊建模中採用模糊邏輯與神經網路結合的技術，以模糊自適應學習控制網路為核心，提出了一種簡單可行的基於最大權值矩陣的規則提取及基於浮點數編碼的遺傳演算法的參數調整的，完善網路結構與性能的方法，並在狀態監測過程中，通過對由控制器輸入的水下機器人運動控制量以及運行狀態的模糊推理，得到執行部件（推進器或舵）的工作狀態優劣程度，為保證水下機器人完成任務，安全返回提供控制依據。
分享友人
分享到 Line

分享到臉書