實用驗證系統 的英文怎麼說

中文拼音 [shíyòngyànzhèngtǒng]
實用驗證系統 英文
practical verification system
  • : Ⅰ形容詞1 (內部完全填滿 沒有空隙) solid 2 (真實; 實在) true; real; honest Ⅱ名詞1 (實際; 事實...
  • : Ⅰ動詞1 (使用) use; employ; apply 2 (多用於否定: 需要) need 3 (敬辭: 吃; 喝) eat; drink Ⅱ名...
  • : 動詞1. (察看; 查考) examine; check; test 2. (產生預期的效果) prove effective; produce the expected result
  • : Ⅰ動詞(證明) prove; verify; demonstrate Ⅱ名詞1 (證據) evidence; proof; testimony; witness 2 (...
  • : 系動詞(打結; 扣) tie; fasten; do up; button up
  • : Ⅰ名詞1 (事物間連續的關系) interconnected system 2 (衣服等的筒狀部分) any tube shaped part of ...
  • 驗證 : test and verify; checking; proving; testing; confirmation; [數學] corroboration; inspection; veri...
  • 系統 : 1. (按一定關系組成的同類事物) system 2. (有條理的;有系統的) systematic
  1. ( 3 ) according to the characteristics of the selected objects, the selecting processes and the practical problems in the process of establishing a scm - oriented ave, a three - stage plan and evaluation architecture of partner enterprise selection are presented and a multi - objective optimization model for selecting partner enterprises in aves are given. by means of the methods of integer planning, benchmarking, analytic hierarchy process ( ahp ) and so on, the fuzzy values of critical decision - making factors ( such as

    通過際應,該erp具有?一致的信息編碼、較好的開放性、集成性、外延性,併兼顧了自動與人工、通化與行業化兩方面,使具有較高的柔性和較強的性,可輔助企業現科學、可靠的產品報價和即時生產it卜該erp既不失mnyll的性和嚴密性,又保持了ji
  2. During the development of real - time application software systems for space - flight engineering, various model tests of missiles weapons, and dynamic model tests of cruise missiles, software testing has been a significant problem of quality control that remains to be solved

    在航天工程、導彈武器多種型號試任務的各項計算機時應軟體的研製過程中,軟體測試問題是保各大軟體質量所面臨的亟待解決的問題。
  3. 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模擬,並給出了模擬結果。
  4. During its realization, the system needs to establish a general isomerous distributed platform, which founded on objectified distributed middleware, java - ejb mode, for realizing the oo prototype system. the system offered the description of objects " inheriting relationship and leading one. the modules " being put into use validated the methods brought in this thesis

    對象化分佈中間件java - ejb模式建立了通的異構分佈平臺,現了面向對象的原型;給出了中對象的繼承和引描述;並通過多個模塊的投入使了本文所提出方法的有效性。
  5. Disigning coolant channel on the firebox of liquid rocket engine to loxodrome ( equal - angle helix ) groove can improve firebox coolant capability greatly. because the width dimension of loxodrome groove is narrow and the depth is deep, some machining methods are incapable, such as end - milling or electrochemistry. according to the peculiarities, a cnc disk - cutter - milling method which is composed of five motion axes with four simultaneously interpolated ones is researched. because most firebox generatrix is composed of complex curves, it is very difficult to get cnc cutting program with manual means. in order to deal with the problem, the loxodrome mathematics model is studied, and an auto - programming software system is developed. the software system can generate cnc cutting program of loxodrome on many kinds of turned surface. the constriction - distension segment of firebox is the most representative workpiece. the sharp changing of its generatrix slope makes loxodrome milling difficult. with the theory analyzing and practice cutting experiment, some applied techniques, which include milling mode and direction, choosing cutter diameter and cutting start point setting, are developed. adopting the technology above, tens regular workpiece have been manufacturing. the two - year manufacture practice has confirmed the validity and feasibility of developed loxodrome coolant channel milling method. the developed technology is also worth to be referenced to other similar workpiece

    將液體火箭發動機燃燒室的冷卻通道設計為斜航線(等傾角螺旋線)槽形,可以大幅度改善燃燒室的冷卻性能.斜航線冷卻槽的槽寬尺寸較小而槽深尺寸較大,所以無法使棒銑刀銑削、電化學等加工方式.針對這些特點,提出了五軸控制、四軸聯動的數控片銑刀銑削加工方法.由於燃燒室外表面的母線輪廓復雜,手工編制數控加工程序難度大.為了解決數控加工程序的編制問題,研究了斜航線的數學模型,開發了自動編程軟體.使,可以生成多種母線輪廓回轉體外表面上的斜航線數控加工程序.燃燒室收斂-擴張段的母線斜率變化大,加工難度大,是斜航線冷卻通道加工的最典型工件.經過理論分析和際切削,研究了針對該類型工件的片銑刀直徑選擇、銑削方式和方向、刀具調整和起刀點的設置等多項際的加工方案.採上述的一列技術,已經成功地加工了數十個合格工件.經過兩年多的際生產過程應了所開發的斜航線冷卻通道加工方法的正確性和可行性.這些加工技術的研製成功,對其他相似類型零件的加工亦具有參考意義
  6. In addition, it puts forward a nested temporal db, which, with stronger expressive ability than others, is a breakthrough to entity - relationship model and is referred to as nter model. it also verifies the expressive ability of nter when it is applied to sidss. finally, in view of the features of sidss and the current status of salary distribution system, it conducts initial study of the sidss based on temporal - spatial relationship and the sidss with a temporally - driven knowledge database, with the aim for us to develop a consummate sidss system in the future

    本文中,介紹了時態數據庫的基本概念、發展、特點和分類;結合sidss的背景、特色及體結構,詳細討論了sidss的時態性及其數學模型,指出將時態數據庫應到sidss並作進一步的研究是必然趨勢,並在此基礎上研究了時態數據庫的模型;在探討了幾種模型之後,打破體-關類的模型的框框,提出了一個表達能力較強的嵌套時態數據模型,稱之為nter模型( nestedtemporalentity - relationshipmodel ) ,並將其應到sidss中的表達能力;最後針對sidss的特點以及目前工資管理的狀況,進一步對基於時空關的sidss、由時態驅動知識庫的sidss進行初步探討,以期今後對開發更完善的引) ss作進一步的研究。
  7. In the design, we make use of two eda tools max + plus ii and protel99. because of the using of complex programmable logical device ( cpld ), we can keep untuched the original hard circuit in design and realization of counting card, so it inherited the advantage of its predecessor. in order to quantitatively analyze the performance of data acquisition system with fifo cache, we introduced the queueing theory to build mathematic model to test its quality

    在設計中藉助了max + plusii和protel99兩個eda設計軟體。由於採了復雜可編程邏輯器件cpld ,使得在計數卡的設計和現中不更改原硬體電路,對原設計的優點有很好的繼承。在改進性能時,引入排隊論建立了數學模型對的工作性能進行定量分析,明其達到了設計要求。
  8. 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軟體及其計工具箱中的相關函數,給出了圓形缺陷漏磁場幾何圖形的峰峰值與圓形缺陷的直徑和深度以及峰峰值間距與圓形缺陷直徑的兩個回歸擬合方程,並通過了擬合方程的正確性,利這兩個簡單的擬合方程,提出了一種工程定量檢測圓形缺陷的應方案。
  9. Finally, as a example, the author demostrates the design process of a hydraulic tunnel by using the cad software autosd. the program displayed approving outcome, automatically exporting drawings and reports

    最後,作者應一個隧洞設計的例對autosd進行了自動繪制出設計圖紙和簡要報告,取得了滿意的結果。
  10. Then, with considering the technical problem that existed in the applying process of the frequency modulation inductance sensor, the integration of the data acquisition circuitry and interface circuitry of this kind of sensor have been studied and the circuitry system with better performance using pld has been developed. at the end of this thesis, the measuring software and some experiments that tests the whole system are introduced

    然後,針對調頻式電感傳感器在過去使中遇到的技術難題,對該類傳感器數據採集及微機介面電路進行了集成化研究,採可編程邏輯器件技術設計出了高性能的儀器數據採集及控制的硬體電路,最後編制了測量軟體且進行了一性能的測量
  11. A research is done for studying the reusable design principles of bus function model ( bfm ) and bus monitor for reusability. the functional verification framework is proposed in this dissertation can be apply in soc system level, rtl level and gate level verification. we accumulated experiences to soc functional verification

    討論了功能平臺中總線功能模型( busfunctionmodel , bfm )和總線監視器( busmonitor )的設計方法,給出了可重設計的規則;本論文建立的soc功能結構,可以應於較大規模的soc的級、寄存器傳輸級和門級的中,通過本課題研究,為國內soc功能積累經,為國家超大集成電路的發展奠定一個堅的基礎。
  12. First, system must gain the picture files from the video dada, and for checking out meters " quality this special function by using mathematics morphologic to preprocess the picture and hough translation to get alert variable to achieve the image monitor. we tried two methods to achieve the function and choose the best one to practice used in the system

    本文首先從視頻數據中解析出圖像;運數學形態學對圖像進行預處理以及hough變換獲取告警變量,嘗試了兩種告警演算法並選擇使最好的一種;研究了動態視頻數據的時處理;drictx做可行性模擬試可靠性。
  13. The design and realization of the software & hardware communication system, which includes the pci interface circuit, sce - mi protocol and lvds transmission system. the simulation system is the core for whole system, we adopt standard bus interface mode and multiple state machine co - design. additionally, the control instructions for encode & decode state machine are discussed in detail

    軟硬體通信包括pci介面轉接電路, sce - mi協議的設計現和lvds傳輸;是整個設計的核心,採了多狀態機協同設計和標準總線介面模型的設計思想,重點闡述了主控指令編碼/解碼狀態機的設計。
  14. The main work of this thesis includes : system level design and implementta - tion of an underwater multiple targets tracking ( umtt ) system, use of the embedded dgps receiver in buoy, migration of wireless communication system on ocean, and performance verification by experiments

    本論文的主要工作包括水下多目標跟蹤的總體設計研究與現,浮標中嵌入式dgps接收機的使和海上無線通信的搭建,最後通過的工作性能。
  15. Finaly, we provide a proposal of constructing foundation class libration of c + + according to semantic of capsule and protocol, as well as the method to construct the domain class derived from the foundation class. it enable us to construct a formal model for real - time system concurrency which is the foundation of generation of code and also to validate system by formal analyse method

    從而使得我們能夠利這些元素在模型層建立關於一個具體的的並發性的形式化的uml模型,並可以利形式化的方法來分析和的正確性,同時也對運行代碼的自動生產奠定了基礎。
  16. The configure file is downloaded into the fpga chip according to the fpga design fl ow. also a test system is set up, and the work status of the system is controlled by single chip to download the data of initial registers and control registesr. and the logical analyzer is used to sampling the output signals

    使xillinx的fpgaxc2550pq208 ,經過fpga的現流程,把配置文件配置到xczs5opqzos ,搭建了一個,通過單片機來對各控制寄存器寫入控制字來控制的工作狀態,邏輯分析儀採集輸出的信號。
  17. It helps to know the status of program running and program communication. it gives intuitive references to find out performance bottlenecks and advices to optimize programs. to validate the applicability and validity of the system, the parallel program performance of combustion processes of liquid rocket engine is monitored and analyzed by using the analysis system

    為了性和有效性,運該分析在機群上對液體火箭燃燒過程模擬程序進行了監測與性能分析,預測了程序的執行和通信時間,定位了該程序的性能瓶頸,給出了優化建議。
  18. A new cooperation model, dreascom ( dynamic real - time strong cooperation model ), is proposed. two key technologies of cooperation model - group awareness and cooperation control, are studied, and specific mechanisms for group awareness and cooperation control in dreascom, dhga and dhcc, are also proposed. as a result, a prototype of the dynamic real - time strong cooperation system is developed to verify the cooperation model dreascom and related mechanisms

    文中首先分析了協同作戰指揮控制中的復雜性、動態性、時性等特性,據此把它抽象為一種復雜的動態時強協同協作模型dreascom ;研究了其中的群體感知和協作控制兩項關鍵技術,提出了適合於協同作戰指揮應特性的動態層次式群體感知機制dhga和動態層次式協作控制機制dhcc ;在此基礎上設計了新一代作戰指揮控制平臺原型;最後開發了一個簡單的原型,對本文所構造的協作模型以及相應機制進行了功能
  19. Comparison between designing by the system and manual work proves the feasibility of the silt - arrester designing system

    並應縣南溝例進行此研發與人工規劃設計結果進行對比分析的可行性。
  20. At first, the author has analyzed the theory, mechanism and shock - absorption in pre - split blasting, studied the rising of crack, expanding and stopping, and did various factors which influence on the crack of rock in pre - split blasting. the main factors have been determined to be the strength of mineral and rock, the diameter of drill, the type of explosive and the growth degree of crack. then, the author has researched bp neural networks " work principle, structure and defectiveness

    首先分析了巖石成縫的理論、機理和減震作,研究了裂紋的起裂、擴展和止裂;分析了各種因素對巖石預裂爆破成縫的影響,確定了礦巖強度、孔徑、炸藥類型和裂隙發育程度作為主要影響因素;並研究了bp神經網路工作原理、結構和缺陷,把改進的bp神經網路運在巖石預裂爆破參數設計中,建立以礦巖強度、孔徑、炸藥類型和裂隙發育程度為主要影響指標的bp神經網路的預裂爆破參數設計識別模型;運matlab6 . 5語言開發了爆破參數設計的智能現了預裂爆破參數設計的自動化,工程模塊的功能。
分享友人