算題檢驗 的英文怎麼說
中文拼音 [suàntíjiǎnyàn]
算題檢驗
英文
problem check- 算 : Ⅰ動詞1 (計算數目) calculate; reckon; compute; figure 2 (計算進去) include; count 3 (謀劃;計...
- 題 : Ⅰ名詞1. (題目) subject; title; topic; problem 2. (姓氏) a surname Ⅱ動詞(寫上) inscribe; write
- 檢 : Ⅰ動詞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
- 檢驗 : checkout; test; examine; inspect; verify; survey; check;checking;testing;[英國]jerque(指檢查船舶...
-
( 2 ) the liman problem is normally adopted to check the liability of numerical method. the calculation error was within 9 % by comparison with the theoretic solutions of liman problem in the following case, the dimensionless calculation length was 2 with high pressure zone 0. 8, and the dimensionless state parameters were p1 = 2, p2 = 1, p1 = p2 = 1, u1 = u2 = 0. experiment results in literature [ 8 ] were used to check the adaptability of the numerical model developed here for unconfined gas cloud explosions and the calculation error was within 13 %
( 2 )數值方法的可靠性通常用黎曼問題的解析解檢驗,本文以無量綱計算區長度為2 ,高壓區長度為0 . 8 ,狀態參數為p _ 1 = 2 , p _ 2 = 1 , _ 1 = _ 2 = 1 , u _ 1 = u _ 2 = 0條件下的黎曼問題解析解對所編制的爆炸場計算程序進行了考核,結果表明該程序的計算誤差在9以內;為考核本文計算模型預測開敞空間氣雲爆炸的適用性,以文獻[ 8 ]的實驗數據進行了校核,計算誤差在13以內。Besides, of the several algorithms those have been proposed in the literature for solving the transportation problem, previous computational results indicated that the primal algorithm ( modi method ) is more efficient, so we have compared the amedv versus the modi method. because very little experimentation was carried out on algorithmic techniques used in the codes of amedv, we have also performed a number of runs that test the overall solution time as the number of significant digits in each of the parameters is varied
因為元素判別值分配法是運輸問題引發出的求解新方法,並且階石法是目前解運輸問題的較快速解法,所以特別針對運輸問題通過若干組有代表性的檢驗數據進行數值測試,在實際問題中對比元素判別值分配法與階石法的演算法執行時間,研究兩對演算法執行效率上的差別,並分析差別產生的原因。Secondly, nonlinear threshold of two - dimensional rt instability was analyzed in planar and cylindrical and spherical geometries. density amplitude was defined relating to instable interface and formulae of nonlinear threshold values for rt instability in three geometries were given, then the lared - s code was used to simulate two - dimensional rt instability in three geometries and simulation results agreed well with the formulae
其次,討論了二維平面、柱和球幾何中rt不穩定性發生非線性偏離的閾值問題,給出了三種幾何中密度擾動振幅的非線性閉值公式,並且用lared一s程序進行了檢驗,計算結果表明柱和球幾何中的模藕合機制與平面幾何不同,存在幾何效應的影響。Then, time - variant load characteristic is decomposed and the tva load model structure is proposed to reduce the effects on the time - variation of the amplitudes of the load. finally, the group algorithm and hypothesis testing strategies are applied to solve the problem of the time - variation of the load components
進一步對負荷特性的時變性進行分解,提出了tva負荷模型結構以消除負荷幅值大小時變性的影響,最後,採用分組演算法和假設檢驗的工程應用策略,解決了負荷組成成分的時變性問題,從而最終從一定程度上解決了負荷的時變性問題。Combining with knowledge representation and automatic reasoning principle of ai and generic paradigm, the system has these main functions : ? it is able to show different solutions of typical example ; ( 2 ) it can automatically generate problems similar to the example for students to solve by providing them with clues ; ( 3 ) these problems can be studied by demonstrating the complete solution process and answers with the help of automated reasoning, or by providing real - time prompts to students concurrent with the students " solution processes with the help of automated reasoning ; ? it provides exercises and is able to call a program produced by the group ( the translator ), which transfers apla programs to executable programs so as to verify its correctness ; ( 5 ) it let teacher to add examples in the database ; etc. hi the course of systematic research, we deeply investigated the relevant knowledge of the system and made some innovation : about teaching content, we select par method as the main content
本系統選用薛錦雲教授的par方法為主要教學內容,應用人工智慧的知識表示和自動推理原理及泛型思想,使得系統具有以下核心功能:展示幾種典型例題的解;以泛型思想為指導,實現了無限題庫,可以自動生成與典型例題類似的問題給學生求解並給予提示;對于這些題目,計算機可以自動推理出由問題到程序的全過程供學生學習;也可通過自動推理根據用戶的實際做題情況實時給出提示,互動式地幫助學生學習演算法程序設計;學生可以從問題庫中獲得練習,並調用轉換器,將自己的apla程序轉化為可執行語言程序,運行以檢驗其正確性;對教師而言,可以對已有的實例庫、問題庫進行添加操作等。在系統的研製過程中,我們深入研究了系統的各方面相關知識,並進行了多方面的創新:在教學內容方面,首次選用par方法為主要內容。In the second part, a decomposition method for solving semidefmite quadratic programming with box constraints is proposed. a regular splitting of the hessian matrix of the problem is used in the algorithm. the convergence of the algorithm is proved under certain assumptions, the numerical results are also given
第二部分把解邊界約束正定二次規劃問題的正則分解演算法推廣到求解邊界約束半正定二次規劃問題,在理論證明的基礎上還進行數值檢驗,結果說明演算法是有效的。On the aspect of the research of the rcs computation methods, this dissertation did many work as : it discussed the application of the stationary phase method for the integral of the physical optics and gave the expressions of the stationary phase method based bezier surface for the perfect conduct and coated target ; focused on the application of the stationary phase method, it discussed some important techniques such as the searching of the stationary phase method and the handling of the singularity ; it also discuss the application of the gauss method for verifying the correction of the stationary phase method, and gave their compares of the efficiency and the precision
在rcs演算法研究方面,本文做了以下研究:討論了在bezier曲面上物理光學積分的駐相法求解,給出了bezier曲面上理想導體和塗敷目標駐相公式;圍繞駐相法的應用,討論了駐相法應用中的一些關鍵的技術問題,包括駐相點的搜索、駐相法的奇異性;為了檢驗駐相法的精度,還討論了gauss積分的應用,給出了兩種方法計算效率和精度的比較。The computer looks through its entire list of books and papers, testing each title to see if it is relevant.
計算機查遍它的書籍和論文的全部編目,並檢驗每一個標題看看是否與之有關。The thesis mainly recounts the detail questions about bayesian small sample theory and the important applications of the theory in engineering, and gives sufficient analyses and discussion of every step of accomplishing a precision evaluation when using small samples. in the thesis, the following issues are contained, such as how to get and denote the prior information, the consistence test of prior information and test samples of shooting range, the fusion of multi - source information, calculating of posterior probability, estimation with bayesian approach, how to constitute test evaluation project of different performance and calculate the risks of both sides are contained, and at last a kind of applied method to calculate the effectiveness is given
論文主要敘述了有關bayes小樣本理論的一些具體問題,以及該技術在工程中的一些關鍵應用,對小樣本條件下精度鑒定的各個環節給予較充分的分析和討論,其中包括驗前信息的獲取、表示,驗前信息和靶場試驗樣本的一致性檢驗,多源信息的融合,驗后概率的計算, bayes方法在估計中的應用,試驗鑒定方案的制定,對不同戰標的評估方法和風險的計算等,最後對作戰效能的計算給出了一種工程中較實用的方法。Firstly, the problem of multiple a priori information fusion has been studied under the condition of the same test environment, such as the consistency test of a priori information, the credibility analysis of a priori information, the calculation of credibility with information likelihood rate, the expression of fusion posterior distribution based on the credibility of multiple a priori information
首先,研究了同種環境下多源驗前信息的融合問題,如驗前信息的相容性檢驗、驗前信息的可信性分析、基於信息似然比的可信度計算、基於多源驗前信息可信度的融合驗後分布表示等。Abstract : it is essential to research radar clutter with non - gaussian spectrum and non - r ayleigh distribution in modern radar design. based on spherically invariant rando m process ( sirp ), this paper applies a new algorithm to model the clutter with k d istribution in amplitude and any power density spectrum. at last it is proved tha t thi s method is correct and applicable with real simulative clutter and statistical detection result
文摘:研究並模擬具有非瑞利幅度分佈和非高斯功率譜的雷達雜波是現代雷達信號處理中的一個重要的研究課題.文中基於球不變隨機過程( sirp )的建模方法,針對實地採集的幅度滿足k分佈並具有有理功率譜的高解析度雷達雜波,運用現代譜估計演算法對其進行建模和模擬,並以模擬雜波與實際雜波的數據對比和統計檢驗的結果對該方法進行了驗證Under our task experimental condition, we calculated the sensitivity of our planning to develop dial system with direct detection, besides, we studied the relationship between the sensitivity of measurement and atmospheric refractive - index structure constant and applied matlab program simulated the system parameters such as beam diameter, laser divergence angle, detection distance and gained relevant relationship curves
在課題實驗條件下,模擬計算了直接檢測dial系統的測量靈敏度。在考慮大氣折射率結構常數對系統測量靈敏度影響的基礎上,並對各種系統參數如光束半徑、束散角和探測距離對測量靈敏度的影響運用matlab程序做了模擬計算,為合理選擇系統設計參數提供了依據。A concept - based approach is expected to resolve the word sense ambiguities in information retrieval and apply the semantic importance of the concepts, instead of the term frequency, to representing the contents of a document. consequently, a formalized document framework is proposed. the document framework is used to express the meaning of a document with the concepts which are expressed by high semantic importance. the framework consists of two parts : the " domain " information and the " situation background " information of a document. a document - extracting algorithm and a two - stage smoothing method are also proposed. the quantification of the similarity between the query and the document framework depends on the smoothing method. the experiments on the trec6 collection demonstrate the feasibility and effectiveness of the proposed approach in information retrieval tasks. the average recall level precision of the model using the proposed approach is about 10 ? higher than that of traditional ones
為了獲取詞語在文章中的語義權重,解決詞語的同義、多義模糊問題,提升信息檢索的效率,提出了一種基於概念的檢索模型,模型中設計了一種形式化的文本內容表示框架,框架由2部分構成:文章的"領域"以及"情景與背景"信息,並由概念(形式化語義)加以表示.同時,提出了提取該概念框架的方法,給出了用於框架與檢索要求間匹配的兩階段平滑演算法.實驗表明,在trec6提供的小規模語料集下,採用所提出方法的信息檢索模型與傳統模型相比,平均召回準確率提升了約10 ? ,效果顯著,充分說明了基於本文描述方法構建的、以概念作為處理中介的信息檢索系統的有效性和可行性This text completely and systematically studies the status and the development of the pyrolysis and the fluidization of biomass, which distill the bio - oil in the domestic and international area, as well as the existing problems. this thesis primarily include following aspects : ( l ), by experimenting and measuring the energy ( heat value ) and the content of c, h, n chemical element of right 20 kinds of common biomass, on the base of the experimental result, and respectively established the biomass energy predict experiment formula with the element of h and c is from change, and passed the ro. os examination, which provides the basis and convenience for flash pyrolysis fluidization device energy to convert the rate to compute with biomass energy utilization calculation ; ( 2 ), proceeded the tg and dtg experimentation equal velocity ( 10 ? / min, 20 ? / min, 40 ? / min, 60 ? / min ) heating and constant temperature heating by studying on eight kinds of biomass samples, according to the experimental data and arrhenius formula, we established the dynamics model of pyrolysis of, then, using the goast - redfern and p function, we also solved the dynamics parameters and analyze out every kind of biomass ' s frequency factor and parameters of activation energy, and established the every kind of dynamics model of pyrolysis of biomass, all of these provide the theories and basis to make sure the reactor ' s flash pyrolysis work temperature scope design and the describing of pyrolysis reactor dynamics ; ( 3 ), in order to study and ascertain the process of heat completely getting to pyrolysis time of varied size biomass particles, we observed and measured the ratio of length and diameter ( l / d ) with the varied biomass through electron microscope, we concluded the l / d ratios usually is from 5. 0 to 6. 0, the average is 5. 3 ; ( 4 ), we studied the process of biomass transiting and the theory of complete pyrolysis time with the theory of complicated heat field, we got the time ( t ) of the varied size biomass particles arriving to complete pyrolysis, and we knew that the complete pyrolysis time and the time which get to the biggest production ratio are identical, all of these studies provide the theory base for design and forecasting the flash pyrolysis reactor solid state resort time ; ( 5 ), according to the above experiment result, synthesize to make use of the engineering the mechanics, engineering the material, machine the design to learn the principle, deduce, establish the theory of rotation cone flash pyrolysis reactor material resort time ( t ) and reasonable rotation velocity ( or frequency ) relation theory ; and ( 6 ), we gave the reactor ' s smallest cone angle certain, reactor cone wall strength design theory, the reactor production ability theory, the power design method and the critical rotation velocity theory
本文較全面、系統地綜述了國內外生物質熱解液化制取生物燃油技術研究發展現狀及存在的問題,主要研究內容有: ( 1 )實驗、測定了20種常見生物質的能量(發熱量)和c 、 h 、 n元素含量,根據實驗結果分別建立了以h和c為自變量的生物質能量預測經驗公式,並通過r _ ( 0 . 05 )檢驗;為閃速熱解液化裝置能量轉化率計算和生物質能量利用率計算提供了依據和方便; ( 2 )選擇了8種生物質試樣作了等加熱速率( 10 min 、 20 min 、 40 min 、 60 min )和恆溫加熱的tg和dtg實驗,根據實驗數據和阿倫尼烏斯公式建立了生物質熱解反應動力學微分方程,並採用goast - redfem積分法和p函數對其動力學參數進行了求解,解析出各種生物質的頻率因子和活化能參數,進而建立了各種生物質的熱解動力學模型,為科學確定反應器的閃速熱解工作溫度范圍及熱解反應動力學描述,提供了理論和依據; ( 3 )為研究和確定不同尺度的生物質顆粒中心達到全熱解的時間,在體視顯微鏡下對不同粒度的生物質顆粒的長徑比進行了實驗觀察和測定,得出生物質的長徑比( l d )一般在5 . 0 6 . 0之間,平均為5 . 3的結果; ( 4 )採用復雜溫度場傳熱學理論對生物質傳熱過程及充分熱解時間理論進行了研究,解析推導出了不同尺寸生物質顆粒中心溫度達到充分熱解溫度的時間( t ) ,得出了理論推導的充分熱解時間與最大產油率的熱解時間相一致的結果,為閃速熱解反應器固相滯留時間設計和預測提供了理論依據; ( 5 )根據上述實驗結果,綜合運用工程力學、工程材料、機械設計學原理,推導、建立了轉錐式閃速熱解反應器物料滯留時間( )與轉速(或頻率)合理匹配理論; ( 6 )提出了轉錐式閃速熱解反應器的最小錐角設計、錐壁強度設計、生產能力設計理論和功率計算方法及臨界轉速理論等。Abstract : the sample breakdown point of a test is defined as the smallest proportion of arbitrary outlier in the sample that reverses the test decision. in this paper, wegive the sample breakdown point of a test for maximum likelihood estimate of exponential distribution parameter and analyze the asymptotically normal characteristic of the sample breakdown point
文摘:如何量化一種統計方法對異常值的不敏感性一直是穩健統計研究的一個重要課題.檢驗的樣本崩潰點是樣本中能逆轉判決的離群值的最小比例.在研究相關文獻的基礎上,計算出指數分佈參數極大似然估計檢驗的樣本崩潰點,並分析了樣本崩潰點的漸近正態性,為量化統計方法的穩健性提供了一種新的途徑Natural characteristic analysis not only verifies whether the natural frequencies and mode shapes of the antenna are reasonable or not, but also is the base of the structural response analysis, fatigue resistivity computing and the other dynamics problems. the structure design of antenna is a complicated systems engineering, which is generally limited to multiple objects that influence each other, so we need to keep the balance among those objects by decision - making technology of multiple objects to ensure every target optimized
固有特性的分析不僅能檢驗天線結構的固有頻率和振型是否合理,而且也是結構響應分析、動強度計算等其他動力學問題研究的基礎;天線的結構設計是一個復雜的系統工程,它通常受到多個目標的限制,而各目標往往是相互影響的,甚至是相互矛盾的,因此需要藉助多目標決策技術,平衡各目標,以保證空間天線最優的滿足各項設計指標。Thirdly, by the method of questionnaire and quality control tools, the buying and selling process quality control proposal is given in this article, thereby, the analytical methods of quality control including the acceptance criterion of wheat, the process capacity of supply and customer satisfaction indexes evaluation are discussed in this article. fourthly, based on the methods of statistical process control, this article evaluate the factor that have a impact on the process of the stored grain with qualitative analysis and quantitative analysis, and bring forward the design proposal of controlling temperature for stored grain in warehouse. at last, in order to bring the optimization design for quality management system into effect and advance the enterprise in overall management, the article table a proposal including strengthening the training of quality management, introducing iso9000 standard into quality management, bringing about the grain industrialization, standardizing quality inspection criterion, developing the computer auxiliary control system
首先依照iso9001標準,藉助于設計的專家調查表通過專家調查,對該糧庫的質量管理體系現狀進行詳細分析,確定出質量管理體系文件、資源管理、產品實現過程、質量控制和質量改進五個方面存在的主要問題;其次運用系統方法建立了糧庫質量管理體系完善程序及質量管理體系的三維空間結構模型,並在此基礎上優化設計出了質量管理體系內部審核、不合格控制、糾正和預防措施等質量改進實施方案;再次,運用調查表法和質量管理控制工具對該糧庫的糧食輪換過程的質量控制進行了優化設計,確定出糧食采購標準、供應過程能力分析以及顧客滿意度評價等分析方案;然後,運用統計過程分析方法對糧食倉儲過程的影響因素及其原因進行定性和定量分析評價,確定出倉儲過程質量控制的優化方案;最後,為確保設計方案的有效實施,從糧庫加強質量管理培訓、導入iso9000族標準、糧食產業化開發、規范糧食質量檢驗標準、開發計算機輔助控制系統五個方面提出具體實施建議,以便提高其整體質量管理水平。Abstract : based on the escape behavior model developed in the previous paper, the case of escape behavior for single person in single room is simulated in this paper to test the practicability of the mode. the escape effects are checked up for three common escape behaviors, the wall - touch moving, random moving, and trend direction moving. this paper gives the calibration of model parameters and assumptions in the simulation model. the result shows that wall - touch moving is the most effective approach for escape in relatively large space. in addition, the major problems of the simulation model and the development possibilities are discussed
文摘:在我們已建立的避難行為模擬的初步模型的基礎上,為了檢驗該模擬模型的實用性,就單人單房避難情況進行了模擬.檢驗了常見的觸墻移動、隨機移動、大方向移動等3種避難行為模式的避難效果.文中給出了模擬過程中各種參數的計算和設定方法.模擬結果表明:在較寬闊的房屋內避難時,觸墻移動是最有效的避難途徑.在對單人單房避難模擬進行總結的基礎上,本文還探討了上述模型中存在的主要問題及其進一步完善的可能性I am not going to check my pets ' liver and kidney function even though the blood sampling will be taken
動物無法告訴您他身體上的問題,醫療上建議您為他定期抽血檢驗.若您不打算在隔離期間檢查,回家后務必在附近動物醫院定期回診Because this is an identification in a no - load full voltage starting mode, so there are some estimations which can bring some errors. so the following work should emphasis on how to get more exact parameters. and we can also expand this project not only identify the motor ' s parameters but also its other characteristic
在本項目中,由於試驗條件所限,還是在一定程度內進行了近似計算,因此,在第五章的總結與展望中,作者提出本課題的兩個發展方向,一個是向更精確的方向發展,一個是在參數辨識的基礎上,進行電機其他特性的計算與檢驗。分享友人