知識工程 formula、fog、law、rule,Menyo,2,主要內容,1. Parameter（參數） 2. Formula（公式） 3. Law（規律） 4. Fog.law （Fog規律） 5. Rule （規則） 6. 綜合練習,3,1 Parameter（參數）,4,1.1.1 顯示參數,在產品樹中顯示參數、關系式,,,ToolOptionInfrastructurePart InfrastructureDisplay,要勾選這兩項，才能在產品樹中顯視,,,,設定好后﹐不會自動在樹目錄出現﹐你建立參數才出現,5,可以在產品樹中顯示value、formula，設置如下圖,,,1.1.2 顯示參數值、公式,,,6,1.2 創建參數,,,,,,,,,1,2,3,4,簡單的創建過程如下圖所示,7,創建參數時，可以選擇不同的參數類型type，參數值的數量（Single or Multiple）,,如果有沒有選擇參數類型，系統默認為實型real，實型與長度的轉換單位是m，例如，創建圓的半徑R為5，那麼，半徑就是5m見前一頁圖）,創建時，選擇的是長型Length，那麼系統就默認單位為mm，例如，創建a為長型15，那麼a的長度就是15mm,1.3 長型單數值參數,8,1.4 創建一個時間型(time)的多數值參數,,,1,2,3,,,,,,,,4,5,選擇Time、Multiple Values，在彈出的對話框中，輸入數值，回車，再輸入….循環至輸入所有值，OK確定，新建成功參數，參數的值隻能是原先預輸入的值,9,1.5 刪除參數,點選參數Delete Parameter即可刪除不需要的參數,,,,,,10,1.6 Parameter 習題,創建以下參數： 實型 a=30 b=40 長型 c=50mm R=60mm 時間 t=35s,40s,60s 面積 S=20mm2,30mm2,40mm2,11,2 Formula（公式）,Formula(公式)可以讓相互獨立的的Parameter產生約束關系,如：長方形的 長a=15mm 寬b=10mm 周長c=2*(a+b),圓的半徑為R=5mm 面積S=PI*R**2,12,2.1 增加Formula,方法1:,,,,,,,,,,,,,,13,方法2：,右擊,,,14,方法3：,在草繪裡，要定義某一尺寸的約束方程 點選尺寸右擊* objectEdit Formula,15,2.2 編輯框,被約束的參數,,公式輸入區,,字典目錄,,顯示參數所選中的參數名稱與參數值,,,,16,2.2.1 運算符號,在字典裡，可以查到CATIA的Operators運算符號,等號 == （ 兩個=號！） 例：當x=0.4時，表示為 if x==0.4 乘方號 ** 例：x的平方 x**2 x的3次方 x**3 與號 and 例 ：00 and x1表示為 x1,注意：兩數相乘，*不能省略。
如a乘b，不能寫成ab，一定要寫成a*b,,詳細講解請點這裡,17,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.CATPart,18,2.3 formula 公式,1 長方形的周長等於：長+寬乘於2,2 圓的面積等於：PI乘於R的平方,注意：PI一定要大寫,,,或者在這裡選,,Formula.CATPart,19,為了避免輸入產生錯誤，特別是參數比較復雜時，參數要盡可能用鼠標點選 在產品目錄樹裡選擇與在“Members of All”選擇是同效的,,,,,20,公式裡的參數都必須是先定義的(即在Members of All 裡能查到),否則參數不能被使用,2.4 先定義，後使用,,此處沒有參數X,,21,2.5 delete 刪除公式,,1 用公式刪除工具“Erases the text field” 一次全刪除 2 用鍵盤的“Backspace”鍵或“Delete”鍵逐個刪除,,22,2.6 Formula 習題,請自定義參數，用公式完成以下要求： 1.圓的周長公式c=2nr 2.立方體的體積公式V=a3 3.作一個圓柱，圓柱的高等於底面周長，即h=c 4.求1300 的正弦值sin與800 的余弦值cos之和，並把它們的和賦給m 5.求x、y、z之中的最大值，並把它們的最大值賦給n 6.求e的平方根，並把它的平方根賦給f,23,3 law （規律）,僅在Generative Shape Design模塊裡可以使用規律,1 規律可以作用於平行線 parallel curve 2 規律可以作用於掃描面 Sweep Surface,規律常用在以下兩個方面,24,3.1 創建規律的條件,原則：1.每個x值與唯一的y值相對應 2.Reference隻能是直線 3.Reference線與Definition不能是空間線(即不屬於於任一平面的線),正確,沒有唯一值，錯誤,空間線，錯誤,25,3.2 create law 創建規律,方法1：先草繪，再點擊Law,Law.CATPart,在yz平面作一條spine線,,,,,26,方法2：先點擊Law，再作草繪,,,,依上面的方法，再做另一個點，系統自動連成一條線,作Reference（參考）線,右擊,右擊,輸入點坐標,27,作Definition（定義）線,按照Reference線的作法，作出Definition線,,此方法作出的參考線與定義線屬於law特征,,28,3.3 有效區域,若定義線在參考線的投影不是正好在原點與終點，則law的有效區域如下圖所示,,有效區域,,,無效區域,,,,,,29,3.4 x參數在定義線上,兩條曲線a、b，當x在a，y在b線時，不滿足每個x值與唯一的y值相對應的條件。
可以通過改變x所在的線段來滿足,,勾選這裡,規律曲線圖,30,3.5 scale 縮放,規律的X值與Y值的對應關系隨著Scale的值變化而變化當Scale的值為1時，X、Y是1對1關系；當Scale的時是2是，X、Y是1對2關系，即在X軸一單位的值是1，那麼在Y軸上一單位的值就是2.,如右圖所示，Scale的值由1變成10，原點Y的埴由5.49929變成54.9929，放大了10倍,31,3.6 Law習題,1 按照方法1與方法2各做一個Law 2 要求：在0~1/5時，高度是100； 1/5~1/3時，高度由100下降到80； 1/3~1/2時，高度是80； 1/2~3/5時，高度由80上升到85； 3/5~1時，高度由85上升到100 按照以上要求做一個law,32,4 fog 規律,1 fog規律的變量隻有一個，並且從0到1變化 2 fog可以使用已有的Law，但law要求值，即Evaluate() 3 fog可以用if 、else等語句,33,4.1 Dictionary 字典,4.1.1 操作,算術符號 + 加號 如a+b 減號 如a-b * 乘號 如a*b，乘號不能省略！不能寫成ab / 除號 如a/b （） 括號 如a*(b+c) = 賦值號 如a=b，把b的值賦給a，而不是數學裡的b等於a！ ** 求冪號 如a**2是求a的2次冪，即a的平方；a**3是求a的3次冪，即a的立方,邏輯符號 and 與 如x0，即相當於數學裡的02 or x2或x0,34,比較符號 不等於號 如ab 相當於數學裡的≠號 == 等於號 如a==5，相當於數學裡的a=5 大於號 如ab = 大於或等於號 如a=b = 小於或等於號 如a=b,35,4.1.2 Constants 常量,PI 3.14159265358979323846 注意，要大寫！ E 2.718282 注意，要大寫！ false 假 參數的布爾值凍結 true 真 參數的布爾值激活,36,4.1.3 Evaluate 求值,允許用戶對一個或幾個規律law進行求值，並且把所得的值用在另一個規律law裡,語法：law.Evaluate(此處埴實型) 注意，E一定要大寫 , . 號不要漏掉,已經創建Relation關系規律law.1與PartBody實體規律law.1，要在新創建的law.3引用這兩個規律，方法如下,y=Relations\Law.1. Evaluate(x)+PartBody\Law.1 .Evaluate(10*x),37,4.1.4 math 數學函數,int() 返回整數，去掉指定數的小數部分 abs() 絕對值 如abs(-5)是對-5求絕對值 ceil() 返回大於或等於指定的數整數 floor() 返回小於或等於指定的數整數 sqrt() 返回平方根值 exp() 返回指定數的冪,38,sin()，cos()，tan()，asin()，acos…三角函數,在括號裡，如果不標明deg，系統默認為弧度,round() 取整 ，與int()、floor()類似,min(a,b,c…)，mxa(a,b,c….) 返回a,b,c….中的最小值、最大值,39,4.1.5 keywords 關鍵詞,if else else if,語法 if 條件 陳述 {else 陳述} 或者 if 條件 陳述 else if 條件 陳述 ……… else 陳述,40,4.2 create fog 創建fog,Fog規律的創建如下圖所示,允許建立多個參數，但參與運算的參數隻能是兩個；否則會彈出如圖錯誤信息,41,4.3 例題,4.3.1 作一直線規律 1 直線通過原點，斜率為3,2 直線通過（0,5），斜率為3,直線方程,42,4.3.2 三角函數方程,以正弦函數為例 y=a*sin(b*360deg+c)+d a 振幅 b 同期 c 起始角 d 偏移值,改變a、b、c、d的值，函數的圖象會隨之改變,43,4.3.3 分段函數,作如右圖的分段函數,if x*15=0 and x*15=4 and x*15=8 and x*15=12 and x*15=15 y=1.5,44,要求圆角R=两截面的R之和。
Equal_R_round.CATPart,4.3.4 变化圆角加强练习,,45,做兩個law規律,兩條參考線勻是截面圓心的連線,46,作一個log規律,y=`Geometrical Set.1\Law.1` .Evaluate(x)+`Geometrical Set.1\Law.2` .Evaluate(x),在x的位置，log規律的y值待於law.1與law.2的y值之和 即新的半徑R=r1+r2,47,作Fillet倒角,。