logical-analysis framework 中文意思是什麼
logical-analysis framework
解釋
邏輯解析結構-
Abstract : for a precise dataflow analysis within the framework of the computation function model, the logical relationship of branch conditions is represented as the coverage relationship of regions. in this paper, the authors discuss how to represent, compute and propagate the region, region of the conditional reference. meanwhile, the methods of resolving the nondeterminism caused by conditional branch statements are also presented in order to get more precise dataflow information
文摘:用計算函數模型進行精確的數據流分析，條件謂詞之間的邏輯關系被轉化為空間區域之間的覆蓋關系.該文討論在各種常見的程序構造下如何表示、計算和傳遞區域、區域，並在數據流分析過程中，利用區域、區域之間的覆蓋關系消除條件分支語句帶來的不確定性，以得到更精確的數據流信息 -
By employing a method of combining narration with argumentation, logical inference with comparative analysis and qualitative analysis with quantitative analysis, by taking the standpoint of historical materialism and based on interdisciplinary application of such economic principles as comparative cost theory and international relation theories, the present paper intends to make a breakthrough in the traditional theoretical framework of oil security and probe into the issue of oil in the middle east and china ' s oil security in some way
本文採用敘述與議論相結合，邏輯推理與比較分析並舉，定性分析與定量界定相結合的方法。堅持歷史唯物主義的基本立場，以比較成本理論等經濟學原理與國際關系理論的交叉運用為理論基礎，力求突破傳統石油安全理論的框架，對中東石油與中國的石油安全戰略進行一定程度的探討。 -
While in pratical applications, the esd method still has drawbacks in graphical modeling capability, connections with products " structures, size control of esd models, and etc. through in - depth study of the esd method, this paper systematically describes the framework and its basic modeling elements of esd, explains the principles of risk modeling, gives the mathematical model of the basic modeling elements of the esd framework to support the quantitative analysis of the esd model. based on the research above, this paper expands the esd framework, which includes : to overcome the drawback in graphic modeling capability of the esd method, the paper invents some new logical modeling symbols like " n / k " gate, sequence gate, expandable gate and constraint, those enrich the modeling capability of the esd method. to overcome the drawbacks in connections with products " structures and size control, the paper explains the multi - layered modeling principles based on the esd
在上述研究基礎上，對esd框架進行了擴展，包括：針對esd圖形建模能力的不足，提出了「 n中取k門」 、 「順序門」 、 「可擴展門」以及「限制」等新的邏輯建模圖形符號，豐富完善了esd的建模元素；針對esd模型與產品結構關聯及規模控制方面的局限，提出了基於esd的層次化建模原理，使得可基於esd進行層次模塊化建模；針對esd與其它安全風險分析技術的綜合運用問題，分別討論研究了與故障樹分析技術、馬爾科夫狀態轉移圖集成的esd ft和esd m方法，提高了esd建模的靈活性；針對動態系統風險評價模型的求解問題，討論提出了運用esd求解動態概率風險評價問題的解析解或近似解析解方法，並予以了示例說明。 -
Taking pursuit of value of law on procedural justice and procedural benefit as the starting points, taking guarantee of rights and interests of citizens as the final settling place, on the basis of analysis on three kinds of cases with different characters, beginning with the shortcoming of existing methods of dispute settlement and the limitation of present theoretic framework, by means of legal and logical thought, the dissertation emphatically demonstrated three different models, namely administrative litigation with incidental civil action, civil action with incidental administrative litigation and action of parties, which are suitable to the three kinds of cases respectively
以程序正義和程序效益的法律價值追求為起點，以保障公民的權益為歸宿，在對三類不同性質案件特點分析的基礎上，從現有解決方式的弊端和既存理論框架的局限入手，通過法律的邏輯思維，文章著重論證了分別適宜該三類案件的三種不同的訴訟解決模式：行政附帶民事訴訟、民事附帶行政訴訟和當事人訴訟。 -
So, from the angle of institutions, this paper analyzes the performance of china security market. to strengthen the persuasion of conclusion, this paper bands theoretical means and empirical means together, with the logical order as following, " elementary empirical study - " problem - theoretical analysis - farther empirical study - theoretical sublimation - conclusi on and suggestions ". the paper also outlines the picture of framework of institutions as well as performance of china security market
本文站在發展戰略的高度，從制度和制度變遷的視角全面、深入地考察了我國證券市場的績效問題；為增強理論分析的說服力，文章採取了理論和實證相結合的原則，遵循「初步實證提出問題理論分析進一步實證理論升華對策建議」的邏輯思路，勾畫出了證券市場制度結構和績效結構全景圖。 -
After the analysis and summing up of the post - evaluation theory and method in the general building projects, according to the characteristics and contents of the highway network planning, the paper expounded the goal and meaning of post - evaluation in highway network planning in detail and proposed the framework of the highway network planning post - evaluation theory. then the paper defined the assessment index, assessment standard and assessment method of the post - evaluation of prospective development, scale prediction and construction arrangement in highway network planning post - evaluation by means of before - after contrast and mathematic method such as fuzzy set - value statistics, membership function decided by increment ant gahp etc. thus a set of logical, systematic and applicative highway network planning post - evaluation theory is found. finally according to the reality of highway network development in he nan province and shann xi province, their arterial highway network planning is evaluated with the the ory discussed in this paper, and the rationality and difference of the result is analyzed
本文在分析和總結一般項目建設后評價理論與方法的基礎上，結合公路網規劃的具體特點和內容，詳細論述了公路網規劃后評價的目的與含義，提出了公路網規劃后評價的總體理論框架；然後，按照前後對比的思想，運用模糊集值統計、增量法標定隸屬函數和多人層次分析法等數學手段，分別確定了公路網規劃后評價中發展預測后評價、規模測算后評價和建設實施安排后評價的評價指標、評價標準和評價方法，形成邏輯嚴密、體系完善和操作性很強的公路網規劃后評價理論；隨后，結合河南與陜西兩省的公路網規劃與建設實際，運用本文的理論對兩省的干線公路網規劃進行后評價，並對評價結果的合理性及其差異進行了分析。
分享友人