軟體檢驗過程 的英文怎麼說

中文拼音 [ruǎntǐjiǎnyànguòchéng]
軟體檢驗過程 英文
software testing procedure
  • 軟 : Ⅰ形容詞1 （質地不硬） soft; flexible; supple; pliable 2 （柔和） soft; mild; gentle 3 （軟弱） we...
  • 體 : 體構詞成分。
  • 檢 : Ⅰ動詞1 （查） check up; inspect; examine 2 （約束; 檢點） restrain oneself; be careful in one s c...
  • 驗 : 動詞1. （察看; 查考） examine; check; test 2. （產生預期的效果） prove effective; produce the expected result
  • 過 : 過Ⅰ動詞[口語] （超越） go beyond the limit; undue; excessiveⅡ名詞（姓氏） a surname
  • 程 : 名詞1 （規章; 法式） rule; regulation 2 （進度; 程序） order; procedure 3 （路途; 一段路） journe...
  • 軟體 : [計算機] software軟體包 （程序包） software package; 軟體程序 software program; 軟體跟蹤方式 soft...
  • 檢驗 : checkout; test; examine; inspect; verify; survey; check;checking;testing;[英國]jerque（指檢查船舶...
  • 過程 : process; procedure; transversion; plication; course
  1. This thesis tries to update the cmdsr system to achieve the characters below : real - time, better robust, higher recognition rate, non - special - man. considering the disadvantages of traditional improved spectrum subtraction speech enhancement, this thesis proposes the theory of fuzzy spectrum subtraction based on the fuzzy theory and improved spectrum subtraction speech enhancement ; as for the difficulties of detecting the endpoint of speech signal, the thesis gives the table of initial and the improved parameters, with which we can confirm the endpoints of mandarin digit speech ; the thesis puts forward two - level digit real - time speech recognition system, the first level is based on discrete hidden markov model which is linear predictive coding cepstrum ( lpcc ) and difference linear predictive coding cepstrum ( dlpcc ), the second level is based on formant parameters ; as for the realization of hardware, the thesis depicts the realization of every part of cmdsr based on the tms320vc5402 in detail ; as for the development of software, the thesis gives the software design flow chart of cmdsr, simulates the basic theory with matlab language and gives the simulation results

    針對傳統的「改進譜相減法語音增強」參數設定單一、環境適應能力差的缺點，提出了一種利用模糊理論和「改進的譜相減法」結合的「模糊譜相減法語音增強」 ;針對語音信號端點檢測困難的特點，通過matlab模擬試驗，給出了能夠準確確定數碼語音端點的初始和改進參數表;提出了利用基於線性預測編碼倒譜參數和差分線性預測編碼倒譜參數相結合的離散隱含馬爾可夫模型進行第一級識別、利用共振峰參數進行第二級識別的兩級漢語數碼語音識別系統，在保證系統實時性的同時，實現連接漢語數碼語音識別系統識別率的提高;在硬體實現上，詳細闡述了基於tms320vc5402的連接漢語數碼語音識別系統各部分硬體設計;在軟體開發上，給出了連接漢語數碼語音識別的軟體設計各部分的流程圖，並對各部分進行了matlab模擬，並給出了模擬結果。
  2. This paper studies the variable - voltage energy saving theory and its implementation for asynchronous motor with light load, compares several kinds of scheme of improving efficiency in detail and confirms the variable - voltage energy saving method, that is adjusting the input voltage by detecting the iron loss and copper loss of motor directly. in addition, the directness *, simpleness and availability of the method are verified by the emulational experimental results with simulink of the matlab. the circuit of the general inverter based on the tms320f240 dsp was used in this paper, and the practicable program was compiled

    本文分析了異步電動機輕載時降壓節能運行的原理，對幾種提高效率的方案進行了比較，確定了通過直接檢測電動機鐵損和銅損來實時調節輸入電壓以達到高效節能目的的控制方法，應用matlab軟體對系統進行模擬，在基於tms320f240dsp的通用型變頻器上編制了實用化的程序，形成了完整的樣機，對其進行了測試，並給出了試驗結果。
  3. During the modeling of technological designing, sas release6. 12 statistic analysis software are applied on correlation and stepwise regression for cocoon - cooking parameters and material data of past years. the significance test and f test are used to analyze the result. we constituted the primary model of cocoon - cooking technique

    工藝設計建模過程中，利用sasrelease6 . 12統計分析軟體對歷年的煮繭參數和原料繭數據進行相關分析和逐步回歸分析，對分析結果進行了顯著性檢驗和f測驗，建立了煮繭工藝的初步模型，並結合一些制約因素進一步修正，以期達到最合理地利用原料、設備和人力，並可通過優化設計獲得工藝設計的最佳參數組合，得到最優工藝模型。
  4. Based on the analysis of pressure transient change within the oil transfer pipeline, a real time pressure model of oil pipeline is set up. software and hardware of the diagnosing system for leak detection & location were developed and the indoor experiment as well as site test was performed

    本文對輸油管道壓力瞬變過程進行了分析，建立了管道壓力實時模型，研製出輸油管道的泄漏故障實時診斷系統的軟、硬體，完成輸油管道泄漏檢測及定位的室內試驗和現場試驗。
  5. As the requirements of its function, a bus control interface board has already been designed. also the paper have provided the scenarios demonstration for the bus control interface board ( bcib ), the design for the protocol of communication, the hardware for bcib, the software for bcib, and the software for the processor ' s communication. while the analysis for the capability of real - time and the calibration and test for subsystem have been also finished. during the design, the system advanced ability, reliability, resources availability and the cost - efficency ratio are considered. the issus such as system integrated control, mutual exclusion of the shared storages, generation of handshaking signal and system self - test were resolved

    本論文主要對航空自衛系統的綜合化方式進行了深入研究，並按其功能等方面要求，對航空自衛系統綜合化總線通信模塊進行了設計，主要完成了總線通信模塊方案論證、通訊協議設計、總線通信模塊硬體設計、總線通信模塊（ bcib ）軟體設計、處理機通信軟體設計、實時性分析、系統調試、試驗等項工作，在設計過程中，綜合考慮了系統先進性、資源利用率、費效比及可靠性等因素；重點解決了系統綜合控制方式、共享存儲器互斥、握手信號產生及系統自檢測等問題。
  6. Based on the analysis about the test requirements and the saturated magnetization of the armor plate, the excitation magnetic circuit satisfying the testing condition and a validation system are designed. because the geometric, of the magnetic leakage at the direction of the normal of the roundness fault has the feature of two peaks : a positive and a negative, using the linear regression and the software matlab, two regression equation are proposed : one is about the peak value of the magnetic leakage and the diameter and depth of the roundness fault ; the other is the distance between the two peaks and the diameter of the roundness fault. the result of the validation system proves that the two equations are valid, and an applied method using for quantificationally inspecting the roundness faults is proposed according to the two equations

    根據實驗要求，通過對鋼板達到飽和磁化的必要性進行的分析，設計了符合試驗條件的勵磁磁路，並設計了一套實驗驗證系統；根據圓形缺陷法線分量漏磁場幾何圖形正負雙峰值的特點，採用線性回歸擬合的原理和matlab軟體及其統計工具箱中的相關函數，給出了圓形缺陷漏磁場幾何圖形的峰峰值與圓形缺陷的直徑和深度以及峰峰值間距與圓形缺陷直徑的兩個回歸擬合方程，並通過實驗驗證系統驗證了擬合方程的正確性，利用這兩個簡單實用的擬合方程，提出了一種工程定量檢測圓形缺陷的應用方案。
  7. " misalignment error ", which is caused by misalignment during null test adjustment, together with fabrication errors is shown in test results, and it is important to separate these two errors so that the test results can be used in ccos process. asic software is developed for eliminating nonlinear error and separating misalignment error, and a high accuracy, suitable format data file is generated by asic for further analysis for ccos process

    在非球面測量技術方面，主要針對零位補償檢驗過程中測量坐標的「非線性誤差」的形成原因及其補償演算法由光學調整量引起的測量誤差以及調整量誤差的擬和方法等問題進行了討論，並編制了相應的干涉檢驗數據處理軟體asic ，干涉檢驗結果經分析、處理后能夠滿足ccos的技術要求並指導加工。
  8. Although the software specification described using natural language is easy to write and understand, its validity, integrality, non - ambiguity, consistency are hard to guarantee. the process of verification can only be done by manpower which is not normative and not rigorous. and the complexity of a lot of software has made it impossible to check the specifications artificially

    需求規格說明是需求分析階段的產品，我們通常採用的是未使用任何限制非形式化的自然語言進行描述，這種自然語言書寫的需求說明，雖然易於理解和使用，但難以保證其正確性、完整性、無二義性、一致性，驗證過程只能採用不太規范、不太嚴格的人工走查的方法進行檢查，稍微復雜一些軟體的需求規格說明的檢查，實際上已經超出了人工檢查的能力。
  9. In order to efficiently improve the stability of the apparatus, a dual - optical detection circuit was adopted. to eliminate the multiple scattering effects on transmittance measurements, the range of the transmittance was limited to 70 - 100 % by adjusting the width of the light flow cell and changing the intensity of the incident light through regulating the load voltage of the laser light source. moreover, the data acquisition software was programmed in microsoft visual bas

    通過調節激光光源負載電壓改變光強度及調摘要整檢測池的寬度，消除了多重散射對透光率的影響，將透光率的變化范圍控制在滿足beer1a毗ert定律的范圍內工將溫度、溶液密度和透光率信號經模數轉換，並用microsoftvisualbasic語言編寫的數據採集軟體，實現了實驗過程中各被測量的自動連續採集。
  10. A sample is given to illuminate design procedure, and to enhance shcan2000 system. new control methods are also suggested here. first, a new pid pressure step control method so - called " zero op oversighf ' which is highly accurate and low cost ; second, logical control method for producing procedure ; third, large control network for monitoring and management. all the methods have been tested to be pratically useful, stable and efficient

    在設計高效催化劑生產工控軟體的過程中，提出了工業控制過程的新思路、新方法：新型「 op過零監視」 pid分程調節技術、間歇生產過程的邏輯控制方法以及大型工控軟體聯網監控技術，這些技術經過生產實踐檢驗證實方法先進，實用。
  11. In this paper, a image processing method has been presented, with this method mean temperature of testing object can be arrived at from infrared picture and the interior temperature gradient of the test pieces in the situation of transient heat transfer can be got. unsteady - state heat transfer mechanism of wall has also been studied in this paper. on the basis of theoretical analysis and experimental study we can get such conclusions : infrared testing of energy conservation of buildings is rapider and more accurate than heat - flow meter method which is popular at present ; heat transfer mechanism in the situation of unsteady - state heat transfer has been analyzed through experiment ; the interior layers ’ temperature of the test pieces ascent in company with

    本文在理論分析和試驗研究的基礎上得出以下結論:本文研究的紅外檢測建築節能的方法比目前存在的熱流計法更快速、更準確;用試驗分析了墻體在非穩態傳熱情況下的傳熱機理;試件各層溫度隨著受熱面環境溫度的上升而上升，只是上升的程度不同，響應時間不同，這是由於試件內部有一個蓄熱過程;通過傳熱理論和建築熱工計算推導出了非穩態傳熱情況下的傳熱系數的計算公式;本文用matlab進行紅外圖片的處理，進而得到被測物的平均溫度;用數據處理軟體擬合溫度熱流。
  12. And the whole network communication procedures are checked by sniffer, a 3rd part network data catching software

    並應用第三方抓包軟體sniffer檢驗了整個系統的網路通信過程。
  13. This paper summarized the main problems among the production " inspection processing, then it pointed out the importance and necessaries of exploiting this system. by the description of cims / mis and the importance of caq system, it provided the new solution about the management of inspection information comparing with the four methods of software exploiting, it finally confirmed the exploiting method and the steps for this system

    本文總結了西飛公司產品檢驗過程中存在的主要問題后，指出了開發本系統的重要性和必要性。通過對cims mis信息技術和caq系統的重要性論述，提出了產品檢驗信息管理的新思路。通過對四種常用軟體開發方法的分析比較，最終確立了本系統的開發方法與步驟。
  14. In view of requires of precision agriculture and specialties of farmers, it tentatively use visual c + + to devise a software without gis platform. the software is developed to process the fused data and use grid graph to express field information. in the software, users can transmit the fused data to computer via serial communication between gps receiver and computer, and users can choose longitude latitude and attribute information from the fused data, and store these data in a data file

    在本論文中，通過對國內外獲取、表達基礎農田信息的研究現狀的分析，基於gps接收機獲取的定位信息與常規檢測儀表信息的融合，提出了gps接收機與常規檢測儀表結合，快速實時地獲取農田空間位置信息和屬性信息的方法；針對精細農業實踐的需要和農村用戶的特點，試驗研究脫離gis平臺以圖形的形式表達農田信息，應用visualc + +編程語言從底層開發具有gis功能的應用軟體。
  15. The system adopts redundancy technique and error proof measure : communicating process uses a self - adapting protocol and crc ; master computer software can avoid human - initiated - failure, check data border, limit authority, backup system data and start backup computer by software etc. to some extent, these ways help to increase the reliability of the system

    系統採用了冗于技術和容錯措施：通信過程採用自適應協議和crc校驗；主站計算機軟體能夠避免人為失誤，檢查數據范圍，限制權限，備份系統數據等。
  16. The paper puts forward a kind of economical numerical control milling machine system which is supported by windows and industry pc that are acted as software and hardware platform on the base of analyzing the present development of economical numerical control system and some existent problem, and expatiates the system software ' s collectivity frame, also introduces detailedly form and operational way of the user ' s interface. besides, the thesis also frames and accomplishes each module such as syntax inspect module, translation module, tool compensation module and track interpolation module adopting visual c + + 6. 0 and the kind of facing object and modularized program design method by analyzing rationales and function of the software ' s modules, moreover presents the programmer ' s flow chart and parts of source code, whereafter validates arithmetic of translation and tool compensation by simulating process testing program

    本文在分析了我國經濟型數控系統的發展現狀以及目前存在的一些問題的基礎上，提出了一種以windows和工業pc機作為軟、硬體平臺的經濟型數控銑床系統，闡述了該系統軟體的總體結構，並對其用戶界面的組成及其操作過程做了較為詳細的介紹，分析了軟體的各個模塊的基本原理和功能，採用visualc + + 6 . 0以及面向對象、模塊化的程序設計方法，完成了語法檢查模塊、譯碼模塊、刀具補償模塊以及軌跡插補模塊的具體設計，並給出了程序設計流程圖和部分源代碼，通過系統的模擬程序模擬加工過程驗證了譯碼和刀補演算法的正確性。
  17. The method of this paper using the theory of foreign company value assessment models and methods, and give suggestions of the principal of real estate enterprises value assessment. this paper try to establish an index system, this system combined condition assessment, course assessment and achievement assessment, this system has the characteristic of quantity and quality assessment, and adopts group layer analysis method to set index portion. this paper adopts relative analysis to verification the independent of each index, and through proof - test to verify the result credibility and efficiency to guarantee the assessment objectivity and veracity

    本文從公司價值評價的基本理論入手，在詳細分析房地產上市公司價值特點的基礎上，借鑒國內外先進的公司價值評價模型和方法，提出了房地產上市公司價值評價的原則；建立了一套將條件評價、過程評價和成果評價相結合，定量評價和定性評價相結合的指標體系；採用群組層次分析法確定了指標權重；通過相關分析檢驗了各指標間的獨立性，對評價結果進行信度和效度檢驗以保證評價的客觀性和準確性；基於以上研究成果，進行了房地產上市公司價值評價體系的軟體開發的系統設計。
  18. This research finally returnees with the foundation of this frame prototype, then according to the leading of the development method of object frame, and practicing the educational administration management system " s development of the central south forestry university to fulfillment, and be used as to examination that patterns, pattern language and application program frame with verify, from target for find outing among them not perfectly, inaccuracy with not complete place, with conduct and actions next move studying with direction

    本研究最後還以此框架原型為基礎，以基於面向對象框架的軟體開發方法為指導，通過一套中南林學院教務管理系統的開發為實踐，作為對該模式、模式語言及應用程序框架的檢測和驗證，從面找出其中不完善，不正確和不完整的地方，以作為下一步研究的目標和方向。
  19. 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源程序進行可測試性檢測並得出量化結果數據，驗證了該模型的有效性。
  20. The calculation method of the uncertainty of the examination by error theory is introduced. the semi - automatic method to examine the digital meter by vb technique and the problems existed in the process are discussed. the program flow diagram and part of program are given

    使其具有測試、數據處理、數據存貯、證書列印、查詢文檔等功能；介紹了檢測軟體主要設計過程；利用誤差理論分析了誤差，詳細介紹了不確定度的計算方法；介紹了利用visualbasic軟體技術對數字表進行半自動校驗的實現方法及所應注意的問題，給出了程序校驗流程圖及部分程序。
分享友人
分享到 Line

分享到臉書