proving correctness 中文意思是什麼
-
Analyse the klingelnberg amk855 gear milling machine. through analyse the transmission chain of the gear milling machine, analyse the transmitting principle and manufacture principle, introduce the two - - part cutter head, the process of formation of extended epicycloide and inaginary crown gear cutting principle ; overall introduce the formation of tooth face, deduce the calculation formulas of the main setting parameter of gear milling machine, and proving the correctness of the setting calculation formulas by the program of ‘ calculating of klingelnberg cyclo - palloid spiral bevel gear milling setting parameter ’
通過剖析該機床的傳動鏈，分析了其運動原理和加工原理;介紹了雙層萬能刀盤、延伸外擺線的形成過程和假想平面產形輪切齒理論;全面介紹了齒面的形成方法，推導了銑齒機主要的調整參數的計算公式，並用「 klingelnberg擺線齒錐齒輪銑齒調整參數計算」的程序驗證了推導的公式的正確性。 -
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上開發的使命規劃軟體的結構功能和流程圖，並敘述了模擬聯調實驗的過程，動態地顯示了「海洋地貌勘測」這一案例使命規劃的結果，並證明了使命規劃所得的任務序列在實際運行中邏輯的正確性與可行性。 -
This can help in proving correctness, simplifying an algorithm, or even finding ways of optimizing it
這有助於驗證正確性、簡化演算法，甚至有助於找出優化它的方法。 -
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程序設計語言的基本框架結構。
分享友人