軟體錯誤研究 的英文怎麼說

中文拼音 [ruǎntǐcuòwùyánjiū]
軟體錯誤研究 英文
software error study
  • 軟 : Ⅰ形容詞1 （質地不硬） soft; flexible; supple; pliable 2 （柔和） soft; mild; gentle 3 （軟弱） we...
  • 體 : 體構詞成分。
  • 錯 : Ⅰ形容詞1 （錯誤; 不正確） wrong; mistaken; erroneous 2 （用於否定: 壞; 差） bad; poor 3 （交叉; ...
  • 誤 : Ⅰ名詞（錯誤） mistake; error Ⅱ動詞1 （弄錯） mistake; misunderstand 2 （耽誤） miss 3 （使受損害...
  • 研 : 研同 「硯」
  • 究 : Ⅰ動詞（仔細推求; 追查） study carefully; go into; investigate Ⅱ副詞[書面語] （到底; 究竟） actually; really; after all
  • 軟體 : [計算機] software軟體包 （程序包） software package; 軟體程序 software program; 軟體跟蹤方式 soft...
  • 錯誤 : 1 （不正確） wrong; mistaken; incorrect; erroneous 2 （不正確的事物、行為等） mistake; error; blu...
  • 研究 : 1. （探求） study; research 2. （考慮或商討） consider; discuss; deliberate
  1. Based on consider hereinbefore, this dissertation discusses several aspects on the problem of the sustainable and optimum exploitation of groundwater resources as follows : ( 1 ) reviewed entirely the origin and evolvement of the concept " sustainable development ", stated and commented the study status in queue on " sustainable development " around national and international range, thorough discussed the science connotation about the concept " sustainable development " ; ( 2 ) looked back and commented across - the aboard some furthest basic concept and proposition related to groundwater resources, put forward self opinions on a few existent mistake points of view and chaos understandings ; ( 3 ) expatiated entirely on the content and meaning of the theory of changeable groundwater resources system, contrast with the traditional methods of groundwater resources calculation and evaluation, combined example to show the application of this theory ; ( 4 ) thorough analyzed the difficult and complexity to forecast the groundwater resources, fully stated the traditional methods of groundwater resources forecasting, pointed out the characteristic and applying condition of these forecasting method, introduced the main ideas and methods of wavelet analysis developed recently, and the matlab software be known as the fifths era computer language, and its accessory wavelet analysis toolbox, applied these methods and tools to analyze the groundwater dynamic curve, adopted the b - j method and morte - carlo method, combined with the theory of changeable groundwater resources system, discussed the new view on the forecast of groundwater resources ; ( 5 ) synthetically analyzed the characteristics and limitations of the present all kind of groundwater manage model, combined mathematical programming mathematical statistics random process and the theory of variation system of groundwater resources on the unite optimum attempter of surface water and groundwater, emphasized how to make the model more nicety, more simple, more practicality ; ( 6 ) analyzed the inside condition and outside condition to assure the sustainable and optimum exploi tation of groundwater resources, the inside conditions are the follows : correct resources idea, scientific methods of resources calculation and evaluation, credible forecast methods of resources, exercisable measures of resources management, the outside conditions are the follows : the development idea of high layer, the transform of manage system, the matched policy and rule of law, the adjusted of economy lever, the improve of cultural diathesis, the boosting up of water - saving consciousness and detail measures, the control of population rising, the prevention and cure of water pollute, the renew and rebuild of ecology ; ( 7 ) scan the sustainable and optimum exploitation of groundwater resources from the high level of metagalaxy, earth system science, and philosophy ; lint out the more directions on groundwater resources

    基於以上考慮，論文主要從以下幾方面對地下水資源可持續開發問題進行了比較深入的探討：全面回顧了「可持續發展」概念的由來與演變，對國內外「可持續發展」的研究現狀進行了述評，並對「可持續發展」概念的科學內涵進行了深入探討；對涉及地下水資源的一些最基本的概念和命題進行了全面的回顧和評述，對目前仍然存在的一些錯誤觀點和混亂認識提出了自己的見解；全面闡述了地下水資源變值系統理論的內容和意義，並與傳統的地下水資源計算評價方法進行了對比分析，結合實例具體說明了方法的應用；深入分析了地下水資源預測預報工作的極端重要性和復雜性，對傳統的地下水資源動態預測方法進行了全面的評述，指出了各類預測預報方法的特點及適用條件，對最近二十多年剛發展起來的小波分析技術的主要思想和方法及其應用范圍，以及號稱第五代計算機語言的matlab軟體和附帶的小波分析工具箱進行了介紹，並應用於地下水動態過程線的分析，採用時間序列中的b ? j法，蒙特卡羅方法，與地下水資源變值系統理論相結合，探討了地下水動態資料分析和地下水資源預測預報的新思路；綜合分析了現今各類地下水管理模型的特點及缺陷，將數學規劃、數理統計、隨機過程等與地下水變值系統理論相結合進行地表水地下水或多水源的聯合優化調度，使模型更準確、更實用；對保證地下水資源可持續開發的內部條件和外部條件進行了分析，內部河海人學博卜學位論文前言、摘要、目錄條件主要是正確的資源觀，科學的資源計算與評價方法，可靠的資源預測預報技術，可操作的資源管理措施，外部條件主要是高層發展思路、管理體制的變革、配套的政策法規、經濟杠桿的調節、人文素質的提高、節水意識的增強及具體節水措施、人口增長的控制、水體污染的防治、生態的恢復和重建等;從宇宙科學、地球系統科學及哲學的高度審視地下水資源的可持續開發;指出了地下水資源可持續開發的進一步研究方向。
  2. Based on the study of software testing and expert system core technologies ( inference method and mechanism, explanation mechanism, knowledge acquirement, and knowledge representation ), the author developed the software exception analysis of expert system using visual prolog

    作者在研究軟體測試以及專家系統核心技術（推理方法與推理機制、解釋機制、知識獲取和知識表示等）的基礎上，採用visualprolog語言，完成了軟體錯誤分析專家系統的具體開發。
  3. It contributes to the deeper comprehesion of these probability distributions, affords more detailed theoretical basis for further studying and simulating satellite mobile channels, ? theoretical analyses and discussions of the models which are often used in the study of the propagating characteristics of satallite mobile channels are given ; meantime, some discussions on the work of model simulations are also given, ? incorrect derivation of the equality between c. loo model and corazza model in some other papers is pointed out. via the conception of received power, we derivate that in the rural environments these two models really have the equal relationship by the way of theoretical derivation and simulatant fittings. therefore, it is able to use corazza model in studying the characteristics of satellite mobile channels in the rural environments and able to avoid the iterant work of modeling, in order to enhance the efficiency and accuracy of research work, ? detailed processes of simulating lutz model by using matlab6. 0 _ simulink4. 0 and the results of comparisions are given

    本文包含有以下的主要內容： ?對衛星移動通信通道傳播特性研究中常用的三個概率分佈給出了詳細的推導過程；以便對這幾個在衛星移動通信通道傳播特性的研究中常用的概率分佈函數有更深的理解，對進一步研究衛星移動通信通道傳播特性和對通道的建模提供了更為詳盡的理論基礎； ?對衛星移動通信通道傳播特性的研究中常用的通道模型進行了理論上的分析和討論，並對衛星移動通信通道建模的研究工作提出了一定的看法； ?指出了以前的文獻中關于c . loo模型和corazza模型的等同性的證明錯誤；並從接收信號功率的角度出發，通過理論推導及模擬曲線擬合重新證明了在鄉村環境下，這兩個模型的確是具有等同性的；從而在對鄉村環境下的衛星移動通信通道傳播特性進行研究時，可以只採用corazza模型來對實際的通道進行建模，這樣可以避免重復的建模工作並提高研究工作的效率和準確性； ?給出了lutz模型在matlab6 . 0 _ simulink4 . 0環境下的軟體模擬實現的詳細過程和整體模擬測試的對比結果，保證了該模型在硬體實現時的可靠性和可行性，從而可以將它們應用於指導模型的硬體模擬實現並可以降低硬體實現時的風險。
  4. Based on comprehensively considering the specific features of monitoring configuration software ' s applying, a configuration language - c2000 language is designed, whose compiler and development environment are then fulfilled. the designing, syntax analysis, semantic analysis and intermediate code generating of c2000 are deeply discussed. a virtual machine is also presented and implemented to support the executing of the intermediate code

    論文對組態軟體中的用戶編程介面進行了研究，在充分考慮了監控組態軟體的行業應用特點的基礎上，設計了一種組態語言? ? c2000語言，對其編譯器及開發環境的實現方案進行了詳細論述；並對語言設計、語法分析、語義分析，以及中間代碼生成和用來對中間代碼解釋執行的虛擬機等進行了深入的討論，詳細論述了各語法成分的實現，總結了對源程序中錯誤處理的方法。
  5. This paper makes further research about problems of the present subject mcai instructional software in its process of design and making, mainly from the following three aspects : mcai instructional software appears later in china than in other countries with weak theory basis, so in theory there is still not a perfect system about design and making of mcai instructional software and in practice exists an incorrect tendency of paying more attention to practice than theory, performance than design, technology than effect. without systemic theory, mcai instructional software in china is lack of history power, results in scarcity of good instructional software

    本論文針對當前學科mcai教學軟體設計與製作中出現的問題展開了深入的研究，主要從以下三個方面進行了研究。首先我國的mcai起步較晚，理論基礎相對薄弱，至今仍然沒有一個完善的mcai教學軟體設計與製作的理論體系，在實際操作實踐中也確實存在著重實踐輕理論、重操作輕設計、重技術輕效果的錯誤傾向。由於缺乏系統理論的支撐，我國的mcai教學軟體缺少了歷史的厚重感，也致使真正優秀的教學軟體稀少。
  6. It solves payment issue through sharing pos and brush card. it solves info sharing and exchanging problem by enterprise application integration it adopts research method of software engineering and uses touch - screen, network, database technology and so on to carry through total design of the system and build the software : it uses user status identify and responsibility control to ensure database and application program ' s security ; it strengthen the code by coding optimize ; it captures and discards application runtime error to enhance the system ' s stability ; it uses multimedia voice and moving picture to show help information, thus makes the system easy to use ; it greatly reduces the maintenance work of the system by self - updating function ; it is an opening system by using star - model network top structure, supporting standard network communication protocol ? tcp / ip and offering standard software interfaced criterion

    論文採用軟體工程的研究方法，使用觸摸屏、網路、數據庫等技術，進行了系統總體方案設計和軟體開發：通過對數據庫和應用程序的用戶身份識別和權限控制，保證數據存取和應用程序的安全性；通過對代碼進行優化提高了代碼的健壯性；通過捕捉並拋出系統運行時的異常錯誤提高了系統的穩定性；通過多媒體語音、圖形和動畫提示幫助信息來增強系統的易用性；客戶端程序自動升級功能提高了系統的可維護性，有效地減少了維護工作量；系統採用星型的網路拓撲結構，支持標準的tcp ip網路通訊協議和規范的軟體介面標準，具有良好的開放性。
  7. The new oam protocols should have basic management regulations including link state testing, fault alert, loop back etc. in this paper, we implement oam protocols in both olt and onu by adding oam software function block

    新協議應該加入諸如鏈路狀態檢測，錯誤發生警告，環回測試等規程來實現接入管理。本文主要研究了在olt和onu上加載軟體模塊來實現oam管理。
  8. 3 ) the dissertation studies the theory and technology of testing, analyses the characteristic of program errors and combines these technology into 00 technology to develop the tool of testing, which named errseed, based on error injection arithmetic

    3 ）研究了軟體測試理論和技術，將軟體植錯技術與面向對象技術結合。根據所確定的植入錯誤的種類，分析了每種錯誤的特徵，從而研究開發了c + +軟體植錯工具errseed 。
  9. 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源程序進行可測試性檢測並得出量化結果數據，驗證了該模型的有效性。
分享友人
分享到 Line

分享到臉書