proving program 中文意思是什麼
-
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擺線齒錐齒輪銑齒調整參數計算」的程序驗證了推導的公式的正確性。 -
Vehicle model database and virtual proving ground was called by opengvs sdk program
使用opengvssdk編程工具，實現了對虛擬試驗場景和車輛模型數據庫的調用。 -
Until now, most inspection tools either tried to take on the very difficult problem of proving that a program is correct, or focused on superficial issues such as code formatting and naming conventions, or at best, simple bug patterns such as self - assignment, unused fields, or potential errors such as unused method parameters or public methods that could be declared private or protected
到目前為止，大多數檢測工具要麼極力試圖證明程序是正確的，要麼注重一些表面問題，如代碼的格式編排和命名規則，最多還關注一些簡單的bug模式，如自賦值、未使用的域或潛在的錯誤（如未使用的方法參數，或可以聲明為私有或保護的方法被聲明為公共的） 。
分享友人