顯示的爆炸線 的英文怎麼說
中文拼音 [xiǎnshìdebàozháxiàn]
顯示的爆炸線
英文
displayed impact line- 顯 : Ⅰ形容詞1 (明顯) apparent; obvious; noticeable; evident 2 (有名聲有權勢的) illustrious and inf...
- 示 : Ⅰ動詞(擺出或指出使人知道; 表明) show; indicate; signify; instruct; notify Ⅱ名詞1 [書面語] (給...
- 的 : 4次方是 The fourth power of 2 is direction
- 爆 : 動詞1. (猛然破裂或迸出) explode; burst 2. (放在滾油里快炒) quick-fry
- 炸 : 炸動詞1. (在油里弄熟食物) fry in deep fat or oil 2. [方言] (焯) scald (as a way of cooking)
- 線 : 名詞1 (用絲、棉、金屬等製成的細長的東西) thread; string; wire 2 [數學] (一個點任意移動所構成的...
- 顯示 : 1 (明顯地表示) show; display; demonstrate; exhibit; evince; manifest; discover; reveal; vision ...
- 爆炸 : explode; blast; blow up; bomb; burst; detonate; explosion; fulmination; out-burst
-
A widely used method for checking real - time systems is, according to the real - time property to be checked, to use a proper bi - simulation equivalence relation to convert the infinite - timed state space to a finite equivalence class space. the algorithm needs only to explore the finite space to get a correct answer. in most cases, exhaustive exploration is very difficult because the equivalence class space increases explosively when the scale of the system increases. in this paper, an equivalence relation is introduced to check whether a concurrent system, which is composed of a finite set of real - time automata, satisfies a linear duration property. to avoid exhaustive exploration, this paper also introduces a compatibility relation between timed states ( configurations ). based on these two relations, an algorithm is proposed to check whether a real - time automaton network satisfies a linear duration property. the cases study shows that under some conditions this algorithm has better efficiency than the tools in the literature
一個被廣泛用於驗證實時系統的方法是根據被驗證的實時性質,使用適當的雙向模擬等價關系使無限的狀態空間轉化為有限的狀態等價類空間.演算法只需要在這個有限的等價類空間里搜索就可以得到正確答案.但是,這個等價類空間的規模一般隨著系統規模的增大而產生爆炸性的增長,以至於在很多情況下,窮盡搜索這個空間是不現實的.該文引入了一個等價關系來驗證一個由多個實時自動機通過共享變量組成的並發系統是否滿足一個線性時段特性.同時,還引入了格局之間的兼容關系來避免對狀態等價類空間的窮盡搜索.基於這兩個關系,文章提出了一個演算法來驗證是否一個實時自動機網滿足一個線性時段特性.實例研究顯示,此演算法在某些情況下比其他一些工具有更好的時間和空間效率Hubble space telescope image ? taken using only light that would be visible to the naked eye ? shows m87 [ lower right ] a giant elliptical galaxy
哈勃望遠鏡捕捉到的這張照片顯示的是1999年1月23日伽馬射線爆炸的景象。A hubble space telescope image ? taken using only light that would be visible to the naked eye ? shows m87 [ lower right ] a giant elliptical galaxy
哈勃望遠鏡捕捉到的這張照片顯示的是1999年1月23日伽馬射線爆炸的景象。A combination of september 11, 2001 file photographs shows hijacked united airlines flight 175 as it approaches upper l and impacts the world trade center ' s south tower, bursting into flames and raining a hail of debris on lower manhattan
組圖顯示9 . 11事件中客機175的劫持路線以及撞擊世貿中心南部.發生爆炸后歲片像冰雹一樣落向曼哈頓樓In this paper, the concepts, the historical background, the importance and current application of scientific computing and visualization of scientific computing are introduced and the visualization of computational detonation mechanics is specially expounded. based on the sumarization of the visualization software visc2d and visc3d directing at the mmic ( multi _ material in cell ), the key point of the improvement and the research contents are listed. based on the basic visualization reference model and the data file format of mmic, the file format of vector data is defined. the 2 - d data field visualization technology is described in detail. include the visualization of scalar field and vector field. the weak points of the visc2d software is overcome, and we propose the full - frame coloring mapping method and the visualization of the vector data using the clic ( coloring _ noise line integral convolution ). in addition, the method to draw and display shock wave by edge probing operator is introduced. in the design of the program, in order to overcome the shortcoming of visc2d with sdi ( single document interface ), the software vsv ( visualization of scalar and vector ) with mdi ( multi document interface ) is designed. compared with visc2d, the advantage of vsv includes : ( l ) vsv is a mdi applied software which can be used to view various kind of data, ( 2 ) vsv resolves the flash during displaying moving images which are produed by full - frame coloring method used to the visualization of scalar fields, and ( 3 ) vsv can be used to visualize vector field such as velocity. at last, the visualization of the output data from mmic in explosion and shock is realized by vsv
首先簡要介紹了科學計算與科學計算可視化的概念、歷史背景、意義及應用現狀,重點說明了計算爆炸力學中的可視化問題,在總結多流體網格程序mmic的可視化軟體visc2d和visc3d的基礎上提出了改進要點和本文的研究內容。在介紹可視化基本參考模型和mmic程序的數據文件結構的基礎上,給出了矢量數據文件的結構,詳細闡述了二維數據場的可視化技術,包括標量場和矢量場的可視化,針對原visc2d軟體的不足,給出了改進方法,提出了全幀著色映射方法和用於矢量數據可視化的基於噪聲著色的線積分卷積方法,以及提出了利用邊緣檢測運算元提取和顯示沖擊波的方法。在程序設計上,針對原visc2d軟體只適用於單文檔窗口的缺點,本文利用多文檔mdi窗口,研製了標量場與矢量場的可視化軟體vsv ( visualizationofscalarandvector ) 。分享友人