實用驗證系統 的英文怎麼說
中文拼音 [shíyòngyànzhèngxìtǒ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
-
( 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的系統性和嚴密性,又保持了jiDuring 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
在航天工程、導彈武器多種型號試驗任務的各項計算機實時應用軟體系統的研製過程中,軟體測試問題是保證各大系統軟體質量所面臨的亟待解決的問題。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模擬,並給出了模擬結果。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模式建立了通用的異構分佈平臺,實現了面向對象的原型系統;給出了系統中對象的繼承和引用關系描述;並通過多個模塊的投入使用驗證了本文所提出方法的有效性。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
將液體火箭發動機燃燒室的冷卻通道設計為斜航線(等傾角螺旋線)槽形,可以大幅度改善燃燒室的冷卻性能.斜航線冷卻槽的槽寬尺寸較小而槽深尺寸較大,所以無法使用棒銑刀銑削、電化學等加工方式.針對這些特點,提出了五軸控制、四軸聯動的數控片銑刀銑削加工方法.由於燃燒室外表面的母線輪廓復雜,手工編制數控加工程序難度大.為了解決數控加工程序的編制問題,研究了斜航線的數學模型,開發了自動編程軟體系統.使用該系統,可以生成多種母線輪廓回轉體外表面上的斜航線數控加工程序.燃燒室收斂-擴張段的母線斜率變化大,加工難度大,是斜航線冷卻通道加工的最典型工件.經過理論分析和實際切削實驗,研究了針對該類型工件的片銑刀直徑選擇、銑削方式和方向、刀具調整和起刀點的設置等多項實際的加工方案.採用上述的一系列技術,已經成功地加工了數十個合格工件.經過兩年多的實際生產過程應用,驗證了所開發的斜航線冷卻通道加工方法的正確性和可行性.這些加工技術的研製成功,對其他相似類型零件的加工亦具有參考意義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系統作進一步的研究。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 ,使得在計數卡的設計和實現中不用更改原硬體電路,對原設計的優點有很好的繼承。在驗證系統改進性能時,引入排隊論建立了數學模型對系統的工作性能進行定量分析,證明其達到了設計要求。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軟體及其統計工具箱中的相關函數,給出了圓形缺陷漏磁場幾何圖形的峰峰值與圓形缺陷的直徑和深度以及峰峰值間距與圓形缺陷直徑的兩個回歸擬合方程,並通過實驗驗證系統驗證了擬合方程的正確性,利用這兩個簡單實用的擬合方程,提出了一種工程定量檢測圓形缺陷的應用方案。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系統進行了驗證,系統自動繪制出設計圖紙和簡要報告,取得了滿意的結果。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
然後,針對調頻式電感傳感器在過去使用中遇到的技術難題,對該類傳感器數據採集及微機介面電路進行了集成化研究,採用可編程邏輯器件技術設計出了高性能的儀器數據採集及控制系統的硬體電路系統,最後編制了測量軟體且進行了一系列驗證系統性能的測量實驗。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功能驗證積累經驗,為國家超大集成電路的發展奠定一個堅實的基礎。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做可行性模擬試驗,驗證系統可靠性。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傳輸系統;驗證系統是整個系統設計的核心,採用了多狀態機協同設計和標準總線介面模型的設計思想,重點闡述了主控指令編碼/解碼狀態機的設計。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接收機的使用和海上無線通信系統的搭建,最後通過實驗驗證系統的工作性能。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模型,並可以利用形式化的方法來分析和驗證系統的正確性,同時也對系統運行代碼的自動生產奠定了基礎。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 ,搭建了一個驗證系統,通過單片機來對各控制寄存器寫入控制字來控制系統的工作狀態,用邏輯分析儀採集輸出的信號。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
為了驗證系統的實用性和有效性,運用該分析系統在機群上對液體火箭燃燒過程模擬程序進行了監測與性能分析,預測了程序的執行和通信時間,定位了該程序的性能瓶頸,給出了優化建議。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 ;在此基礎上設計了新一代作戰指揮控制系統平臺原型;最後開發了一個簡單的原型驗證系統,對本文所構造的協作模型以及相應機制進行了功能驗證。Comparison between designing by the system and manual work proves the feasibility of the silt - arrester designing system
並應用縣南溝實例進行此研發系統與人工規劃設計結果進行對比分析驗證系統的可行性。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語言開發了爆破參數設計的智能系統,實現了預裂爆破參數設計的自動化,用工程實例驗證系統模塊的功能。分享友人