，轉(zhuǎn)換為對(duì)應(yīng)的控制邏輯仿真驗(yàn)證平臺(tái)數(shù)據(jù)；信號(hào)連接數(shù)據(jù)轉(zhuǎn)換模塊116，用于將信號(hào)連接數(shù)據(jù)，按照轉(zhuǎn)換規(guī)則，轉(zhuǎn)換為對(duì)應(yīng)的控制邏輯仿真驗(yàn)證平臺(tái)數(shù)據(jù)；控制邏輯仿真驗(yàn)證平臺(tái)模版讀取模塊117，用于讀取存儲(chǔ)設(shè)備12中存儲(chǔ)的控制邏輯仿真驗(yàn)證平臺(tái)模版文件，并將其存儲(chǔ)到內(nèi)存中；文件生成模塊118，用于將轉(zhuǎn)換后的控制邏輯仿真驗(yàn)證平臺(tái)數(shù)據(jù)輸出到內(nèi)存中的控制邏輯仿真驗(yàn)證平臺(tái)模版文件生成控制邏輯仿真驗(yàn)證平臺(tái)文件。
[0033]根據(jù)本發(fā)明的另一面還提供一種控制邏輯設(shè)計(jì)數(shù)據(jù)轉(zhuǎn)換為控制邏輯仿真驗(yàn)證平臺(tái)文件的方法，包括以下步驟:
[0034]從控制邏輯設(shè)計(jì)數(shù)據(jù)存儲(chǔ)服務(wù)器中載入需要轉(zhuǎn)換成控制邏輯仿真驗(yàn)證平臺(tái)文件的數(shù)據(jù)；
[0035]調(diào)用數(shù)據(jù)分類模塊，以控制邏輯算法為單位，對(duì)載入的數(shù)據(jù)進(jìn)行識(shí)別分類；
[0036]根據(jù)數(shù)據(jù)的類別，調(diào)用相應(yīng)的數(shù)據(jù)轉(zhuǎn)換模塊將控制邏輯設(shè)計(jì)數(shù)據(jù)轉(zhuǎn)換為控制邏輯仿真驗(yàn)證平臺(tái)數(shù)據(jù)；
[0037]使用控制邏輯仿真驗(yàn)證平臺(tái)模版讀取模塊讀取控制邏輯仿真驗(yàn)證平臺(tái)模版文件的內(nèi)容并將其存儲(chǔ)到內(nèi)存中；
[0038]調(diào)用文件生成模塊，將轉(zhuǎn)換后的控制邏輯仿真驗(yàn)證平臺(tái)數(shù)據(jù)輸出到內(nèi)存中的控制邏輯仿真驗(yàn)證平臺(tái)模版文件生成控制邏輯仿真驗(yàn)證平臺(tái)文件。
[0039]詳細(xì)的，如圖3所示，是本發(fā)明控制邏輯設(shè)計(jì)數(shù)據(jù)轉(zhuǎn)換為控制邏輯仿真驗(yàn)證平臺(tái)文件的方法的流程圖。該方法包括以下步驟:
[0040](I)數(shù)據(jù)載入模塊110從控制邏輯設(shè)計(jì)數(shù)據(jù)存儲(chǔ)服務(wù)器13以控制邏輯算法為單位逐個(gè)載入需要轉(zhuǎn)換成控制邏輯仿真驗(yàn)證平臺(tái)文件的控制邏輯設(shè)計(jì)數(shù)據(jù)(Si);所述的控制邏輯設(shè)計(jì)數(shù)據(jù)包括且不僅限于:控制邏輯算法類型名、控制邏輯算法實(shí)例名、控制邏輯算法坐標(biāo)、控制邏輯算法顯示尺寸、控制邏輯算法參數(shù)、控制邏輯算法輸入變量、控制邏輯算法輸出變量、控制邏輯算法中間變量、控制邏輯算法連接關(guān)系數(shù)據(jù)等；
[0041](2)調(diào)用數(shù)據(jù)分類模塊111，以控制邏輯算法為單位，按照輸入算法數(shù)據(jù)、人機(jī)接口算法數(shù)據(jù)、邏輯運(yùn)算算法數(shù)據(jù)、輸出算法數(shù)據(jù)和信號(hào)連接數(shù)據(jù)，對(duì)載入的數(shù)據(jù)進(jìn)行識(shí)別分類(S2)；
[0042](3)根據(jù)數(shù)據(jù)的類別，調(diào)用相應(yīng)的數(shù)據(jù)轉(zhuǎn)換模塊將控制邏輯設(shè)計(jì)數(shù)據(jù)轉(zhuǎn)換為控制邏輯仿真驗(yàn)證平臺(tái)數(shù)據(jù)(S3);所述數(shù)據(jù)轉(zhuǎn)換模塊包括:輸入算法數(shù)據(jù)轉(zhuǎn)換模塊112、人機(jī)接口算法數(shù)據(jù)轉(zhuǎn)換模塊113、邏輯運(yùn)算算法數(shù)據(jù)轉(zhuǎn)換模塊114、輸出算法數(shù)據(jù)轉(zhuǎn)換模塊115和信號(hào)連接數(shù)據(jù)轉(zhuǎn)換模塊116。
[0043](4)使用控制邏輯仿真驗(yàn)證平臺(tái)模版讀取模塊117讀取控制邏輯仿真驗(yàn)證平臺(tái)模版文件的內(nèi)容并將其存儲(chǔ)到內(nèi)存中(S4);所述的控制邏輯仿真驗(yàn)證平臺(tái)模版文件是一個(gè)外部的可隨具體控制邏輯仿真驗(yàn)證平臺(tái)的要求而自行定義的說(shuō)明性文件，用來(lái)說(shuō)明控制邏輯仿真驗(yàn)證平臺(tái)文件需要的格式，包括除具體控制邏輯設(shè)計(jì)數(shù)據(jù)以外的控制邏輯仿真驗(yàn)證平臺(tái)文件信息，各類型數(shù)據(jù)在文件所處的層次結(jié)構(gòu)；
[0044](5)調(diào)用文件生成模塊118，將轉(zhuǎn)換后的控制邏輯仿真驗(yàn)證平臺(tái)數(shù)據(jù)輸出到內(nèi)存中的控制邏輯仿真驗(yàn)證平臺(tái)模版文件生成控制邏輯仿真驗(yàn)證平臺(tái)文件(S5)。
[0045]綜上所述，本發(fā)明能夠克服現(xiàn)有技術(shù)所存在的問(wèn)題，是提供一種控制邏輯設(shè)計(jì)數(shù)據(jù)轉(zhuǎn)換為控制邏輯仿真驗(yàn)證平臺(tái)文件的系統(tǒng)及方法，該系統(tǒng)及方法能夠使用戶將完成的控制邏輯設(shè)計(jì)數(shù)據(jù)方便的轉(zhuǎn)換為控制邏輯仿真驗(yàn)證平臺(tái)可直接讀取的控制邏輯模型文件。采用本發(fā)明的系統(tǒng)及方法，可以將控制邏輯設(shè)計(jì)數(shù)據(jù)轉(zhuǎn)換為控制邏輯仿真驗(yàn)證平臺(tái)可直接讀取的控制邏輯模型文件，顯著提高了控制邏輯仿真驗(yàn)證平臺(tái)控制邏輯模型建立的效率和質(zhì)量。
[0046]本說(shuō)明書中各個(gè)實(shí)施例采用遞進(jìn)的方式描述，每個(gè)實(shí)施例重點(diǎn)說(shuō)明的都是與其他實(shí)施例的不同之處，各個(gè)實(shí)施例之間相同相似部分互相參見即可。對(duì)于實(shí)施例公開的系統(tǒng)而言，由于與實(shí)施例公開的方法相對(duì)應(yīng)，所以描述的比較簡(jiǎn)單，相關(guān)之處參見方法部分說(shuō)明即可。
[0047]專業(yè)人員還可以進(jìn)一步意識(shí)到，結(jié)合本文中所公開的實(shí)施例描述的各示例的單元及算法步驟，能夠以電子硬件、計(jì)算機(jī)軟件或者二者的結(jié)合來(lái)實(shí)現(xiàn)，為了清楚地說(shuō)明硬件和軟件的可互換性，在上述說(shuō)明中已經(jīng)按照功能一般性地描述了各示例的組成及步驟。這些功能宄竟以硬件還是軟件方式來(lái)執(zhí)行，取決于技術(shù)方案的特定應(yīng)用和設(shè)計(jì)約束條件。專業(yè)技術(shù)人員可以對(duì)每個(gè)特定的應(yīng)用來(lái)使用不同方法來(lái)實(shí)現(xiàn)所描述的功能，但是這種實(shí)現(xiàn)不應(yīng)認(rèn)為超出本發(fā)明的范圍。
[0048]顯然，本領(lǐng)域的技術(shù)人員可以對(duì)發(fā)明進(jìn)行各種改動(dòng)和變型而不脫離本發(fā)明的精神和范圍。這樣，倘若本發(fā)明的這些修改和變型屬于本發(fā)明權(quán)利要求及其等同技術(shù)的范圍之內(nèi)，則本發(fā)明也意圖包括這些改動(dòng)和變型在內(nèi)。
【主權(quán)項(xiàng)】
1.一種控制邏輯設(shè)計(jì)數(shù)據(jù)轉(zhuǎn)換為控制邏輯仿真驗(yàn)證平臺(tái)文件的系統(tǒng)，其特征在于，包括客戶端計(jì)算機(jī)，控制邏輯設(shè)計(jì)數(shù)據(jù)存儲(chǔ)服務(wù)器及轉(zhuǎn)換服務(wù)器，其中， 所述控制邏輯設(shè)計(jì)數(shù)據(jù)存儲(chǔ)服務(wù)器包括:需要轉(zhuǎn)換的控制邏輯設(shè)計(jì)數(shù)據(jù)及用于存儲(chǔ)這些設(shè)計(jì)數(shù)據(jù)的數(shù)據(jù)庫(kù)； 所述轉(zhuǎn)換服務(wù)器包括: 數(shù)據(jù)載入模塊，用于從控制邏輯設(shè)計(jì)數(shù)據(jù)存儲(chǔ)服務(wù)器中載入需要轉(zhuǎn)換成控制邏輯仿真驗(yàn)證平臺(tái)文件的數(shù)據(jù)； 數(shù)據(jù)分類模塊，用于對(duì)載入的數(shù)據(jù)以控制邏輯算法為單位進(jìn)行識(shí)別分類； 各類數(shù)據(jù)的轉(zhuǎn)換模塊，用于將各類數(shù)據(jù)，按照轉(zhuǎn)換規(guī)則，轉(zhuǎn)換為對(duì)應(yīng)的控制邏輯仿真驗(yàn)證平臺(tái)數(shù)據(jù)； 控制邏輯仿真驗(yàn)證平臺(tái)模版讀取模塊，用于讀取控制邏輯仿真驗(yàn)證平臺(tái)模版文件的內(nèi)容，并將其存儲(chǔ)到內(nèi)存中； 文件生成模塊，用于將轉(zhuǎn)換后的控制邏輯仿真驗(yàn)證平臺(tái)數(shù)據(jù)輸出到內(nèi)存中的控制邏輯仿真驗(yàn)證平臺(tái)模版文件生成控制邏輯仿真驗(yàn)證平臺(tái)文件。2.如權(quán)利要求1所述的控制邏輯設(shè)計(jì)數(shù)據(jù)轉(zhuǎn)換為控制邏輯仿真驗(yàn)證平臺(tái)文件的方法，其特征在于，包括: 從控制邏輯設(shè)計(jì)數(shù)據(jù)存儲(chǔ)服務(wù)器中載入需要轉(zhuǎn)換成控制邏輯仿真驗(yàn)證平臺(tái)文件的數(shù)據(jù)； 調(diào)用數(shù)據(jù)分類模塊，以控制邏輯算法為單位，對(duì)載入的數(shù)據(jù)進(jìn)行識(shí)別分類； 根據(jù)數(shù)據(jù)的類別，調(diào)用相應(yīng)的數(shù)據(jù)轉(zhuǎn)換模塊將控制邏輯設(shè)計(jì)數(shù)據(jù)轉(zhuǎn)換為控制邏輯仿真驗(yàn)證平臺(tái)數(shù)據(jù)； 使用控制邏輯仿真驗(yàn)證平臺(tái)模版讀取模塊讀取控制邏輯仿真驗(yàn)證平臺(tái)模版文件的內(nèi)容并將其存儲(chǔ)到內(nèi)存中； 調(diào)用文件生成模塊，將轉(zhuǎn)換后的控制邏輯仿真驗(yàn)證平臺(tái)數(shù)據(jù)輸出到內(nèi)存中的控制邏輯仿真驗(yàn)證平臺(tái)模版文件生成控制邏輯仿真驗(yàn)證平臺(tái)文件。
【專利摘要】本發(fā)明提供了一種控制邏輯設(shè)計(jì)數(shù)據(jù)轉(zhuǎn)換為控制邏輯仿真驗(yàn)證平臺(tái)文件的系統(tǒng)及方法，本發(fā)明能夠克服現(xiàn)有技術(shù)所存在的問(wèn)題，是提供一種控制邏輯設(shè)計(jì)數(shù)據(jù)轉(zhuǎn)換為控制邏輯仿真驗(yàn)證平臺(tái)文件的系統(tǒng)及方法，該系統(tǒng)及方法能夠使用戶將完成的控制邏輯設(shè)計(jì)數(shù)據(jù)方便的轉(zhuǎn)換為控制邏輯仿真驗(yàn)證平臺(tái)可直接讀取的控制邏輯模型文件。采用本發(fā)明的系統(tǒng)及方法，可以將控制邏輯設(shè)計(jì)數(shù)據(jù)轉(zhuǎn)換為控制邏輯仿真驗(yàn)證平臺(tái)可直接讀取的控制邏輯模型文件，顯著提高了控制邏輯仿真驗(yàn)證平臺(tái)控制邏輯模型建立的效率和質(zhì)量。
【IPC分類】G05B17/02
【公開號(hào)】CN104950696
【申請(qǐng)?zhí)枴緾N201510415290
【發(fā)明人】胡春平, 林志勇, 榮輝, 張勝光, 張琳, 蔣李君, 李暉, 郭國(guó)良
【申請(qǐng)人】上海核工程研究設(shè)計(jì)院
【公開日】2015年9月30日
【申請(qǐng)日】2015年7月15日