程序語義學 的英文怎麼說

中文拼音 [chéngxùyǔyìxué]
程序語義學 英文
program semantics
  • 程 : 名詞1 （規章; 法式） rule; regulation 2 （進度; 程序） order; procedure 3 （路途; 一段路） journe...
  • 語 : 語動詞[書面語] （告訴） tell; inform
  • 義 : Ⅰ名詞1 （正義） justice; righteousness 2 （情誼） human ties; relationship 3 （意義） meaning; si...
  • 學 : Ⅰ動詞1 （學習） study; learn 2 （模仿） imitate; mimic Ⅱ名詞1 （學問） learning; knowledge 2 （學...
  • 程序 : 1 （進行次序） order; procedure; course; sequence; schedule; ground rule; routing process 2 [自動...
  • 義學 : [舊時用語] private or community-run schools charging no tuition; free school
  1. Based on consider hereinbefore, this dissertation discusses several aspects on the problem of the sustainable and optimum exploitation of groundwater resources as follows : ( 1 ) reviewed entirely the origin and evolvement of the concept " sustainable development ", stated and commented the study status in queue on " sustainable development " around national and international range, thorough discussed the science connotation about the concept " sustainable development " ; ( 2 ) looked back and commented across - the aboard some furthest basic concept and proposition related to groundwater resources, put forward self opinions on a few existent mistake points of view and chaos understandings ; ( 3 ) expatiated entirely on the content and meaning of the theory of changeable groundwater resources system, contrast with the traditional methods of groundwater resources calculation and evaluation, combined example to show the application of this theory ; ( 4 ) thorough analyzed the difficult and complexity to forecast the groundwater resources, fully stated the traditional methods of groundwater resources forecasting, pointed out the characteristic and applying condition of these forecasting method, introduced the main ideas and methods of wavelet analysis developed recently, and the matlab software be known as the fifths era computer language, and its accessory wavelet analysis toolbox, applied these methods and tools to analyze the groundwater dynamic curve, adopted the b - j method and morte - carlo method, combined with the theory of changeable groundwater resources system, discussed the new view on the forecast of groundwater resources ; ( 5 ) synthetically analyzed the characteristics and limitations of the present all kind of groundwater manage model, combined mathematical programming mathematical statistics random process and the theory of variation system of groundwater resources on the unite optimum attempter of surface water and groundwater, emphasized how to make the model more nicety, more simple, more practicality ; ( 6 ) analyzed the inside condition and outside condition to assure the sustainable and optimum exploi tation of groundwater resources, the inside conditions are the follows : correct resources idea, scientific methods of resources calculation and evaluation, credible forecast methods of resources, exercisable measures of resources management, the outside conditions are the follows : the development idea of high layer, the transform of manage system, the matched policy and rule of law, the adjusted of economy lever, the improve of cultural diathesis, the boosting up of water - saving consciousness and detail measures, the control of population rising, the prevention and cure of water pollute, the renew and rebuild of ecology ; ( 7 ) scan the sustainable and optimum exploitation of groundwater resources from the high level of metagalaxy, earth system science, and philosophy ; lint out the more directions on groundwater resources

    基於以上考慮，論文主要從以下幾方面對地下水資源可持續開發問題進行了比較深入的探討：全面回顧了「可持續發展」概念的由來與演變，對國內外「可持續發展」的研究現狀進行了述評，並對「可持續發展」概念的科學內涵進行了深入探討；對涉及地下水資源的一些最基本的概念和命題進行了全面的回顧和評述，對目前仍然存在的一些錯誤觀點和混亂認識提出了自己的見解；全面闡述了地下水資源變值系統理論的內容和意義，並與傳統的地下水資源計算評價方法進行了對比分析，結合實例具體說明了方法的應用；深入分析了地下水資源預測預報工作的極端重要性和復雜性，對傳統的地下水資源動態預測方法進行了全面的評述，指出了各類預測預報方法的特點及適用條件，對最近二十多年剛發展起來的小波分析技術的主要思想和方法及其應用范圍，以及號稱第五代計算機語言的matlab軟體和附帶的小波分析工具箱進行了介紹，並應用於地下水動態過程線的分析，採用時間序列中的b ? j法，蒙特卡羅方法，與地下水資源變值系統理論相結合，探討了地下水動態資料分析和地下水資源預測預報的新思路；綜合分析了現今各類地下水管理模型的特點及缺陷，將數學規劃、數理統計、隨機過程等與地下水變值系統理論相結合進行地表水地下水或多水源的聯合優化調度，使模型更準確、更實用；對保證地下水資源可持續開發的內部條件和外部條件進行了分析，內部河海人學博卜學位論文前言、摘要、目錄條件主要是正確的資源觀，科學的資源計算與評價方法，可靠的資源預測預報技術，可操作的資源管理措施，外部條件主要是高層發展思路、管理體制的變革、配套的政策法規、經濟杠桿的調節、人文素質的提高、節水意識的增強及具體節水措施、人口增長的控制、水體污染的防治、生態的恢復和重建等;從宇宙科學、地球系統科學及哲學的高度審視地下水資源的可持續開發;指出了地下水資源可持續開發的進一步研究方向。
  2. 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語言編制的二維損傷-斷裂有限元程序包，程序採用平面八結點等參數單元分析計算平面結構在外荷載作用下損傷及宏觀裂縫的發展規律，考慮了混凝土結構體內存在著初始損傷和同時存在的拉、壓損傷，並且採用更為合理的具有損傷含義的混凝土二維本構關系（即正交異性損傷模型中的本構方程）和指數函數模型建立的並可進行拉、壓損傷可比性換算的損傷演變方程，較為真實地反映了實際情況。
  3. 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理論為計算機程序設計語言的指稱語義學奠定了數學基礎，處于拓撲學，格論，范疇論及理論計算機等多學科的交匯處，有著重要的研究價值。
  4. 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課件直觀，幫助學生理解概念；注意運用問題啟動學生思維，發揮學生的主體性，使學生積極參與教學過程；要指導學生利用原有認知結構中適當的概念圖式來學習新概念；注意概念教學的層次性，不斷深化和發展概念；注意通過各種方式強化概念中關鍵字、詞的意義，幫助學生準確把握概念的內涵，清晰界定概念的外延；注意引導學生在應用中建立概念系統，形成合理的概念結構。同時在概念教學中還要注重學習方法的傳授和學習策略的形成，進行適當的元認知訓練，優化學生的學習策略，提高其元認知水平。根據化學概念的教學策略，化學概念的基本教學程序為:創設問題情境，引入概念;組織問題解決，建立概念;引導知識整理，概念系統化;指導練習應用，概念具體化。
  5. ( 5 ) user management system is built by asp technology on the server - side. user ' s register and logging is accepted and the user permission for different group is designed ( program files referred to appendix 1 ) ; the connection between web server and plastic die material database system realized by ado, odbc technology, which will guarantee the mutual information transportation between the database system and different terminals ; ( 6 ) further study of expert system is discussed and the implementing reasoning base on plastics mould material selection neural networks is put forward and key problems is also discussed. according to the requirements of sustainability, extended knowledge frame of mould selection and track algorithm meeting the requirements of dynamics, history, structuralism, illegibility, unintegrity and uncertainty are verified and corresponding examples are also put forward

    （ 3 ）通過ado 、 odbc技術實現web服務器與塑料模具材料數據庫系統的連接，從而保證了塑料模具材料數據庫系統和各終端之間信息的雙向傳遞； （ 4 ）在服務器端利用asp技術建立塑料模具材料遠程選擇優化專家系統交互界面，通過標準數據庫查詢語言，客戶能對數據庫中的塑料模具材料信息進行查詢（程序文件列表參見附錄1 ） ；廣東丁業人學1學m學位淪義門）在服務器端利用sp技術建立用戶管理系統，接受用戶的注冊、登錄消求，為不同等級的用戶設定相應的權限（程序文件列表參見附錄1 ） ； （ 6 ）討論了進一步完善該專家系統所需做的工作，提出塑料模具選材神經網路批理的實現方案，並對其中的關鍵問題進行了討論：按照可持續發展的要求，對擴展的模具選材知識框架、滿足動忐性、歷史性、結構性、模糊性、個大根性、不硯定性等需求的跟蹤演算法進行了論證並給出計算示例。
  6. We investigated the architectures of three typical computer fault - tolerant systems such as triple modular admixture redundancy system, buildup dual computer comparing system and dual computer comparing system with hot standby, and descript them with the markov model. the reliability and safety model of these fault - tolerant systems are acquired through theoretical analyzing and calculating. with analyzing, we defined the systems " task interval available time section in reason, compared their reliability and safety and evaluated their reliabilities

    具體針對三模混合冗餘、增強型雙機比較及帶熱備份的雙機比較三種典型體系結構的計算機容錯系統進行了研究，統一用馬爾可夫模型進行描述，通過理論分析和計算，獲得各體系結構容錯系統的可靠度與安全度的數學模型；通過分析，合理定義了系統的任務工作期區間，並在此區間上比較分析了各體系結構容錯系統的可靠度與安全度情況，從而對各系統的可靠性指標進行了評價；根據上述三種系統的數學模型，在考慮系統故障覆蓋率與維修率兩個參數對系統可靠度與安全度影響的情況下，用matlab語言編制了計算機模擬程序。
  7. Scientific computation visualization interactive virtual reality computer dynamic simulation etc., to study thoroughly and carefully on critical technologies such as mixed - language programming simplification of scene models displaying realistic image and animation of 3d scene models and so on in this dissertation, the methods to build scene models were studied and applied to develop a dynamic simulation system of 3d railway scene based on this idea, the major study contents and results can be summarized as follows : 1 ) mixed - language programming can complement each other between different programming languages and the method has a general significance and can become popular many computation models including development of dtm optimum of dtm and reorganization of dtm were developed with fortran language in order to use the ripe codes, the dissertation succeeded in integrating the developed fortran codes to the visual c + + environment and achieving the course of mixed - language programming 2 ) the methods to build scene models for 3d location design were discussed in the dissertation and the development and animation of scene models had been realized by applying synthetically those technologies such as computer graphic computational geometry and geometrical modeling and computer dynamic simulation etc, and adopting opengl 3d graph library then achievement was got by using the technology of 3d visualization to livingly express design results 3 ) combing with the concerned study and development projects, adopting vc + + as development tools and in the light of those theories and algorithms stated in this dissertation, a software, which could build scene models with realism for 3d railway location design, in the name of " the dynamic simulation system of 3d scene of railway " was developed., the correctness was proved by using the software to build the 3d scene models and achieve their animation of suining - chongqing railway and yunnan - xizang railway

    本文綜合利用計算機圖形學、科學計算可視化、人機交互、虛擬現實、計算機動態模擬等理論和技術，針對混合語言編程、真實感圖形繪制以及三維景觀模型的動畫驅動等關鍵技術，進行了深入細致的研究，從而探討了建立逼真景觀模型的方法，並基於本文提出的方法研製了一個鐵路線路三維景觀動態模擬系統。基於這一思想，本文主要研究內容及研究成果如下： 1 ）混合語言編程可以實現語言優勢互補，具有普遍意義。針對數字地面模型的建立、優化、重組等計算模塊是成熟的fortran程序代碼，本文成功實現了vc + +與fortran語言的混編； 2 ）緊緊圍繞三維選線設計中景觀模型的建立方法展開研究，綜合利用計算機圖形學、計算幾何及幾何造型學以及計算機模擬技術，採用opengl三維圖形庫，實現了景觀模型的建立以及動畫驅動，使得三維可視化技術成功應用於選線設計成果的三維直觀表達； 3 ）結合有關科研課題，利用vc + +開發工具，以本文所述的理論和演算法為基礎，研製和開發了一個建立三維選線設計逼真景觀模型的系統軟體- - 「鐵路線路三維景觀動態模擬系統」 。
  8. The structural framework of the on - line test system has been built in the paper, based on j2ee and xml. uml is integrated into the development of web application in virtue of rose to get visual system model. the system requirements and design models are defined by uml diagrams such as use case diagram, class diagram, sequence diagram, collaboration diagram, component diagram, and deployment diagram. web pages, component objects, data tables and databases are all regarded as a class or an object. the modeling process bases on the views of real world. the design and development process is established according to the views of software engineering. the online examination system which bases on j2ee can fully use the jsp 、 javabean 、 servlet 、 xml, flexibility of three - tier model to optimize the system performance and to enhance. the development value

    同時藉助rose工具將uml語言和web應用開發結合起來，進行可視化建模，利用uml的用例圖、類圖、時序圖、合作圖、組件圖和部署圖等，定義系統需求，描述系統設計，將web頁面、組件對象、數據表和數據庫都作為類或對象，按照真實世界的觀點進行建模，依據軟體工程學的觀點制定設計開發步驟。本系統以j2ee體系結構為基礎，充分利用jsp 、 javabean 、 servlet 、 xml組件和三層模式的靈活性來簡化開發過程，優化系統性能，從而提高了系統的開發價值。
  9. Existent automatic grading model of programs can not deal with the programs with structural body. in this paper, we study the syntax and concept of structural body based on an existed model, and improve the original model in the following aspects : increasing the middle representation form of structural body in analysis of morphology and syntax and system dependence graph and abstract syntax tree, adding standardization rules, mainly including type definition, nesting structure, initialization, function invocation, renaming and sequence of program sentence, besides standardization rules of bit operation and program with enumeration, enhancing the function of inspecting syntax error and improving matching strategies

    本文在原有的編程題自動評分模型的基礎上，對結構體的語法結構和實現原理進行研究，並在以下幾個方面完善原有模型:在詞法和語法分析、程序的系統依賴圖建立和抽象語法樹生成三個方面增加結構體類型的中間表示形式;擴充程序的標準化規則，主要包括類型定義標準化、結構體嵌套結構標準化、結構體初始化的標準化、結構體作為函數參數時函數調用標準化、結構體變量名稱標準化、結構體語句排列順序標準化等等;另外，還增加了位運算標準化、枚舉標準化以及文件的處理;增強學生程序中語法錯誤的檢測和改進程序匹配策略。
  10. 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課件是藉助圖像、文本、語言等直觀手段將抽象的原理、概念、定義、法則等經過加工、處理，使學生易於理解和接受的教學程序。
  11. The automatic grading model of programs is based on idea of program semantic equivalence. its implement process is analyzing the whole source program, transforming program into system dependence graph, and standardizing program of student and template, eliminating diversification of representation forms of equivalent semantic program, computing their semantic similarity, finally grading student programs by some strategies

    編程題自動評分模型是基於程序語義等價的思想，對完整源程序進行分析，轉化為程序的系統依賴圖，標準化學生程序和模板程序，消除程序中等價語義表達形式的多樣性，計算它們的語義相似程度，並應用具體評分策略給學生程序進行評分。
  12. Different from other researches, autoore uses the proposed java semantic model as input data, and gives a tree - liked, hierarchical structured and semantic cluster set. the clustering method is based on a minimum spanning tree that represents the software system. the clustering objective function is designed according to the software modularization metric and cognition psychology theory

    抽象是autoore的核心，它首次採用對象系統的語義關系抽取數據為輸入，利用基於mst表示的、聚集目標結合了程序認知心理學理論的軟體聚集方法，得到一個具有豐富語義的、組織為樹狀的、分層的聚集集合。
  13. Chapter 2, theoretical basis includes instructional design and its guidelines, the characteristics and requirements of english instruction in primary school, the definition of collaborative learning and its major concepts, and the value analysis of collaborative english teaching in primary school - - creating the appropriate cognitive and affective environment for young learners

    （四）小學英語合作教學的價值意義。合作學習對小學英語教學的價值主要體現在合作學習為小學生創造了適合英語學習的認知和情感環境。三、小學英語合作教學設計的原則和程序。
  14. Thirdly, by introducing fuzzy theory into system evaluation, evaluating student, teaching, course resource, and function of whole system. fourthly, making use of learning from examples based on information theory, machine learning algorithm is improved and machine learning decision tree is realized. finally, on reasoning mechanism, combining means of two classes reasoning is taken

    第三，在系統評價中引入了模糊理論，對學生、教學、課程資源以及系統的整體功能進行了評價；第四，採用基於信息論的示例學習，改進了決策樹學習演算法，並建立了機器學習決策樹；第五，在推理機制上，採取兩級推理相結合的方法進行推理，即用基於語義網路的模糊推理確定教學序列，用基於產生式規則的推理確定教學方法，並給出了詳細的推理演算法。
  15. In the recent ten or more years, partial evaluation ( pe ) has become one of the mainstream research topics that have been developing fast in the field of computer program theory. the potential application of its idea is pretty wide

    Snl （ smallnestedlanguage ）是吉林大學計算機軟體教研室自行定義的教學模型語言，它是一種類pascal的「高級」程序設計語言，基本上包含了高級程序設計語言的所有常用的成分，具備了高級程序設計語言的基本特徵。
  16. The dialogue pattern reflects open pluralism in terms of teaching goals, contents, process and assessment. finally, it ' s not a self - copying and self - repeating mechanism, but rather incessant production and creation of new knowledge, meanings and norms, which embodies the creativity of teaching activities. the third part probes the specific modes of dialogue chinese language teaching, which are namely dialogues between teachers and students, dialogue among students, teachers and students " dialogue with text, and self - dialogue of each student

    首先，對話型語文教學真正體現了教學主體性，因為主體性只有在對話交流中才能體現，主體性是對話型語文教學的靈魂；其次，對話型語文教學展示了教學主體的交互性，這是對話型語文教學區別于獨白式對話型語文教學的理論與實踐語文教學的顯著特徵；再次，對話型語文教學與獨白式語文教學的封閉、單一、和程序化相對，從教學目標、教學內容、教學方式到教學過程、教學評價都充分體現了一種多元開放性；最後，對話型語文教學不是復制性的、機械重復性的活動，而是新的知識、意義與理念不斷生成與創造的過程，體現了教學創新性。
分享友人
分享到 Line

分享到臉書