邏輯規格 的英文怎麼說

中文拼音 [luóguīgé]
邏輯規格 英文
logical specification
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 規 : Ⅰ名詞1 （畫圓形的工具） instrument for drawing circles 2 （規則; 成例） rule; regulation 3 [機械...
  • 格 : 格象聲詞rattle; gurgle
  • 邏輯 : logic
  • 規格 : 1. （產品質量的標準） specifications; norms; standards; specs 2. （泛指規定的要求或條件） standard; format; requirement
  1. 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

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

    除了習見的樸學、歷史、美學或說邏輯、實證的研究之外，我們需要比較的研究，以在作家、作品、流派、風格等的縱向或橫向的聯系中看到文學同異的形態，以助對文學規律的理解。
  3. 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的驗證策略討論了動態和靜態的驗證技術，提出了進行單獨模塊驗證、晶元的全功能驗證和系統軟硬體協同驗證的整體策略。
  4. First it supports the system call interfaces complied with the posix standard, which make convenience to the porting process to delta os for applications. second, delta file 3. 0 offers the entire supports to the fat logic file system format, and make it suitable in multitasks environment through technique process. once more, delta file 3. 0 support the flexible virtual file system interface and drive manage interface to make update easier

    首先，其系統調用介面遵循posix規范，以便於應用向deltaos進行移植;其次， deltafile3 . 0提供了對fat全系列邏輯文件系統格式（含fat12 、 fat16 、 fat32 ）的完全支持，並通過改造將fat這種源於單任務操作系統dos的文件系統標準應用於多任務環境;此外， deltafile3 . 0提供了靈活的虛擬文件系統介面和設備驅動管理介面，便於未來的升級和擴展。
  5. 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

    因此，為了利於研究，筆者首先對庫恩範式進行解構，把範式看作是由觀念範式、規則範式和操作範式三要素構成的範式系統，其中觀念範式是核心，是始發之源，規則範式是中層結構，而操作範式是聯結外部自然的「外圍」 ，在範式系統的層次結構中觀念範式是最穩定的，不易發生變化的，一旦觀念範式發生變化，則整個範式系統發生「格式塔轉換」使其明確化；然後通過分析經濟學的研究邏輯，認為經濟學的研究邏輯由對象邏輯、思想邏輯、和發展邏輯構成，通過對經濟學對象邏輯和思想邏輯的研究，找到經濟學研究與範式的結合點，即觀念範式與規范性問題是具有同等意義的概念，而規則範式和操作範式是武漢理工大學碩士學位論文對分析性問題的細分，從而使範式理論應用於經濟學理論的研究成為可能。
  6. Finally, compared with the existing similar studies, the paper is creative in research method, that is interpreted a paradex of the reformation logic in china telecommunition industry through game theory, when we realize the really causality, maybe we can formulate a policy to promote the development of china telecommunication industry

    與已有同類研究相比，論文在研究方法上有所創新，即對于中國電信改革邏輯的不一致提出了一個博弈論意義上的解讀，即如果電信管制機構本身就是電信博弈格局中與受管制企業有利益正相關性的一方當事人，那麼它不可能制定出一個公平的、有效的博弈規則，從而電信有效競爭格局無法形成。
  7. The defects and mendings of carnap ' s logical system of the theory of probability confirmation are accounted in the forth part of paper. firstly, carnap ' s theory is based on priori, so his theory does not give exact number to the degree of confirmation, which leaded the study of induction collected with people ' s cognitive ability

    由於卡爾納普的概率邏輯確證理論建立在概率先驗性基礎上，因而不能精確刻畫確證函數的值，遭到了格萊憬爾等人的批評，從而使人們認識到歸納邏輯的研究應與人類的認識規律相結合。
  8. Based on lattice - valued propositional logic system lp ( x ) and lattice - valued first - order logic system lf ( x ), the author studied semantic and syntax properties of generalized lattice - valued modal logic system, and probed into a - resolution principle. the specific contents are as follows : part one the study of lattice - valued modal propositional logic system and its resolution method in this part, we introduced modal operators n ( necessary ) and p ( possible ) into lattice - valued propositional logic system lp ( x ), set up a new lattice - valued modal propositional logic system lmp ( x ), studied its semantic properties and syntax structure, proved the soundness and consistence of this system. based on these work, discussed a - resolution principle of lattice - valued modal propositional logic system lmp ( x ), gave out the rules of computing a - direct resolvent and a - self resolvent, and proposed detailed resolution method

    本文在格值命題邏輯系統lp （ x ）和格值一階邏輯系統lf （ x ）的基礎上，討論了廣義格值模態邏輯系統的語義及語法性質，並對其-歸結原理做了初步探討，主要在下述三個方面取得了研究成果：第一部分：關于格值模態命題邏輯系統及其歸結方法的研究在此部分，把模態運算元n （必然）和p （可能）引入格值命題邏輯系統lp （ x ） ，建立了新的格值模態命題邏輯系統lmp （ x ） ，並研究了它的語義刻畫及語法結構，證明了在此語義解釋和語法框架下的系統仍是-可靠的和協調的；在此基礎上，進一步研究了基於格值模態命題邏輯系統lmp （ x ）的-歸結原理，給出了計算-直接歸結式和-自歸結式的規則，並總結出具體的歸結方法。
  9. This thesis mainly introduce a development process of mis of steel tube enterprise producing. a universal mis of adapting to our country middle and small producing enterprise is developed in accordance with the practical situations of our country producing enterprise. the structure and developing method of the mis are analyzed, followed by the introduction of the development process in stages. the system development abides strictly by the requirements of software engineering, with all the files standard and complete. during the process of the development, we took into consideration practicality as well as scientific principles. the system is development under a quick prototype method. first, the logic module of the system is established through the analysis of the business flow process and the information flow concerning productive enterprise of steel tube ; secondly, in light of the module, the system is set up including the design of the system ' s network platform, developing tools, database, system code, software modules, system security, user ' s interface and so on. finally, the prototype of the system is implemented on the basis of the design

    文中首先分析了管理信息系統的開發方法和體系結構，然後分階段地介紹了具體的開發過程。該系統的開發嚴格遵守軟體工程的要求，文檔規范完善，在開發過程中堅持實用性和科學性相結合的原則。系統採用快速原型法進行開發，首先通過對鋼管生產企業業務流程和數據流程的分析，建立了系統的邏輯模型；接著針對該模型進行系統設計，包括對系統的網路平臺、開發工具、數據庫、編碼、軟體模塊、系統安全及用戶界面等方面的設計；然後在設計的基礎上實現了系統原型；通過對原型的評價和改進，使原型最終成為實際產品。
  10. Because to calculate the shadow prices of the agriculture production factors give the feasible methods to help government use economic lever to effectively dispose the agriculture production factors, so it is significant in theory and in practice. 2. approaches to use the interrelated index to compare the history trends, so we can recognize the situation about the scarce agriculture production factors, to use the principle logical to analyze the supply - demand mechanism of the main agriculture production factors in china, to use stochastic frontier production function and marginal productivity theory to calculate the shadow prices of the production factors, to use drc index to assess international competitive of the china main agriculture products

    本文的主要研究方法為：在分析中國主要生產要素的稀缺度變化時，進行同類指標的歷史變化比較研究，從而認識主要農業生產要素稀缺性變化的趨勢與規律；在分析中國主要生產要素的供需機制時，進行相關概念為基礎的理論邏輯分析，建立供需機制決定的理論模型；在測算農業生產要素的價格時，使用邊際生產力理論和隨機前沿生產函數方法；在評價中國主要農產品的國際競爭力時，使用國內資源成本系數方法。
  11. To investigate the existing system, to specify the new system, and to detail the implementation requirements by performing systems analysis and logical system design

    透過系統分析及邏輯系統設計，了解現行系統的情況、為新系統訂立規格、及詳細列出推行計劃的各項要求。
  12. The primary contents and innovations of this article are introduced below. in order to take advantage of the high speed of calculation, and at the same time, improve the accuracy and dynamic - range of the algorithm, three kinds of multi - input floating point adder algorithm ( fpa ) are summarized and a high - performance multi - input fpa structure is put forward with a self - defined floating point format. the performance of the high - performance structure on calculation speed and logic resource consuming is better than the normal structure

    論文的主要工作及創新點如下:為了充分利用fpga處理速度快的特點，同時盡量提高演算法的精度及動態范圍，本文在對浮點加法器演算法進行深入研究的基礎上，規納總結了三種不同的多輸入浮點加法器演算法，並創造性地提出了一種高效的多輸入浮點加法器結構及一種適合於fpga實現的自定義浮點數格式，這種高效的結構在所需的邏輯資源和運算速度上均遠優于傳統的多輸入結構。
  13. The paper compared it through the respect of sense and sensibility language. the former refers to sum up the inner rule and property of thing through logic reasoning

    理性的語言風格是指用邏輯推理的方法概括出事物的內在屬性和規律，運用抽象的概念進行排斷推理，得出結論。
  14. Then the concept and logic of the database was designed. after classifying the data, standardization and coding, a database including such data types as text, figures and tables was built

    以此為依據，進一步進行數據庫的概念與邏輯設計，經據分類編碼、數據規范化等數據預處理，建立了一個包含文本、圖形、表格等數據類型數據庫。
  15. It explores the research paradigm and the definition system. charpter3 circles around the process of decision under certainty, it is limited by the difficulties, cultural habits, social norm, environment relation, survive instinct and the cogitive capacity. the investor ' s behavior is bounded rational or irrational. chapter 4 concentrates on the features of investor ' s behavior under uncertainty

    本文遵從行為金融的邏輯研究思路，從心理向行為逐步推演，從投資決策行為的實際特徵、證券價格的反應特性，最後到整個證券市場的有限理性特徵，從心理活動的特點和規律入手，揭示並解釋了經濟現象的本質。
  16. The identification of adhesion contracts is the first requirement of governing specially adhesion contracts

    摘要格式合同（條款）的界定是對其進行特別規制的邏輯前提。
  17. The personnel of shanghai luhua fire - fighting equipment co., ltd. is pleased if they could give you further data on the exercised fields of activity such as water pumps, routine, submersible motors, moreover also on deep wells, conditions, industrial water and beyond that also on linkage and industrial water supply by mail or telephone

    您可以垂詢銷售部門關于例行維修、條件、規定、限制項目、深孔鉆進和生活用水供應、工業用水供應、生活用水、工業用水、邏輯電路、連接、並置、串聯或排水泵、水泵的產品供應和價格。
分享友人
分享到 Line

分享到臉書