語言可靠性 的英文怎麼說

中文拼音 [yánkàoxìng]
語言可靠性 英文
language reliability
  • : 語動詞[書面語] (告訴) tell; inform
  • : Ⅰ名詞1. (話) speech; word 2. (漢語的一個字) character; word 3. (姓氏) a surname Ⅱ動詞(說) say; talk; speak
  • : Ⅰ動詞1 (憑借別的東西的支持立著或豎起來; 倚靠) lean against [on]: 把梯子靠在墻上 lean a ladder a...
  • : Ⅰ名詞1 (性格) nature; character; disposition 2 (性能; 性質) property; quality 3 (性別) sex ...
  • 語言 : language
  1. In the third chapter, with a view of the real - time and reliability and the saving of system resource, the system of asynchronous serial communication is designed successfully based on the multi - thread technology and message mechanism with delphi developing tool, the communication is very well between the greasers and the pc

    第三章以實時以及系統資源節約為著眼點,採用delphi作為編程,成功的設計了基於多線程與消息機制的通信系統,實現了現場加油機和后臺管理機之間及時的數據傳輸。
  2. It is the very basis and the great heritage of the english people to this country, which we have maintained, that we insist on the strictest rules of credibility of witnesses and on the avoidance of hearsay, and that gossip shall be excluded, in the courts of justice

    正是由於我們所保持的英國人民給予這個國家的基礎和傳統,我們堅決主張在法庭上對證人的應有最嚴格的規定,避免傳聞證據,排除流
  3. The main work included : the classical lambda calculus was modified to describe the character of dynamic fuzzy ; the abstract syntax of dfl programming language was described through bnf notation ; an operational semantics model of dfl programming language was proposed with a ternary array < dfsc, dfo, dfss > and then some basic data types and several mechanisms of constructing new data types were defined ; the frame of dfl progaramming language was provided ; it was described how to solve some problems applying the operational semantics model ; the correctness and reliability of the operational semantics model were proved by hoare logic and denotational semantics

    主要內容包括:變形傳統的演算,以更好地描述具有動態模糊的問題;通過bnf描述了dfl程序設計的抽象法;通過一個三元組< dfsc , dfo , dfss >給出了dfl程序設計的操作義模型;給出了dfl程序設計的基本框架結構;給出了該操作義模型的一些應用實例;通過hoare邏輯和基本指稱義對本文所定義的操作義模型的正確進行了證明。由此見,本文從全新的角度定義了一種以處理動態模糊問題的程序設計
  4. In the course of programming, the design method of modularization is used for the reliability and maintainability and extendibility of the program

    該軟體為mcs51匯編軟體,存放于mcu內部的eprom中,在軟體編制過程中,為了程序的維護擴展,採用模塊化程序設計。
  5. This paper based on the hj04a railway signal computer system which is developed by the research institute of microcomputer, hefei university of technology. according to requirement of the interlocking software " s reliability and safety. considered with the software requirement analysis, combining the uml and z, we finally design the interlocking software specification which is completeness, consistency, no redundancy, no different meanings and is consistent with the demand of the system

    本論文針對合肥工大微型計算機應用研究所研究開發的hj04a鐵路信號計算機聯鎖系統,根據計算機聯鎖系統聯鎖軟體設計和安全要求,從軟體的需求分析著手,綜合uml統一建模方法和形式化描述z的方法,設計出完全的、一致的、無冗餘的、無歧義的、符合系統要求的聯鎖軟體規格說明書。
  6. The software is based on windows nt operating system and sql server database system. the programming language is chosen as microsoft visual basic 6. 0

    考慮到軟體和安全的要求,調度站軟體開發的平臺基於windowsnt操作系統和microsoftsqlserver數據庫系統,開發採用中文visualbasic6 . 0 。
  7. In order to achieve highly reliable application program layer, applicability and availability of ada program language is analyzed. at last, a new software voting mechanism is introduced

    為了實現應用程序級的高,本文論述了使用ada程序設計進行fadec系統程序級容錯設計對fadec系統的提高具有明顯貢獻,而且易於實現。
  8. We investigated the architectures of three typical computer fault - tolerant systems such as triple modular admixture redundancy system, buildup dual computer comparing system and dual computer comparing system with hot standby, and descript them with the markov model. the reliability and safety model of these fault - tolerant systems are acquired through theoretical analyzing and calculating. with analyzing, we defined the systems " task interval available time section in reason, compared their reliability and safety and evaluated their reliabilities

    具體針對三模混合冗餘、增強型雙機比較及帶熱備份的雙機比較三種典型體系結構的計算機容錯系統進行了研究,統一用馬爾夫模型進行描述,通過理論分析和計算,獲得各體系結構容錯系統的度與安全度的數學模型;通過分析,合理定義了系統的任務工作期區間,並在此區間上比較分析了各體系結構容錯系統的度與安全度情況,從而對各系統的指標進行了評價;根據上述三種系統的數學模型,在考慮系統故障覆蓋率與維修率兩個參數對系統度與安全度影響的情況下,用matlab編制了計算機模擬程序。
  9. Language recognizer generators are tools in common used both for system software and application software development. with the computers spreaded in china, the requirment to process chinese information increases with each passing day ; on the other hand, ada95 is the first iso standard of object oriented programming language ( oopl ), in addition to adopting the characteristics of high efficiency and safety of ada83, ada95 enhances the support of object oriented technologies, and therefore becomes the ideal prograrmming language for developing and maintaining the large, complicate and high reliability systems

    識別器生成器是系統軟體和應用軟體開發的常用工具之一。隨著計算機在我國的推廣使用,對中文信息處理的需求日益增多;另一方面, ada95是世界上第一個得到iso認的面向對象程序設計的國際標準,它繼承了ada83安全、高效的特點,支持面向對象技術,是開發與維護大型、復雜、高系統的理想環境。
  10. This paper acquires managing stock informational system which is highly cohesive, loosely coupled, highly credible, easy to maintain and extend by means of unified modeling language ( uml ) and object - oriented rds ( vfp ) over the life cycle of software

    摘要採用統一建模( uml )和面向對象關系型數據庫( vfp )相結合,在軟體生命周期內採用面向對象的方法和工具實現庫存管理信息系統,在較短時間內得到了高內聚、低耦合、高、易於擴展、維護的系統。
  11. A compact common language runtime that brings the benefits of managed code, such as memory management, code reliability, and language neutrality, to devices

    一個精簡的公共運行庫,它將託管代碼的好處,比如內存管理、代碼帶入設備。
  12. The paper analyses the control principle of general several intelligent lighting control methods, analyses their advantages 、 disadvantages, applications, and the proceedings should be paid attention to in the applications ; analyzes the characters and applicable scope of common several interior illumination calculation methods ( the point method 、 the coefficient of utilization method 、 the unit capacity method ), designs a lighting system for a living room ; and brings forward to the system function of easy home lighting intelligent control system, studies design ways of its software and hardware. the system uses at89c51 micro - controller, programs with assemble language, uses effective anti - jamming measures to ensure it operates reliably

    論文分析了現有常用的幾種智能照明控制方式的控制原理,優、缺點,使用場合,以及在使用中應注意的事項;分析了常用室內照度計算的幾種方法(逐點法、利用系數法、單位容量法)的特點和適用范圍,設計了某一起居室的照明系統;並提出小康住宅智能照明控制系統的系統功能,研究了該系統的軟、硬體設計方法,採用at89c51微處理器作為控制器,用匯編編程,並採取有效的抗干擾措施以確保其運行
  13. Then with regard to emc, reliability and control flexibility of pwm power amplifier, the following contents are studied. to improve the control flexibility of pwm power amplifier and realize all kinds of pwm control mode, a pwm controller is designed based on cpld by using vhdl, which has the features of low cost, high reliability and integration

    然後在圍繞pwm功率放大器的電磁兼容及靈活控制等方面進行了以下工作:為增加pwm功率放大器控制的靈活,能夠方便實現各種直流pwm控制模式,利用編程邏輯器件的重復編程和在線下載特、用vhdl設計了基於編程邏輯器件的pwm控制器。
  14. Using c language to develop dsp program with cc2000 compiler. the software which follows structurization and modularization principles, has the characteristics of better real - time quality, high reliability and maintenance facility

    在cc2000編譯器環境下,利用c編寫了dsp程序,具有實時強,高,維護方便等特點。
  15. Then, using recursive arithmetic calculated reliability indices for directory tree, the method was realized by vb program ; the other is a method of reliability evaluation by interval arithmetic, which is the use of interval arithmetic to evaluate reliability, and the computation theory is also given. during the calculation, interval number replaced the component " s parameter and it takes into consideration the uncertainty of all of the parameters. in the study of power distribution system configuration, a new configuration model is set up which takes into account simultaneously the losses minimization and system reliability, then improved genetic arithmetic is described detail and of advantage for solving this problem

    在配電網評估的研究中,提出了兩種實用的配電網評估方法:其一是利用網路分層和遞歸演算法理論,使用高級進行程序設計,提出了一種基於vb編程的配電網評估方法,該方法通過程序實現了網路拓撲結構的分層等效和指標的遞歸計算,使整個計算過程得到了簡化,並且界面窗口的視化,使得評估過程便捷、形象;其二是提出了一種基於區間演算法的配電網評估方法,該方法是一種利用區間理論計算配電系統的不確定評估方法;文章給出了區間運算的原理;討論了配電系統中區間數據的來源途徑,並用區間數代替元件的參數,對輻射形配電網進行了評估。
  16. The character of the thesis was the following : ( 1 ) giving the modification of lambda calculus in order to describe the character of dynamic fuzzy ; ( 2 ) giving an operational semantics model of dfl programming language which can solve dynamic fuzzy problems and proving the correctness and reliability of it ; ( 3 ) giving the frame of dfl programming language

    本文的特色體現在: ( 1 )提出了以描述動態模糊問題的演算的變形方法; ( 2 )提出了以解決動態模糊問題的dfl程序設計的操作義模型,並對該模型的正確進行了證明; ( 3 )提出了dfl程序設計的基本框架結構。
  17. We also research the power flow calculation and reliability analysis of urban radial network, and a forward - backward sweeping method of power flow solution and a kind of reliability evaluation based on the minimal path method, are presented in this thesis

    在前人研究成果的基礎上,提出了採用前推回推法計算配電網路潮流以及基於最小路的實用快速評估演算法.其中對于潮流計算,本文用c編制了相應的計算程序。
  18. Interpreted, dynamically typed languages such as jython and groovy are more flexible than netrexx in some cases, but can also be less reliable

    解釋的、動態類型化的(例如jython和groovy )在某些情況下比netrexx更靈活,但是也就更差。
  19. Top layer application is based on the rtos, developed in hybrid programming of c and assembler language. thus, the reliability and the real - time processing ability of the system are improved

    軟體開發以嵌入式實時操作系統作平臺,應用程序在此平臺上採用c與匯編的混合編程方式進行設計,提高了系統的和實時
  20. Finally, complete the system and realize all functions. based on this system, a discrete event system model using general purpose simulation system - gpss is established to validate and evaluating home automation system ' s reliability and performance. according, a lot of experiments, many stimulant examinations are done, and obtained a series of data

    在此基礎上,為了驗證家庭自動化系統的和評判其通信能,使用通用模擬系統? ? gpss對所設計的家庭自動化網路系統建立了離散事件系統模型,並利用此模型進行了模擬試驗,獲得了一系列的試驗數據。
分享友人