【儀表網(wǎng) 行業(yè)標(biāo)準(zhǔn)】近日，由中國標(biāo)準(zhǔn)化研究院 、浙江大學(xué)等單位起草， TC159(全國自動(dòng)化系統(tǒng)與集成標(biāo)準(zhǔn)化技術(shù)委員會(huì))歸口的國家標(biāo)準(zhǔn)計(jì)劃《工業(yè)自動(dòng)化系統(tǒng)與集成 全球生產(chǎn)網(wǎng)絡(luò)配置的形式語義模型》征求意見稿已編制完成，現(xiàn)公開征求意見。
 

　　《十四五規(guī)劃和 2035 年遠(yuǎn)景目標(biāo)綱要》指出“深入實(shí)施制造強(qiáng)國戰(zhàn)略，推進(jìn)產(chǎn)業(yè)基礎(chǔ)高級(jí)化、產(chǎn)業(yè)鏈現(xiàn)代化，保持制造業(yè)比重基本穩(wěn)定，增強(qiáng)制造業(yè)競爭優(yōu)勢(shì)，推動(dòng)制造業(yè)高質(zhì)量發(fā)展。”
 

　　智能制造和服務(wù)型制造是中國制造業(yè)逐漸變強(qiáng)的主線。以數(shù)字化、智能化為代表的制造技術(shù)是提升中國制造業(yè)整體效率的關(guān)鍵；而發(fā)展服務(wù)型制造是提升制造業(yè)核心競爭力的必然趨勢(shì)。其中，工業(yè)自動(dòng)化行業(yè)將智能制造和服務(wù)型制造很好地結(jié)合于一體，因此可以說工業(yè)自動(dòng)化行業(yè)在未來將貫穿中國制造業(yè)“由大變強(qiáng)”的整個(gè)過程。
 

　　全球信息化發(fā)展要求各領(lǐng)域企業(yè)間，各應(yīng)用軟件組件間能夠數(shù)字化，智能化地協(xié)同工作，進(jìn)行數(shù)據(jù)和信息的實(shí)時(shí)交換，提高數(shù)據(jù)流通、共享、管理的效率。但實(shí)際應(yīng)用中的用戶需求及軟件組件在能力描述方面存在較大差異，形式化語義描述是解決這一問題的有效技術(shù)。在應(yīng)對(duì)變化的過程中，競爭性制造業(yè)的目標(biāo)是在針對(duì)復(fù)雜的多方面問題做出決策時(shí)，最好地了解各種可能選項(xiàng)之間的平衡。了解如何最好地配置和重新配置全球生產(chǎn)網(wǎng)絡(luò)，以應(yīng)對(duì)快速變化的產(chǎn)品服務(wù)需求，就是這樣一個(gè)復(fù)雜的問題領(lǐng)域。決策要考慮多種現(xiàn)有產(chǎn)品和服務(wù)變體、多種新產(chǎn)品和服務(wù)，以適應(yīng)新的技術(shù)、經(jīng)濟(jì)、社會(huì)、環(huán)境和政治要求以及當(dāng)前生產(chǎn)和服務(wù)負(fù)荷的影響，并協(xié)調(diào)和同步遍布全球的生產(chǎn)網(wǎng)絡(luò)，同時(shí)考慮當(dāng)?shù)毓?yīng)商能力、運(yùn)輸限制、工廠能源使用和生產(chǎn)負(fù)荷預(yù)測(cè)等因素。
 

　　如何設(shè)計(jì)和配置全球生產(chǎn)網(wǎng)絡(luò)(GPN)，以生產(chǎn)和運(yùn)營新的實(shí)體產(chǎn)品或產(chǎn)品服務(wù)。對(duì)生產(chǎn)網(wǎng)絡(luò)中設(shè)施之間的流關(guān)系進(jìn)行建模。未來的標(biāo)準(zhǔn)可以建立在本文件的基礎(chǔ)上，為工廠系統(tǒng)開發(fā)標(biāo)準(zhǔn)語義模型。
 

　　本文件按照GB/T 1.1-2020《標(biāo)準(zhǔn)化工作導(dǎo)則 第1部分：標(biāo)準(zhǔn)化文件的結(jié)構(gòu)和起草規(guī)則》的規(guī)定起草。本文件采用翻譯法等同采用 ISO 20534-2018《工業(yè)自動(dòng)化系統(tǒng)與集成 全球生產(chǎn)網(wǎng)絡(luò)配置的形式語義模型》。
 

　　本文件規(guī)定了一種基于形式邏輯的概念特化方法，以支持制造參考模型的開發(fā)，這些模型是支持全球生產(chǎn)網(wǎng)絡(luò)配置所需的必要業(yè)務(wù)特定知識(shí)模型的基礎(chǔ)。
 

　　本文件規(guī)定了以下內(nèi)容：形式語義模型方法；屬性特化的層次；各層次的語境；各層次的關(guān)鍵屬性；屬性關(guān)系；屬性公理；適用性規(guī)則。
 

　　以下內(nèi)容屬于本文件范圍：離散產(chǎn)品制造的生產(chǎn)網(wǎng)絡(luò)；全球生產(chǎn)網(wǎng)絡(luò)配置的形式語義；系統(tǒng)層次形式語義；設(shè)計(jì)系統(tǒng)形式語義；制造業(yè)務(wù)系統(tǒng)形式語義；全球生產(chǎn)系統(tǒng)網(wǎng)絡(luò)形式語義。以下內(nèi)容不屬于本文件范圍：工廠形式語義；全球生產(chǎn)網(wǎng)絡(luò)運(yùn)行的形式語義。
 

　　形式語義：
 

　　基于本文件的參考模型提供了一個(gè)形式語義基礎(chǔ)，如果應(yīng)用程序供應(yīng)商要維護(hù)互操作性，則應(yīng)該遵循該語義基礎(chǔ)。
 

　　本文件的概念特化方法基于形式邏輯，在與現(xiàn)有生產(chǎn)相關(guān)標(biāo)準(zhǔn)進(jìn)行比較時(shí)，為基于本文件的模型的計(jì)算解釋提供了一個(gè)新的維度。它通過使用其邏輯，確保用戶符合定義的標(biāo)準(zhǔn)化約束。
 

　　全球生產(chǎn)網(wǎng)絡(luò)配置的形式語義模型采用Highfleet本體庫參考(見附錄A)中的知識(shí)框架語言(KFL)和擴(kuò)展通用邏輯交換格式(ECLIF)表示，兩者均基于通用邏輯(ISO/IEC 24707)。本文件中使用的KFL、ECLIF和上層概念定義見本文件附錄。
 

　　特化層次概述：
 

　　全球生產(chǎn)網(wǎng)絡(luò)配置的形式語義模型的前提是，為便于構(gòu)建、實(shí)現(xiàn)有效的互操作性和靈活的重復(fù)使用，企業(yè)本體應(yīng)該建立在盡可能利用公共參考本體的公共基礎(chǔ)上。簡單一句話就可以描述泛化基礎(chǔ)：“代表特定企業(yè)核心要素的本體設(shè)計(jì)，最終將產(chǎn)生大量要素，這些要素并非該特定企業(yè)所獨(dú)有，而是由同一行業(yè)運(yùn)營的一些其他企業(yè)所共有”。
 

　　據(jù)此可以推斷，一個(gè)特定行業(yè)的共有要素子集應(yīng)適用于或外推到不同行業(yè)。換句話說，一些適用于泵行業(yè)的要素也將適用于白色家電行業(yè)。
 

　　這兩個(gè)行業(yè)都是制造業(yè)的一部分，因此廣泛適用于不同制造行業(yè)的概念屬于制造業(yè)的更廣泛領(lǐng)域，而不屬于某一特定行業(yè)。在這一領(lǐng)域，存在著制造業(yè)特有的要素，但不一定適用于金融、保險(xiǎn)、建筑、采礦和農(nóng)業(yè)等其他行業(yè)。
 

　　然而，為制造業(yè)確定的一些概念在廣義上適用于其他行業(yè)。在這種情況下，它們屬于設(shè)計(jì)系統(tǒng)的更廣泛領(lǐng)域。這就產(chǎn)生了一套全面的一般概念和關(guān)系，這些概念和關(guān)系應(yīng)得到所有行業(yè)的普遍接受和理解。
 

　　我國工業(yè)數(shù)據(jù)應(yīng)用處于起步和發(fā)展階段，國內(nèi)多個(gè)行業(yè)開展了形式語義方面的項(xiàng)目，但其開放技術(shù)字典標(biāo)準(zhǔn)化還處于空白狀態(tài)。
 

　　全國自動(dòng)化系統(tǒng)與集成標(biāo)準(zhǔn)化技術(shù)委員會(huì)/工業(yè)數(shù)據(jù)分委會(huì)(SAC/TC159/SC4)一直跟蹤 ISO 20534 標(biāo)準(zhǔn)的制定工作，本次申請(qǐng)制定的標(biāo)準(zhǔn)建議采用等同采用國際標(biāo)準(zhǔn)的方式，將國際標(biāo)準(zhǔn)的內(nèi)容轉(zhuǎn)化為國內(nèi)標(biāo)準(zhǔn)，希望對(duì)我國制造業(yè)語義描述的研究和實(shí)踐提供借鑒和引領(lǐng)。
 

　　本次申請(qǐng)制定的國家標(biāo)準(zhǔn)是工業(yè)數(shù)據(jù)標(biāo)準(zhǔn)體系的重要組成部分，通過標(biāo)準(zhǔn)的制定可以完善工業(yè)數(shù)據(jù)標(biāo)委會(huì)標(biāo)準(zhǔn)的標(biāo)準(zhǔn)體系，為后續(xù)的制造業(yè)形式語義的制定和應(yīng)用完善具有重要的作用。