系統驗證組 的英文怎麼說

中文拼音 [xìtǒngyànzhèngzǔ]
系統驗證組 英文
suite system verification
  • 系 : 系動詞（打結; 扣） tie; fasten; do up; button up
  • 統 : Ⅰ名詞1 （事物間連續的關系） interconnected system 2 （衣服等的筒狀部分） any tube shaped part of ...
  • 驗 : 動詞1. （察看; 查考） examine; check; test 2. （產生預期的效果） prove effective; produce the expected result
  • 證 : Ⅰ動詞（證明） prove; verify; demonstrate Ⅱ名詞1 （證據） evidence; proof; testimony; witness 2 （...
  • 組 : Ⅰ名詞1 （由不多的人員組成的單位） group 2 （姓氏） a surname Ⅱ動詞（組織） organize; form Ⅲ量詞（...
  • 系統 : 1. （按一定關系組成的同類事物） system 2. （有條理的;有系統的） systematic
  • 驗證 : test and verify; checking; proving; testing; confirmation; [數學] corroboration; inspection; veri...
  1. On the basis of realizing the fire - control real - time simulation system in the antiaircraft artillery weapon system, this paper designs and constructs the distributed weapon system numerical simulation platform based on ethernet, which uses the simulation technique, network communication technique and virtual reality technique. the platform is used for researching and realizing the antiaircraft artillery training simulator. also, it can be integrated with the actual equipment to construct semi - physical simulation system to make the theoretical validating experiment

    本文以實現高炮武器訓練系統中的火控系統的實時模擬為基礎，運用模擬技術、網路通信技術、虛擬現實技術，設計並構建了一個基於以太網的分散式自行高炮武器模擬訓練系統通用數字模擬平臺，既可用於模擬訓練系統的研究和實現，還可和實際裝備集成以組成半物理的模擬系統，進行實際系統的原理性驗證實驗。
  2. It was suggested that eric - pcr could substitute for rapd in research related to the genetic identification and genetic diversity in auricularia and other edible and medicinal fungi : 2 to a certain extent, genetic differences among auricularia strains tested in this study did not have necessary relativity with their geographical origins respectively ; 3 in this study, genetic diversity in a. polytricha was higher than that in a. auricula : 4 in this study, a. fuscosuccinea had a higher homology to a. auricula than to a. polytricha ; 5 morphological characteristics validated the results from eric - pcr and provided a potential explanation for the higher similarity coefficient between a. auricular and a. fuscosuccinea ; 6 southern hybridization was employed by choosing a strain from a. auricula as a probe which hybridized with a. auricula and a. fuscosuccinea except a. polytricha, further confirming the veracity of the results from eric - pcr ; 7 in this study, isozyme analysis could not cluster the 7 strains from three auricularia species to different groups efficiently ; 8 2 strains from two auricularia species revealed high conservative degree and the restriction fragment patterns by 4 kinds of restricted enzymes showed no diversity

    本研究中，木耳屬2個種的2個菌株在its區域表現出較高的保守性， 4種限制型內切酶的酶切圖譜沒有顯示出多態性；增加內切酶種類及供試菌株數量，有可能獲得具有多態性的限制性內切酶酶切圖譜； 9本實驗中， its區域的真菌特異性引物與真核生物通用引物對于擴增效果無較大差異，擴增片段長度均為650bp左右； 10根據形態學實驗、 eric - pcr實驗以及southern雜交實驗的結果分析，紫木木耳屬種質資源的遺傳鑒定和遺傳多樣性評價耳極有可能是毛木耳種的一個變種; n .本研究中所用的gutc法是一種適用於木耳屬菌株基因組洲a快速提取的方法; 12 .傳統的形態學分類法和現代的分子生物學分類法，兩者的關系是相輔相成，互為驗證
  3. This paper deriving the theory work inflection point in the static stage characteristics curve of small measurement range linear dimension measurement. by the way of high pressure and back pressure pneumatic measure and designed the parameter of the mainly and measure spray head, which are the key component in the spray head - baffle pneumatic sensor. the different groups for the main - spray head and the measure spray head, will effect the dynamic and static stage characteristic parameter. the author have done contrast experiment and optimization design to test and verify the theory derivation whereby made the rang of show valve of pneumatic measure system measure range up to 40 u m, the sensitivity up to 100mv / u m, resolution up to 0. 05 p m, the uncertainly of measure is less than 0. o2 u m, satisfaction of requirement of groups the carboy hatch thickness size precise measure of soft shims

    對高壓背壓式氣動測量用於小量程線性尺寸測量的靜態特性曲線的理論工作拐點進行了推導，對氣動測量系統中的噴嘴-擋板型氣動傳感器中的關鍵部件? ?主噴嘴和測量噴嘴的參數進行了理論設計，對主噴嘴和測量噴嘴的不同組合，將影響測量系統靜、動態特性指標的噴嘴參數進行了對比實驗和優化設計，並通過實驗驗證了理論推導，從而使氣動測量系統量程的示值范圍達到40 m ，靈敏度達到100mv m ，解析度達到0 . 05 m ，測量不確定度小於0 . 2 m ，滿足了壓縮機缸蓋軟體墊片厚度尺寸精密測量分組的要求。
  4. First this paper describes the composing and technics of drillers ; then the composing of control system based on s7 - 300plc is described ; then thinking of such characteristics of oil driller as complexity and long delay, this paper brings forward the control strategy of combining the fuzzy control with smith estimate control algorithm, and sets down the way of auto - driller based on discal hydraulic pressure brake. at last the experiment based on matlab by computer shows that the effect of this control mode is very good and all performance are famous

    首先本文闡述了鉆機的組成與工藝特點，然後描述了基於西門子s7 - 300plc的控制系統組成，然後針對傳統鉆機自動送鉆控制策略落後的缺陷，同時考慮到鉆機的復雜性、大滯后等特點，提出了模糊控制演算法與施密斯（ smith ）預估控制演算法相結合的控制策略，給出了基於液壓盤式剎車的自動送鉆智能控制策略， matlab的模擬實驗證明該控制方式控制效果良好，各方面性能指標都達到理想要求。
  5. The second passage of the article is the essential section, composed with macrocosm design, organization implement and feedback collection, designing and outlining the systemic model of certificate of leadership qualification, the whole assessment system pays attention not only to the macrocosm structure, proper and scientific frame, extensive applicability, but also to concrete steps, exiguous and intuitionistic programming, simple and convenient operation. the macrocosm design exerts modern examination theory and systemic project method to describe thoroughly the basic principles, applicable range, certificate categories, the setting of organization system, assessment target of leadership qualification, the choice of content and technology ; organization implement gives exiguous and concrete designs on the period of qualification examination, choosing time, confirmation of the certificate scale and qualification censor, written examination, interview, pub

    總體設計中運用現代考試理論和系統工程的方法，適應形勢，結合實際，對認證制的基本原則、適用范圍（正副廳、正副處、正副科等三等六級） 、認證的分類、組織體系的設置、任職資格認證評價目標、內容和技術的選擇進行了宏觀全面地闡述;組織實施中對任職資格考試周期、時間的選擇、認證規模的確定以及資格審查、筆試、面試、考察、公示的操作等進行了微觀具體地設計;反饋迴流中對認證工作的檢驗和評估、任職資格的跟蹤動態管理和認證制保障機制的建立進行了詳細說明。
  6. In recent years, the water - saving and control irrigation technique of rice has diverted from plot experimental and demonstration to lare scale. and has got remarkable economic and social benefits. amed at the characteristics of this irrigation area, optimal selection for water - saving techniques of rice, deciding the amout of leaching water and irrigation modles, investigating the adaptability of the water - saving and control irrigation technique in saline land. studying the increase in production mechanism of the technique are important to extend the technique, to better and develop saline land as well as slick spots. according to the results of field experiments, optimization study was conducted on the water - saving irrigation technique of rice in saline land, the effects of different water - saving irrigation techniques on the physiological indexes and yield of rice were systematically analyzed. by using mutiplepurpose fuzzy optimization method, better. water - saving irrigation technique was selector out, that is. the control irrigation technique in rice. the mechanism of it was analyzed from the aspect of the physiological and ecological saving water of rice to provide the implemental process and technical point ; throgh the quantitive analysis and comparision on control irrigation and control class ( flood irrigation ), high production and quality mechanism of the technique was analyzed in terms of physiology indexes of rice, the variation of soil moisture, the pest resistance and the lodge resistance, the change of soil temperature in paddy fields. the yield constitutive factors, the quality of rice and so on. in saline land. control irrigation and intermittent leaching modles were adopted to validate the adaptability of the technique in irrigation of rice in saline land, to analyze rice ' s physiological - ecological indexes and the change of soil salt content under the conditions of control irrigation leaching of rice and and to provide control irrigation and combined modle of intermittent leaching to adapt to different conditions

    本文從試驗及試驗資料入手，取得以下主要成果和結論：對鹽堿地水稻節水灌溉技術進行優化研究，系統地分析了不同節水灌溉技術對水稻生理指標及產量的影響，採用了多目標模糊優化的方法，對灌水技術進行綜合評判，優選了節水灌溉技術，論證該地區宜採用水稻控制灌溉技術；闡述控灌技術通過調節和控制水稻的需水規律，降低水稻高產情況下的無效水量消耗，從水稻生理、生態節水兩方面分析了控灌技術節水機理，針對性地總結出水稻各生育期實施節水控灌技術的步驟及技術要點；通過控灌與淹灌的定量對照比較，從根系、莖蘗、冠層葉片及綠葉動態到株高，土壤水分變化，抗病蟲害、抗倒伏能力，稻田土溫變化，產量構成因素及稻米品質等諸多方面進行動態比較，分析控灌技術高產優質機理；在鹽堿稻地採用控制灌溉+間歇淋洗模式，跟蹤測試田間水鹽變化狀況，驗證控制灌溉技術在鹽堿地區水稻灌溉中應用的適應性，通過分析水稻控制灌溉淋洗條件下水稻生理生態指標，提出優化控制灌溉+間歇淋洗組合模式，為進一步在高礦化度地區試驗水稻控灌技術奠定基礎。
  7. The problem discussed in this paper is to separate two ( or more ) input signals from observed signals which are generated by passing input signals through diffrent unknown multi - input multi - output linear systems. it is proved that the input signals can be separated when they are independent identitically distributed ( i. i. d ) signals. a new algorithm for multi - input multi - output blind deconvolution via maximum entropy is presented which needs no information about the input signals and mixing filters

    本文研究的問題是從觀察信號中分離出兩個（或者更多個）輸入信號，其中每一組信號分別通過不同的未知多輸入多輸出線性系統.本文證明了當輸入信號是兩兩相互獨立的獨立同分佈信號時可以分離出輸入信號，並導出了基於最大熵的多輸入多輸出盲解卷新演算法.這個演算法不需要任何關于輸入信號和混合濾波器的先驗知識
  8. Around the central issue of how raise the chain building materials supermarket management, with the marketing management, the serve marketing theory etc. as guide, regard improving the marketing management of the building materials supermarket of the chain as the starting point, surrounded in the center of how structure with modern chain building materials supermarket characteristic management system of marketing, analyzed the insufficient that the building materials supermarket of the chain existed during marketing management at present. base on the consumption habit of the local consumer, regional actual conditions, and combine with my working experi ence in that firm, i have carried on the deep investigations, adopted the demonstration and reiteration method, have systematically studied the relation of the inner marketing, the serve marketing strategy, 4p ' s marketing tactics, the strategy of corporate image, the customer satisfied, enterprise profit ability existed direct relevant relation in the building materials supermarket of the chain and propose a competitiveness model against chain building materials supermarket., thus proposes some feasibility suggestions in improving the marketing management and the key competitiveness of the building materials supermarket

    筆者圍繞著如何提高連鎖建材超市的營銷管理工作這一中心問題，以營銷管理學，服務市場營銷學等理論作為指導，以提高連鎖建材超市的營銷管理工作為出發點，圍繞著如何構建具有現代連鎖建材超市特點的營銷管理體系為中心，針對目前連鎖建材超市在營銷管理中存在的問題和不足，立足於歐倍德連鎖建材超市無錫店當地消費者的消費習慣，地區環境等實際情況並結合筆者在該單位工作的一些經驗和體會，進行了深入的調查研究，採用實證、規范相結合的方法，系統地研究了連鎖建材超市的內部營銷，服務營銷戰略， 4p營銷組合，企業形象戰略，顧客滿意，企業盈利能力之間存在的直接的相關關系，並提出了一個針對連鎖建材超市特點的競爭力模型，從而為改進連鎖建材超市的營銷管理，不斷提高連鎖建材超市的核心競爭力提出一些可行性建議。
  9. This thesis elucidates and analyses the key techniques and rules of aolr in detail, and introduces its simulation modeling of the integrated system infrastructure and each function modules. through systematic simulation of aolr in the performance of packet delivery rate, average end - to - end delay, average route set - up delay, routing overhead, and etc, the key techniques and algorithms are testified and can provide reference for practical system design and application

    通過對基於蟻群優化的負載均衡路由協議系統的模擬，從數據分組成功遞交率、平均端到端時延、平均路由建立時延、路由開銷等性能的模擬數據和曲線上，分別驗證了該系統中的幾項關鍵技術和演算法。
  10. Thispaperhasstudiedonthedatalinkinterfacetechniqueoftacticalcontrolsystem. firstof all, functional requirement and the important role of data link interface in tactical controlsystem is introduced ; secondly, with object oriented method, the characteristic of uav taskcontrol process is analysed, and then uav task control information model is established, anddata link interface standard of tactical control system is designed based on this model, including message format and transmission mechanism ; thirdly, data link control module isdesigned based on embedded linux operating system and has realized conversion betweendata link standard interface and the private interface of uav data link ; and then, combinationreal time corba middleware and its event channel, data link control modular componenttechnology is studied, and realization scheme is put forward ; finally, demostration is madebased on prototype of tactical controlsystem, which verify the validaty of data link interfacestandardandembeddeddatalinkcontrolmodules

    本文對戰術控制系統中的數據鏈介面技術進行研究:分析了數據鏈介面在戰術控制系統中的功能需求;採用面向對象的方法，分析無人機任務控制問題，建立了無人機任務控制信息模型，並基於該模型設計了數據鏈介面通信協議，包括報文格式和傳輸機制;基於嵌入式linux系統設計了數據鏈介面控制模塊，實現了數據鏈標準介面與無人機數據鏈私有介面之間的相互轉換;結合實時corba中間件及其事件通道，研究了數據鏈介面控制模塊組件技術，並給出了實現方案;通過戰術控制原理實驗系統的演示實驗，驗證了數據鏈介面通信協議和嵌入式數據鏈介面控制模塊的有效性。
  11. Hsupa ( high speed uplink packet access ) is the new technique of r6, first in this thesis, the hsupa physical layer is introduced in detail. then base on the physical layer technique characteristic, according to the 3gpp simulation requirements and system simulation requirements, the hsupa downlink and uplink can be constructed by using matlab. then the data channel and control channel can be simulated, so the channels performance can be realized, provide the results can be provided to the system simulation, these ground the future practical applications

    Hsupa （ highspeeduplinkpacketaccess ） ? ?高速上行分組接入就是r6版本中的新技術，本文首先詳細介紹了hsupa物理層的技術特徵，然後以其技術特點為依據，按照3gpp的模擬需求和系統級的模擬需求，使用matlab構建hsupa的上下行物理層鏈路，對其數據通道和控制通道進行模擬驗證，從而了解通道的性能，為系統模擬提供模擬數據，為以後的實際應用打下基礎，達到預研的目的。
  12. The paper initiated electroabsorption modulator replacing the conventional model of sampling optical source and high - speed photonic switching. the novel approach greatly simplified the sampling system and improved the stability and reliability. it has been validated in experiment

    首次提出採用電吸收調制器代替常規的「取樣光脈沖源高速光子開關」的取樣組合，大大簡化取樣系統的結構，提高取樣系統穩定性和可靠性，並進行了實驗驗證。
  13. Finally, through empoldering a application illustration, which is an integrative dss that com gis is core, and makes certain the method and information integration of city planning spatial decision support system, to validate the premise above partially

    最後通過一個應用實例的設計開發，部分驗證了本文的設計分析。該系統是以組件式gis軟體為核心的集成dss式系統，確保了城市規劃空間決策支持系統的方法集成與信息集成。
  14. The pilot fuel model has been given to calculate the distribution of the liquid fuel and time of fuel pre - combustion, at the same time, analyzing the important action to the combustion of the natural gas in the combustion chamber of engine, determining the best quantity of pilot fuel. the explosive combustion model has been established to compute the pressure of the cylinder during the combustion, determining the main influence factors. the emission model has been established to forecast the co, nox emission

    理論方面，提出了基於化學反應的燃燒模型?多組分氣相反應系統的化學反應動力學模型，以此進行雙燃料發動機的熱力學?化學反應動力計算；引燃油燃燒模型，計算引燃油液滴的分佈規律和滯燃期，驗證引燃油在雙燃料發動機燃燒過程中的作用，揭示不同噴油規律對雙燃料發動機的影響，確定在不同負荷下的合理引燃油量；爆震模型，揭示爆震與工質能量釋放間的關系和影響爆震的各種運轉因素，確定合理的爆震依據，減小爆震傾向。
  15. Forms - based authentication uses the asp. net membership system to manage individual user accounts and groups roles

    基於窗體的身份驗證使用asp . net成員資格系統，以管理各個用戶帳戶和組（角色） 。
  16. According to the experience of under - excitation operati on of the same type units and the suggestion of manufacturers, the generator excitation system was improved to ensure stable function of auto voltage adjusting device during over - excitation and under - excitation operation

    根據同型機組進相經驗和廠家意見改進發電機勵磁系統，保證過激、欠激狀態時自動電壓調整裝置運行穩定。
  17. A widely used method for checking real - time systems is, according to the real - time property to be checked, to use a proper bi - simulation equivalence relation to convert the infinite - timed state space to a finite equivalence class space. the algorithm needs only to explore the finite space to get a correct answer. in most cases, exhaustive exploration is very difficult because the equivalence class space increases explosively when the scale of the system increases. in this paper, an equivalence relation is introduced to check whether a concurrent system, which is composed of a finite set of real - time automata, satisfies a linear duration property. to avoid exhaustive exploration, this paper also introduces a compatibility relation between timed states ( configurations ). based on these two relations, an algorithm is proposed to check whether a real - time automaton network satisfies a linear duration property. the cases study shows that under some conditions this algorithm has better efficiency than the tools in the literature

    一個被廣泛用於驗證實時系統的方法是根據被驗證的實時性質，使用適當的雙向模擬等價關系使無限的狀態空間轉化為有限的狀態等價類空間.演算法只需要在這個有限的等價類空間里搜索就可以得到正確答案.但是，這個等價類空間的規模一般隨著系統規模的增大而產生爆炸性的增長，以至於在很多情況下，窮盡搜索這個空間是不現實的.該文引入了一個等價關系來驗證一個由多個實時自動機通過共享變量組成的並發系統是否滿足一個線性時段特性.同時，還引入了格局之間的兼容關系來避免對狀態等價類空間的窮盡搜索.基於這兩個關系，文章提出了一個演算法來驗證是否一個實時自動機網滿足一個線性時段特性.實例研究顯示，此演算法在某些情況下比其他一些工具有更好的時間和空間效率
  18. End, based on the imascm model and the coalition planning algorithm, correlative theories of smart document agent and web services - based tuplecenters organization are investigated. using them as agents ’ framework and communication model, architecture of the third - party platform in combinatorial markets is designed. and an experimental system is realized, which validates concepts and algorithms of above coalition planning

    最後，針對電子商務的實施與應用問題，基於imascm組合市場模型，本文研究了靈巧文檔agent及基於webservices的元組中心組織技術，以此實現電子商務平臺中各類agent的結構和協作模型，設計了第三方平臺的系統結構，並且實現一個商務原型系統，驗證了聯盟規劃方法概念的正確性和演算法的有效性。
  19. After that, according to software engineering theory, from requirements analysis of the system to the final system ' s realization, this paper discusses the whole modeling routine in theory

    從理論上對從需求分析，系統分析，組態化設計直到最後的系統實現和驗證的整個過程進行了闡述。
  20. Further, it is easier to standardize the look and feel of your systems validation across different components and different developers

    更進一步看，我們更容易在多個不同組件和不同的開發人員之間建立標準的系統驗證機制。
分享友人
分享到 Line

分享到臉書