dependence graph 中文意思是什麼

dependence graph 解釋
依賴關系圖
  • dependence : n. 1. 依賴，依靠。2. 依靠之物，靠山。3. 信任，信賴。4. 從屬；隸屬。5. 【物理學】依存（關系）。6. 【法律】未決。
  • graph : n. 1. 【數學】曲線圖；坐標圖，圖表。2. 統計曲線。vt. 用圖表表示，把…繪入圖表。n. 膠版。vt. 用膠版印刷。n. 【語言學】1. 詞的拼法。2. 表示音素的最小字母單位。
  1. A dynamic program slice is obtained by recursively traversing the data and control dependence edges in the dynamic dependence graph of the program for the given test case [ 0, 3 ]

    對于給定的測試用例{ [ 0 . 3 ] ，動態程序片是通過以下方式獲得的:遞歸遍歷程序動態依賴圖中的數據和控制依賴邊
  2. 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

    本文在原有的編程題自動評分模型的基礎上，對結構體的語法結構和實現原理進行研究，並在以下幾個方面完善原有模型:在詞法和語法分析、程序的系統依賴圖建立和抽象語法樹生成三個方面增加結構體類型的中間表示形式;擴充程序的標準化規則，主要包括類型定義標準化、結構體嵌套結構標準化、結構體初始化的標準化、結構體作為函數參數時函數調用標準化、結構體變量名稱標準化、結構體語句排列順序標準化等等;另外，還增加了位運算標準化、枚舉標準化以及文件的處理;增強學生程序中語法錯誤的檢測和改進程序匹配策略。
  3. The following works have been done : ( 1 ) define csl language and complete the lexical analysis and syntactical analysis of it ; ( 2 ) obtain control flow graph ( later referred as cfg ) from abstract syntax tree ( ast ) ; ( 3 ) control dependence analysis of csl ; ( 4 ) system architecture of csl slicing system

    內容包括通過語法分析獲得源程序的抽象語法樹，從抽象語法樹構造控制流圖，在控制流圖上做控制流分析獲得源程序的控制依賴關系，在控制流圖上做數據流分析獲得源程序的數據依賴關系，以及最後獲得源程序的程序依賴圖並以圖可達性演算法獲得程序分片的全過程。
  4. To ensure the well - formed of wscg model, we have developed an algorithm to check the type - safety of wscg model, in which data edges of wscg model can be used to check whether the export messages of an edge ' s source node is matched with the import messages of the edge ' s target node, and to determine whether the import messages of a node is self - contained. we also develop another algorithm, which is based on wscg dependence graph that simulates the wscg dynamic behaviors, to eliminate the deadlock of wscg model

    在wscg模型的基礎上，針對目前web服務復合模型缺乏良構性驗證的問題，在wscg模型的靜態特性驗證方面，我們定義了wscg模型的類型安全性，並給出了相應的wscg模型全局類型安全性的驗證演算法，解決了驗證wscg模型中輸入輸出消息集合的類型是否匹配以及輸入消息是否是完備的問題；在wscg模型的動態特性方面，我們主要分析了wscg模型的可達性、活鎖和死鎖問題。
  5. 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

    編程題自動評分模型是基於程序語義等價的思想，對完整源程序進行分析，轉化為程序的系統依賴圖，標準化學生程序和模板程序，消除程序中等價語義表達形式的多樣性，計算它們的語義相似程度，並應用具體評分策略給學生程序進行評分。
  6. In static analysis, we generate the control flow graph of the sequential program and convert the graph to an extended finite state machine ( efsm ). by analyzing the paths of the efsm, we can find whether there is data dependence in the program or not

    數據相關性的靜態測試中，我們首先生成程序的流程圖，在遍歷流程圖的同時生成這個程序的擴展有限狀態機（ efsm ） ，然後調用路徑分析工具對efsm的路徑進行分析。
分享友人
分享到 Line

分享到臉書