◎北京大學(xué)軟件與微電子學(xué)院 胡葉舟 方瑩 謝成淋 陳夏潤 文偉平

引言

航空產(chǎn)品是高端裝備制造的代表產(chǎn)品，最近幾年，我國航空產(chǎn)業(yè)正迅速發(fā)展：ARJ21已經(jīng)下線并投入運行，C919也取得適航證即將交付，但是航空產(chǎn)業(yè)發(fā)展面臨機(jī)遇的同時也面臨挑戰(zhàn)，如歐美對國產(chǎn)航空產(chǎn)品的適航壟斷，海內(nèi)外航空公司以及乘客對我們航空產(chǎn)品的信任不足等。

2018、2019年的兩起波音737MAX墜機(jī)事件，以及大量披露的波音公司不按航空標(biāo)準(zhǔn)生產(chǎn)的事件表明，傳統(tǒng)質(zhì)量監(jiān)督方法存在問題，產(chǎn)品質(zhì)量難以得到有效保證。波音公司正在為此付出沉重的代價[2]。

圖1 C919客機(jī)在試飛中[1]

航空產(chǎn)品的質(zhì)量與其裝配制造過程息息相關(guān)，準(zhǔn)確的裝配制造是航空產(chǎn)品質(zhì)量得到保證的重要基礎(chǔ)。在航空產(chǎn)品裝配制造的過程中，對航空產(chǎn)品裝配制造過程進(jìn)行記錄，對質(zhì)量問題進(jìn)行溯源具有重要意義。航空產(chǎn)品提供全壽命周期服務(wù)，必須具備質(zhì)量追溯體系。一方面，如果發(fā)現(xiàn)飛機(jī)問題，可通過質(zhì)量追溯系統(tǒng)確定問題點，發(fā)現(xiàn)其他受影響的飛機(jī)；另一方面，通過質(zhì)量溯源進(jìn)行質(zhì)量控制，裝配制造質(zhì)量高的相關(guān)人員將受到獎勵，造成質(zhì)量問題的相關(guān)人員將受到處分，獎懲做到有理有據(jù)。

為做好航空產(chǎn)品裝配制造的溯源工作，本文提出基于區(qū)塊鏈的航空裝配制造過程溯源方案。在無紙化辦公的基礎(chǔ)上，將區(qū)塊鏈技術(shù)應(yīng)用在飛機(jī)裝配制造的過程中，將生產(chǎn)過程中的各種文件數(shù)據(jù)化記錄并存儲在區(qū)塊鏈上，保證文件數(shù)據(jù)不可篡改、不可偽造和高可靠性，并抽象出裝配制造過程中人員、物件的關(guān)聯(lián)，溯源到問題點。

本文貢獻(xiàn)主要分為三點：一、總結(jié)航空裝配制造過程中的常見文件，并提出將其存儲在區(qū)塊鏈上。二、結(jié)合航空裝配制造工藝和流程，對溯源系統(tǒng)進(jìn)行了需求分析。三、針對溯源系統(tǒng)的需求，設(shè)計了系統(tǒng)架構(gòu)，并提出了解決方案。

一、研究現(xiàn)狀

質(zhì)量追溯不是航空裝配制造獨有的，由于區(qū)塊鏈去中心化，不可篡改，不可偽造等特性，使用區(qū)塊鏈進(jìn)行質(zhì)量監(jiān)督在多個領(lǐng)域已經(jīng)得到應(yīng)用，北京市搭建了基于國產(chǎn)區(qū)塊鏈平臺長安鏈的“北京冷鏈”系統(tǒng)[3]，疫情防控期間，系統(tǒng)在冷鏈?zhǔn)称返乃菰捶矫姘l(fā)揮了重要作用；重慶榮昌初步建成了全國首個區(qū)塊鏈生豬監(jiān)管電子簽章平臺[4]，把相關(guān)部門對生豬各環(huán)節(jié)的檢疫證明文件的簽署、蓋章過程在區(qū)塊鏈平臺上進(jìn)行記錄，此外，在學(xué)術(shù)界和工業(yè)界，基于區(qū)塊鏈的其他應(yīng)用也在快速發(fā)展[5][6][7][8]。

圖2 通過“北京冷鏈”食品追溯平臺，消費者掃二維碼即可查詢產(chǎn)品信息[9]

在航空航天領(lǐng)域，已經(jīng)有學(xué)者在探索基于區(qū)塊鏈的應(yīng)用。宋云雪[10]提出基于比特幣測試網(wǎng)的航空器維修任務(wù)發(fā)布系統(tǒng)，保證了任務(wù)接受信息真實可靠，但其沒有開發(fā)溯源功能，且面向的是飛機(jī)維修方向。羅羅公司實現(xiàn)了基于區(qū)塊鏈的發(fā)動機(jī)實時數(shù)據(jù)共享[11]，主要功能集中在數(shù)據(jù)共享。波音與霍尼韋爾合作開展了基于區(qū)塊鏈技術(shù)的開放備用航空零部件在線交易[12]，GE公司提出基于區(qū)塊鏈開展發(fā)動機(jī)零件溯源[11]，Ho[13]提出基于區(qū)塊鏈進(jìn)行飛機(jī)備份零件的管理和追蹤，但文獻(xiàn)10-12關(guān)注點為零部件溯源，不具備對于裝配制造過程的溯源功能。

在航空產(chǎn)品質(zhì)量溯源中有三種常見方式：一、手工簽字：工作人員對紙質(zhì)文件上的信息進(jìn)行簽字確認(rèn)，后續(xù)對簽字文件或者復(fù)印件進(jìn)行查找確認(rèn)。該方式應(yīng)用廣泛，但面臨著簽字耗費時間多，文件可偽造，簽字可偽造，文件易丟失等問題；二、蓋章：在紙質(zhì)文件身份確認(rèn)方面，蓋章也是一個有效方式，尤其適用于大量文件的身份確認(rèn)。但其面臨個人印章易丟失，管理混亂等問題；三、電子簽名：密碼學(xué)中公私鑰體系的發(fā)展為電子簽名提供了便利，電子簽名保證了簽名的不可否認(rèn)，做到了與個人身份的有效鑒別，但公私鑰體系面臨著權(quán)限管理困難的難題，其權(quán)限管理是中心化的，一旦服務(wù)中斷或者被攻擊，系統(tǒng)就處于失效狀態(tài)。

二、相關(guān)技術(shù)

（一）區(qū)塊鏈

區(qū)塊鏈?zhǔn)且环N去中心化、不可篡改、可追溯、多方共同維護(hù)的分布式數(shù)據(jù)庫，任何一方都無法完全控制這些數(shù)據(jù)，從而實現(xiàn)了可信的多方間的信息共享和監(jiān)督[14]。

（二）區(qū)塊鏈平臺介紹

現(xiàn)有的區(qū)塊鏈平臺很多，如比特幣、以太坊、fabric、EOS、IPFS等。比特幣[15]是應(yīng)用區(qū)塊鏈技術(shù)的交易系統(tǒng)。以太坊[16]是應(yīng)用區(qū)塊鏈技術(shù)能執(zhí)行智能合約的全球計算機(jī)。Fabric（hyperledger fabric）[17]是應(yīng)用區(qū)塊鏈技術(shù)的聯(lián)盟鏈平臺，與比特幣、以太坊等公鏈相比，其更加靈活。EOS[18]是用C++編寫的公鏈平臺，使用POS共識機(jī)制，運行效率高。IPFS[19]是一個P2P文件存儲系統(tǒng)。

（三）航空裝配制造

航空裝配制造過程指在航空產(chǎn)品從無到有，從小部件到整機(jī)的過程中涉及的各個方面的生產(chǎn)、流通等過程[20]。航空裝配制造過程要以文件的形式記錄下來。如航空材料的記錄和保存，工藝文件的簽字下發(fā)，生產(chǎn)計劃的簽字下發(fā)，產(chǎn)品的質(zhì)量檢驗，裝配制造過程的記錄，工裝和工具的維修和定檢等。生產(chǎn)文件是產(chǎn)品問題溯源的重要憑證。

航空生產(chǎn)文件有四個特點：一、內(nèi)容繁雜：航空產(chǎn)品工序復(fù)雜，產(chǎn)品之間關(guān)聯(lián)度高，生產(chǎn)文件也緊密關(guān)聯(lián)；二、規(guī)模龐大：一架飛機(jī)有上百萬個零部件，生產(chǎn)文件的數(shù)量和種類規(guī)模更多；三、高安全性：航空產(chǎn)品質(zhì)量要求高，要求產(chǎn)品全流程記錄，并長時間（大于30年）保存完好，文件不能丟失，破損；四、高保密性：航空產(chǎn)品多涉及商業(yè)機(jī)密，一些工藝和產(chǎn)品也涉及國家機(jī)密。

三、需求分析

航空裝配制造過程溯源系統(tǒng)主要有系統(tǒng)并發(fā)量、權(quán)限管理、文件信息記錄、溯源的需求。

（一）系統(tǒng)并發(fā)量

航空裝配工廠的人數(shù)一般在1000人以內(nèi)，為保證所有人員在線時系統(tǒng)仍處于可用狀態(tài)，要求系統(tǒng)的并發(fā)量（系統(tǒng)同時可訪問用戶）在1000以上。

（二）權(quán)限管理

權(quán)限管理的意義在于上級部門可以看見下屬各部門的數(shù)據(jù)，下屬部門看不到上級部門的數(shù)據(jù)，且不同部門之間的數(shù)據(jù)也有權(quán)限管理。

（三）文件信息記錄

航空產(chǎn)品生產(chǎn)過程中產(chǎn)生的各種文件包括生產(chǎn)的工藝文件、構(gòu)型更改圖紙、制造記錄、檢驗記錄、工裝定檢維修記錄、航材領(lǐng)取記錄、生產(chǎn)計劃等。

1、生產(chǎn)的工藝文件。工藝文件是工藝員依據(jù)飛機(jī)圖紙以及各種航空標(biāo)準(zhǔn)、規(guī)范、制造手冊等制定的生產(chǎn)文件，現(xiàn)場工人按照工藝文件進(jìn)行裝配制造。

2、制造記錄。飛機(jī)的各個工位會分配一定的工序，每個工人會被安排到特定的工位上，從事特定工序?qū)?yīng)的工作。某項工序會有各個步驟，工人在完成某個步驟后就應(yīng)當(dāng)在相關(guān)制造記錄上進(jìn)行身份確認(rèn)，表明自己完成了某個步驟。

圖3 航空產(chǎn)品與裝配制造人員關(guān)系圖

3、檢驗記錄。質(zhì)量檢驗人員是對產(chǎn)品質(zhì)量進(jìn)行檢驗的一道防線，質(zhì)量檢驗人員對產(chǎn)品進(jìn)行檢查，按照航空產(chǎn)品的檢測標(biāo)準(zhǔn)進(jìn)行檢測，如果產(chǎn)品能滿足檢測標(biāo)準(zhǔn)，則發(fā)放檢測通過證明，表示產(chǎn)品符合相關(guān)標(biāo)準(zhǔn)的。

4、定檢及工具修理記錄。在飛機(jī)的生產(chǎn)制造過程中，為保證裝配制造的精度，需要使用工裝進(jìn)行基準(zhǔn)校驗[20]。工裝作為基準(zhǔn)，自身精度也要定期校驗（定檢、維修）。工裝定檢維修后，由工藝員以及檢驗員對定檢的結(jié)果進(jìn)行驗證。

（四）溯源需求

裝配或者制造問題，可能的原因很多，包括工藝文件編寫錯誤、工人裝配失誤、工裝工具偏差過大、零部件質(zhì)量不過關(guān)、誤差累積過多等。

常見的溯源需求包括：

1、溯源到工裝工具及相關(guān)人員。

2、溯源到零部件以及特定的工序。

3、溯源到相關(guān)文件以及對應(yīng)人員。

4、查找可能存在問題的其他產(chǎn)品。

四、系統(tǒng)設(shè)計

系統(tǒng)設(shè)計分前后端，前端網(wǎng)頁界面承擔(dān)與用戶的交互功能，將用戶增刪改查的數(shù)據(jù)傳給后端，并將后端返回的數(shù)據(jù)解析好展示給用戶。與傳統(tǒng)BS架構(gòu)不同的是，系統(tǒng)增加了與區(qū)塊鏈直接交互以及數(shù)據(jù)庫從區(qū)塊鏈獲取信息部分。各種文件的增加、改動、刪除等，需要后端與聯(lián)盟鏈平臺直接交互。溯源的查詢，需要涉及到大量的連表查詢，如果從區(qū)塊鏈上讀取，需要耗用大量時間，為提高系統(tǒng)運行效率，將區(qū)塊鏈上數(shù)據(jù)存到數(shù)據(jù)庫中進(jìn)行查詢操作。系統(tǒng)結(jié)構(gòu)如圖4所示。另外，為保證區(qū)塊鏈平臺上數(shù)據(jù)的準(zhǔn)確可靠，可使用聯(lián)盟鏈服務(wù)平臺，如國家信息中心搭建的區(qū)塊鏈服務(wù)網(wǎng)絡(luò)BSN[21]等。

圖4 溯源系統(tǒng)總體架構(gòu)圖

（一）并發(fā)量

比特幣、以太坊交易數(shù)較低[14]，EOS運行收費，不適合采用；聯(lián)盟鏈具有靈活可插拔，成本低，并發(fā)量高等特點，所以本文采用聯(lián)盟鏈的方法。fabric、金鏈盟FISCO、華為鏈、長安鏈[22]等聯(lián)盟鏈均可作為區(qū)塊鏈平臺。

（二）權(quán)限管理

在權(quán)限管理方面，可使用基于角色的權(quán)限控制模型。在分層管理方面，使用身份分層加密進(jìn)行權(quán)限控制，只允許上層用戶查看下層用戶的數(shù)據(jù)，同一層級用戶間的數(shù)據(jù)不可見[23]。對于特殊的保密需求，可使用同態(tài)加密和零知識證明進(jìn)行解決。

（三）文件信息記錄

與傳統(tǒng)網(wǎng)站搭建，文件保存部分基本一致，定義文件的格式和內(nèi)容后，新建文件的數(shù)據(jù)結(jié)構(gòu)，數(shù)據(jù)庫表等數(shù)據(jù)，然后編寫增刪改查的各種函數(shù)操作。不同的是，傳統(tǒng)網(wǎng)站后端交互的是數(shù)據(jù)庫，本系統(tǒng)后端交互的是區(qū)塊鏈平臺（增加、刪除、修改）和數(shù)據(jù)庫（查詢）。另外，因為文件類型和種類較多，需要給管理員對文件格式增刪改查的權(quán)限。管理員可根據(jù)需要，改變文件的格式和內(nèi)容，或添加新文件等。

（四）溯源

溯源分為這么幾個步驟：

一是根據(jù)裝配制造廠人員、物件、文件之間的關(guān)系建立關(guān)聯(lián)，并抽象出他們之間的關(guān)系。本文抽象的關(guān)聯(lián)關(guān)系如圖5-圖9所示（紅色表明溯源到的問題點）。

二是根據(jù)關(guān)聯(lián)構(gòu)建數(shù)據(jù)庫關(guān)系表。根據(jù)工人、工位、零件、文件、工藝員、檢驗員、工具工裝、航空產(chǎn)品等之間的對應(yīng)關(guān)系設(shè)計數(shù)據(jù)庫。將工人與工位、工藝員與工藝文件、工具工裝與檢驗員、零部件與工位等關(guān)系對應(yīng)起來，保證其在數(shù)據(jù)庫查詢范圍內(nèi)。

三是裝配制造廠工作人員將裝配制造過程中產(chǎn)生的工藝文件、生產(chǎn)記錄、工裝、工具維修記錄、檢驗記錄以及零件、工具、工裝等信息簽名確認(rèn)后上傳到區(qū)塊鏈上，使用區(qū)塊鏈保證信息的不可篡改，使用簽名保證溯源結(jié)果的不可否認(rèn)。

四是當(dāng)出現(xiàn)問題時，從區(qū)塊鏈上讀取信息到數(shù)據(jù)庫中，以問題點信息為查找元素，將涉及到問題所有的相關(guān)人員、文件、設(shè)備查詢出來，并顯示文件對應(yīng)人員以及相關(guān)簽名。

五是溯源人員根據(jù)工藝人員經(jīng)驗或者大數(shù)據(jù)分析確定幾個可能的位置，一一排查后確定問題點。將問題點輸入系統(tǒng)后，系統(tǒng)可通過數(shù)據(jù)庫查詢問題點關(guān)聯(lián)的其他產(chǎn)品，另外，溯源案例可作為大數(shù)據(jù)分析的數(shù)據(jù)集，便于以后的智能化溯源系統(tǒng)的設(shè)計與實現(xiàn)。

圖5 工具、工裝、維修人員、檢驗員關(guān)聯(lián)圖

圖6 工位、零部件關(guān)聯(lián)圖

圖7 工位與工人、工藝員關(guān)聯(lián)圖

圖8 工藝文件、工藝員、檢驗員關(guān)聯(lián)圖

圖9 產(chǎn)品之間關(guān)聯(lián)圖

五、總結(jié)

本文將區(qū)塊鏈技術(shù)運用在航空裝配制造過程中，提出了航空裝配制造的溯源方案：將裝配制造過程中產(chǎn)生的各種文件記錄下來，保證信息不可篡改設(shè)計；相關(guān)數(shù)據(jù)結(jié)構(gòu)和數(shù)據(jù)庫信息，將存儲在區(qū)塊鏈上的文件信息存儲到數(shù)據(jù)庫中，通過數(shù)據(jù)庫查詢進(jìn)行反向溯源，定位到問題點（責(zé)任人、零件裝備或文件等）；通過問題點正向查找排查可能產(chǎn)生的其他安全隱患。該種基于區(qū)塊鏈的航空裝配制造溯源方法可靠性高、防篡改、防偽造、不可否認(rèn)，抵御網(wǎng)絡(luò)攻擊的能力較強(qiáng)，是可行的溯源解決方案。本文方法局限性在于溯源結(jié)果范圍較大，需要結(jié)合人工判斷問題點。未來考慮將機(jī)器學(xué)習(xí)應(yīng)用在溯源系統(tǒng)中，實現(xiàn)智能化溯源，并使用污點分析[24]、符號執(zhí)行[25]的方法進(jìn)行問題點驗證。