算術檢查 的英文怎麼說

中文拼音 [suànshùjiǎnzhā]
算術檢查 英文
arithmetic checking
  • 算 : Ⅰ動詞1 （計算數目） calculate; reckon; compute; figure 2 （計算進去） include; count 3 （謀劃;計...
  • 術 : 術名詞1. （技藝; 技術; 學術） art; skill; technique 2. （方法; 策略） method; tactics 3. （姓氏） a surname
  • 檢 : Ⅰ動詞1 （查） check up; inspect; examine 2 （約束; 檢點） restrain oneself; be careful in one s c...
  • 查 : 查名詞1. [植物學] （山查） hawthorn; haw2. （姓氏） a surname
  • 算術 : arithmetic figure; arithmetic
  • 檢查 : 1 （用心查看） check up; inspect; examine; censor; survey rummage; review; jerque; docimasia 2 （...
  1. This paper mainly aims at the characteristics of the hardware and software structure of the parallel computer on satellite, and has fulfilled researches of fault tolerant technique in three aspects of control theories and engineering : the first research of the system level fault - tolerant module is based on the system structure of the parallel computer on satellite, a kind of cold backup module and a kind of hot backup module for multiprocessor computer have been put forward. then the research of software fault tolerant technique which is based on the operate system named rtems has been carried, the mission level fault - tolerate arithmetic and the system level fault - tolerate mechanism and strategies based on the check point technique have been put forward, at the same time the self - repair technique of software which has used the technique of system re - inject has been studied. finally the technique of components level fault - tolerant based on fpga has been studied, a kind of two level fault - tolerant project which aims at the fault - tolerant module of the parallel computer on satellite has been put forward, and the augmentative of circuit that project design realization need is little, this project can avoid any breakdown of any part logic circuit of the fpga

    本課題主要針對星載并行計算機體系結構及軟體結構的特點，從如下三個方面進行了容錯控制理論研究和實踐工作:首先進行了基於星載多cpu并行計算機體系結構的系統級容錯模型研究，提出了一種多cpu冷備份容錯模型和一種多cpu熱備份容錯模型;然後進行了基於rtems操作系統的軟體容錯技術研究，提出了任務級容錯調度演算法以及基於檢查點技術的系統級容錯恢復機制和策略，同時研究了利用系統重注入進行軟體在線自修復的容錯技術;最後研究了基於fpga的部件級容錯技術，提出了對容錯模塊這一星載并行計算機關鍵部件的兩級容錯方案，實現該方案所需增加的電路少，可避免板級晶元以及fpga晶元內部任何邏輯發生單點故障。
  2. Five vertiginous patients with tentative diagnosis of brain tumor demonstrated either by computed tomography ( ct ) or magnetic resonance imaging ( mri ) turned out to have other lesions after electronystagmography ( eng ) and other examinations

    摘要5名病人因眩暈在他院求診，經安排頭部計算機斷層掃描或核磁共振映像術檢查，懷疑為腦腫瘤。
  3. First of all, the assembly model of dfa is established and the data structure of the model is proposed ; in order to redesign product and structures and select optimized assembly plans, an assemblability evaluation system is constructed. secondly, assembly process planning is analyzed, including assembly path planning and assembly sequence planning ; and then the thesis brings forward the way of 11 - tuple to represent the movement of assembly / disassembly of assembly elements. in the end, this paper makes an research on the technology of interference checking, raised a kind of algorithm of swift interference checking based on envelops bounding box decomposition, hence, the accuracy and efficiency of the algorithm is improved dramatically

    首先建立了面向裝配設計的裝配模型，給出了它的數據結構；接著從面向產品結構和裝配工藝過程兩方面再設計的角度，構建了裝配性評價體系；接著闡述裝配工藝規劃技術，包括裝配路徑規劃和裝配順序規劃；然後提出了11元組法來表示裝配元件的裝拆運動；最後對干涉檢驗技術進行了研究，採用一種基於包容盒逐層的快速干涉檢查演算法，提高演算法的精度和效率。
  4. At the beginning of the paper, a literature review on the domestic and abroad researches of container terminal logistics system is provided introducing some computer simulating model technology apply case on container terminal logistics system on the domestic and abroad ; secondly this article introduce the element and characteristics of container terminal operation system, specially operation flow, controlling principle ( including gate testing principle, ship controlling principle, quay operating principle, yard i / o operating principle, yard running system ), followed by quality evaluating index and empiristic formulas of container terminal. at last, the paper introduces the basic components, layout, loading and unloading process flow of tian jin container terminals, evaluates the related performance parameters and at last introduces some related empiristic formulas based on the historical data of an actual terminal

    本文首先回顧了國內外集裝箱碼頭物流系統的研究動態，介紹了國內外計算機模擬技術在集裝箱碼頭物流系統模擬中的應用情況，然後介紹了集裝箱碼頭作業系統的組成和特點，以及其裝卸工藝、作業流程、操作原則（包括大門檢查箱作業原則、船舶調度管理原則、碼頭前沿操作原則、堆場存取箱作業管理原則、堆場管理系統） ，接著介紹集裝箱碼頭系統的性能評價指標和碼頭通過能力經驗公式及出入口車道數計算，並結合天津港集裝箱碼頭物流系統的特點，系統地介紹了天津港集裝箱碼頭的基本組成、布局、裝卸工藝、作業流程后，評估了集裝箱碼頭物流系統的相關性能指標，並結合實際碼頭的歷史數據，介紹一些相關的經驗公式。
  5. Based on practical project of inspecting, appraising and reinforcing a main heavy factory building, especially its steel crane girder system, of the second steel mill belonging to taiyuan steel & iron corporation, whose technology renovation leads to increase tonnage of many heavy cranes and vertical load of frame - bent structure, first the structure and its members were investigated, inspected, calculated and analyzed, and their reliability was appraised respectively and the strengthening projects or the measures to remedy were given. then, in accordance with the requirement to strengthen the girders under non - stop production, the feasibility of strengthening the crane girders by adding steel diagonal braces underneath the existing girders has been studied by inspecting and evaluating the strengthening effect of the crane girders and comparing with other reinforcing scheme

    本文結合太鋼（集團）有限公司第二煉鋼廠主廠房由於生產工藝改造要求，加大多臺重型吊車噸位及bc跨（ 1 ） （ 8 ）軸線框排架各層豎向（設備）荷載后，對廠房結構，尤其鋼吊車梁系統進行檢測鑒定與加固設計的實際工程，首先對廠房結構進行了現場調研、技術檢查、測試以及內力和承載能力的計算與分析（考慮抗震） ，並根據檢測、計算與分析結果，對廠房結構、構件的可靠性進行了評定，並綜合提出鑒定結論和加固處理建議。
  6. Compiler option lets you specify checked or unchecked context for all integer arithmetic statements that are not explicitly in the scope of a

    關鍵字范圍內的所有非顯式整型算術語句指定已檢查或未檢查的上下文。
  7. Modern computer technology, digital imaging and communication technology accelerate the application and development of picture archiving and communication system ( pacs ). an anal disease therapy instrument equipped with a fiber colonoscope which provides doctors with a number of useful anal and colonic images is a helpful instrument for diagnosing and treating the anal and colonic diseases

    現代計算機技術、數字成像技術和網路通訊技術促進了影像存儲與傳輸系統（ picturearchivingandcommunicationsystem ，簡稱pacs ）的應用與發展。肛腸綜合治療儀配備纖維結腸鏡是檢查、治療肛腸疾病的理想儀器，為醫生提供了大量有用的肛腸影像信息。
  8. Results the occlusion contact data and graph of wedge - shaped teeth defect had the features of trauma occlusion. 42. 97 % of them has the larger axial gradient degree, 96. 09 % of them has abration in different classes, 46. 29 % missing the front teeth and 57. 03 % missing the buccal teeth

    方法採用臨床物理檢查和石膏模型測量，確定楔狀缺損牙軸傾度、磨損指數、牙缺失等指標；採用計算機圖像處理技術，自行編制軟體程式及硬體系統，測試被檢光（牙合）片，分析並提取楔狀缺損牙接觸（牙合）力、面積、接觸點（牙合）應力等資料和圖形信息。
  9. In the thesis, the advanced cad ( computer aided design ) technology was combined with the intersecting knowledge including man - machine engineering, artificial intelligence method, database system, etc. on the base of ibm / catia, the corresponding modules, such as the database of knowledge and rule, the intelligentized suggestion, the various part assembly, the accessibility checkout, have been exploited. and a method of layout design which based on knowledge has been provided

    本文利用先進的計算機輔助設計（ computeraideddesign ）技術，結合人機工程學、人工智慧方法、數據庫知識等邊緣交叉學科知識，在ibm catia平臺上，實現了相應知識與準則的創建與實現、智能化裝配提示、各組件裝配、可達性檢查等功能，初步給出了基於知識與準則的飛機駕駛艙布局設計方法。
  10. ( 1 ) crews management on one voyage ( 2 ) cargo handling on one voyage ( 3 ) drill assign and assessment on one voyage ( 4 ) business about inspection and repair on one voyage ( 5 ) maritime affair reports, statement ( 6 ) voyage report ( 7 ) vessel ' s certification management ( 8 ) naviaids, navibooks, charts, communication equipment ( 9 ) life - saving, fire - fighting, anti - pollution equipment management ( 10 ) psc, ism serials documents ( 11 ) others. mean while, this paper discussed some notice of such researching, and point out that we have to face a lot of problem if we bring it into navigation. farther, on the basis of the configuration and functionality of it in shipping, based on the relationship of navigation it and some related navigation technologies, e. g

    （ 1 ）航次船員管理（ 2 ）航次貨物管理（ 3 ）航次演習管理（ 4 ）航次檢驗與修理管理（ 5 ）航次事故報告管理、海事聲明、船長聲明（ 6 ）航次報告、財務管理（ 7 ）船舶證書管理（ 8 ）助航儀器、資料、海圖、通信設備管理（ 9 ）救生、消防、防污等設備管理（ 10 ）港口國檢查、 ism系列文件模板（ 11 ）其它在線輔助與應急計算操作平臺文章同時對本論題研究工作應注意的問題作了較為祥盡的闡述，指出當前將it技術引入航海活動，尚需克服不少困難和解決不少問題。
  11. Measurement and characterization of surface texture is an important aspect of precision metrology. historically this has involved partitioning a profile into different wavelength regimes referred to as roughness, waviness and form followed by numerical quantization. parameters computed are then inspected for tolerance compliance to ensure a part performs its intended function. this approach is satisfactory when the specification has been carefully determined and the process is stable. however, when the manufacturing process is under development or when instability or modifications to the process invalidate specifications, there is a need to study surface finish parameters in relation to functional performance or process measures. in this context, the problem of surface texture classification and recognition are discussed. advanced techniques developed for this purpose along with applications are presented. also, the techniques discussed here will be useful across large bandwidth, from the characterization of nano scale to traditional micro scale surfaces

    表面結構的測量與特徵描述是精密計量技術的一個重要方面，傳統上包括將輪廓情況根據不同的波長范圍劃分為粗糙度、波紋度和形狀及后續的數字量化.按算得的參數檢查它是否為公差允許，以保證零件執行其指定的功能.當技術特性已經經過仔細確定，並且其過程穩定時，該方法是令人滿意的;但是，當製造過程正在進行中或過程的不穩定、過程變化使技術特性失效時，就需要研究和功能表現及過程評定相關的表面參數.討論了表面結構的分類與識別問題.同時闡述了為此目的而開發的先進技術及其應用.所研究的技術對從納米尺度到傳統的微米尺度的較大帶寬范圍內的表面特徵描述都是有效的
  12. It ' s computer to take the place of traditional hand working. by means of storaging the basic technological information and dynamic working data of a ship, and through building up the correspondence between the marine execution laws and illegal actions, practical reliable computer softwares accomplish. " three ones " and " three zeroes ", the former stand for : the papers of wrong writing, wrong use of applicable rules and illegal procedures are zero

    通過將船舶的基礎技術資料和動態運行資料進行登錄並實施有效存儲、通過建立海事行政方面的法律法規與船舶違法行為之間的對應關系，研製實用、可靠的計算機軟體，實現了船舶檢查登記「三個一」即一次性全面登記、一本《簽證簿》報港、一分鐘證書檢查和行政處罰「三個0 」即文書填寫不合格率為0 、程序不合法率為0 、適用條款錯誤率為0的目標。
  13. The resource adapter might use this method to check that numeric properties are within the acceptable range or to ensure that a string property representing a value from an enumeration is valid

    資源適配器可能用這個方法檢查算術屬性是否在可以接受的范圍之內，或者確保表示枚舉值的字元串有效。
  14. Data cryptographic techniques. data integrity mechanism using a cryptographic check function employing a block cipher algorithm

    數據密碼技術.採用字組數字演算法使用密碼檢查功能檢驗數據整體性機構
  15. Forensic experts are expected to examine the car, which is on loan, for clues to understand what happened when it crashed into a pillar inside a paris tunnel. they will also be using the latest technology to build a computer model of the crash scene, the metropolitan police said

    法學專家們將應用最先進的技術建立一個模擬車禍現場的計算機模型，並通過對這輛汽車的檢查，以發現當時汽車與巴黎隧道里的柱子相撞時究竟發生了什麼。
  16. Keyword is used to suppress overflow - checking for integral - type arithmetic operations and conversions

    關鍵字用於取消整型算術運算和轉換的溢出檢查。
  17. Keyword to control the overflow - checking context for integral - type arithmetic operations and conversions

    關鍵字控制整型算術運算和轉換的溢出檢查上下文。
  18. Checked keyword is used to explicitly enable overflow - checking for integral - type arithmetic operations and conversions

    關鍵字用於對整型算術運算和轉換顯式啟用溢出檢查。
  19. According to the lead author, matthew budoff, m. d., f. a. c. c., of the los angeles biomedical research institute at harbor - ucla medical center ( la biomed ), " essentially, ebct identifies calcium build - up or a plumbing problem in your heart

    10月2日在網上發表的一篇科學綜述將於10月17日在循環學雜志發表，美國心臟病協會著述委員會得出結論，電子束計算機斷層攝影術（ ebct ）已成為鑒別病人是否存在冠心病風險或診斷冠心病的一項非常有益的檢查技術。
  20. The system adopts redundancy technique and error proof measure : communicating process uses a self - adapting protocol and crc ; master computer software can avoid human - initiated - failure, check data border, limit authority, backup system data and start backup computer by software etc. to some extent, these ways help to increase the reliability of the system

    系統採用了冗于技術和容錯措施：通信過程採用自適應協議和crc校驗；主站計算機軟體能夠避免人為失誤，檢查數據范圍，限制權限，備份系統數據等。
分享友人
分享到 Line

分享到臉書