覆蓋程序 的英文怎麼說
中文拼音 [fùgěchéngxù]
覆蓋程序
英文
covering routine- 覆 : 動詞1. [書面語] (蓋住) cover 2. [書面語] (底朝上翻過來; 歪倒) overturn; upset 3. 同 「復」 (Ⅱ1. 2. )
- 蓋 : 蓋名詞(姓氏) a surname
- 程 : 名詞1 (規章; 法式) rule; regulation 2 (進度; 程序) order; procedure 3 (路途; 一段路) journe...
- 覆蓋 : 1 (遮蓋) cover; overlap 2 (植被) plant cover; vegetation3 (保護層 覆蓋物) cover; covering; ...
- 程序 : 1 (進行次序) order; procedure; course; sequence; schedule; ground rule; routing process 2 [自動...
-
An algorithm for calculating the branch routes of an assembly program in software coverage testing
匯編程序覆蓋測試中分支路徑數的計算Ozzie : the document engine ? data model, it ' s the same thing ? can know that two people have modified the same document, and the app can tell the engine some policies, like keep both of the updates, or let the latest date override
同樣是文檔引擎(就是數據模型) ,知道有兩個用戶對同一個文檔做了修改,並根據程序設定的規則- - - -比如,保持所有的修改,或是用最新的數據覆蓋舊的- - - -做相應操作。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
文摘:用計算函數模型進行精確的數據流分析,條件謂詞之間的邏輯關系被轉化為空間區域之間的覆蓋關系.該文討論在各種常見的程序構造下如何表示、計算和傳遞區域、區域,並在數據流分析過程中,利用區域、區域之間的覆蓋關系消除條件分支語句帶來的不確定性,以得到更精確的數據流信息Taking the earth - rock dams with straight clay core constructed on thick moraine cover foundation and directly built on bed - rocks with the same sizes and the same materials for example, two - dimensional dynamic fem programme is used to contrast and analyze the static stress distribution and dynamic response difference of two types of high earth - rock dams in the intensive earthquake zones
摘要以相同尺度和相同材料的建造在深厚覆蓋層上直心墻土石壩和直接建設在基巖上的直心墻土石壩為例,採用二維動力有限元程序對比和分析了強震區兩種高土石壩的靜應力分佈和動力反應的差異。The admin console and scripting language give you a full range of coverage
管理控制臺和腳本語言使您能夠完全覆蓋程序的整個范圍。But cim covers the gamut - network, systems and application management definitions - in a far more comprehensive way
但是cim以更為全面的方式覆蓋了整個范圍? ?網路、系統和應用程序管理定義。Basic black - box testing and white - box testing are successfully carried out. in white - box testing, the statement coverage and branch coverage are achieved ; static analysis and dynamic analysis are also implemented. the static analysis mainly used to generate flow graph while the dynamic analysis serves program instrument, technique realization object, subprogram and the detailed coverage and the calculation of operation time of the documents
原型系統實現了基本的黑盒和白盒測試,其中白盒測試實現了語句和分支覆蓋;實現了匯編測試的靜態分析和動態分析,靜態分析主要是生成程序的流程圖,動態分析主要是利用程序插樁技術實現語句和分支覆蓋率及在多個測試用例驅動下的綜合覆蓋率的計算和運行時間及內存使用情況的統計。According to the documentation collected from domestic and abroad wang wei dong who works in huadong architect and structure institute utilizes the similar work property between the underground continuous wall and pile subjected the vertical loads, and introduces poulos method of elasticity and plastic which applies to pile foundation into the calculation for subsidence of underground continuous wall. pujialiu and yu yuzhou from water and electronic engineering of qinghua university, according to the result of three axes, define the concrete parameter utilize the model of non - linear e - b combined with the design cross section of dam in xiaolangdi, yellow river accept the total stress programme of thepd dam, and we analyze the stress and displacement of plastic concrete diaphragm wall by finite element method in comparison with the result of common concrete one. at same time, we consider the effect of the character of plastic concrete diaphragm wall which is composed of different gradients and adopting the level of stress and pulling stress infers whether the plastic concrete diaphragm wall is safe or not
地下連續墻是一種歷史較短的施工方法,目前,砼防滲墻的設計還是以傳統的設計方法為主,根據查找國內外文獻資料,華東建築設計院王衛東利用地下連續墻與樁在豎向荷載作用下的工作性能有相似性,將適用於樁基的poulos彈性理論引入對地下連續墻的沉降計算中;清華大學水利水電工程系濮家騮、于玉貞根據三軸試驗結果確定混凝土的參數,利用非線性e - b模型,結合黃河小浪底土石壩設計剖面,採用thepd土石壩總應力程序,對深覆蓋層塑性混凝土防滲墻的應力、位移進行有限元分析,並與普通混凝土防滲墻計算結果加以對比,同時分析了不同配比塑性混凝土特性的影響,並採用應力水平和拉應力數值來判斷塑性混凝土防滲墻的安全程度。Ten members of the team have a master or higher degree, and the others all have had a college education in science or law. the majors include computer science, telecommunications, electronics, semiconductors, mechanics, metallurgy, architecture, biotechnology, pharmacy, chemical engineering, physics, and information technology. we are not only familiar with the most advanced science and technology as well as ipr proceedings, but also proficient in various languages such as english, japanese, korean, german and french. the team has a wealth of experience and is professionally competent
匯澤十余年的歷程,礪煉了一支精於代理國內外知識產權事務的專業團隊,目前擁有員工50多人,其中從事知識產權工作20餘年的核心骨幹有6名,具有10年以上執業經歷的專業代理人有8名,匯澤的團隊中有10人具有碩士以上學歷,其餘均受到過理工科或法律專業本科以上的高等教育,專業面覆蓋了計算機通訊電子半導體機械冶金建築生物醫藥化工物理信息技術等各個領域,他們熟悉當今前沿的科學技術,同時精通知識產權法律和代理程序,掌握英德法日韓等多種語言。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語言編制了計算機模擬程序。Electrodeposited metallic coatings and related finishes - sampling procedures for inspection by attributes
電沉積金屬覆蓋層和相關精飾計數檢驗抽樣程序The use of mcu makes the induction cooker intelligence, mainly offers good man - machine interface, power automatic control and temperature automatic control, time control as well as various automatic detections alarm etc. this system covers many fields such as electronics, mechanicals, magnetic, algorithms etc. mcu program structure divides into two parts as main program and timer interrupt service program, after many times " testing and running, the program runs steadily and reliably
單片機的使用讓電磁爐實現了智能化,主要包括提供良好的人機界面、功率自動控制、溫度自動控制、定時控制以及各種自動檢測報警等。該系統覆蓋了電、機、磁、算等多個領域的知識。單片機程序結構分主程序和定時器中斷服務程序兩個部分,經過反復試驗運行,程序運行穩定可靠。Provides comprehensive statement and decision coverage, invoking every point of entry and exit in the program at least once
提供全面的語句及決策覆蓋,至少一次調用程序中的每個進入和退出點,配備The simulation program has been implemented to simulate the procedure of hxmt detecting x - ray source. the simulation result has been used to analyze the overlay region in celestial sphere, the variation of photon current intensity and the variation of the angle between sun and orbit, which demonstrate the reason why to select a 550 km height and 43o inclination low earth orbit as hxmt ' s orbit
利用模擬程序,實現了模擬一個正在預研的天文衛星? ?硬x射線調制望遠鏡hxmt觀測x射線源的過程,分析了天球覆蓋、 hxmt接收的光子流強度的變化和太陽軌道面夾角的變化,說明了選取高度為550km ,傾角43o的近地圓軌道作為hxmt的運行軌道是合理的選擇。And more than 70 % hardware are tested during microcode self - test since the execution of micro program can cover other data paths. boundary scan is designed according to ieee1149. 1, and some other instructions such as degug, runbist are provided to support internal fault testing, online debugging and built - in self - test besides the several necessary insructions. internal scan is implemented by partial scan, through this the boundary of logic component and user - cared system registers can be selected to be scanned
Bist用於測試cpu的微碼rom ,其它ram則利用微碼rom中的微程序進行測試,而微程序的運行則可以順帶覆蓋其它數據通路,從而使高達70 %的硬體得到測試;邊界掃描按ieee1149 . 1標準設計,除必備的幾條邊界掃描指令外,還提供了debug 、 runbist等指令以支持內部故障測試、在線調試及內建自測試;內部掃描採用部分掃描策略,選擇邏輯部件的邊界及用戶關心的系統寄存器進行掃描,從而實現了硬體邏輯劃分,方便了后續的測試碼產生和故障模擬,並為在線調試打下了基礎。The program abstract the finite cover system of 3d nmm as independent data classes, and give the definition and implement of the classes, and manage these data classes by techniques of tree structure
程序將三維數值流形方法的有限覆蓋系統抽象為一些獨立的數據類,給出了類的描述和它們的實現方法,並用樹狀結構對這些數據類進行管理。It is realized with some dynamic web techniques such as java, jsp, and developed with the framework of mvc model and kona architecture. this system is an integration of many function modules, such as basic data management, mrp management, main production plan management, bom management, workshop flow plan management, etc., realizing the non - gap connection between network and business flows of production control, so that it makes scientific, electronic and net management of enterprise production control management
系統採用了java 、 jsp等動態web實現技術,以mvc模型為開發框架,並利用kona應用程序開發體系,集成了基礎數據管理、物料需求計劃管理、主生產計劃管理、 bom管理、車間作業計劃管理等子模塊組成等功能模塊,覆蓋了企業生產運作的各個環節,實現了網路與生產控制業務流程的無縫連接,構建了企業生產控制系統,從而實現了公司生產控制管理的科學化、電子化和網路化。A more stringent criterion is to require coverage of every path within a program
更嚴格的準則是要求覆蓋程序中的每一條路徑。It construct concept lattice for test case. then, we select the effective test case which covered the largest part of program, according the concept lattice to reduce test suite
該方法依據對測試用例構造的概念格,優先選擇覆蓋程序范圍最大的測試用例,組成新的測試用例庫對程序進行重新測試。If there is no statement in the application configuration file to redirect the version specified in the assembly manifest, the publisher policy file overrides the version specified in the assembly manifest
如果應用程序配置文件中沒有重定向程序集清單中指定的版本的語句,則發行者策略文件覆蓋程序集清單中指定的版本。分享友人