語義程序 的英文怎麼說
中文拼音 [yǔyìchéngxù]
語義程序
英文
semantic routine- 語 : 語動詞[書面語] (告訴) tell; inform
- 義 : Ⅰ名詞1 (正義) justice; righteousness 2 (情誼) human ties; relationship 3 (意義) meaning; si...
- 程 : 名詞1 (規章; 法式) rule; regulation 2 (進度; 程序) order; procedure 3 (路途; 一段路) journe...
- 語義 : semanteme; semantics
- 程序 : 1 (進行次序) order; procedure; course; sequence; schedule; ground rule; routing process 2 [自動...
-
Rules defining them are active rules, of which eca rule is the commonly recognized one
在程序設計語言中定義這些行為的規則是主動規則, eca規則是公認的主動規則形式。The third class documents and a lot of programe documents
3各程序文件和三級文件中的術語和定義。An ibm on demand optimized partner, webify provides an ontology - driven integrated services environment that helps companies address governance and agility challenges as they achieve and maintain semantic interoperability across enterprise, application, and partner domains
: ibm按需優化合作夥伴。 webify提供了存在論驅動的集成服務環境,能夠達到和維護跨企業、跨應用程序和跨合作夥伴域的語義集成,從而幫助公司解決治理和敏捷性方面的挑戰。According to the program structure of ansi c, some syntax - tree - nodes are designed in front - end, including function, block, data structure, type, expression, identifier and so on. syntax tree is divided into three levels, namely program level, function level and block level, which are useful for analysis of syntax and semantic in compiler as well as transferring syntax tree into rtl. retargetable compiler mainly includes intermediate representation, machine description and interface technique between compiler and machine description
編譯前端的實現技術包括詞法分析、語法語義分析和中間代碼生成技術等,針對ansic的程序結構,分別設計了函數、塊、數據結構、類型、表達式、標識符等語法樹結點,並將語法樹分成編譯層次、函數聲明和塊三個不同層次,使語法樹具有清晰的層次結構,有利於編譯程序的語法和語義分析,以及從語法樹到rtl中間表示的轉換。Based on the fem program on fracture of plane structure developed by professor fu xiaoling of ho hai university, a two demension damage and fracture finite program package which is programed in fortran 90 language is developed. the paper adopts the plane - eight - nodes isoparameters element and compute the developing law of the damage and macro - damage of plane structure under load. considering the original damage and tension and compression damage at the same time, the paper adopts the more reasonable concrete constitute relation of two demension and exponent function model
在河海大學符曉陵副教授所編制的平面結構斷裂有限元程序( dl08p4 )基礎之上,本文用fortran90語言編制的二維損傷-斷裂有限元程序包,程序採用平面八結點等參數單元分析計算平面結構在外荷載作用下損傷及宏觀裂縫的發展規律,考慮了混凝土結構體內存在著初始損傷和同時存在的拉、壓損傷,並且採用更為合理的具有損傷含義的混凝土二維本構關系(即正交異性損傷模型中的本構方程)和指數函數模型建立的並可進行拉、壓損傷可比性換算的損傷演變方程,較為真實地反映了實際情況。The file system hierarchy has demonstrably similar origins, and most command - line applications have identical names and similar command - line semantics
文件系統的層次結構具有明顯類似的起源,並且多數命令行應用程序具有相同的名稱和類似的命令行語義。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邏輯和基本指稱語義對本文所定義的操作語義模型的正確性和可靠性進行了證明。由此可見,本文從全新的角度定義了一種可以處理動態模糊問題的程序設計語言。Assemblies contain user - defined functions that extend the functionality of the intrinsic functions provided with the multidimensional expressions and data mining extensions languages
程序集中包含用戶定義的函數,這些函數對多維表達式( mdx )和數據挖掘擴展插件( dmx )語言所提供的內部函數的功能進行了擴展。Setup functions enable user - defined adaptation of a wide variety of options such as display contrast, record printout, saving data on the computer, general code, temperature calibration, acoustic signal, date and time, id, data transfer, update fix programs, language, c f changeover, check program, battery change, diagnosis data, printing programs, seal test, service functions for maintenance
設置功能允許使用人員對多種選項進行定義和調節,例如顯示屏幕對比度列印記錄把數據記錄到計算機上總碼溫度校正音響信號日期和時間識別傳輸數據固定程序升級語言攝氏和華氏溫度轉換檢查程序更換電池診斷數據列印程序測試密封保養用服務功能。Setup functions enable user - defined adaptation of a wide variety of options such as display contrast, record printout, saving data on the computer, general code, temperature calibration, acoustic signal, date and time, id, data transfer, update fix programs, language, screen saver, c f changeover, check programme, battery change, diagnosis data, printing programs, seal test, service functions for maintenance
設置功能允許使用人員對多種選項進行定義和調節,例如顯示屏幕對比度列印記錄把數據記錄到計算機上總碼溫度校正音響信號日期和時間識別傳輸數據固定程序升級語言屏幕保護攝氏和華氏溫度轉換檢查程序更換電池診斷數據列印程序測試密封保養用服務功能The transmission should be based on an extensible standard formulas language. for this reason, the thesis plans to define and develop foml ( formula markup language ) based on xml : the establishment of formulas can be achieved with the help of handwork and application at the server end ; the recurrence of formulas can be done through an intelligent software developed by using java technology at the client end
公式的傳輸應基於一種可擴展的標準公式語言,為此本論文將定義並開發一種基於xml技術的foml ( formulamarkuplanguage )語言;公式的建立可以在服務器端手工輸入或藉助程序生成foml文本;公式的再現我們將在客戶端結合java技術開發一個智能軟體實現。Up to now, there has been ten years for the research of dynamic fuzzy logic ( dfl ) and a series of achievements have been made. in order to further expand the applications of dfl, this thesis followed dijkstra ’ s guarded commands and put forward an operational semantics model of dfl programming language which can solve dynamic fuzzy problems
動態模糊邏輯( dfl )的研究已有十年的時間了,目前已取得了一系列研究成果,為了進一步拓展這些研究成果的應用,本文借鑒dijkstra的監督命令程序結構,通過結構化操作語義描述方法從軟體理論方面進行研究,提出了動態模糊邏輯程序設計語言( dflprogramminglanguage )的操作語義模型,以期形成解決動態模糊性問題的程序設計方法。Its importance may be judged from the fact that it has had many applications in fields as diverse as general topology, lattice theory, category theory and theoretical computer science as well as in many other areas of mathematics
Domain理論為計算機程序設計語言的指稱語義學奠定了數學基礎,處于拓撲學,格論,范疇論及理論計算機等多學科的交匯處,有著重要的研究價值。Type checking is an example of a semantic - level check on the integrity of a program
。類型檢查是程序完整性上的語義級別檢查的一個示例。The compiler is free to reorder certain instructions as an optimization when it would not change the semantics of the program
當編譯器不會改變程序的語義時,作為一種優化它可以隨意地重新排序某些指令。A program used to convert an edited ( partially processed ) marco definition back to a format closely resembling source format
用於將一個已編輯的(已部分處理過的)宏定義轉換為很接近於源語句格式的程序。In c programming, a file that contains definitions and declarations for some specific purpose. header files traditionally have a “. h ” file name extension
在c語言程序設計中使用的一種文件,它含有為某些特定目的而作的定義和說明,通常有一個. h的文件擴展名。In this case, the high - level program is called the source code, and the translated program is called the object code or the executable
在此意義下,高級語言程序被稱為源代碼,編譯后的程序稱為目標代碼或者可執行程序。In this case, the high - level program is called the [ b ] source code [ / b ], and the translated program is called the [ b ] object code [ / b ] or the [ b ] executable [ / b ]
在此意義下,高級語言程序被稱為源代碼,編譯后的程序稱為目標代碼或者可執行程序。Both objects use the powerful visual studio for applications development environment and the visual basic. net programming language, and benefit from all the functionality offered by the microsoft. net framework class library as well as custom assemblies
這兩個對象使用功能強大的visual studio for applications ( vsa )開發環境和visual basic . net編程語言,並受益於由microsoft . net framework類庫和自定義程序集提供的所有功能。分享友人