結構程序驗證 的英文怎麼說
中文拼音 [jiēgòuchéngxùyànzhèng]
結構程序驗證
英文
constructive program verification- 結 : 結動詞(長出果實或種子) bear (fruit); form (seed)
- 構 : Ⅰ動詞1 (構造; 組合) construct; form; compose 2 (結成) fabricate; make up 3 (建造; 架屋) bui...
- 程 : 名詞1 (規章; 法式) rule; regulation 2 (進度; 程序) order; procedure 3 (路途; 一段路) journe...
- 驗 : 動詞1. (察看; 查考) examine; check; test 2. (產生預期的效果) prove effective; produce the expected result
- 證 : Ⅰ動詞(證明) prove; verify; demonstrate Ⅱ名詞1 (證據) evidence; proof; testimony; witness 2 (...
- 結構 : 1 (各組成部分的搭配形式) structure; composition; construction; formation; constitution; fabric;...
- 程序 : 1 (進行次序) order; procedure; course; sequence; schedule; ground rule; routing process 2 [自動...
- 驗證 : test and verify; checking; proving; testing; confirmation; [數學] corroboration; inspection; veri...
-
Also, this paper studies the amendable methods of dynamic numeration model, and bring forward that optimized method can revise finite element model, while validating the construed results of structural mode is almost equal to true values
本文研究了各種動力計算模型的修正方法,針對有限元程序,提出了用優化的方法實現結構動力有限元模型的修改,通過算例驗證,結構模態分析結果更接近於實測值。On the basis of reviewing history and comparative study, this paper examines the system of trial by default in our country ; at the same time using foreign experiences for reference, combines the specific situations in our judicial practice, then raises a tentative idea to reconstruct the system of trial by default in our country : to build a system of trial by default making the doctrine of ex parte debate as main part and doctrine of trial by default as supplement part ; at the same time to perfect the legislative stipulations on standards of default determination, procedural applications and remedies of trial by ex parte debate and trial by default, examinations of evidence in trial by default, in pursuit of forming an intact system structure, giving full play to the functions of system of trial by default and fulfilling the value target of civil proceedings
因此,加強對我國缺席審判制度的研究,具有重要的理論和實踐價值。本文在歷史回顧和比較研究的基礎上,對我國的缺席審判制度進行了審視;同時借鑒國外的經驗,並結合我國司法實踐的具體情況,提出了重構我國缺席審判制度的設想:建立一種以一方辯論主義為主體,缺席判決主義為補充的缺席審判制度;同時完善缺席的認定標準、一方辯論判決與缺席判決程序的適用與救濟、缺席審判中的證據審查等方面的立法規定,以形成一個完整的制度體系,充分發揮缺席審判制度的功能,實現民事訴訟的價值目標。It has been maked for immediate and statistical analysis that the calculation about the work order parameter of the base - bleed - rocket is calculated in the taguchi method, its influencing trend is bring out in the open, the theoretical base is settled for confirming the greatest combination about the work order parameter of the base - bleed - rocket. the multi - objectile optimal design model is established that the indexes have been taked into account first and synthetically, such as physical parameter range lethality power strength and flight stability and so on, the program is compiled and the example is calculated. the true worth of the theoretical work in this paper is validated by flight experimentation of 130mm hybrid base - bleed - rocket extended - range principium projectile
本文進行了底排?火箭復合增程彈工作時序參數正交試驗設計的直觀分析與方差分析,揭示了每個參數對射程計算的影響趨勢,為進一步確定底排?火箭工作時序參數值的最佳匹配組合奠定了理論基礎;建立了底排?火箭復合增程彈多目標優化設計模型,該模型首次綜合考慮了底排?火箭復合增程彈的結構特徵參量、結構強度性能、飛行穩定性、威力性能和射程指標,編制了相應的分析程序,進行了算例計算;完成了130mm底排?火箭復合增程原理樣彈的結構設計與飛行試驗,其試驗結果驗證了本文理論研究工作的實際應用價值。Active directory application mode adam is a new mode of the active directory directory service that is designed to meet the needs of line - of - business applications that require a dedicated lightweight directory access protocol ldap data store, e - commerce applications that require simple ldap authentication support, and enterprise environments that require an application directory that is separate from their network operating system infrastructure directory
Active directory應用程序模式( adam )是active directory目錄服務的新模式,設計用於滿足以下應用程序或環境的需要:需要專用輕型目錄訪問協議( ldap )數據存儲的行業應用程序,需要簡單ldap身份驗證支持的電子商務應用程序,以及需要獨立於網路操作系統( nos )結構目錄的應用程序目錄的企業環境。After discuss the structure and character of operating system qnx and inter - process communication between pc ' s running qnx or windows, the paper describes the structure, function and flow chart of mission planning software which is developed in qnx, and narrates the course of simulation co - debug experiment, dynamically showing the results of the mission planning in the case of " ocean physiognomy reconnaissance ", and proving the logical correctness and feasibility of task serial produced by mission planning
在論述了多任務、實時操作系統qnx的結構特點以及基於qnx與windows運行的pc機之間網路進程通信的基礎上,本文描述了在qnx上開發的使命規劃軟體的結構功能和流程圖,並敘述了模擬聯調實驗的過程,動態地顯示了「海洋地貌勘測」這一案例使命規劃的結果,並證明了使命規劃所得的任務序列在實際運行中邏輯的正確性與可行性。This article establishes a suitable mechanical model for urban mass transit continuous welded rails longitudinal force research, which is widely based on the real situation and draws up the nonlinear finite element method program, and is verified by practical examples
摘要?了對城市軌道交通無縫線路縱向力進行研究,根據實際結構建立了力學模型,編制了非線性有限元程序,並通過實例進行驗證。C. 1 control of customer - supplied documents and data ? the organization shall establish and maintain a documented procedure ( s ) to control all customer - supplied documents and data ( e. g., network architecture, topology, capacity, installation termination assignments, and database ) if these documents and data influence the design, verification, validation, inspection and testing, or servicing the product
客戶提供文件及數據控制組織將建立並且維護文件化程序以控制所有客戶提供的文件和數據(例如,網路體系結構,布局,容量,安裝結束任務及數據庫)如果這些文件和數據影響設計,驗證,確認,檢查及測試,或服務于產品。In chapter 4 we discuss the design of the high speed and high performance vlsi and its imp1ementation, firstly we ana1yze and compare the features and ru1es of al1 kinds of fft algorithm, adopt complex radix 4 butterfly calcu1ation as basic alu, then discuss all kinds of process architectures, the design thoughts, rule, method, technique way, the characteristics of the design are r4 dit algorithm, pingpong ram design method and pipeline structure between stages. we also analyze the limited word length effect and the method to avoid overflow of the fixed points fft process, bring out the expandable platform mode
第四章主要討論了高速高性能的快速傅立葉變換處理器的設計和實現,首先分析和比較了各種快速傅立葉變換演算法的特性和規律,提出基4蝶算的演算法具有最好的性價比,討論了順序、級聯、并行和陣列的處理結構,闡述了設計高速高性能快速傅立葉變換處理器時的設計原則、設計思路、所採用的技術路線,驗證並測試fft處理器,分析了定點fft處理過程由於有限字長效應所產生的量化誤差的范圍及防溢出控制辦法,提出了可擴展平臺模式。To achieve a reasonable charging construction, by analyzing g. harries ' s mathematics model theoretic and calculating the parameter of explosive construction by using delphi programmable language programming the program. the result analyzing of blasting test approves that optimization of explosive construction can give the economic benefit for mine
為尋求合理的裝藥結構,對g . harrise數學模型進行了理論分析,採用delphi語言編制計算機程序計算裝藥結構參數,爆破試驗結果分析證實裝藥結構優化可以為礦山帶來經濟效益;根據分形幾何理論,探討了巖石爆破塊度的分形特徵,不同裝藥結構爆破試驗的破碎塊度均顯現出了良好的分形結構。The thesis introduces the architecture, datapath, hardwire control of the soft core, and introduces the verification of the soft core. mcu is the heart of the embeded system
本文介紹了hgd08r01軟核的risc體系結構、數據通道設計、時序設計以及硬布線控制設計等,同時還介紹了改軟核的驗證流程與方法。By means of these studies, author gives a complete theoretical analysis for the development of bridge structure analysis program, and gets a good practical proof. these works build up the preliminary funderment based on which a new generation bridge structure analysis program can be developed further
通過這些研究,本文為橋梁結構分析程序的開發從理論上作了較完整的探討,又從實踐上得到驗證,為新一代橋梁結構分析軟體的進一步發展打下了良好的基礎。This paper mainly focuses on the following three field : system structure, system hw / sw ( hardware / software ) partition. synthesis and verification. and presents a hw / sw co - design method based on ip ( intellectual property ) core. we use this method to design asip, and verify this virtual machine using instruction codes, ac - 3 codes and ts ( transport stream ) flow
本文從晶元系統的整體入手,重點從系統的結構、軟硬體分割以及晶元系統的設計驗證三個方面對該晶元系統的設計做了深入的研究,提出了一種基於ip核的軟硬體協同設計方法,運用該方法對asip進行設計,並採用虛擬機的模型,採用指令集程序、 ac - 3解碼程序、 ts流程序進行模擬驗證。Applying the method of this article, we can get that the attenuation of stop - band is - 75db and the error of reconstruction is 0. 0015. the simulation program and experiment result are provided. the correctness and validity are proved
用本文的方法,在重構誤差將近千分之一的情況下,取得了較好的濾波器特性,其阻帶衰減達到- 75db ,文中給出了matlab實驗程序及結果,並通過simulink模擬,證明了這種方法的正確性與有效性。By means of trigonometrical progression method and the mainline track spectrum, the sample function of the chinese mainline railway track random geometric irregularity is simulated. with the data obtained from track geometry inspection car on qinhuangdao - shenyang special line for passenger transport and arma time series model, the sample function of high - speed railway track random geometric irregularity are simulated. based on existing literature, the artificial bogie crawl waves at various different speeds are randomly simulated
根據我國干線鐵路軌道譜,採用三角級數法模擬出干線鐵路和準高速鐵路軌道不平順的樣本函數;根據秦沈客運專線高速試驗段軌檢車資料,採用arma時間序列模型模擬了高速鐵路軌道不平順隨機樣本函數;在既有研究資料的基礎上模擬出各種速度客車構架人工蛇行波;用隨機變量描述道床橫向剛度,並進行了隨機模擬;將振動理論和穩定理論結合建立系統的分析模型和運動方程;根據monte ? carlo法編制了車輛?軌道耦合系統隨機振動分析程序,進行了無縫線路隨機動力響應分析,通過試驗對計算模型、計算方法進行了驗證。It is divided into four parts to illustrate the environmental tests management system, including organization structure & labor source management system, tests process management & controlling system, tests information management system and quality guarantee system. firstly, it begins from organization structure of environmental tests, to look into the suitable organization structure, which applies to the environmental tests development, this thesis suggests the changing from original beeline organization structure to combinative organization structure of beeline function & matrix organization structure. it also investigates the labor source management and discusses under this new structure, presenting the system which meets the demand of existent military equipment development ; then, using relative concepts of queuing theory to solving the tests orders reasonably makes the minimum time for products in lab
首先從環境試驗的組織結構入手,研究適合環境試驗發展的組織結構,提出將原來的直線制組織結構轉變為直線職能制和矩陣制相結合的組織結構,並探討在這種結構下的人力資源管理和績效考評、提出適應目前軍用裝備發展要求的環境試驗組織機構與人力資源管理體系;然後從環境試驗過程管理的角度出發,運用排隊論的有關概念,合理解決試驗排序,使產品在實驗室的停留時間最短,並建立試驗過程管理與控制體系;從試驗信息的重要性角度出發,探討試驗信息收集與反饋的一般方法及建立環境試驗數據信息庫的重要性;最後從質量管理的角度出發,研究環境試驗內部質量保證部門的作用與職能,運用服務質量環的原理構建了環境試驗的質量保證體系。Abstract : the mathematical model for the magnetic field numerical calculation is presented with the theory and the method of magnetic field numerical calculation, which combines with the structure characteristics of the 5 - limb core. the program is compiled by fortran language, and an example for the 5 - limb with flat yoke is given. the results prove the correctness of the method and the practical value
文摘:應用電磁場數值計算的理論與方法,結合五柱鐵心的結構特點,推導出磁場數值計算模型,用fortran語言編制出計算程序,並對五柱平軛式鐵心結構進行實例計算,計算結果驗證了分析方法的正確性和實用價值Designed a program which can use the mean pressure coefficient of jin ’ ao mansion to calculate mean wind load of the whole buildings and local floor. the integral result can apply into the practical design of construction, also can compare with the results of wind tunnel balance test to validate the veracity of this test
通過自編的程序對金奧大廈表面時均風壓系數進行積分計算獲得其整體和局部樓層的平均風荷載,積分計算的結果一方面可以方便地運用於實際的建築結構設計中,另一方面可以與風洞天平測力結果進行比較驗證動態測壓試驗的正確性。At the end of this paper, the configure process of the ssl protocol is given. based on acme, the typical implementation of form digital signature software framework is put forward. on the basis of component diagram, some typical source codes of the business component are listed and the template description of the currency interface component is showed. the modeling idea and solution are proved to be effective
最後,給出ssl協議的配置過程;結合acme語言給出表單數字簽名軟體構架的典型實現;在構件圖的基礎上,給出重要事務構件的程序代碼實現和通用界面構件的模板表示,驗證了建模思想和解決方案的有效性3. wth application of large - scale computational software anasys - dyna, the case of elastic impact to each other of two recta - ngular cross - section rods has been implemented and also compared with theoretical results, which maks good agreement and draws very helpful practical experiences to use some techncal parameters in the program. eventually, the a real - world aircraft windshield shell structure impacted by a flying bird has been simulated through fem numerical computation, and meanime, an engineering predical experimeni of bird sttiking to the windshield in some type of aircraft has been performed
3 、應用大型科學計算程序anasys - dyna ,對彈性體碰撞進行了數值計算驗證並與理論結果對比,獲得了計算參數應用的實踐經驗;在此基礎上,進行了鳥體撞擊飛機風擋結構動力學響應的實際數值計算,與此同時安排了工程鳥體撞擊試驗,並就兩者計算結果給予了細致分析對比,獲得了良好的一致性結論。First, this paper introduces the conception of software test, testability, and some existent model used for analyzing testability. second, we analyze the merits and demerits of each model, as followed, after we particularly investigating the process of software fault leading to software failure, we put forward our improved scheme ? stdm and specify the process that it measure software testability more logically. at last, based on stdm we design and implement a stds ( software testability detecting system ), which can be used to measure the testability of c programs, and show the detected result in different level
本文首先介紹了軟體測試和可測試性的基本概念等用於檢測軟體可測試性的理論基礎,並詳細分析了一些理論檢測模型及各自的優缺點;接下來,針對這些可測試性檢測模型中所存在的問題,根據對軟體錯誤導致軟體失效過程的研究分析,本文提出了一種改進的解決方案stdm用於對軟體的可測試性進行量化檢測,文章在最後設計並實現了構建在此stdm模型基礎之上的一個軟體可測試性檢測工具,該工具能夠對c源程序進行可測試性檢測並得出量化結果數據,驗證了該模型的有效性。分享友人