過程定義語法 的英文怎麼說

中文拼音 [guòchéngdìngyìyǔfǎ]
過程定義語法 英文
procedure definition syntax
  • 過 : 過Ⅰ動詞[口語] （超越） 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...
  • 語 : 語動詞[書面語] （告訴） tell; inform
  • 法 : Ⅰ名詞1 （由國家制定或認可的行為規則的總稱） law 2 （方法; 方式） way; method; mode; means 3 （標...
  • 過程 : process; procedure; transversion; plication; course
  • 語法 : grammar; syntax
  1. We characterized the security issues in asp - based networked manufacturing system, especially the issue of the user access control. then the typical methods of access control were introduced, which include discretionary access control ( dac ), mandatory access control ( mac ), role - based access control ( rbac ), task - based access control ( tbac ), coalition - based access control ( cbac ) and relationship - driven access control ( rdac ) and so on. based on that, we provided an integrated user access control model, which was composed of rbac, tbac, rdac and cbac

    本章描述了asp和網路化製造系統的安全性問題，尤其是用戶訪問控制的問題；接著介紹了幾種浙江大學博士學位論文典型的訪問控制方法，包括強制訪問控制、任意訪問控制、基於角色的訪問控制、基於任務的訪問控制，以及基於公司關系的訪問控制、基於企業聯盟的訪問控制等;在前面描述的典型訪問控制模型基礎上，給出了一個網路化製造系統的綜合訪問控制模型，包括網路化製造系統的用戶和資源層次關系圖、訪問控制參考模型和訪問控制過程模型，並定義了各個模型中的相關元素和關系，給出了各級約束驗證和授權的表達;最後我們給出了以xacml為基礎的網路化製造系統的訪問控制描述語言。
  2. 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邏輯和基本指稱語義對本文所定義的操作語義模型的正確性和可靠性進行了證明。由此可見，本文從全新的角度定義了一種可以處理動態模糊問題的程序設計語言。
  3. The nature of " dialogism " prescribes that comparativists insist on equalism, beyond the limit of poetics ( or even cultural ) centralism, admit the legality of " prejudice " and " misinterpretation " and " transform " terms and conceptions during the process of dialogue. " equal dialogue " is the fundamental principle comparativists must stick to when having a " poetic dialogue "

    「對話詩學」的屬性規定，比較詩學研究者必須堅持平等意識，克服詩學（乃至文化）中心主義的局限，承認「偏見」與「誤讀」的合法性，並在「對話」過程中對術語和概念等進行限定性「改造」 。
  4. Aiming at this problem, the main research issues and achievements in this paper are as follows : bi - directional data transformation between rdb and xml with semantic constraints preserved for most of existing researches on static data transformation between xml and rdb, dtd is taken as the schema description language for xml, and the semantic constraints are often lost during the transformation process. to overcome these disadvantages, the author adopts xml - schema, a standard schema description language proposed by w3c to replace dtd, as the description method owing to its more powerful functions than dtd, and of course with the syntax much more complicated. after analyzing the constraints characteristics in both xml - schema and relational schema, a semantic constraints - preserved algorithm is proposed which can realize the bi - directional schema mapping between rdb and xml through a formalized description of xml based on regular tree and a general expression for relational schema based on direct graph approach

    保留語義約束的xml與rdb雙向靜態數據轉換技術現有研究大多採用dtd （ documenttypedefinition ，文檔類型定義）作為xml的模式描述語言，並且在模式映射過程中丟失語義約束信息，本文分析了xml - schema （ xml - schema採用與dtd完全不同的語法，數據描述能力更強同時也更為復雜，已被w3c確定為替代dtd作為xml模式描述語言的標準）及關系模式的語義約束特徵，通過基於正則樹的xml形式化描述方法以及基於有向圖的一般關系模式表示方法的研究，建立保留語義約束的xml - schema與關系模式的雙向模式映射演算法，實現了xml與rdb的雙向數據轉換，較好地解決了xml與rdb在靜態數據轉換層面的數據集成問題，可有效滿足企業大量rdb數據面向xml的發布以及與日俱增的xml數據存入rdb的應用需求。
  5. Since web service model can not be used directly in the traditional workflow model, the paper detailed describe the design of the encapsulate and structure workflow, this workflow is different from the traditional workflow which is modeled in a graph method, we use the idea of the object oriented to make the workflow more reusable and easy to be deployed in web service environment

    由於web服務模型並不能直接用在傳統的工作流模型中，因此就需要對傳統的工作流語言建模做相應的修改來適應web服務的特點。對此，本文就詳細討論了一種結構化封裝型工作流的設計，該工作流不同於以往工作流都是通過圖形化的方式建模，而是採用面向對象方法中的解釋器模式來設計一個封裝和結構化的定義流程。
  6. Although uml activity diagram is magnitude component in uml, which agrees with modeling system dynamic process and describing workflow, it is immature in itself with the characteristic of non - oriented - object and essentially different from other uml diagram, and need to be ameliorated especially when applicated in workflow, own to the following limitation : firstly, activity diagram describes the behaviors of object class that response the inner action, so uml activity diagram is generally on the assumption of that there is no interruption caused by outer events during the process and no time defer, which limits the ability of uml activity diagram discribing complicated process ; secondly, user cannot obtain enough information of object data, and cannot make sure the character of mutual objects because of actually complicated object and relatively simple object expression in uml activity diagram ; lastly, owe to lacking rigorous mathematical basis and strict, effective methods of validation and analysis, uml activity diagram cannot support the simulation and optimization of workflow, let alone optimizating the model based on the result

    Uml活動圖是uml的重要組成部分，適用於系統動態行為建模和描述工作流，與uml的其他圖形工具不同，它本質上是非面向對象的，而且其本身並不成熟，仍在改進之中，特別是在工作流應用方面。首先， uml活動圖描述的是響應內部處理的對象類的行為， uml活動圖通常假定在整個計算處理的過程中沒有外部事件引起的中斷，也沒有時間的延遲，這就限制了uml活動圖對一些復雜過程描述能力。第二，現實世界業務過程涉及的對象數據十分復雜，但是uml活動圖的對象語義卻非常簡略，用戶基本上無法從uml活動圖中獲取關于對象數據的信息，也不能確定參與交互的對象的特徵。
  7. According to the modern education theory, we should adopt the following tactics in teaching the concept of chemistry : 1. use the vivid visual image to let the students gain the knowledge of the concept ; 2. create the atmosphere and let the students take part in the formation of the concept of chemistry ; 3. revise the old knowledge while learning the new one to realize the assimilation of concept ; 4. proceed step by step, lead the students deepen and develop the concept ; 5. give prominence to the understanding of the key words of the concept, get deeper understanding ; 6. pay attention to the relation between the concepts ; 7. optimize the study strategy and enhance the cognition standard, i. e. in the teaching of the concept of chemistry, we must pay great attention to the usage of various kinds of teaching method, including visual experiment, visual language and cai courseware, in order to help the students to understand the concept ; use the question to stimulate students " thoughts, give free rein to students " corpus, and let the students take part in the teaching process actively ; guide the students to remember new concepts and the help of their old knowledge ; pay attention to the levels of the concept, deepen and develop the concept continuously, use various ways to strengthen the meaning of the key words, help the students to master the concepts connotation, and give a clear extension, guide the students to found the concept system

    也就是說，在化學概念的教學中，要注意充分運用各種直觀教學手段，包括實驗直觀、語言直觀和cai課件直觀，幫助學生理解概念；注意運用問題啟動學生思維，發揮學生的主體性，使學生積極參與教學過程；要指導學生利用原有認知結構中適當的概念圖式來學習新概念；注意概念教學的層次性，不斷深化和發展概念；注意通過各種方式強化概念中關鍵字、詞的意義，幫助學生準確把握概念的內涵，清晰界定概念的外延；注意引導學生在應用中建立概念系統，形成合理的概念結構。同時在概念教學中還要注重學習方法的傳授和學習策略的形成，進行適當的元認知訓練，優化學生的學習策略，提高其元認知水平。根據化學概念的教學策略，化學概念的基本教學程序為:創設問題情境，引入概念;組織問題解決，建立概念;引導知識整理，概念系統化;指導練習應用，概念具體化。
  8. The sql psm standard defines this second method of using handlers for the sql procedural language

    Sql / psm標準為sql過程語言定義了使用處理程序的第二種方法。
  9. The constitution - establishing technique, quite different from legislative techniques and constitutionalism, as its name implies, is a combination of a series of techniques and methods, including constitutional objective and guidance, constitutional occasion and process, constitutional language and additional techniques, etc. when one country constitutes and consummates the constitutional law

    立憲技術，顧名思義，就是立定憲法的技術，是指一國在創制和完善憲法的過程中，包括立憲目標與導向、立憲時機與程序、立憲語言和立憲附帶技術在內的一系列方法和技巧的總和。它與立法技術、立憲主義有明顯的不同。
  10. The writer passes the fixed amount and qualitative analysis, the actuality investigates and theories study combines together, thinking that the main key stiching point of the high school grammar teaching consists in : the target of the high school grammar teaching escapes from the education of the large teachers and students with learning the real fact ; the high school grammar content system originates the result in studying the grammar, but many abuses exsisr hi the grammar research, thus affect the high school grammar teaching directly or indirectly ; in the cognition of the high school grammar teaching, people also need a process for continuously inclining to science ; the limitations of the contents and arrangement also exist in the grammar teaching materials - high school grammar teaching materials that arrange according to the grammar system oneself have the limitations, the contents of the language grammar in the teaching material and arrangement also have certain limitations, such as do n ' t follow the students " regulation of cognition, there is no the contents of the grammar teaching in senior high school and the request, the grammar in junior high school does n ' t pass, in the senior high school then returns to living, gradually, etc ; furthermore, teacher ' s character and the teaching methods are n ' t well suited, do n ' t join the static grammar teaching with the dynamic grammar teaching, neglect the practical characteristics of the teaching grammar ; for a long time, the position of the meaning in the grammar teaching of the high school is n ' t fixed correctly, either higher or lower etc. from here, the writer gets a conclusion : because of the existence of the above problems, cause " grammar useless " then request " desalinate grammar " even " cancel the grammar " creation, but not grammar knowledge oneselt is useless, therefore, from now on the direction of the grammar reform in education is to resolve these problems, not desa linate and cancel

    在1898年馬建忠撰寫的第一部漢語語法專著《馬氏文通》問世到現在的一百多年裡，語法教學在中學語文學科中的地位始終沒有確定下來， 「淡化」甚至「取消」語法教學的觀點時而浮現于語文教學的理論與實踐中。問題的癥結何在?筆者通過定量與定性分析，現實調查與理論探討相結合，認為中學語法教學的主要癥結在於：中學語法教學確立的目標脫離廣大師生的教情與學情實際；中學語法內容體系來源於語法研究成果，而語法研究中存在著諸多弊端，從而直接或間接地影響著中學語法教學；人們對中學語法教學目的的認識也有一個不斷趨向科學的過程：語法教材也存在著內容及編排的局限性? ?中學語法教材的依據語法體系本身具有局限性，語文教材中的語法的內容與編排也具有一定的局限性，諸如沒有遵循學生的認識規律，高中沒有語法教學的內容和要求，語法初中沒有過關，高中則更趨回生等；再者，教師素質及教學方法不適應，沒有把靜態的語法教學與動態的語法教學結合起來，忽視了教學語法的實用性的特點；長期以來，中學語法教學的意義定位不準，不是偏高就是偏低等等，由此，筆者得出結論：由於上述問題的存在，導致了「語法無用」進而要求「淡化語法」甚至「取消語法」論調的產生，而並非語法知識本身無用，因此，今後語法教學改革的方向是解決這些問題，而不是淡化和取消。
  11. The development of the linguistics research goes through the “ sentence construction phrase ” to remit equally the phrasing research ? the pragmatics research, discourse analysis ? the social linguistics studying development process. the processes of studies all seem to involve the scope to extend gradually and the situation to increases gradually. the law studying also cannot get away from the linguistics, which is a necessary way to study from the language angle

    本文以話語意義的建構為理論基礎，進而把制約法庭辯論話語建構的因素分解為時空環境、特定訴訟環境、參與法庭辯論的主體因素、具體話語形式等幾部分來分析，採用描述研究法和解釋歸納法，以廣泛的法庭庭審語言調查得到的轉錄材料為語料基礎，力圖對庭審過程進行細致的動態分析。
  12. To achieve information integration in manufacture process, this paper, with reference to dnc, researches into manufacture process information integration from 3 aspects : data level, function level, application level, presents the management information integration framework （ miif ） based on distributed control technology, builds meta - agent and application agent by regarding agent as an entity having special behavior ability and specific action objective, establishes agent control model, and then gives the collaborative solution. with field - bus technology and agent technology, the dnc system model based on agent technology is established which shows a efficient way of device integration. a general model of device integration is set up, and an agent model based on soft plug - in technology is built

    該模式包括面向製造過程的車間生產管理與控制的上層結構和面向車間設備的加工控制的下層結構；為實現製造過程信息的集成，本文從三個層面：數據層面、功能層面、應用層面上闡述了車間製造過程信息的集成方式，並借鑒dnc思想，建立了基於分散式控制技術的製造過程信息集成框架（ miif ） ；採用面向對象方法，對miif中的代理體從定義抽象、結構和功能等進行了深入研究；從知識層面上的三個層次：語言規范、會話機制、問題域對miif的多agent協作進行研究，建立了多agent交互的形式化模型。
  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. Also, art means that the degree of perfection of shape, structure and skills. cai processes and manages the abstract principles, concepts, definitions and rules by images, texts and languages so that the students can understand and receive the teaching procedures

    Cai課件是藉助圖像、文本、語言等直觀手段將抽象的原理、概念、定義、法則等經過加工、處理，使學生易於理解和接受的教學程序。
  15. Based on cognitive semantics, this paper will analyse the passivization of english and chinese, with an aim to elaborate the correlations between grammatical structure and semantic structure in the process of passivization and give and indepth account of the lingusitic and cultural differences in the conceptualization of english and chinese passives

    基於這一理論基礎，本文從認知語義入手，分析英漢的被動化過程，一方面解釋被動句的語法結構和其語義結構之間的對應關系，對被動態的語法范疇做一個明確的界定，一方面對英漢被動概念具化為語言表徵的差異作深入分析，並對差異的文化內涵進行闡釋。
  16. The proposed method can automatically locate components that cause the structural inconsistencies, and show the user detailed error messages. this information can be a great help in finding and localizing structural inconsistencies, and in some cases pinpoints them immediately

    基於modelica語言的陳述式非因果建模優點很多，可是也存在一個問題，那就是構建模型時常常會不經意地遺漏了方程或者多定義了方程，致使模擬模型在結構上奇異，即引起欠約束或過約束問題，從而使得模型無法求解。
  17. In order to meet the needs of changing situation in modern education, this essay tries to adopt some methods, such as summary comparison, and investigation, under the direction of marxist methodology. it regards the tactics of chinese spoken communication teaching at the stage of compulsory education of our country as the research object. under the prerequisite of analyzing the current situation of compulsory education of our country and opening out the realistic meaning of strengthening spoken communication, this text describes the intension and the goal of training of spoken communication to the stage of compulsory education

    為了適應現代教育形勢發展的需要，本論文寫作將在馬克思主義方法論的指導下，擬用經驗總結、比較借鑒及調查研究等方法，以我國義務教育階段的語文口語交際教學策略作為研究對象，在分析我國義務教育階段口語交際教學現狀及原因、揭示加強口語交際教學與訓練的現實意義的前提下，描述義務教育階段口語交際訓練的目標規定；根據口語交際訓練策略的內涵及其特徵，確立口語交際訓練過程中應持的策略，包括原則策略、梯度策略、人才策略、內容策略、方法策略、評價策略等。
  18. As a part of the civil 863 plans, two multiple - contact models for two kinds of braking system are built in the paper, in which contact fields are described as coons surfaces, initial velocity is programmed in fortran. the thermal - mechanical coupling braking processes are simulated for the first time by msc. marc, the general - used nonlinear fem software. time distributions of the velocity, the stress and the temperature of the components under various initial velocity and brake force are obtained, which offer theoretic gist to study the life of the wheel, the disc and so on

    作為國家行業863重大課題《鐵路機車車輛虛擬樣機系統》的一部分，本文在研究接觸問題和熱?機耦合問題數值方法的基礎上，採用國際上通用的非線性有限元分析軟體msc . marc建立了踏面制動和盤形制動主要部件的多體接觸計算模型，其中用解析方法描述，即用nurb曲線、高斯曲面來描述接觸區域，用fortran語言編寫定義初速度的用戶子程序，首次對兩種制動過程熱?機耦合進行了數值模擬，定量給出了主要制動部件在不同初速度、不同制動力下各個時刻的速度、應力和溫度的變化規律，為研究車輪、閘瓦以及制動盤壽命提供了理論依據。
  19. In fact, during testing of the release of the cfront 1. 0 language compiler from bell laboratories, there was a minor debate within a small circle of language lawyers as to whether or not a forward declaration and subsequent definition or any such combination had to consistently use the one or other keyword, or should they be allowed to be used interchangeably

    實際上，在對貝爾實驗室推出的cfront 1 . 0語言編譯器版本進行測試的過程中，就前向聲明和隨后定義（或任何此類組合）是必須始終如一地使用一個或另一個關鍵字，還是應當允許交替使用它們，少數語法學家之間曾發生過一些爭論。
  20. This method bases on the language of software process definition spel4ws, combines the idea of the process program with the idea of the workflow, combines the graphic representation with the representation of the process description language, and heightens the ability of the definition of software process

    這一方法基於軟體過程定義語言spel4ws ，結合了過程程序的思想和工作流的思想，將圖形表示與過程語言表述方法相結合，增強了定義軟體過程的能力。
分享友人
分享到 Line

分享到臉書