邏輯過程定義 的英文怎麼說

中文拼音 [luóguòchéngdìngyì]
邏輯過程定義 英文
logical procedure definition
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 過 : 過Ⅰ動詞[口語] （超越） go beyond the limit; undue; excessiveⅡ名詞（姓氏） a surname
  • 程 : 名詞1 （規章; 法式） rule; regulation 2 （進度; 程序） order; procedure 3 （路途; 一段路） journe...
  • 定 : Ⅰ形容詞1 （平靜; 穩定） calm; stable 2 （已經確定的; 不改變的） fixed; settled; established Ⅱ動詞...
  • 義 : Ⅰ名詞1 （正義） justice; righteousness 2 （情誼） human ties; relationship 3 （意義） meaning; si...
  • 邏輯 : logic
  • 過程 : process; procedure; transversion; plication; course
  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. Finished the definition of cwml ( courseware markup language ) which is based on the technology of xml : the definition of cwml build the c wml courseware structure in xml style, cwml represent the whole process when a courseware is presented on line, and also cwml has the advantage of easy for extension, self - descript, which are bring from xml, so the cwml courseware are easy to dissever and rebuild

    參與了以xml技術為基礎的多媒體課件標記語言cwml的定義： cwml的定義將課件邏輯結構中包含的元素以xml的形式表現出來，它既代表了網上課件演播的過程，有擁有xml可擴展、自描述等性質，易於再抽取，重新組合。
  4. 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

    本文內容共分為五章三大部分，第一部分概括性地介紹了現行股權激勵方式，對現股、期股和期權這三種重要的激勵方式，從權利義務、價值和激勵導向三個方面進行了對比分析；第二部分探討了技術股權設計的難點和影響因素，討論了我國中小科技企業技術股權激勵的方式，分析它們在激勵中的優勢和不足，以及它們之間的區別與聯系，並對中小科技企業實施技術股權激勵的必要性和意義進行了探討。在文中還重點討論了中小科技企業技術股權分配的策略，介紹了技術股權紅利分配方式，指出在技術股權激勵過程中應注意的問題，並提出相應的解決辦法，目的在於充分利用技術股權分配機制，來激發技術人員潛在的創新能力，激勵他們為企業作貢獻；第三部分著重探討了中小科技企業技術股份期權的方案設計，在激勵方面，按照技術期權獲受人的業績越突出特定的指標增長越快行權價越低獲利越多激勵效果越好的邏輯思路進行考慮；在參數設計方面，對技術期權計劃中激勵基金、授予和考核、行權價格等參數進行了詳細地分析設計，旨在減少技術期權激勵過程中的隨意性，為中小科技企業的規范化管理起到一定的指導和借鑒作用。
  5. The main work included : the classical lambda calculus was modified to describe the character of dynamic fuzzy ; the abstract syntax of dfl programming language was described through bnf notation ; an operational semantics model of dfl programming language was proposed with a ternary array < dfsc, dfo, dfss > and then some basic data types and several mechanisms of constructing new data types were defined ; the frame of dfl progaramming language was provided ; it was described how to solve some problems applying the operational semantics model ; the correctness and reliability of the operational semantics model were proved by hoare logic and denotational semantics

    主要內容包括:變形傳統的演算，以更好地描述具有動態模糊性的問題;通過bnf描述了dfl程序設計語言的抽象語法;通過一個三元組< dfsc ， dfo ， dfss >給出了dfl程序設計語言的操作語義模型;給出了dfl程序設計語言的基本框架結構;給出了該操作語義模型的一些應用實例;通過hoare邏輯和基本指稱語義對本文所定義的操作語義模型的正確性和可靠性進行了證明。由此可見，本文從全新的角度定義了一種可以處理動態模糊問題的程序設計語言。
  6. The model dmswf focuses on procedure definition with a certain subject, procedure modeling based on finite automation and resource model figured as logic tree

    其中包括具有主題意義的過程定義、基於有窮狀態機的過程建模以及邏輯樹表示的資源模型等。
  7. Then the thesis put forward five paradigms as follows : the combination of science and reason., the combination of imitation and creation, the combination of publicity and secrecy, the combination of convenience and standard, the combination of benefit and responsibility. at last the writer divides the people who implement the paradigms into three groups and put forward ways of implement for each group to accelerate the implement of modern technological paradigms in theory and practice

    本文力圖克服默頓規范中無系統、無內在邏輯的缺點，從全程的、綜合的和實踐的角度考慮，分析技術的發展過程及各個階段的特點，對技術規范科學地定義，分析它們的特徵和功能，認為技術規范的內容體系應該是科學性和合理性相結合、模仿性和創造性相結合、公開性和保密性相結合、宜人性和標準性相結合以及經濟性和責任性相結合，並且在文中提出技術規范的三個實踐層次和相應的具體實踐途徑，以期促進技術規范理論研究上和實踐上的可行性。
  8. Secondly, in the theory of gl with the four rules of producing such as generator rule, generating radix rule, rule of basis space changing, developing order rule, gpl can produce all kinds of basic operation model with other logic such as classical propositional logic, three - value logic, fuzzy logic and broad sense fuzzy logic. finally, it proved that a material logic can be produce by gpl. and it shows the universality gpl can contain most logic

    眾所周知，邏輯學家正是利用這些定義證明了該邏輯的全部推理規則，建立起了整個命題邏輯體系；然後我們直接利用命題泛邏輯學的生成規則，通過對廣義相關系數h的不同取值也同樣生成了這些運算模型，也就是說直接生成了這個命題邏輯；這個生成過程還揭示了各種運算模型的物理意義和使用條件，也就是說揭示了各種命題邏輯的物理意義和使用條件。
  9. To establish the concept of chinese constitution, we should, on the premise of universal constitutional value and on the basis of chinese constitutional text, define its legal meanings, sort out the process of inheritance and change, establish modem meanings of these concepts and systemize it according to constitutional theory and legal logic

    欲證立中國憲法概念，須以普遍性憲法價值為前提，以中國憲法文本為基礎，釐定其法律含義，梳理其傳承和變化過程，確立這些憲法概念的當代含義，按照我國憲法理論和法律邏輯使之體系化。
  10. It puts the all engineer process and management process into a unified process. it not only defines all the process clearly, but also calls for measuring, controlling, and mending the process

    在改進了的生命周期法中，把每個階段包括的過程進行了明確定義（包括原方法中固有的和根據過程管理要求新增的） ，確立了過程之間的邏輯關聯。
  11. This thesis gives a new definition to the organizational innovation and its content based on the theory of the growth of the firm, organizational management and schumpeterian innovation theory. then it offers a dynamic evolution process and internal logical process of organizational innovation of different stages of the growth in detail, based on which the thesis studies on the common problems took place in the field of organizational innovation. finally several countermeasures are given

    本論文從企業成長理論、管理組織理論和熊彼特的創新理論出發，對企業組織創新的含義和內容進行了重新界定，並詳細研究了企業成長的不同階段的組織創新的動態演化過程和內在邏輯過程，在此基礎上研究了我國企業成長過程中組織創新常見的問題並提出相應對策。
  12. America ' s e - sign act of 2000 officially defined “ signature ” as any “ sound, symbol or process ” that is logically associated with a document, a person and an intent, and most other countries have passed similar laws

    美國2000年電子簽名法正式將「簽名」定義為與文件、個人與意向有邏輯聯系的任何「聲音、符號或程序」 ，許多國家也通過了類似的法律。
  13. In many ways they are rather code - oriented : following a route that says that the key part of documentation is source code. the agile java program development method is one of agile methods. in this paper, the agile java program development method begins with the analysis of system requirements, draws use case modelings, abstracts class diagrams, transforms alsd, and generates the java code at last

    本文提出的方法從系統需求入手，使用uml （ unifiedmodelinglanguage ，統一建模語言）用例圖捕獲系統的需求，建立用例模型；從用例圖出發抽象出類圖；然後使用alsd （ abstractlogicalstructurediagrams ，抽象邏輯結構圖）對類方法的行為過程進行可視化定義，最後可根據類圖和alsd自動生成java源代碼。
  14. In this paper, a context isconsidered as some structure in the real world. a sentence fromsome logical language is conceptualized as a concept, whose intentis a set of sentences implied semantically by the sentence, and whoseextent is a set of contexts in which the sentence describes a part of the contexts. in terms of tools and theories of concepts, astrictly defined theory is given to study the pragmatics ofsentences in contexts in information systems, which cannot bederived from the sentences by using logical reasoning methods

    句子j的邏輯蘊涵li j是在使得j成立的所有的信息系統的所有上下文中都成立的句子的集合;給定信息系統k和句子j ， j的語義蘊涵si j是在使得j成立的k中所有上下文中都成立的句子的集合j的語用蘊涵pi j是在使得j g成立的k中所有上下文中都成立的句子的集合，其中g是l中的句子的集合，這些句子動態地參與了從j推出其語用蘊涵的過程。
  15. The goal of this article is : work over the language which is matched the common teaching process based on xml, do research on the logical structure of the courseware, analysis the time, layout element of it and the relationship between these elements. based on these research work, design and implement the authoring system which is based on xml, and then we can quickly generate and usher the xml courseware file

    本文的研究目標是：研究符合教學過程的xml形式的課件語言，對課件的邏輯結構形式進行研究，同時分析課件包含元素的時間、空間、以及元素關系等因素，定義符合以上內容的xml文檔結構形式；在以上基礎之上，設計並實現基於xml的課件創作系統，能夠實現基於xml的課件文檔的快速生成和展示。
  16. The business rulemanagement layer is in charge of the definition, learning, evaluation andoptimization of business rules and manages the business process of the qualitycosting, while the process logic layer is abstracted to be a guide of theimplementation

    其中，用戶層用來表示企業質量成本核算的情況，規則管理層的功能是質量成本核算業務規則的定義、學習、評價和優化，並以業務規則管理實際核算業務流程，過程邏輯層抽象企業通用的業務流程，是面向底層實現的抽象，由業務規則數據的控制運行。
  17. The basic logical structure is as follows : part one deals with the relationship between public administration and government achievements which draws forth the discussion about the importance of public administrators " qualities. from this part much inspiration will be derived, especially for the investigation of such social phenomenon in china as " public affairs with non - admistration ; and administration of non - public affairs ". part two discusses the roles of adminstrators and administrative techniques by the way of studying relevant literature which shows that much research has been conducted before on the roles and techniques of administrators

    本文主體共由五個部分組成，基本邏輯結構如下：第一部分論述政府績效與公共管理的關系，引出公共管理者素質重要性這一話題，特別是對于中國在一定程度上存在著「有公共而無管理、有管理而無公共」的現象，具有啟發意義；第二部分討論公共管理者的角色與技能，主要是通過文獻解讀完成，回顧過去的相關文獻顯示，探討管理者的角色與技能問題的論著甚多，頗具參考價值，所以本文將一併檢視回顧有關管理者角色與技能的文獻。
  18. In this project, the actual three - tier architecture was realized and the business logic was packed into ejb components, which acted as an agent between presentation tier and resource tier ; the separation between business logic and system service was realized, which enabled developers to devote their mind to the realization of business logic and improved the software quality and efficiency ; the stretchable enterprise application was realized through tier - dispatched pattern, which has relax coupling relationship between tiers and each tier has its own role and the methods inside the tier will be changed without affection to the call - up relationship between tiers

    主要成果是： （ 1 ）實現了真正意義上的三層體系結構，將業務邏輯封裝在ejb組件中， ejb組件作為表現層的代理對數據層進行數據操作； （ 2 ）使用ejb技術，實現了業務邏輯和系統服務之間的分離，使得開發人員可以專注于業務邏輯的開發，從而提高軟體的質量和開發效率； （ 3 ）通過分層模式，實現了可伸縮的企業應用程序。層與層之間鬆散耦合，每個層針對特定的角色，每一層內部實現方法的變化不影響層與層之間的調用關系，可以更好地適應客戶需求的變化。
  19. These stages are feasibility, investigation of current environment, business system options, definition of requirements, technical system options, logical design and physical design

    結構化系統分析及設計方法把整個系統分析及設計過程分為七個階段，即可行性、調查現時環境、業務系統選擇、需求定義、技術系統選擇、邏輯設計及實體設計。
  20. Xsp is no exception, since it defines a syntax to mix static content and programmatic logic in a way that is independent of both the programming language used and the binary results that the final source - rendering generated

    Xsp也不例外，因為它定義了一種表示，用來通過一種互不依賴的方式來混合靜態內容和程序邏輯，而二進制的結果是產生了最終的原始描述。
分享友人
分享到 Line

分享到臉書