1、基于可拓學的軟件學院培養模式策略的生成研究與探討摘耍：本文運用可拓學的知識，探討了利用基丁呵拓論的信息-知識-智能形式化體系為如何 解決高校學生就業的策略生成問題，為高校的培養模式提供了解決問題的較優方案。關鍵詞：可拓學；策略牛成；培養模式；隨著社會信息的發展，金業招們人才的門檻越來越高，所以高校人才的培養而臨著巨大 的挑戰，尤其是軟件行業，企業要求學生冇非常強的動手能力。然而，當前大部分高校對于 在校學生的培養只是最棊礎的知識，所謂的動手能力非常弱。所以畢業的學生找份滿意的工 作是非常難的，面對看這樣的矛盾問題，軟件學院該如何改變這種現狀呢？因此，我們嘗試 利用基于可拓論的信息-知識-押能形

2、式化體系在有限的資源條件下，為軟件學院一種比較合 理的培養模式的策略。一、基礎知識可拓學的棊本思想是利用可拓論，結合各應用領域的理論和方法去處理該領域中的矛盾 問題，以化不可行為可行，化不可知為可知，化不屬于為屬于，化對立為共存。己知條件基元/勺)，在條件/下，目標基元g = (n,f)無法實現，即k(gj)5 0,此時稱問題p = gh為不相容問題。解決這類問題就是要尋求可拓變換t = (tg，tj,使問題的相容度k(7；q,7；/)no。可拓變換，是把一個對象變為另一個對象或者分解為若干對象的過程。根據變換對象的類型，對以把町拓變換分為論域的變換、 關聯準則的變換和論域中元素的變換。有五種

3、最基木的變換，其它的可拓變換都是由它們之 間進行運算得到的。基木的變換包括置換變換、增刪變換、擴縮變換、分解變換與復制變換。 變換具有四種運算：變換z積、變換z逆、變換z或、變換z與。二、可拓模型的建立為了有效地改進軟件學院培養模式，以某學校的培養模式為例，我們嘗試利用對拓學的思 想一一解決才盾問題的特性來求解。就業人數, 共有學生,60150首先對社會需求人才、學校培養的人才信息建立可拓模型p,把學校當前的就業率80% 作為目標g,以現有條件/建立可拓模型如下：欽件學i芽p = gl=軟件學院，就業率，80%*根據正域為有限區間 a,b 的簡單關聯函數m - ab-xb-m,x<m,x

4、>m(1)rh于就業學牛越多越好，所以取m =b,所以上述公式(1)變為x-ab-a b-x b-ax<h.*(fo) = 0vl,x>b,x = h.(2)假設當前該軟件學院畢業生共有150人，1何當前就業的人數有60人按照公式(2)計算: “借2 冷",其中:“9, -0.4;由于kq) = 20,故問題p為不相容問題。三、問題求解1、不相容問題的解決方法不相容問題的解決有三種思路：a、目標不變，通過條件的變換使矛盾問題化解；b、 條件不變，通過對冃標的變換使矛盾問題化解；c、h標和條件同時改變，使矛盾問題化解 410下面我們首先利用方法a來解決這個不相容問題。

5、2、可拓策略的生成策略，是一種決策原則,它規定了一種可能預見或可能發生的情況下怎樣做才可能實現 問題的目標。那么，針對當前社會需求，我們如何解決軟件學院就業問題呢？可以從以下幾 個方面考慮：（1）在校內，結合當前社會急需軟件方面的人才，有針對性的改變培養方案。（2）在校外，跟軟件開發公司結合，讓企業替學校培養人才，并在畢業時接收一部分畢業 生。然后進行可拓變換51161利用發散分析原理：由一個基元出發可以拓展出多個同特征棊元，將上述張三父母的 收入進行拓展，即：=(7v/?c,v.),f = l,2,3,-,ntj = z-(/ = 1,2,n)例如:軟件學院，就業人數，125共有人數，150

6、125當前關聯函數的參數值變為：- = 0.833 .利用公式（2）計算當前的關聯函數g(0.833) =0.833-0.81-0.8= 0.0165,其中:d=0.&b=l,m=l, x =0.833經過對條件的可拓變換z后，冇k®） = k（ij = k （0.833） = 00.0165 >0, 即在條件h下，使問題變為和容問題。按照上述3.2同樣的步驟，找到所冇滿足k（/）二人（坷）>0的基元，其中："為實際的 年收入并形成策略集合為w = a，/ = 1,2,同。集合w中的所有策略都滿足當前的要求, 那么用戶選擇哪一種策略為最優呢？下面給出對集

7、合w中的策略進行評價的方法7,18103、策略的評價假設根據上述方法牛成了如下三種牛成策略：a. 州一一在校內，結合當前企業的需求，改變培養模式，需要沒人需花30000元，學生的 動手能力中等；b、a2在校外，讓企業替學校培養人才，需要花費40000元，學牛的動于能力強；下面我們就對以上兩種策略進行評價，評價的具體步驟如下：（1）確定衡量條件設衡量條件集為m =m,m2f其中m,=(“,)是特征元，匕都是數量化了的量值域 (i=l,2,)。學生沒人的花費不能超過45000元；v2學牛的動手能力要有一定的提髙；(2) 確定權系數確定衡量條件集#的權系數向量為：a = (0.4,0.6)(3) 建

8、立關聯函數，計算其合格度關于叫的關聯函數為:若是張三父母：k. (%)=45000 - x45000關于嶺的關聯函數為:當"優 當兀=良 當“一般各策略關于衡量條件叫,v2的值為:ui(a )=30000 嶺(人)二良vi (a2 )=40000 v2(a2)=優將上述各值分別代入關聯函數k|(x), k2(x)中，得到關聯函數值，即合格度為:k嚴(k|(a,),k、(a2),) = (0.333,0.222)心 十2(人),心(每)=(0.5,1)(5)計算規范合格度對kk2.進行規范化得規范合格度為k、= (0.333,0.5)=伙 h，r2)燈=(0.222,1)=(緒,g)則

9、各對彖4關于的規范介格度記為:(i = 1,2)(6)計算優度a.策略兒的優度為:由于ks)=*210.5故 a 的優度為 c(a,) = a'ka) = (0.4,0.6)0.3330.5=0.330.4332b、策略人的優度為：,*k.l 0.222由于k(a)='' =|.*21l ' _0 222_故 £ 的優度為 c(a2) = a'ka2) = (0.4,0.6)= 0.6888mm把各個策略的優度進行比較，得：c4)>c(a)所以仏為較優方案。以上是目標不變，通過條件的變換進行求解的步驟。如果以上的方法，在求解過程中不 能夠

10、滿足用八的要求，由可以通過改變日標，進行求解，然后再按照以上的步驟進行求解。 同樣的，如果通過目標發散后仍然不能滿足，把冃標和條件同時改變進行求解，如杲用戶同 意，直到找到滿足用戶要求的策略為止四、結論以上是對解決某高校培養模式生問題時所面臨的矛盾問題，給予的具體解決方法。在生 成策略的同時，利用對拓評價方法建立模型，并以定屋的數值表示評定結果，能較完整的反 映一種策略的優劣。該方法具有普遍性，也町以應用到其他的領域。參考文獻：1楊春燕，蔡文.可拓工程m.北京:科學出版社,2007. 11-221 蔡文.物元模型及其應用m.科學技術文獻出版社,1994.1-1503 horrocks 1,patelschneider p f and harmelen f v.from sh1q and rdf to owl:the making of a web ontology languagej. journal of web semantics,2003,1(1 ):7264 蔡文物元模型及其應用m.科學技術文獻出版社,1994.5 蔡文,楊春燕，何斌.可拓邏輯初步m科學出版社,2003. 王洪偉.關鍵策略初探.系統工程理論與實踐,199&2 (2)： 108-11017蔡文，楊春燕,林偉初