前言：想要寫出一篇令人眼前一亮的文章嗎？我們特意為您整理了5篇模具合同范文，相信會(huì)為您的寫作帶來幫助，發(fā)現(xiàn)更多的寫作思路和靈感。

模具合同范文第1篇

合同編號(hào)：

甲方：

乙方：

經(jīng)甲乙雙方友好協(xié)商，甲方委托乙方加工

模具共

付。雙方達(dá)成如下加工協(xié)議。

模具基本情況（單價(jià)含17%增值稅）：

模具名稱

模具

材質(zhì)

模具

編號(hào)

模具

穴數(shù)

模具壽命（萬次）

模具單價(jià)（元/付）

模

具

數(shù)量(付)

金額

小計(jì)

備注

合同金額總計(jì)（元）大寫：

小寫：￥

本合同中所指模具包含產(chǎn)品本身的模具，模具上需打印：1、FZ公司；2、零件名稱：

；3、模具編號(hào)：

。

一、雙方的權(quán)利及責(zé)任

（1）甲方責(zé)任及權(quán)利如下

1、甲方負(fù)責(zé)交付給乙方執(zhí)行本合同所需的產(chǎn)品設(shè)計(jì)圖紙或者是樣品或者是其他相關(guān)資料，并且負(fù)責(zé)技術(shù)方面的支持工作。

2、對(duì)交付給乙方的產(chǎn)品設(shè)計(jì)圖紙和相關(guān)技術(shù)資料或者樣品，甲方具有唯一的解釋權(quán)，當(dāng)發(fā)生歧義時(shí)，乙方應(yīng)征詢甲方意見，由甲方確認(rèn)。

3、乙方完成模具的設(shè)計(jì)和制造后，乙方須提品樣品到甲方處進(jìn)行驗(yàn)證確認(rèn)。

（2）乙方權(quán)利及責(zé)任如下

1、乙方負(fù)責(zé)根據(jù)甲方提供的產(chǎn)品設(shè)計(jì)圖紙和其他相關(guān)技術(shù)資料或者是樣品進(jìn)行模具的設(shè)計(jì)和制造，乙方負(fù)責(zé)按照合同規(guī)定按時(shí)完成符合甲方設(shè)計(jì)要求的模具。

2、乙方負(fù)責(zé)按時(shí)按量提供認(rèn)證及樣板測(cè)試、試產(chǎn)所需的產(chǎn)品。

3、模具由甲方確認(rèn)合格后，由乙方負(fù)責(zé)模具的封存。如甲方同意乙方進(jìn)行產(chǎn)品的后續(xù)加工生產(chǎn)，則由乙方負(fù)責(zé)模具的修理和維護(hù)，乙方必須根據(jù)甲方或甲方授權(quán)的第三方的訂單進(jìn)行批量生產(chǎn)。

4、對(duì)給甲方生產(chǎn)的所有模具，乙方應(yīng)提供的詳細(xì)的設(shè)計(jì)圖紙給甲方。所有的圖紙必須以Autocad或Solidwork或Proe制作，并且必須在開模之前以電子檔形式傳給甲方以供批準(zhǔn)。

二、

技術(shù)條款

1、模具的修理和維護(hù)：如在乙方生產(chǎn)產(chǎn)品，在生產(chǎn)過程中模具的修理和維護(hù)由乙方負(fù)責(zé)。

2、在雙方協(xié)商無異議之后，甲方提品設(shè)計(jì)圖紙及相關(guān)技術(shù)資料給乙方，并派技術(shù)人員同乙方進(jìn)行技術(shù)交流或乙方派技術(shù)人員到甲方進(jìn)行技術(shù)交流。

3、乙方承諾使用所承制的模具生產(chǎn)出的產(chǎn)品能夠達(dá)到甲方的品質(zhì)要求。

4、乙方承諾使用所承制的模具生產(chǎn)出的產(chǎn)品的產(chǎn)能能夠達(dá)到甲方的交貨要求：

日產(chǎn)能：

件，

月產(chǎn)能：

件?。

5、乙方承諾本合同中所涉及的所有模具使用均能達(dá)到

萬次以上。

6、未經(jīng)甲方允許，嚴(yán)禁乙方將本合同中所涉及的任何一套（付）模具整體或部分外包給其它公司進(jìn)行加工，否則視為違約，由乙方依本合同的違約條款承擔(dān)違約責(zé)任。

三、商務(wù)條款

1、

模具價(jià)格

1.1

模具合同總金額（含17%增值稅）RMB

元。

1.2

模具價(jià)格總金額已包含如下費(fèi)用，乙方不得以以下原因向甲方要求費(fèi)用：

1.2.1

乙方對(duì)產(chǎn)品進(jìn)行成型/二次加工/組裝所需的所有夾具和治具的模具費(fèi)用。

1.2.2

乙方按合同規(guī)定進(jìn)行模具設(shè)計(jì)、試模所需的材料和設(shè)備及人工等費(fèi)用。

1.2.3乙方為保證模具正常生產(chǎn)制作的模具易損備件的費(fèi)用。

1.2.4

乙方為保證產(chǎn)品正常生產(chǎn)所準(zhǔn)備的其他工序的相關(guān)工具和治具的費(fèi)用。

1.3

當(dāng)甲方書面要求乙方根據(jù)產(chǎn)品設(shè)計(jì)的變更對(duì)模具進(jìn)行修改時(shí)，如果模具修改較簡(jiǎn)單，包括從模具上減除模具材料的修改和其他簡(jiǎn)單修改，則乙方不需向甲方收費(fèi)；如果模具修改較復(fù)雜，對(duì)整個(gè)模具的結(jié)構(gòu)影響很大，則由乙方根據(jù)修改模具所需工時(shí)向甲方報(bào)價(jià)，由甲方承擔(dān)相應(yīng)的模具修改費(fèi)用。如果因?yàn)橐曳降脑?，因模具不能滿足甲方的要求而進(jìn)行的修?；蚋哪＃追讲怀袚?dān)任何責(zé)任。

1.4如果隨著甲方訂單量的增加，乙方不能滿足甲方的交貨期而需要增加模具時(shí)，新增加的模具費(fèi)用由乙方全部承擔(dān)，同時(shí)，新增加的模具的所有權(quán)歸甲方所有！

2、開模進(jìn)度

2.1

乙方在收到甲方確認(rèn)后的產(chǎn)品圖紙之后，即開始進(jìn)入模具設(shè)計(jì)和制作階段，開模周期為

天

2.2

由于甲方原因造成制模進(jìn)度的延誤，不計(jì)算在內(nèi)。

2.3

如果乙方模具制作出現(xiàn)工藝和其它的錯(cuò)誤，導(dǎo)致模具無法驗(yàn)收合格而甲方又急需生產(chǎn)，乙方應(yīng)先用現(xiàn)有的模具（如果有）安排生產(chǎn)，同時(shí)再根據(jù)圖紙和樣板要求免費(fèi)重新開模。

3、付款方式

合同款分?jǐn)傇谝曳较蚣追绞坠┑?/p>

件物料中，即首供的

件物料單價(jià)中包含模具攤銷費(fèi)

元/件。如果訂單數(shù)量不足

件，甲方需補(bǔ)齊乙方未攤完的合同款，但乙方需開具同等金額發(fā)票（稅率17%）給甲方。

四、

產(chǎn)品品質(zhì)保證

乙方在完成模具后，乙方同意按照甲方品質(zhì)檢驗(yàn)標(biāo)準(zhǔn)以保證產(chǎn)品品質(zhì)(首件確認(rèn)報(bào)告)。甲方對(duì)品質(zhì)標(biāo)準(zhǔn)的內(nèi)容根據(jù)實(shí)際需要保留修改的權(quán)利。

五、模具所有權(quán)

1、本合同所涉及的全部模具和夾治具及其組裝圖和零件圖（包括2D和3D）的所有權(quán)，均歸甲方所有，乙方不得干涉甲方對(duì)模具的處置權(quán)。如在乙方生產(chǎn)，由乙方負(fù)責(zé)保管，未經(jīng)甲方同意，乙方不得將此模具提供給第三者生產(chǎn)，否則甲方有權(quán)要求乙方退還模具費(fèi)并賠償造成的損失。同時(shí)將追加賠償。

2、甲方付清模具款后，要求將模具從乙方處轉(zhuǎn)出時(shí)，乙方必須配合甲方或甲方指定的第三方進(jìn)行轉(zhuǎn)移驗(yàn)收，并自行承擔(dān)費(fèi)用將磨損部件更換以保證重新開始生產(chǎn)。乙方有義務(wù)對(duì)模具進(jìn)行組裝、防銹和包裝處理，并發(fā)運(yùn)至甲方指定的地點(diǎn)。

3、模具轉(zhuǎn)移過程中，如因乙方不當(dāng)組裝、防銹或包裝的原因，造成模具損壞，由此產(chǎn)生的所有直接損失和間接損失一律由乙方承擔(dān)。

六、

模具維護(hù)

1、乙方保證模具使用壽命

萬次以上，并在此期間內(nèi)由乙方負(fù)責(zé)免費(fèi)保養(yǎng)維修，如模具在使用壽命內(nèi)不能使用,

乙方應(yīng)負(fù)責(zé)更換或重新開模，并承擔(dān)相應(yīng)的費(fèi)用。

2、乙方應(yīng)對(duì)模具的修改、維護(hù)和修理等情況及時(shí)登記造冊(cè)，無論此種修改、維護(hù)和修理是否由甲方提出。如甲方要詢問有關(guān)的技術(shù)細(xì)節(jié)或證據(jù)，甲方可以隨時(shí)查閱，無需通知。乙方每三個(gè)月應(yīng)將登記記錄復(fù)印一次給甲方。乙方應(yīng)主動(dòng)定期完成此項(xiàng)任務(wù)，無需甲方另行提出要求。

七、知識(shí)產(chǎn)權(quán)

1、本合同所涉及的產(chǎn)品造型及甲方提供的設(shè)計(jì)圖紙和其他資料中所包含的知識(shí)產(chǎn)權(quán)為甲方所擁有，未經(jīng)甲方許可，乙方不得向任何公司和個(gè)人泄漏，否則由此產(chǎn)生的一切損失由乙方負(fù)責(zé)；甲方僅同意乙方基于本合同項(xiàng)下的目的使用甲方所提供的一切資料和信息。

2、乙方同意其不會(huì)將甲方所提供的設(shè)計(jì)圖紙和其他資料或信息用于非本合同以外的其他目的，否則甲方有權(quán)追究乙方相應(yīng)的責(zé)任；未經(jīng)甲方書面許可，乙方不得在出版物，廣告中或以其它書面、口頭形式涉及甲方提供的任何資料和信息。

3、未經(jīng)甲方許可，嚴(yán)禁乙方使用本模具向除甲方或甲方指定的客戶以外的其他客戶供貨，否則由此產(chǎn)生的一切直接損失和間接損失一律由乙方負(fù)責(zé)。

八、違約責(zé)任

1、

如果乙方未能按2.1中規(guī)定的進(jìn)度完成模具制作及送樣，由乙方承擔(dān)違約責(zé)任。每延誤一天，乙方須付給甲方本合同總金額的2%作為罰金，罰金累計(jì)額最多不超過本合同模具總金額的50%。

2、

如果因?yàn)橐曳降脑蛟斐梢曳教峁┙o甲方的產(chǎn)品的品質(zhì)達(dá)不到甲方的要求并且在組裝過程中導(dǎo)致其他物料的損失和報(bào)廢，乙方全額賠償損失和報(bào)廢的物料及因此形成的人工/停線費(fèi)用。

3、

如乙方因?yàn)椴豢煽咕芰Γò☉?zhàn)爭(zhēng)、火災(zāi)、罷工和中國(guó)法律規(guī)定的其他不可抗拒力）造成的供貨延遲，甲方允許免責(zé)。但乙方應(yīng)在不可抗拒力發(fā)生后24小時(shí)內(nèi)以書面形式通知甲方，并且乙方仍有義務(wù)采取一切必要措施盡快交貨。若不可抗拒力持續(xù)2周以上，甲方有權(quán)取消本合同。

九、其它

1、本合同自雙方簽字蓋章之日起生效，一式兩份，甲方一份，乙方一份;

有效期至模具驗(yàn)收合格、付清所有合同款項(xiàng)、保修期滿為止。

2、對(duì)于實(shí)施本合同而發(fā)生的任何爭(zhēng)議，雙方首先通過友好協(xié)商解決,

如在30天內(nèi)協(xié)商不成，任何一方均可將爭(zhēng)議提交甲方所在地法院處理.。

甲方：

乙方：

代表：

代表：

模具合同范文第2篇

購(gòu)貨單位（甲方）

地 址：

法定代表人：

電 話：

供貨單位（乙方）

地 址：

法定代表人：

電 話：

為了增強(qiáng)甲乙雙方的責(zé)任感，加強(qiáng)經(jīng)濟(jì)核算，提高經(jīng)濟(jì)效益，確保雙方實(shí)現(xiàn)各自的經(jīng)濟(jì)目的，經(jīng)甲乙雙方充分協(xié)商，特訂立本合同，以便共同遵守。

第一條 模具的名稱、品種、規(guī)格和質(zhì)量

1、模具的名稱：C6388紙漿模塑模具一套，包括吸漿成型模具一組及熱壓定型模具一組。

2、出產(chǎn)單位： 商標(biāo)：

3、模具的技術(shù)標(biāo)準(zhǔn)（包括質(zhì)量要求），按下列第（ ）項(xiàng)執(zhí)行：

（1）按國(guó)家標(biāo)準(zhǔn)執(zhí)行；

（2）無國(guó)家標(biāo)準(zhǔn)而有部頒標(biāo)準(zhǔn)的，按部頒標(biāo)準(zhǔn)執(zhí)行；

（3）無國(guó)家和部頒標(biāo)準(zhǔn)的，按企業(yè)標(biāo)準(zhǔn)執(zhí)行；

（4）沒有上述標(biāo)準(zhǔn)的，或雖有上述標(biāo)準(zhǔn)，但需方有特殊要求的，按甲乙雙方在合同中商定的技術(shù)條件、樣品或補(bǔ)充的技術(shù)要求執(zhí)行。

第二條 模具的包裝標(biāo)準(zhǔn)：

第三條 模具的交貨方法、運(yùn)輸方式、交貨期限

1、交貨方法：乙方送貨，費(fèi)用由乙方自行負(fù)責(zé)。

2、運(yùn)輸方式：__________.

3、到貨地點(diǎn)和接貨單位（或接貨人）________________.

4、交貨期限：2003年 月 日以前將模具交付甲方

第四條 模具的價(jià)格與貨款的結(jié)算

1、模具的價(jià)格：6000元人民幣/套；

2、模具貨款的結(jié)算：模具交付甲方，待驗(yàn)收合格后，甲方現(xiàn)金給付模具費(fèi)。

第五條 甲方向乙方提供模具圖紙及該圖紙的電子文檔（如附件）

第六條 模具的工藝要求：模具圖紙如附件。

第七條 驗(yàn)收方法

1、驗(yàn)收時(shí)間： ；

2、驗(yàn)收手段： ；

3、驗(yàn)收標(biāo)準(zhǔn)： ；

4、由誰負(fù)責(zé)驗(yàn)收和試驗(yàn)： ；

第八條 乙方的違約責(zé)任

1、乙方到期不能交貨，應(yīng)向甲方償付總貨款的30%的違約金。

2、乙方所交模具品種、型號(hào)、規(guī)格、花色、質(zhì)量不符合合同規(guī)定的，如果甲方同意利用，應(yīng)當(dāng)按質(zhì)論價(jià)；如果甲方不能利用的，應(yīng)根據(jù)模具的具體情況，由乙方負(fù)責(zé)包換或包修，并承擔(dān)修理、調(diào)換或退貨而支付的實(shí)際費(fèi)用。乙方不能修理或者不能調(diào)換的，按不能交貨處理。

3、乙方因模具包裝不符合合同規(guī)定，必須返修或重新包裝的，乙方應(yīng)負(fù)責(zé)返修或重新包裝，并承擔(dān)支付的費(fèi)用。甲方不要求返修或重新包裝而要求賠償損失的，乙方應(yīng)當(dāng)償付甲方該不合格包裝物低于合格包裝物的價(jià)值部分。因包裝不符合規(guī)定造成貨物損壞或滅失的，乙方應(yīng)當(dāng)負(fù)責(zé)賠償。

4、乙方逾期交貨的，向甲方償付逾期交貨的違約金，并承擔(dān)甲方因此所受的損失費(fèi)用。

第九條 甲方的違約責(zé)任

1、甲方中途退貨，應(yīng)向乙方償付退貨部分貨款30%的違約金。

2、甲方逾期付款的，應(yīng)按照中國(guó)人民銀行有關(guān)延期付款的規(guī)定向乙方償付逾期付款的違約金。

3、甲方違反合同規(guī)定拒絕接貨的，應(yīng)當(dāng)承擔(dān)由此造成的損失。

4、甲方如錯(cuò)填到貨地點(diǎn)或接貨人，或?qū)σ曳教岢鲥e(cuò)誤異議，應(yīng)承擔(dān)乙方因此所受的損失。

第十條 不可抗力

甲乙雙方的任何一方由于不可抗力的原因不能履行合同時(shí)，應(yīng)及時(shí)向?qū)Ψ酵▓?bào)不能履行或不能完全履行的理由，在取得有關(guān)主管機(jī)關(guān)證明以后，雙方另行協(xié)商履行期限，并根據(jù)情況可部分或全部免予承擔(dān)違約責(zé)任。

第十一條 如甲方因生產(chǎn)需要，要求增加該模具數(shù)量，其價(jià)格另議。

第十二條 解決合同糾紛的方式：甲乙雙方如果發(fā)生爭(zhēng)議，應(yīng)當(dāng)友好協(xié)商解決。如協(xié)商不成，任何一方均有權(quán)將爭(zhēng)議提交北京仲裁委員會(huì)。按照提交仲裁時(shí)該會(huì)現(xiàn)行有效的仲裁規(guī)則進(jìn)行仲裁，仲裁裁決是終局的，對(duì)甲乙雙方均有約束力。

第十三條 雙方本著誠(chéng)原則簽定本合同，若有未盡事宜，須雙方另行協(xié)商解決，作出補(bǔ)充規(guī)定，補(bǔ)充規(guī)定與本合同具有同等效力。

第十四條 本合同一式二份，甲乙雙方各執(zhí)一份。

購(gòu)貨單位（甲方）（公章）

供貨單位（乙方）（公章）

代表人：（簽字）

代表人：（簽字）

簽約地址：

簽約地址：

電話：

模具合同范文第3篇

乙方： 　 電話：

甲乙雙方經(jīng)過友好協(xié)商，達(dá)成如下協(xié)議：

一、甲方現(xiàn)有 模具 　 款交給乙方保管并用于生產(chǎn)。

序號(hào)

模具名稱

單位

數(shù)量

模具規(guī)格

模具制作費(fèi)用

二、保管期限：自模具交接之日起，至甲方拿回模具或本協(xié)議終止之日止。

三、保管細(xì)則條款：

1、 甲方將該模具交給乙方保管期間，乙方只有接到甲方訂單后方可按單生產(chǎn)，交予甲方。乙方不得私自使用該模具生產(chǎn)交予其它客戶，否則，每生產(chǎn)一次罰款壹萬元人民幣。

2、 該模具所有權(quán)歸甲方，乙方未經(jīng)甲方同意不得將該模具轉(zhuǎn)讓、轉(zhuǎn)租、復(fù)制交予第三者生產(chǎn)或作為其它任何之使用。如有上述情況一經(jīng)甲方發(fā)現(xiàn)，乙方必須賠償甲方因此而導(dǎo)致的一切損失費(fèi)用。

3、 乙方自接管模具之日起，須負(fù)責(zé)模具的一切免費(fèi)保管及維護(hù)責(zé)任。

4、 該模具如甲方需要，乙方必須無條件的立即把完好無損的模具交與甲方，乙方不得以任何理由扣留(包括多余存貨要求甲方購(gòu)買)。

四、以上兩套模具生產(chǎn)累計(jì)滿1萬套，退回模具費(fèi)。

五、本協(xié)議一式兩份，甲乙雙方各執(zhí)一份，經(jīng)雙方交接簽字蓋章后即刻生效。若雙方交接簽字者離職，本協(xié)議書仍然有效。

甲方(簽章) 乙方(簽章)

模具合同范文第4篇

當(dāng)前數(shù)據(jù)密集型系統(tǒng)越來越多地應(yīng)用于實(shí)時(shí)計(jì)算機(jī)系統(tǒng)中，尤其是在航電系統(tǒng)如導(dǎo)航系統(tǒng)、飛行管理系統(tǒng)。航電系統(tǒng)中數(shù)據(jù)量大且述對(duì)象復(fù)雜多樣，共享程度要求和安全性要求較高，數(shù)據(jù)錯(cuò)誤對(duì)于航電系統(tǒng)的安全性有重大影響。數(shù)據(jù)安全已經(jīng)成為影響航電系統(tǒng)安全的重要因素。因此本文結(jié)合當(dāng)前最新的研究成果研究了航電系統(tǒng)的數(shù)據(jù)組成，梳理總結(jié)出常見的數(shù)據(jù)危害類型；然后研究了航電系統(tǒng)數(shù)據(jù)危害的產(chǎn)生，基于態(tài)勢(shì)感知理論提出了航電系統(tǒng)數(shù)據(jù)危害層次模型，并以可控飛行觸地事故為例進(jìn)行了分析，驗(yàn)證了數(shù)據(jù)危害層次模型的正確性，為指導(dǎo)航電系統(tǒng)數(shù)據(jù)安全性分析提供理論支持。

【關(guān)鍵詞】航電系統(tǒng) 數(shù)據(jù)安全性 態(tài)勢(shì)感知 數(shù)據(jù)危害 層次模型

1 引言

現(xiàn)代飛機(jī)普遍采用自動(dòng)駕駛、自動(dòng)決策等功能，逐漸減少飛行員的工作量，保證飛行員專注于安全關(guān)鍵的飛行決策，朝著數(shù)字化、智能化的方向前進(jìn)尤其是無人機(jī)領(lǐng)域。航空電子系統(tǒng)是大型客機(jī)的“大腦、神經(jīng)和五官”，是實(shí)現(xiàn)飛機(jī)信息融合的核心，實(shí)現(xiàn)通信、導(dǎo)航、監(jiān)控、控制和信息管理等功能。但是一個(gè)新的問題出現(xiàn)了：對(duì)于航空電子系統(tǒng)，系統(tǒng)的安全運(yùn)行越來越依賴于數(shù)據(jù)。航電系統(tǒng)內(nèi)部功能之間以及系統(tǒng)與外部系統(tǒng)或者環(huán)境之間、操作人員之間都會(huì)產(chǎn)生大量的數(shù)據(jù)，包括導(dǎo)航數(shù)據(jù)、性能數(shù)據(jù)、配置數(shù)據(jù)等，數(shù)據(jù)已經(jīng)成為系統(tǒng)的重要組成部分。這類系統(tǒng)被稱為數(shù)據(jù)密集型系統(tǒng)，系統(tǒng)的安全性不僅依賴于其中的軟硬件，而且受到系統(tǒng)接收、產(chǎn)生或者處理的數(shù)據(jù)的影響，而且在許多情況下的數(shù)據(jù)錯(cuò)誤的影響和系統(tǒng)故障是一樣嚴(yán)重的。英國(guó)安全關(guān)鍵組織（SCSC）對(duì)航空、航天、航海、鐵路等領(lǐng)域的事故進(jìn)行廣泛地調(diào)研，發(fā)現(xiàn)數(shù)據(jù)錯(cuò)誤造成的事故比例超過14%，而軟硬件導(dǎo)致事故的比例僅占9%。許多事故中并沒有發(fā)生軟硬件故障，而是由于系統(tǒng)中數(shù)據(jù)錯(cuò)誤導(dǎo)致的。但是當(dāng)前針對(duì)數(shù)據(jù)是如何導(dǎo)致事故的，以及數(shù)據(jù)危害是如何產(chǎn)生的還沒有形成統(tǒng)一的認(rèn)識(shí)，無法為開展系統(tǒng)數(shù)據(jù)安全性分析提供指導(dǎo)；而且現(xiàn)有的安全性標(biāo)準(zhǔn)也缺少針對(duì)數(shù)據(jù)安全性的指導(dǎo)。

因此本文結(jié)合國(guó)內(nèi)外研究深入研究了航電系統(tǒng)的數(shù)據(jù)組成，分析了數(shù)據(jù)的應(yīng)用特點(diǎn)，通過廣泛的調(diào)研和梳理總結(jié)出常見的數(shù)據(jù)危害類型；然后研究了航電系統(tǒng)數(shù)據(jù)危害的產(chǎn)生，基于態(tài)勢(shì)感知理論研究了航電系統(tǒng)數(shù)據(jù)危害如何導(dǎo)致事故的，并以可控飛行觸地事故為例進(jìn)行了分析，為理解航電系統(tǒng)數(shù)據(jù)安全性問題以及指導(dǎo)數(shù)據(jù)安全性分析提供理論支持。

2 航電系統(tǒng)數(shù)據(jù)危害模式

2.1 航電系統(tǒng)數(shù)據(jù)組成

航電系統(tǒng)在飛機(jī)運(yùn)行狀態(tài)感知、運(yùn)行環(huán)境態(tài)勢(shì)感知、飛行計(jì)劃管理等方面發(fā)揮著重要作用，對(duì)于保證飛行安全至關(guān)重要。航電系統(tǒng)通過靜態(tài)數(shù)據(jù)描述系統(tǒng)的運(yùn)行環(huán)境以及系統(tǒng)中軟硬件接口、分區(qū)和應(yīng)用程序等的配置，包括基礎(chǔ)設(shè)施數(shù)據(jù)和配置數(shù)據(jù)。配置數(shù)據(jù)可以用來配置系統(tǒng)軟硬件描述這些標(biāo)準(zhǔn)化模塊參數(shù)實(shí)現(xiàn)特定的功能，例如航電系統(tǒng)軟硬件配置文件；基礎(chǔ)設(shè)施數(shù)據(jù)用于描述系統(tǒng)及所處的靜態(tài)環(huán)境模型，表示物理實(shí)體等信息的數(shù)據(jù)，例如電子航圖數(shù)據(jù)、導(dǎo)航數(shù)據(jù)、飛機(jī)性能模型等。航電系統(tǒng)然后還需要通過動(dòng)態(tài)數(shù)據(jù)描述系統(tǒng)運(yùn)行過程中的變化和外部環(huán)境的變化，包括運(yùn)行數(shù)據(jù)和狀態(tài)數(shù)據(jù)。狀態(tài)數(shù)據(jù)是由航電系統(tǒng)自身產(chǎn)生或者通過接口從系統(tǒng)的傳感器以及其他的輸入途徑獲得，隨著系統(tǒng)的運(yùn)行實(shí)時(shí)、動(dòng)態(tài)產(chǎn)生的數(shù)據(jù)，例如傳感器數(shù)據(jù)、外部輸入數(shù)據(jù)；運(yùn)行數(shù)據(jù)是航電系統(tǒng)通過人機(jī)接口或者其他系統(tǒng)獲得的某個(gè)運(yùn)行條件信息，這一系列的運(yùn)行信息代表了對(duì)于設(shè)備的使用限制，例如由于惡劣天氣、設(shè)備故障等限制條件信息。航電系統(tǒng)數(shù)據(jù)組成如圖1所示。

2.2 數(shù)據(jù)危害模式

Storey指出系統(tǒng)中有三類危險(xiǎn)因素，包括基本危險(xiǎn)因素、功能危險(xiǎn)因素和間接危U因素，其中間接危險(xiǎn)因素本身不會(huì)對(duì)系統(tǒng)直接造成威脅，例如軟件或者數(shù)據(jù)。根據(jù)DO-200A，數(shù)據(jù)是以某種格式真實(shí)完備地描述系統(tǒng)運(yùn)行所需的航空事實(shí)、信息或者指令，使之可以用于通信或處理等功能。數(shù)據(jù)作為間接危害因素，給系統(tǒng)帶來的安全問題與軟件有相似之處。硬件會(huì)直接對(duì)系統(tǒng)造成危害，而數(shù)據(jù)和軟件本身沒有危害，但在系統(tǒng)中數(shù)據(jù)常常會(huì)為系統(tǒng)的操作者、功能等提供關(guān)鍵數(shù)據(jù)來引導(dǎo)系統(tǒng)實(shí)現(xiàn)功能，或者提供關(guān)鍵的決策信息；一旦數(shù)據(jù)無法真實(shí)地描述當(dāng)前系統(tǒng)所需的關(guān)鍵信息，或者描述的不夠完善無法滿足系統(tǒng)的使用要求，就會(huì)發(fā)生錯(cuò)誤將會(huì)對(duì)系統(tǒng)造成潛在的危害。因此本文結(jié)合數(shù)據(jù)定義和數(shù)據(jù)的特點(diǎn)，對(duì)數(shù)據(jù)危害模式進(jìn)行了研究并梳理歸類為4大類。

2.2.1 數(shù)據(jù)格式

定義中數(shù)據(jù)具有一定的格式才能被系統(tǒng)識(shí)別，這意味著格式問題為數(shù)據(jù)的基本失效類型之一。數(shù)據(jù)的格式錯(cuò)誤可能不會(huì)影響數(shù)據(jù)表示的內(nèi)容的準(zhǔn)確性，但是會(huì)嚴(yán)重影響系統(tǒng)對(duì)數(shù)據(jù)的理解和處理。格式是對(duì)數(shù)據(jù)信息表示方式的一種規(guī)定，限制數(shù)據(jù)表示的方式。這些規(guī)則也是我們進(jìn)行數(shù)據(jù)監(jiān)測(cè)的基礎(chǔ)，即使發(fā)生錯(cuò)誤我們也可以通過檢測(cè)數(shù)據(jù)是否滿足規(guī)則來識(shí)別數(shù)據(jù)的錯(cuò)誤。數(shù)據(jù)格式是如何描述一個(gè)數(shù)據(jù)，詳細(xì)定義數(shù)據(jù)使用哪個(gè)單位例如米、英尺等來避免不必要的誤解；給出數(shù)據(jù)測(cè)量的基準(zhǔn)作為參考，例如在表示地理導(dǎo)航數(shù)據(jù)的經(jīng)緯度時(shí)就必須要明確參考的基準(zhǔn)才能獲得準(zhǔn)確的坐標(biāo)；縮放比例也是格式中的一個(gè)重要方面，例如航空地圖圖表數(shù)據(jù)。另外數(shù)據(jù)類型、數(shù)據(jù)描述語法等也是格式的重要內(nèi)容。

2.2.2 數(shù)據(jù)意義

數(shù)據(jù)是對(duì)現(xiàn)實(shí)世界的物體特性的描述，因此數(shù)據(jù)的意義可能是不正確的，這意味著意義問題為數(shù)據(jù)的基本失效類型之一。數(shù)據(jù)的意義錯(cuò)誤，主要表現(xiàn)在以下幾個(gè)方面：無法正確地描述現(xiàn)實(shí)世界；無法正確地反應(yīng)現(xiàn)實(shí)世界中某個(gè)實(shí)體的狀態(tài)；或者無法正確地反應(yīng)用戶的目的。這類錯(cuò)誤的發(fā)生主要是由于在初始階段數(shù)據(jù)的預(yù)處理錯(cuò)誤，也可能是外界發(fā)生變化導(dǎo)致的。數(shù)據(jù)值、分辨率、關(guān)聯(lián)性、一致性、完整性等屬性的錯(cuò)誤都會(huì)導(dǎo)致數(shù)據(jù)的意義不正確。數(shù)據(jù)還可能發(fā)生意義的模糊混淆錯(cuò)誤，例如數(shù)據(jù)沒有精確表示出其對(duì)應(yīng)的信息，或者數(shù)據(jù)可以被解釋為不同的信息或者指向多個(gè)對(duì)象。數(shù)據(jù)的重復(fù)或者多余也都會(huì)影響數(shù)據(jù)的意義。

2.2.3 數(shù)據(jù)時(shí)效性

數(shù)據(jù)的效用依賴于時(shí)間并有一定的期限，其價(jià)值的大小與提供數(shù)據(jù)的時(shí)間密切相關(guān)。實(shí)踐證明，數(shù)據(jù)一經(jīng)形成，所提供的速度越快，時(shí)間越早，價(jià)值越大。數(shù)據(jù)源獲取數(shù)據(jù)之后需要經(jīng)過傳輸?shù)炔僮鞑拍鼙皇褂?，而且現(xiàn)實(shí)世界變化之后數(shù)據(jù)還需要更新否則就會(huì)無效，因此時(shí)效問題為數(shù)據(jù)的基本失效類型之一。從數(shù)據(jù)源頭看，可能發(fā)生數(shù)據(jù)源沒有獲取到數(shù)據(jù)或者數(shù)據(jù)源無法發(fā)送數(shù)據(jù)；從傳輸過程看，可能出現(xiàn)的報(bào)文錯(cuò)誤包括亂序、重復(fù)、丟失等情況；數(shù)據(jù)接收時(shí)可能發(fā)生數(shù)據(jù)發(fā)送端標(biāo)識(shí)錯(cuò)誤、類型錯(cuò)誤、數(shù)值錯(cuò)誤等；數(shù)據(jù)到達(dá)時(shí)間過早或者過晚等。

2.2.4 數(shù)據(jù)來源

數(shù)據(jù)從數(shù)據(jù)源到進(jìn)入系統(tǒng)需要經(jīng)歷不同的系統(tǒng)，此時(shí)需要對(duì)數(shù)據(jù)獲取傳輸接收的各個(gè)階段對(duì)數(shù)據(jù)的來源進(jìn)行明確的定義，來保證系統(tǒng)獲得預(yù)期來源的可信賴的數(shù)據(jù)，因此這意味著數(shù)據(jù)來源問題為數(shù)據(jù)的基本失效類型之一。數(shù)據(jù)除了要保證正確的意義和格式，在合適的時(shí)間處于可用的狀態(tài)，還要保證數(shù)據(jù)的來源是已知的、可信的?？尚诺膩碓纯梢哉f明數(shù)據(jù)的準(zhǔn)備和處理、存儲(chǔ)、傳輸都是非常嚴(yán)密的，能夠保證數(shù)據(jù)的關(guān)鍵特性諸如格式、意義、時(shí)效性等。當(dāng)沒有足夠的過程處理證明文件來保證數(shù)據(jù)在供應(yīng)鏈的整個(gè)過程從數(shù)據(jù)的準(zhǔn)備到數(shù)據(jù)的使用的完整性，這就是來源錯(cuò)誤發(fā)生的原因。來源錯(cuò)誤包括未知來源錯(cuò)誤、虛假來源錯(cuò)誤等。

3 航電系統(tǒng)數(shù)據(jù)危害原理

3.1 數(shù)據(jù)危害的產(chǎn)生

根據(jù)標(biāo)準(zhǔn)DO-200A，航空數(shù)據(jù)供應(yīng)鏈（AeronauticalDataChain）是指從航空數(shù)據(jù)的收集、生成、傳輸以及最終的使用，如圖2所示。錯(cuò)誤或者故障的產(chǎn)生是伴隨著系統(tǒng)從開發(fā)到投入使用的整個(gè)過程，數(shù)據(jù)錯(cuò)誤亦然。航空電子系統(tǒng)作為典型的數(shù)據(jù)密集型系統(tǒng)，涵蓋了飛機(jī)各種類型數(shù)據(jù)的@取、傳輸、處理和應(yīng)用組成的數(shù)據(jù)供應(yīng)鏈，數(shù)據(jù)錯(cuò)誤可以從供應(yīng)鏈的各個(gè)階段引入。為了全面地分析數(shù)據(jù)錯(cuò)誤，應(yīng)該對(duì)數(shù)據(jù)供應(yīng)鏈的每個(gè)階段進(jìn)行安全性分析可能引入的錯(cuò)誤。

3.1.1 數(shù)據(jù)收集階段

這一階段是引入錯(cuò)誤的高發(fā)階段，這主要是由于一方面數(shù)據(jù)的收集和記錄通常是基于紙質(zhì)或者電子文檔，會(huì)有大量的人工操作包括記錄數(shù)據(jù)的來源、根據(jù)數(shù)據(jù)要求檢查數(shù)據(jù)等，難免會(huì)由于人員的疏忽而發(fā)生錯(cuò)誤例如數(shù)據(jù)的來源、格式、數(shù)據(jù)值錯(cuò)誤等；另一方面記錄的數(shù)據(jù)無法實(shí)時(shí)且精確地描述系統(tǒng)的當(dāng)前狀態(tài)，數(shù)據(jù)的更新相對(duì)于持續(xù)變化的現(xiàn)實(shí)，必然導(dǎo)致數(shù)據(jù)與實(shí)際的偏差例如數(shù)據(jù)的不一致、數(shù)據(jù)的過時(shí)等。

3.1.2 數(shù)據(jù)驗(yàn)證與生成

供應(yīng)商還必須對(duì)數(shù)據(jù)進(jìn)行檢查驗(yàn)證，目的是檢驗(yàn)數(shù)據(jù)的意義是否發(fā)生變化例如出現(xiàn)歧義、錯(cuò)誤等情況，對(duì)于保證數(shù)據(jù)的要求與系統(tǒng)功能對(duì)其的要求是否一致非常重要。對(duì)于關(guān)鍵數(shù)據(jù)，必須評(píng)估其是否發(fā)生變化并盡可能快速更新，以免過時(shí)的無效數(shù)據(jù)進(jìn)入。然后對(duì)于通過驗(yàn)證的數(shù)據(jù)進(jìn)行編輯加工進(jìn)入相關(guān)數(shù)據(jù)庫(kù)中，然后將供應(yīng)商提供的數(shù)據(jù)轉(zhuǎn)換為機(jī)載航電設(shè)備要求的格式。這一階段可能發(fā)生的數(shù)據(jù)危害包括數(shù)據(jù)過時(shí)、數(shù)據(jù)無效、數(shù)據(jù)格式等錯(cuò)誤。

3.1.3 數(shù)據(jù)/傳輸

本環(huán)節(jié)目的是將正確的數(shù)據(jù)打包發(fā)給最終用戶使用，主要有磁盤、網(wǎng)絡(luò)以及數(shù)據(jù)鏈等傳輸方式。傳輸過程也極易引入錯(cuò)誤。從數(shù)據(jù)發(fā)送端看，可能發(fā)生數(shù)據(jù)源沒有獲取到數(shù)據(jù)或者數(shù)據(jù)源無法發(fā)送數(shù)據(jù)；從傳輸過程看，可能出現(xiàn)的數(shù)據(jù)錯(cuò)誤包括亂序、重復(fù)、丟失等情況；數(shù)據(jù)接收時(shí)可能發(fā)生數(shù)據(jù)發(fā)送端標(biāo)識(shí)錯(cuò)誤、類型錯(cuò)誤、數(shù)值錯(cuò)誤、數(shù)據(jù)過早或者過晚到達(dá)等。

3.1.4 數(shù)據(jù)的應(yīng)用

本環(huán)節(jié)是系統(tǒng)運(yùn)行過程中數(shù)據(jù)為系統(tǒng)功能提供支持的過程。在航電系統(tǒng)中數(shù)據(jù)的使用包括數(shù)據(jù)更新、數(shù)據(jù)格式化、數(shù)據(jù)加載、數(shù)據(jù)處理、傳輸?shù)冗^程。航電系統(tǒng)對(duì)數(shù)據(jù)安全性有很高的要求，這一環(huán)節(jié)出現(xiàn)的錯(cuò)誤甚至可能導(dǎo)致事故的發(fā)生。Storey指出航電系統(tǒng)通過其信息系統(tǒng)獲取相關(guān)數(shù)據(jù)通過人機(jī)交互顯示給操作人員或者提供告警，為進(jìn)行決策以及執(zhí)行相關(guān)功能提供信息支持；也可以直接提供給功能系統(tǒng)實(shí)現(xiàn)功能例如導(dǎo)航數(shù)據(jù)提供給飛行管理系統(tǒng)用于制定飛行計(jì)劃。通過分析發(fā)現(xiàn)，系統(tǒng)中用于關(guān)鍵信息顯示和警示的數(shù)據(jù)錯(cuò)誤會(huì)間接地如通過人機(jī)交互影響人的決策來影響系統(tǒng)安全，或者功能安全系統(tǒng)實(shí)現(xiàn)功能所必須的關(guān)鍵輸入?yún)?shù)錯(cuò)誤均會(huì)影響系統(tǒng)安全，甚至導(dǎo)致事故。

3.2 數(shù)據(jù)危害層次模型

航電系統(tǒng)的主要作用是克服有限能見度帶來的安全性問題，通過航電各個(gè)設(shè)備獲得導(dǎo)航、地形、障礙物、機(jī)場(chǎng)、氣象等數(shù)據(jù)，構(gòu)建飛機(jī)的態(tài)勢(shì)感知，保證飛行安全。當(dāng)前飛行事故頻發(fā)的原因是由機(jī)內(nèi)外部態(tài)勢(shì)感知能力的不足。根據(jù)Endsley提出的態(tài)勢(shì)感知理論，航電系統(tǒng)對(duì)運(yùn)行過程的各種安全因素的數(shù)據(jù)進(jìn)行感知，包括環(huán)境要素以及系統(tǒng)功能、人機(jī)界面、監(jiān)控設(shè)備等數(shù)據(jù)集合；理解層以感知層獲取的數(shù)據(jù)集合進(jìn)行數(shù)據(jù)處理，衡量評(píng)估關(guān)鍵態(tài)勢(shì)分析元素對(duì)于達(dá)成目標(biāo)的重要程度和影響，例如分析氣象數(shù)據(jù)對(duì)系統(tǒng)導(dǎo)航和飛行的影響；預(yù)測(cè)層是在前2者的基礎(chǔ)上，預(yù)測(cè)系統(tǒng)未來的狀態(tài)。在航空領(lǐng)域內(nèi)功能的執(zhí)行常常依賴于信息和數(shù)據(jù)，具有很強(qiáng)的時(shí)限性和空間特征。航電系統(tǒng)目標(biāo)的實(shí)現(xiàn)是基于態(tài)勢(shì)感知在短時(shí)間內(nèi)獲取環(huán)境的數(shù)據(jù)及其變化，通過航電系統(tǒng)的信息處理過程評(píng)估相關(guān)數(shù)據(jù)并預(yù)測(cè)飛機(jī)的下一步狀態(tài)，進(jìn)行決策的制定和功能的執(zhí)行，最終實(shí)現(xiàn)安全飛行。航電系統(tǒng)安全態(tài)勢(shì)感知模型如圖3所示。

數(shù)據(jù)是飛機(jī)態(tài)勢(shì)感知的基礎(chǔ)。數(shù)據(jù)本身不會(huì)產(chǎn)生危險(xiǎn)，但是數(shù)據(jù)不是孤立存在的，安全相關(guān)數(shù)據(jù)的錯(cuò)誤可以間接地通過人機(jī)交互或者直接為功能安全系統(tǒng)提供關(guān)鍵參數(shù)而影響功能最終導(dǎo)致事故發(fā)生。依據(jù)航電系統(tǒng)安全態(tài)勢(shì)感知模型，從中我們梳理出事故和數(shù)據(jù)的關(guān)聯(lián)，即若干個(gè)數(shù)據(jù)錯(cuò)誤可以導(dǎo)致信息錯(cuò)誤，若干個(gè)信息錯(cuò)誤可以導(dǎo)致功能執(zhí)行失效，功能失效導(dǎo)致事故發(fā)生。據(jù)此提出了信息系統(tǒng)的數(shù)據(jù)危害層次模型，如圖4所示。

該模型描述了數(shù)據(jù)和事故之間的關(guān)聯(lián)，在分析數(shù)據(jù)相關(guān)事故時(shí)需要識(shí)別系統(tǒng)功能、信息以及數(shù)據(jù)的關(guān)系。依據(jù)數(shù)據(jù)危害層次模型，本文以可控飛行觸地CFIT事故為例進(jìn)行分析。下面就可控飛行觸地事故為例，通過本文提出的數(shù)據(jù)危害層次模型分析數(shù)據(jù)是如何導(dǎo)致CFIT事故的?？煽仫w行撞地是指在飛行中不是由機(jī)本身的故障或發(fā)動(dòng)機(jī)失效等原因發(fā)生的事故，而是由于機(jī)組在未覺察危險(xiǎn)的情況下，操縱飛機(jī)撞山、撞地或飛入水中，造成飛機(jī)墜毀或嚴(yán)重?fù)p壞和人員傷亡的事故。圖5描述了導(dǎo)航數(shù)據(jù)和CFIT事故之間的因果關(guān)系。在這個(gè)事故中，多個(gè)關(guān)鍵的導(dǎo)航數(shù)據(jù)錯(cuò)誤導(dǎo)致導(dǎo)航系統(tǒng)提供的導(dǎo)航信息是錯(cuò)誤的，飛行員依據(jù)錯(cuò)誤的導(dǎo)航信息對(duì)飛行環(huán)境和飛機(jī)的狀態(tài)做出了錯(cuò)誤的決策和行動(dòng)，引發(fā)了導(dǎo)航功能的失效，最終導(dǎo)致目標(biāo)失敗誘發(fā)了墜機(jī)事故。由于本文僅僅關(guān)注數(shù)據(jù)危害，因此導(dǎo)致事故發(fā)生的其他因素例如軟件、硬件、環(huán)境、人因等因素都沒有展開。通過分析發(fā)現(xiàn)CFIT事故發(fā)生的其中一個(gè)原因就是由于在飛行時(shí)關(guān)鍵的導(dǎo)航數(shù)據(jù)錯(cuò)誤或者缺失，無法支持飛行員或者系統(tǒng)功能做出正確的決策進(jìn)而執(zhí)行相關(guān)功能導(dǎo)致的。

4 結(jié)

隨著信息技術(shù)的廣泛應(yīng)用，航電系統(tǒng)的數(shù)據(jù)密集程度不斷提高，系統(tǒng)功能交互更加密集，對(duì)數(shù)據(jù)的依賴性增強(qiáng)。本文提出的數(shù)據(jù)危害層次模型，有效地描述了數(shù)據(jù)和系統(tǒng)的安全性關(guān)系，為進(jìn)行航電系統(tǒng)數(shù)據(jù)安全性的分析以及事故致因分析提供了理論依據(jù)。但是由于缺少實(shí)踐經(jīng)驗(yàn)，該模型的有效性還需要進(jìn)一步的深入研究和驗(yàn)證，并深入研究用于數(shù)據(jù)安全性分析的技術(shù)。

參考文獻(xiàn)

[1]Allan S Wake.Safety of Data in Real-Time Distributed Systems.University of York，September 2008.

[2]David Michael.Improving the Assurance of Airborne Mission Management Data. University of York，September 2011.

[3]P.Hampton，M.Parsons. Accidents and Incidents：Viewing the World through Data Eyes.http：//.uk.

[4]Data Safety 1.3.The SCSC Data Safety Initiative Working Group. http：//.uk/paper_128/Data%20Safety%20（Version%201.3）.pdf？pap=958.

[5]A.Faulkner，N.Storey.Data：An often-ignored component of safety-related systems，in Proc.MOD Equipment Assurance Symposium ESAS02，Bristol，UK，October 2002.

[6]Paul Ensor，Tim Kelly.SafetyAnalysisofNavigational Data.Septemper，2009.

[7]James Inge，David Pumfrey.Improving the Analysis of Data in Safety-Related Systems.University of York， 2009.

[8]SAE ARP 4761 Guidelines and Methods for Conducting the Safety Assessment Process on Airborne Systems and Equipments [S].

[9]朱琰.導(dǎo)航數(shù)據(jù)庫(kù)在飛行及運(yùn)行中的應(yīng)用研究[D]： 中國(guó)民用航空飛行學(xué)院，2013.

[10]袁翔.模型驅(qū)動(dòng)的綜合航電系統(tǒng)配置信息的分析與驗(yàn)證方法研究[D]：南京航空航天大學(xué)，2014.

[11]RTCA/DO-200A，EUROCAE Document ED-76.Standards for Processing Aeronautical Data.September 1998.

模具合同范文第5篇

關(guān)鍵詞:關(guān)系模型;關(guān)系模式;數(shù)據(jù)庫(kù)系統(tǒng)原理;教學(xué)方法

數(shù)據(jù)庫(kù)系統(tǒng)原理的教學(xué)既要注重理論也要注重實(shí)踐,尤其是要讓學(xué)員通過教學(xué)及實(shí)踐加深對(duì)理論知識(shí)的理解,并指導(dǎo)實(shí)踐[1]。為使學(xué)員更好地理解和掌握數(shù)據(jù)庫(kù)系統(tǒng)原理的理論和技術(shù),筆者提出在實(shí)際教學(xué)中以“關(guān)系模型組成及關(guān)系模式”為核心,以點(diǎn)成線、以線組面的教學(xué)方法,通過所構(gòu)建的課程主干體系,呈現(xiàn)給學(xué)員一個(gè)脈絡(luò)清晰、前后貫通、左右相連的知識(shí)結(jié)構(gòu)。

1以關(guān)系模型組成引領(lǐng)基本性質(zhì)、基本概念和基本操作的教學(xué)

關(guān)系模型組成是數(shù)據(jù)庫(kù)系統(tǒng)原理開篇教學(xué)的核心。圍繞其組成的三要素(單一的數(shù)據(jù)結(jié)構(gòu)、數(shù)據(jù)操縱和完整性約束)并以此為始點(diǎn),從三條線上展開結(jié)構(gòu)的定義、數(shù)據(jù)的查詢與更新、約束的內(nèi)容及實(shí)現(xiàn)等的教學(xué)。這三條線可以構(gòu)成一個(gè)面,既可以展示出相關(guān)的教學(xué)內(nèi)容,也可以體現(xiàn)出教學(xué)內(nèi)容之間的相互聯(lián)系(如圖1所示)。

1.1關(guān)系數(shù)據(jù)結(jié)構(gòu)(二維表)――數(shù)據(jù)操縱的基礎(chǔ)和完整性約束的對(duì)象

圍繞關(guān)系數(shù)據(jù)結(jié)構(gòu)可以展開關(guān)系數(shù)據(jù)結(jié)構(gòu)的基本組成、基本概念、基本定義和基本性質(zhì)的教學(xué)。關(guān)系數(shù)據(jù)結(jié)構(gòu)(基本表)由元組構(gòu)成,組成元組的是元組的分量,以此擴(kuò)展到屬性、碼、維、基數(shù)、分量集合、象集笛卡兒積等概念。在了解關(guān)系的基本數(shù)據(jù)結(jié)構(gòu)后,可以結(jié)合實(shí)例講解關(guān)系的基本性質(zhì)在后續(xù)講授SQL語言知識(shí)時(shí),將模式、基本表、視圖、索引的定義給學(xué)員交待清楚;形成與關(guān)系數(shù)據(jù)結(jié)構(gòu)相關(guān)聯(lián)的知識(shí)信息。在與關(guān)系數(shù)據(jù)庫(kù)組成的其他二個(gè)要素的聯(lián)系上,重點(diǎn)強(qiáng)調(diào)關(guān)系數(shù)據(jù)結(jié)構(gòu)為數(shù)據(jù)操縱奠定了數(shù)據(jù)基礎(chǔ)并成為完整性約束的對(duì)象。

1.2數(shù)據(jù)操縱――數(shù)據(jù)集成和獲取的基本途徑

數(shù)據(jù)操縱這一結(jié)點(diǎn)可以從兩方面展開,一是從專門的關(guān)系運(yùn)算和傳統(tǒng)的集合運(yùn)算的角度介紹數(shù)據(jù)操縱的基本操作;二是從SQL語言的知識(shí)角度講授數(shù)據(jù)操縱的具體實(shí)現(xiàn)。教師在教學(xué)中通過實(shí)例介紹專門的關(guān)系運(yùn)算和傳統(tǒng)的集合運(yùn)算的基本概念,結(jié)合查詢優(yōu)化的理論比較不同查詢方法的開銷,使學(xué)員建立數(shù)據(jù)操縱的基本概念,掌握相關(guān)的理論知識(shí)。教師在講授SQL語言的數(shù)據(jù)操縱時(shí),介紹查詢的分類和方法、數(shù)據(jù)更新(插入、修改和刪除)的具體實(shí)現(xiàn)、完整性約束與數(shù)據(jù)操縱的聯(lián)系及對(duì)數(shù)據(jù)操縱的影響。教師在教學(xué)方式上采用概念講解、實(shí)例展現(xiàn)和現(xiàn)場(chǎng)操作的形式,使學(xué)員對(duì)所學(xué)的知識(shí)有更加清晰、直觀的感受。

1.3完整性約束――保障數(shù)據(jù)正確性與安全性的重要手段

完整性約束是關(guān)系模型組成的第三個(gè)要素。該要素涵蓋實(shí)體完整性、參照完整性和用戶定義完整性三方面內(nèi)容。教師在教學(xué)中重點(diǎn)突出兩個(gè)規(guī)則(實(shí)體完整性規(guī)則和參照完整性規(guī)則)、兩個(gè)定義(參照關(guān)系和被參照關(guān)系)和一個(gè)實(shí)現(xiàn)(用戶定義的完整性);強(qiáng)調(diào)完整性約束的重要性和實(shí)際意義。在這條線上進(jìn)一步延伸可以與數(shù)據(jù)庫(kù)的安全性控制、在屬性及元組上的約束條件檢查和違約處理、觸發(fā)器等相關(guān)知識(shí)聯(lián)系起來,使之構(gòu)成一個(gè)整體。

2以關(guān)系模式為核心展現(xiàn)關(guān)系數(shù)據(jù)理論的知識(shí)

關(guān)系數(shù)據(jù)庫(kù)理論是數(shù)據(jù)庫(kù)系統(tǒng)原理課程教學(xué)的重點(diǎn)和難點(diǎn),其內(nèi)容涉及的概念、定義、定理、推理較多,同時(shí)在教學(xué)中要求學(xué)員能夠運(yùn)用相關(guān)的理論知識(shí)解決在數(shù)據(jù)庫(kù)應(yīng)用設(shè)計(jì)中遇到的實(shí)際問題。為了在整體上建立關(guān)系數(shù)據(jù)理論的基本知識(shí)結(jié)構(gòu),在實(shí)際教學(xué)中,我們從關(guān)系數(shù)據(jù)結(jié)構(gòu)出發(fā),分析組成數(shù)據(jù)結(jié)構(gòu)的屬性、屬性間的聯(lián)系類型以及其間的內(nèi)在關(guān)系,給出關(guān)系模式的基本形式和關(guān)系數(shù)據(jù)理論知識(shí)的聯(lián)系結(jié)構(gòu)(如圖2所示),并由此引申出相應(yīng)的定義、概念和方法。教師以分析關(guān)系模式的屬性間的三種對(duì)應(yīng)(一對(duì)一、一對(duì)多、多對(duì)多)關(guān)系為基礎(chǔ),探討函數(shù)依賴,講授其的概念和知識(shí),并通過具體實(shí)例的分析將各種范式的內(nèi)涵及運(yùn)用方法呈現(xiàn)出來。以函數(shù)依賴集為基礎(chǔ),系統(tǒng)介紹公理系統(tǒng)、函數(shù)依賴集的閉包、屬性集的閉包、最小覆蓋等知識(shí)及其相關(guān)應(yīng)用。以屬性集和函數(shù)依賴集為基礎(chǔ),講述模式分解的等價(jià)定義及其分解方法。教學(xué)探索的實(shí)踐表明,圍繞關(guān)系模式展開關(guān)系數(shù)據(jù)理論的教學(xué)能夠使學(xué)員加深知識(shí)間的相互聯(lián)系,有利于對(duì)知識(shí)的理解,為重點(diǎn)、難點(diǎn)知識(shí)的教學(xué)開辟了一條有效的途徑[2-3]。

3以關(guān)系數(shù)據(jù)庫(kù)的構(gòu)造實(shí)踐關(guān)系數(shù)據(jù)庫(kù)的設(shè)計(jì)

以關(guān)系數(shù)據(jù)庫(kù)的構(gòu)造實(shí)踐關(guān)系數(shù)據(jù)庫(kù)的設(shè)計(jì)是數(shù)據(jù)庫(kù)教學(xué)的重要實(shí)踐環(huán)節(jié)。在數(shù)據(jù)庫(kù)應(yīng)用實(shí)踐教學(xué)環(huán)節(jié)中,我們針對(duì)學(xué)員的具體情況采用構(gòu)建基本模式、提出基本要求、分析潛在問題、尋找解決方案的方法,力求幫助學(xué)員在實(shí)踐中運(yùn)用所學(xué)理論知識(shí),解決實(shí)際問題。

教學(xué)中我們以SQL Server2000作為實(shí)踐平臺(tái),要求學(xué)員在幾個(gè)侯選題目中任意選擇其一進(jìn)行設(shè)計(jì)實(shí)現(xiàn)。例如在學(xué)員信息管理系統(tǒng)題目中我們提出了該系統(tǒng)的基本模式(如表1-3所示)。

學(xué)員基本信息包括:學(xué)號(hào)、姓名、性別、出生日期、民族、籍貫、所屬班級(jí)。

學(xué)員專業(yè)信息包括:專業(yè)、本學(xué)期所修課程。

學(xué)員成績(jī)信息包括:課程、成績(jī)。

要求系統(tǒng)具備以下基本功能:

① 設(shè)置專業(yè)及該專業(yè)對(duì)應(yīng)的課程;

② 設(shè)置指定專業(yè)對(duì)應(yīng)的班號(hào);

③ 設(shè)置指定班號(hào)的學(xué)員記錄;

④ 統(tǒng)計(jì)和查詢學(xué)員成績(jī);

⑤ 查詢學(xué)員成績(jī)單。

在實(shí)踐前,學(xué)員已經(jīng)對(duì)關(guān)系數(shù)據(jù)的理論知識(shí)有了一定的了解,如何將課堂所學(xué)的知識(shí)真正地應(yīng)用到實(shí)踐中,則需要學(xué)員上機(jī)進(jìn)行實(shí)踐。實(shí)際情況是大部分學(xué)員根據(jù)題目要求設(shè)計(jì)了如表1、表2、表3所示的信息表(表中代表主碼)。

在系統(tǒng)功能的實(shí)現(xiàn)時(shí),學(xué)員會(huì)發(fā)現(xiàn)在連接查詢過程中系統(tǒng)會(huì)報(bào)錯(cuò)。我們引導(dǎo)學(xué)員依據(jù)數(shù)據(jù)模式,從完整性角度分析產(chǎn)生錯(cuò)誤原因。首先考察實(shí)體完整性。開始設(shè)計(jì)時(shí)學(xué)員大多采用學(xué)號(hào)、專業(yè)、課程作為三張表的主碼,但在數(shù)據(jù)輸入時(shí)發(fā)現(xiàn)對(duì)于學(xué)員專業(yè)信息表(表2)僅將“專業(yè)”作為主碼并不能滿足實(shí)體完整性約束,因?yàn)閷I(yè)并不能唯一的確定元組,故設(shè)置“課程”同時(shí)為主碼。同理,設(shè)置學(xué)員成績(jī)信息表(表3)中的“成績(jī)”也為主碼。按照實(shí)體完整性規(guī)則的規(guī)定,這幾個(gè)主碼滿足實(shí)體完整性的要求,均不為空;其次考察參照完整性,以上3個(gè)基本表在實(shí)體范疇內(nèi)是存在聯(lián)系的,每個(gè)學(xué)員都是學(xué)習(xí)某一確定專業(yè),而且相同專業(yè)本學(xué)期所修課程都是一致的。在以學(xué)員基本信息表為主表的情況下,學(xué)員專業(yè)信息表并不能滿足參照完整性的條件。進(jìn)一步分析,假定同一個(gè)班的同學(xué)都是相同的專業(yè)方向,則學(xué)員所屬班級(jí)和專業(yè)之間存在聯(lián)系。為解決參照完整性的問題,我們引導(dǎo)學(xué)員對(duì)系統(tǒng)的基本模式進(jìn)行補(bǔ)充和修改。在發(fā)現(xiàn)問題所在后,有的學(xué)員很快就提出了增加班級(jí)專業(yè)信息表(表4)并修改學(xué)員成績(jī)信息(表5)的解決方案,構(gòu)造出了如圖3所示的參照關(guān)系圖。

通過實(shí)踐教學(xué)環(huán)節(jié),學(xué)員對(duì)數(shù)據(jù)庫(kù)的基本概念、基本要素等內(nèi)容有了較深刻的理解,在設(shè)計(jì)數(shù)據(jù)庫(kù)時(shí)能較為全面的考慮各基本表的定義以及它們之間的聯(lián)系。通過數(shù)據(jù)庫(kù)實(shí)例的練習(xí),使學(xué)員也體會(huì)到了將數(shù)據(jù)庫(kù)中的文件分散存儲(chǔ)帶來的好處,以及如何通過對(duì)不同硬盤讀寫提高數(shù)據(jù)庫(kù)訪問的速度[4]。

4結(jié)語

本文簡(jiǎn)要總結(jié)了在數(shù)據(jù)庫(kù)系統(tǒng)原理課程教學(xué)中所采用的以“關(guān)系模型組成及關(guān)系模式”為核心的教學(xué)方法,并在實(shí)踐教學(xué)環(huán)節(jié)中通過“構(gòu)建基本模式、提出基本要求、分析潛在問題、尋找解決方案”開展教學(xué)實(shí)驗(yàn),收到了較好的教學(xué)效果。隨著數(shù)據(jù)庫(kù)系統(tǒng)的不斷發(fā)展變化,數(shù)據(jù)庫(kù)系統(tǒng)原理課程的教學(xué)內(nèi)容也會(huì)不斷更新,這也會(huì)促使我們?cè)诮虒W(xué)工作中不斷探索和改進(jìn)教學(xué)方式、方法和手段,以適應(yīng)新的發(fā)展變化的要求[5]。

參考文獻(xiàn):

[1] 鄭月齋,韓雙霞,丁霞軍. 關(guān)于數(shù)據(jù)庫(kù)規(guī)范化理論教學(xué)的思考[J]. 吉林教育,2009(2):23-23.

[2] 劉艷霞,張靜. 數(shù)據(jù)庫(kù)系統(tǒng)原理精品課程建設(shè)實(shí)踐[J].科技信息,2009(16):11-11.

[3] 王珊,薩師煊. 數(shù)據(jù)庫(kù)系統(tǒng)概論[M]. 4版. 北京:高等教育出版社,2006:169-197.

[4] 楊俊紅. SQL Server數(shù)據(jù)庫(kù)應(yīng)用教程[M]. 北京:中國(guó)水利水電出版社,2008:1-20.

[5] David M.Kroenke. 數(shù)據(jù)庫(kù)處理:基礎(chǔ)、設(shè)計(jì)與實(shí)現(xiàn)[M]. 7版. 北京:電子工業(yè)出版社,2001:3-26.

Investigation of the Database Systems Teaching Based on Model and Relationship of the Formation

LÜ Ming, WANG Ping

(College of Mechatronics and Automation, National University of Defense Technology, Changsha 410073, China)