項重寫 的英文怎麼說
中文拼音 [xiàngzhòngxiě]
項重寫
英文
term rewriting-
Overrides rendering for the footer of a zone control
重寫對區域控制項的頁腳的呈現。Indeed, the test was so successful that dr bergmann hopes to obtain images that will reveal missing text from “ the method of mechanical theorems ”, the only copy of which is contained in the palimpsest
這項順利的探測讓博格曼博士希望能夠獲得「機械定理的方法」上失落的文字的圖像,這個著作唯一的抄本僅存於重寫本上。Rewrite user - specific registry keys under hkcu
-重寫hkcu下特定於用戶的注冊表項Theoretical computer science, 1997, 175 : 127 - 158. 3 toyama y. how to prove equivalence of term rewriting systems without induction
本方法基於覆蓋集合歸納法和項重寫系統的元計算模型:動態項重寫計算。When overridden in a derived class, gets the current item as a boxed object of the most appropriate microsoft. net framework version 2. 0 type according to its schema type
當在派生類中重寫時,根據當前項的架構類型以最合適的microsoft . net framework 2 . 0版類型的裝箱對象的形式獲取當前項。Called by the system to retrieve the current bounds of the activex control
已重寫。由系統調用來檢索activex控制項的當前界限。To remove the overridden value so that the property will no longer be overridden, you must enter the exact value of that property
若要移除已重寫的值,以便使屬性不再處于已重寫狀態,必須原樣輸入控制項屬性中的具體值。In order to prevent an item from overwriting an important file, project files that contain item paths that evaluate to one of the following locations or any subdirectories of these locations are considered potential security risks unless they are also located in or below the solution file or project file directory
為了防止項重寫重要的文件,包含計算為下列位置之一或其任何子目錄的項路徑的項目文件,將被視為具有潛在的安全風險,除非它們還位於解決方案文件或項目文件目錄中或其下的目錄中。Set or override these project - level properties, where
設置或重寫這些項目級屬性,其中Finished the following important consulting projects in recent years : ( 1 ) to take charge of and participate in the design of the project of 25 thousand - ton petrol and gas quays of the jiangyin petrol company. ( 2 ) to take charge of and parricipate in the design of the project of 25 thousand - ton petrol and gas quays of zhang jia gang hada company. ( 3 ) to organize the feasibility study on the coastal engineering test hall construction project of nhri. to take charge of and participate in the design of the hall ( a large - size wave basin, 70m long and 50m wide. was constructed in it ). ( 4 ) to organize the project feasibility study of the laboratory of nhri for the basic law research on sediment transport, to take charge of the design of the project, and to participate in the design of the wind and wave flume ( 180m long ), in which the scientific research projects of waterway training works and coastal engineering structures can be carried out under the combined action of wind, wave and current
近幾年來主要完成以下幾項重大工程: 1 .主持並參與江陰石油公司2 . 5萬噸級油氣碼頭的設計; 2 .主持並參與張家港哈德公司2 . 5萬噸級油氣碼頭的設計; 3 .編寫了南京水科院海岸工程試驗廳可行性研究報告,主持並參與該試驗廳的工程設計,在該試驗廳內建有70米長50米寬的大型波浪水池; 4 .編寫了南京水科院「泥沙運動基本規律研究實驗室」工程可行性研究報告,並主持該項工程設計,參與完成180米長風浪水槽設計,該水槽建成后,可在風、浪、流綜合作用下進行航道整治和海岸工程的科學研究。This option overrides verbose mode
該選項重寫詳細模式。9 feng s, sakabe t, inagaki y. confluence property of simple frames in dynamic term rewriting calculus. ieice trans. information and systems, 1997, e80 - d : 625 - 645
它大幅度拓寬了前面證明方法的應用范圍,並可以應用於非終止非合流以及非左線性的項重寫系統。Based on the algebra specification of term rewriting model, this paper builds the attack scenario and performs the risk analysis in the way of graph rewriting
該模型依賴項重寫系統所建立的風險簽名和重寫規則,以項圖的方式實現攻擊場景的構建和風險分析過程。Weakly terminating property in a restricted domain of a term rewriting system, one with structural induction, one with cover - set induction, and the third without induction, and describes their mechanization based on a meta - computation model for term rewriting systems - dynamic term rewriting calculus
基於覆蓋集合歸納法的項重寫系統弱基終止性證明的機械化論文提出一種關於一般化了的項重寫系統弱基終止性,即,在特定領域的項重寫系統弱終止性的形式自動證明方法。Options that follow the link option override those in the link environment variable
/ link選項後面的選項重寫link環境變量中的選項。Model based on term rewriting provides an algebra specification for the realization of risk analysis
項重寫的風險分析模型以其良好的代數規范為風險分析的實現提供了理論基礎。8 feng s, cao s, liu s. mechanizing weak termination proving of term rewriting systems by induction. in proc
本方法是對基於結構歸納法和項重寫的弱終止性形式自動證明方法的擴展。But the existing risk analysis model based on term rewriting ignores the induction procedure from risk to decision, and makes it easy to propagate the potential vulnerability
但是現存項重寫的模型忽略了分析和決策之間的推理過程,容易導致潛在威脅的傳播。This paper analyzes and develops the existing risk analysis model bases on term rewriting system. it divides the group of assets into critical and normal subset, and performs the analysis in separate procedure. this reduces the system complexity, guarantee the priority of the critical assets ; it also introduces and / or attack tree into the attack scenario, cut down the system requirement of space, and provides support for both the coming graph rewriting model and decision selection algorithm
本文針對項重寫風險分析模型中資產的關鍵性級別,劃分出關鍵資產,通過分步的風險分析,實現不僅可以降低系統復雜度,還能有效保證關鍵資產的優先處理;引入了與或攻擊樹構建攻擊場景,節約了運行所需的空間,為后來的決策選擇打下基礎,同時也為以後的圖重寫的風險分析提供依據。A constant expression that overrides the default numerical value of an enumeration member
可選項。重寫枚舉成員的默認數值的常數表達式。分享友人