知識工程formula、fog、law、ruleMenyo第一页，共四十八页。主要內容1.Parameter（參數）2.Formula（公式）3.Law（規律）4.Fog.law（Fog規律）5.Rule（規則）6.綜合練習2第二页，共四十八页。1Parameter（參數）3第三页，共四十八页。1.1.1顯示參數在產品樹中顯示參數、關系式ToolOptionInfrastructurePartInfrastructureDisplay要勾選這兩項，才能在產品樹中顯視設定好后﹐不會自動在樹目錄出現﹐你建立參數才出現4第四页，共四十八页。勾選這兩項可以在產品樹中顯示value、formula，設置如下圖1.1.2顯示參數值、公式5第五页，共四十八页。1.2創建參數1234簡單的創建過程如下圖所示6第六页，共四十八页。創建參數時，可以選擇不同的參數類型type，參數值的數量（SingleorMultiple）如果有沒有選擇參數類型，系統默認為實型real，實型與長度的轉換單位是m，例如，創建圓的半徑R為5，那麼，半徑就是5m。（見前一頁圖）創建時，選擇的是長型Length，那麼系統就默認單位為mm，例如，創建a為長型15，那麼a的長度就是15mm1.3長型單數值參數7第七页，共四十八页。1.4創建一個時間型(time)的多數值參數12345選擇Time、MultipleValues，…在彈出的對話框中，輸入數值，回車，再輸入.循環至輸入所有值，OK確定，新建成功參數，參數的值隻能是原先預輸入的值8第八页，共四十八页。1.5刪除參數點選參數DeleteParameter即可刪除不需要的參數9第九页，共四十八页。1.6Parameter習題創建以下參數：實型a=30b=40長型c=50mmR=60mm時間t=35s,40s,60s面積S=20mm2,30mm2,40mm210第十页，共四十八页。2Formula（公式）Formula(公式)可以讓相互獨立的的Parameter產生約束關系如：長方形的長a=15mm寬b=10mm周長c=2*(a+b)圓的半徑為R=5mm面積S=PI*R**211第十一页，共四十八页。2.1增加Formula方法1:12第十二页，共四十八页。方法2：右擊13第十三页，共四十八页。方法3：在草繪裡，要定義某一尺寸的約束方程點選尺寸右擊*objectEditFormula14第十四页，共四十八页。2.2編輯框被約束的參數公式輸入區字典目錄顯示參數所選中的參數名稱與參數值15第十五页，共四十八页。2.2.1運算符號在字典裡，可以查到CATIA的Operators運算符號等號==（兩個=號！）例：當x=0.4時，表示為ifx==0.4乘方號**例：x的平方x**2x的3次方x**3與號and例：00andx<0.5選擇號or例：x<0或x>1表示為x<0orx>1注意：兩數相乘，*不能省略。如a乘b，不能寫成ab，一定要寫成a*b詳細講解請點這裡16第十六页，共四十八页。2.2.2數學函數求平方根sqrt(Real)例：求4的平方根，sqrt(4)求d的平方根，sqrt(d)求最大值：max(arg1:Real,arg2:Real)例：求實數a,b,c,d的最大值max(a,b,c,d)當a=19,b=15,c=18,d=16則g=19=max(a,b,c,d)參考檔案：Math.CATPart17第十七页，共四十八页。2.3formula公式1長方形的周長等於：長+寬乘於22圓的面積等於：PI乘於R的平方注意：PI一定要大寫或者在這裡選Formula.CATPart18第十八页，共四十八页。為了避免輸入產生錯誤，特別是參數比較復雜時，參數要盡可能用鼠標點選“在產品目錄樹裡選擇與在MembersofAll”選擇是同效的19第十九页，共四十八页。公式裡的參數都必須是先定義的(即在MembersofAll裡能查到),否則參數不能被使用2.4先定義，後使用此處沒有參數X20第二十页，共四十八页。2.5delete刪除公式1“用公式刪除工具Erasesthetextfield”一次全刪除2“用鍵盤的Backspace”“鍵或Delete”鍵逐個刪除21第二十一页，共四十八页。2.6Formula習題請自定義參數，用公式完成以下要求：1.圓的周長公式c=2nr2.立方體的體積公式V=a33.作一個圓柱，圓柱的高等於底面周長，即h=c4.求1300的正弦值sin與800的余弦值cos之和，並把它們的和賦給m5.求x、y、z之中的最大值，並把它們的最大值賦給n6.求e的平方根，並把它的平方根賦給f22第二十二页，共四十八页。3law（規律）僅在GenerativeShapeDesign模塊裡可以使用規律1規律可以作用於平行線parallelcurve2規律可以作用於掃描面SweepSurface規律常用在以下兩個方面23第二十三页，共四十八页。3.1創建規律的條件原則：1.每個x值與唯一的y值相對應2.Refer...
