導出類型轉換 的英文怎麼說

中文拼音 [dǎochūlèixíngzhuǎnhuàn]
導出類型轉換 英文
derived type conversion
  • : 動詞1. (引導) lead; guide 2. (傳導) transmit; conduct 3. (開導) instruct; teach; give guidance to
  • : Ⅰ名1 (許多相似或相同的事物的綜合; 種類) class; category; kind; type 2 (姓氏) a surname Ⅱ動詞...
  • : 轉構詞成分。
  • : 動詞1. (給人東西同時從他那裡取得別的東西) exchange; barter; trade 2. (變換; 更換) change 3. (兌換) exchange; cash
  • 導出 : leading-out; derive; derivation
  • 類型 : type; mold; form; cut類型論 theory of types; 類型語句 [計算機] type statements
  • 轉換 : change; transform; convert; switch
  1. Combining with knowledge representation and automatic reasoning principle of ai and generic paradigm, the system has these main functions : ? it is able to show different solutions of typical example ; ( 2 ) it can automatically generate problems similar to the example for students to solve by providing them with clues ; ( 3 ) these problems can be studied by demonstrating the complete solution process and answers with the help of automated reasoning, or by providing real - time prompts to students concurrent with the students " solution processes with the help of automated reasoning ; ? it provides exercises and is able to call a program produced by the group ( the translator ), which transfers apla programs to executable programs so as to verify its correctness ; ( 5 ) it let teacher to add examples in the database ; etc. hi the course of systematic research, we deeply investigated the relevant knowledge of the system and made some innovation : about teaching content, we select par method as the main content

    本系統選用薛錦雲教授的par方法為主要教學內容,應用人工智慧的知識表示和自動推理原理及泛思想,使得系統具有以下核心功能:展示幾種典例題的解;以泛思想為指,實現了無限題庫,可以自動生成與典例題似的問題給學生求解並給予提示;對于這些題目,計算機可以自動推理由問題到程序的全過程供學生學習;也可通過自動推理根據用戶的實際做題情況實時給提示,互動式地幫助學生學習演算法程序設計;學生可以從問題庫中獲得練習,並調用器,將自己的apla程序化為可執行語言程序,運行以檢驗其正確性;對教師而言,可以對已有的實例庫、問題庫進行添加操作等。在系統的研製過程中,我們深入研究了系統的各方面相關知識,並進行了多方面的創新:在教學內容方面,首次選用par方法為主要內容。
  2. Based on a systematic discussion on the contents, characteristics and the up - to - now accomplishments of these three operations in cagd, we present our researches in three ways as follows : ( 1 ) efficient evaluation for parametric curves and surfaces based on generalized ball bases based on the generalization of mathematical model of surface lofting program in the consurf system, two generalized ball surfaces and the recursive algorithms for evaluating them are given. furthermore, the conversion algorithms from bezier form of a surface to these two generalized ball forms are presented

    在系統地論述cagd中此三運算的內容、特點、已有研究成果的基礎上,就以下三方面給了研究成果: ( 1 )基於廣義ball基的參數曲線曲面快速求值以前英國航空公司consurf系統機身模線程序數學模的推廣為基礎,定義了兩廣義ball基曲面,給了求值的遞推演算法,推了b zier曲面到這兩曲面的演算法
  3. Aim to the special model nc bend tube, use the modeling method that essential parameter drive product sample model ; 3 ) in the foundation that summing up a rule of optimized welding assembly underside of tube, develop the nc bend tube welding underside optimization design tool, then complete the optimization design united with two application methods : rotation method and the least squares method ; 4 ) propose a design method of nc bend tube welding jig bottom base, then establish model storehouse according to the design rules, and endow the foundation model with assembly feature

    針對多數通用數控管,運用矢量演算法反求得管關鍵特徵,並據此創建管模,針對特殊造數控管,使用關鍵參數驅動產品庫樣本模的方法完成建模; 3 )在歸納總結了焊接底面創建規則的基礎上,開發數控管焊接底面優化設計工具,分別應用旋法和最小二乘法兩方法完成底面的優化設計; 4 )提了一種數控管焊接底座設計方法。
  4. This avoids problems where a column is updated by using a different type from the type returned by the server, and subsequent getter calls could invoke client side type conversions that give inaccurate results

    這會避免以下問題:使用不同於服務器所返回的更新列,隨后調用getter可能致客戶端,而這將給錯誤的結果。
  5. Any tool or api that exports an assembly to a type library must convert the outermost level of a managed assembly first

    任何將程序集庫的工具或api都必須首先託管程序集最外層的內容。
  6. This change in behavior may cause data - type casting errors in your applications

    此行為更改可能致在您的應用程序中現數據錯誤。
  7. A com client can refer to the type as

    庫中的
  8. Exported type conversion

    >導出類型轉換
分享友人