software correctness 中文意思是什麼

software correctness 解釋
軟體正確性
  • software : （電腦的）軟體，軟設備；程序設備；語言設備；程度系統；設計電腦方法；計算程序；程序編排手段；方案；資料圖紙；【航空】軟體〈指乘員、載重及燃料等，不包括機械硬體設備〉。
  • correctness : 正確度
  1. The correctness of theory analysis and reliability and affiance of software are verified by comparing practical calculation with traditional design

    通過實例計算與傳統設計方法的結果的比較，驗證了理論分析的正確性和軟體的有效性、可靠性。
  2. Basing the theory of finite elemental modeling and ansys software, this text build the entitative model and elemental model of the main parts and carry the modal analysis. and we get the natural frequency and shaking type of all steps. and then we compare the analysis results with the results of experimental modal analysis, testing the correctness of the elemental model

    本文根據有限元建模理論，並利用ansys有限元分析軟體，分別對螺桿泵地面驅動系統的上述主要部件進行實體建模、有限元建模以及模態分析，確定這些部件的各階固有頻率和振型。
  3. In the process, we import the displacement method " s concept of replacement ahead, that is to say, we replace the unknown vectors with new unknown vectors to prevent the delivering and accumulation of errors. at the same time, we completed the skew bridge calculation procedure, and compared the calculation results with the results by the finite element software ansys, it proved the correctness and practicality of this procedure

    在矩陣傳遞的過程中引入位移法中的前進代入的概念，即將未知向量不斷的以新的未知向量替換，以防止誤差的傳遞和積累。本文完成了斜交格子梁橋的內力計算程序，並將計算結果與採用有限元分析軟體ansys分析計算的結果進行了比較，驗證了程序的正確性和實用性。
  4. After discuss the structure and character of operating system qnx and inter - process communication between pc ' s running qnx or windows, the paper describes the structure, function and flow chart of mission planning software which is developed in qnx, and narrates the course of simulation co - debug experiment, dynamically showing the results of the mission planning in the case of " ocean physiognomy reconnaissance ", and proving the logical correctness and feasibility of task serial produced by mission planning

    在論述了多任務、實時操作系統qnx的結構特點以及基於qnx與windows運行的pc機之間網路進程通信的基礎上，本文描述了在qnx上開發的使命規劃軟體的結構功能和流程圖，並敘述了模擬聯調實驗的過程，動態地顯示了「海洋地貌勘測」這一案例使命規劃的結果，並證明了使命規劃所得的任務序列在實際運行中邏輯的正確性與可行性。
  5. In this paper, they are set forth at first that the kinds of computer - simulation of electronic devices, the development and the requirements of mosfet ' s model and the way of gain the models " parameters, the dc models have been bui it in chapter 2 and the models of big signals have been deduced in chapter 3, they are different from the equivalent circuit models in the traditional software pspice that they come from the numer i ca i - s i mu i at i on wh i ch is based on the essence equat i on, so the precision of simulation is enhanced ? mosfet ' s small signal models of low frequency, intermediate frequency and high frequency have been built in chapter 4 and chapter 5, although the equivalent circuit models in pspice are used for reference to bui id them, they have their own characteristics which are analyzed at a i i kinds of situations, so that the simulation software for mosfet can be written according them and it i s a i so benef i c i a i for us to catch the gen i us character i st i cs of mosfet and to d esign all kinds of applicable devices the correctness of the models is simply proved in chapter 6

    本文首先介紹了電子器件計算機模擬的分類、 mosfet的建模發展動態、對器件模型的要求以及模型參數的提取方法。在第二章中建立了mos晶體管在直流端電壓條件下的工作模型；第三章推導了mosfet的大信號模型，這兩類模型不同於傳統模擬軟體例如pspice中的等效電路模型，而是從模型方程出發，採用數值模擬的方法，提高了模擬的精度。第四章和第五章分別建立了mos晶體管低頻、中頻、高頻的小信號模型，雖然借鑒了pspice模擬軟體中用等效電路模型的方法，但是本文分別討論了準靜態和非準靜態時器件的本徵部分以及包含非本徵部分工作于低頻、中頻和高頻條件時的模型，可以根據這些模型編寫相應的模擬軟體，這樣在做器件的模擬分析與器件設計的時候，就可以利用模擬軟體逐步深入地分析器件在不同的條件下和器件的不同部分在工作時的各種小信號特性，有利於抓住器件工作的本質特性，設計出符合要求的各類通用和特殊器件。
  6. Simultaneity, in a certain kind of question ' s development, the technique can be carried out reuse in the formal deduce, correctness prove and so on. so it will give an effective way to research on reuse in the software development full process

    同時，某類問題的求解過程中的形式化推導、正確性證明等都可以實現復用，從而為實現軟體開發全過程的復用研究提供一種有效的途徑。
  7. Meanwhile, an aircraft load calculation software - alcp is accomplished in accordance with the method of load calculating and the requirement of airworthiness. the correctness of the developed software is checked with the load calculations of y7l and ma60 aircraft. the results given in this paper show that the software is suitable for all - purpose of the load calculation and all kinds of civil aircraft

    同時根據載荷計算理論和適航要求進行了載荷計算的軟體研製，編制出了具有工程實用價值的通用載荷計算軟體? alcp軟體，並以西飛公司研製的y7l飛機和ma60飛機的機型數據進行了載荷計算，並與原設計載荷進行了對比分析，結果證明該軟體能夠適用於各類民用飛機的載荷計算。
  8. Scientific computation visualization interactive virtual reality computer dynamic simulation etc., to study thoroughly and carefully on critical technologies such as mixed - language programming simplification of scene models displaying realistic image and animation of 3d scene models and so on in this dissertation, the methods to build scene models were studied and applied to develop a dynamic simulation system of 3d railway scene based on this idea, the major study contents and results can be summarized as follows : 1 ) mixed - language programming can complement each other between different programming languages and the method has a general significance and can become popular many computation models including development of dtm optimum of dtm and reorganization of dtm were developed with fortran language in order to use the ripe codes, the dissertation succeeded in integrating the developed fortran codes to the visual c + + environment and achieving the course of mixed - language programming 2 ) the methods to build scene models for 3d location design were discussed in the dissertation and the development and animation of scene models had been realized by applying synthetically those technologies such as computer graphic computational geometry and geometrical modeling and computer dynamic simulation etc, and adopting opengl 3d graph library then achievement was got by using the technology of 3d visualization to livingly express design results 3 ) combing with the concerned study and development projects, adopting vc + + as development tools and in the light of those theories and algorithms stated in this dissertation, a software, which could build scene models with realism for 3d railway location design, in the name of " the dynamic simulation system of 3d scene of railway " was developed., the correctness was proved by using the software to build the 3d scene models and achieve their animation of suining - chongqing railway and yunnan - xizang railway

    本文綜合利用計算機圖形學、科學計算可視化、人機交互、虛擬現實、計算機動態模擬等理論和技術，針對混合語言編程、真實感圖形繪制以及三維景觀模型的動畫驅動等關鍵技術，進行了深入細致的研究，從而探討了建立逼真景觀模型的方法，並基於本文提出的方法研製了一個鐵路線路三維景觀動態模擬系統。基於這一思想，本文主要研究內容及研究成果如下： 1 ）混合語言編程可以實現語言優勢互補，具有普遍意義。針對數字地面模型的建立、優化、重組等計算模塊是成熟的fortran程序代碼，本文成功實現了vc + +與fortran語言的混編； 2 ）緊緊圍繞三維選線設計中景觀模型的建立方法展開研究，綜合利用計算機圖形學、計算幾何及幾何造型學以及計算機模擬技術，採用opengl三維圖形庫，實現了景觀模型的建立以及動畫驅動，使得三維可視化技術成功應用於選線設計成果的三維直觀表達； 3 ）結合有關科研課題，利用vc + +開發工具，以本文所述的理論和演算法為基礎，研製和開發了一個建立三維選線設計逼真景觀模型的系統軟體- - 「鐵路線路三維景觀動態模擬系統」 。
  9. By means of establishing the mathematical model and simulative model for double wishbone typed independent suspension frame of certain light - duty lorry and using the adams software to simulate the variation law of front restraint angle of wheel at different positions of splitting points during the moving course of lorry, and verified the correctness and reliability of the simulated result by applying the spatial analytic geometric relation formulae

    摘要通過建立某輕型卡車雙橫臂式獨立懸架的數學模型和模擬模型，利用adams軟體模擬汽車運動過程中不同斷開點位置車輪前束角的變化規律，並用空間解析幾何關系式驗證了模擬結果的正確性與可靠性。
  10. As one of modern design methods, long - distance online calculation is a method which can be easy to fulfil sharing the resouce of design. here penman compiled a suit of software providing the service of structure analysis and optimize for the water processing equipment by www server. it ' s platform to develop and run is microsoft windows 2000 server with iis 5. 0. the technology is based on microsoft asp, and the programming language is vbscript. then, there is a contrast calculation test between this suit of software and ansys 6. 0 for the representative structure of the 3 kind of beam. the intent is to evaluate the suit of software. the result indicates : its correctness of calculation result is better ; only for the amount of the element is too few, the calculation result is relatively large. so this is a safe scheme

    筆者以windows2000server和iis5 . 0為開發和運行平臺，基於microsoft的asp技術，使用vbscript語言編寫了一套可通過ww服務器提供水處理設備遠程結構分析和優化服務的軟體。並且針對3種梁的典型結構進行了與ansys6刀的計算結果對比測試，對這套軟體進行了評估。測試結果表明：這套軟體在計算結果的正確性方面表現較好，只是由於單元數目較少，導致計算結果偏大，但是這是屬于比較安全的方案。
  11. In contrast with the method of using exiting cad software to make stl file after reconstructing the cad model, the correctness of the result and feasibility of the method in this dissertation was verified, moreover, the develop periods was shortened

    最後，開發了相應軟體實現了上述功能，並與用造型軟體重構出cad模型后再轉換為stl文件的方法進行了比較。比較的結果說明，本文的方法是可行的，並可極大的縮短開發周期。
  12. Abstract : technology dimensions of work parts always exceed the determined technology dimension limits. but when the work parts are big enough, it is still possible and valuable to modify the work parts " following technology process and technology dimensions, which are respectively called as dynamic technology process ( dtp ) and dynamic technology dimension ( dtd ), to ensure them to be qualified. a mathematical model is proposed which is about how to plan the dtd once the dtp is determined. a software has been written to testify the correctness of the above model. this model will be very useful in the capp and online quality assurance in the manufacturing of precise machine parts

    文摘:工件的工藝尺寸在工藝過程中經常會超出許可的范圍，但當這些超差工件仍有足夠的加工余量時，通過修改其後續工藝路線（稱為動態工藝路線）及工藝尺寸（稱為動態工藝尺寸）仍有可能將其加工成成品.本文提出了一種在後續工藝路線確定后如何確定后續工藝尺寸的數學模型，並利用該模型成功地編制出了動態工藝尺寸設計的軟體，且用很多事例驗證了該模型的正確性.該方法可以應用於精密機械零件製造時的計算機輔助工藝過程設計及在線質量保證
  13. 4. the software has been used for a project to form and modify computation model of hydro - mechanical transient, and the correctness of the software is confirmed. the results show that the objectives proposed above are achieved

    舉出實例，根據軟體開發要求，對用圖形界面形成的有壓過水系統進行修改，然後輸出相關數據文件，對比兩個修改前後的模型之間的差異，驗證軟體開發的正確性。
  14. Based on the analyses on all kinds of structure and principle of hydraulic mounts, math mechanics model of hydraulic mount is set up by applying the theory of hydro - structure coupling, the mass parameters and geometry position parameters of each component in this model is imported into the software adams by entity data model established by three - dimension cad soft unigraphics. and dynamic analyse model of mount system is set up, simulation calculation is made on hydraulic mount component and mount system by using the software adams, the influence of model parameters on dynamic characteristics of hydraulic mount is analyzed and compared with experiment results, the correctness of hydraulic mount model is validated

    本文在分析各種液壓懸置結構和原理的基礎上，利用流體結構耦合理論建立了液壓懸置的數學力學模型，模型各構件的質量參數、幾何位置參數通過三維cad軟體unigraphics所創建的實體數模導入到動力學模擬軟體adams中，建立懸置系統的動力學分析模型，並運用adams軟體對液壓懸置元件及懸置系統進行了模擬計算，分析了模型參數對液壓懸置動特性的影響，並且與試驗結果作了比較分析，驗證了液壓懸置模型的正確性。
  15. To validate the correctness of each module, author use quartus and modelsim software to implement software simulation, designed the pcb board based on fpga chip and finished circuit debug

    為驗證模塊的正確性，不但通過quartus和modelsim進行軟體模擬，還設計製作了基於fpga的pcb板，並完成了電路調試。
  16. We verify the correctness of software in this co - verification platform, then use this correct software to verify the correctness of chip in the hardware verification platform

    Rtos通過修改硬體抽象層，把文件輸出重定向到新的顯示終端，就實現了異構平臺上的模擬。
  17. Activate the ird software to check data correctness

    啟動軟體查看資料是否正確
  18. Based on the questions above, firstly two examples of array antennas have been emulated, which validates the correctness of the commercial software ansoft hfss

    針對上述問題，本文首先通過陣列天線的實例模擬，驗證了ansofthfss的準確性，接著運用該軟體通過s參數分析，提出了一種新型的陣列天線模型。
  19. The principle of this protection technology is using an irregular formatted disk as the key, and checking the existence and correctness of this disk first to determine whether the user is legal or not when running the software

    這種保護技術的原理是利用經過不正常格式化的磁盤為key ，每次執行軟體時必須先檢查該磁盤是否存在並且正確，藉以判別是否為合法的使用者。
  20. Ontology - based subject knowledge base systems are of high reliability, because the correctness of formal ization can be checked through even more reliable software

    基於ontology建立的知識庫系統可靠性高，因為，可以通過更可靠的軟體對形式化表達的正確性進行檢查。
分享友人
分享到 Line

分享到臉書