專利名稱：控制邏輯模擬-驗證方法和模擬-驗證個人計算機的制作方法
技術領域：
本發明涉及控制邏輯模擬-驗證方法和模擬-驗證個人計算機，例如，被設計成能夠模擬-驗證控制邏輯的個人計算機，這種計算機被集成到通過通用個人計算機來控制聯合循環發電設備的控制裝置中。
背景技術：
聯合循環發電設備包括燃氣渦輪發電設備和聯合的汽輪機發電設備，是復雜并且大規模的。這樣的聯合循環發電設備，其運行是通過控制裝置控制的。
控制裝置裝入了控制邏輯(運行控制程序)，而控制邏輯控制聯合循環發電設備的運行。控制邏輯計算由操作員發出并且為發電運行所需的操作命令信號(帶有開始、停止、指定功率輸出(MW)、緊急停止等命令的信號)以及從聯合循環發電設備輸出的運行狀態信號(顯示渦輪轉速、發電機輸出、閥門開度等信息的信號)，從而將控制命令信號(啟動信號、關閉信號、燃料量信號、空氣量信號、閥門開度信號等)發送到聯合循環發電設備，以便實現操作命令信號指示的運行狀態。通過實行這樣的運行控制，執行響應于操作命令信號的發電運轉。
到現在為止，輸入到控制裝置的控制邏輯一直是在例如RMX等相對小而快的操作系統(OS)中運行的程序。這是因為，對于控制裝置來說，大的邏輯需要在高頻率下執行，不需要使用人機接口。
檢驗輸入到控制裝置的控制邏輯的一般慣例是，連接控制裝置(實際設備(生產設備))和裝有設備模型邏輯的模擬器，并且通過模擬來進行控制邏輯的檢驗。詳細地，設備模型邏輯是通過將組成聯合循環發電設備的設備特性進行數學建模而開發的軟件。當接收到控制命令信號時，就會在程序下執行模擬聯合循環發電設備的實際操作的操作，并輸出顯示模擬操作狀態的運行狀態信號。因此，如果控制裝置被連接到模擬器，并且運行操作被執行，那么將實現與控制裝置連接到實際的聯合循環發電設備時相同的運行狀態，從而可以驗證控制邏輯。
至今，輸入到模擬器的設備模型邏輯一直是在具有符合要求的人機性能的操作系統(OS)(例如VAX/VMS)下運行的程序。這是因為，使用模擬器足以運行必要的邏輯，并且人機接口是必需的。
根據傳統的技術，通過設備模型邏輯模擬的操作狀態的改變速度與實際聯合循環發電設備的操作狀態的改變速度是相同的。例如，無論使用設備模型邏輯還是在實際的聯合循環發電設備中，從啟動直到達到額定輸出運行狀態的時間是相同的。
在達到額定輸出運行狀態后實施功能性的確認測試的過程中，從啟動到額定輸出運行狀態之間經過的時間是很長的。因此，可使用這樣的技術，其中額定運行狀態被預先存儲，存儲的額定運行狀態被設置在控制裝置和模擬器中，以將額定運行狀態設置為功能性確定測試中的初始狀態，模擬-檢驗操作在額定輸出運行狀態下開始，從而使功能性的確認測試在額定輸出運行狀態后被實施(請參見未經審查的日本專利文獻2001-318716)。該技術使得在額定輸出運行狀態后可以不需要花費從啟動到額定輸出運行狀態的時間而立即實施功能性的確認測試。
然而，通過傳統技術，控制裝置實際上作為實際設備進行生產，控制裝置被連接到模擬器(裝入了設備模型邏輯的計算機)，該邏輯在控制裝置上執行以便實施模擬-驗證。該傳統技術存在下列問題(1)模擬-驗證只有當控制裝置處于制造廠時才可以進行。也就是說，在制造出控制裝置以前，不能夠形成高精加工度的邏輯。即使邏輯的改變在試運行以前由于操作方式等的改變而變得必要，也不能使用改變后的邏輯執行模擬-驗證。
(2)在設備中實施模擬-驗證時，將需要大量的勞動力用于準備性工作，例如電纜的連接。
(3)模擬-驗證所需的時間和運轉實際設備所需的時間一樣長。也就是說，驗證是耗時的。
(4)瞬時發生的設備的操作不能被完全地確定。
(5)由于用于控制邏輯的OS和用于設備模型邏輯的OS不同，因此這兩種邏輯不能同時在相同的個人計算機上執行。如果可以同時在相同的個人計算機上運行這兩種邏輯的話，個人計算機就將能夠進行控制邏輯的模擬-驗證。
發明內容
本發明已經解決了以前的技術中存在的上述問題。本發明的目標是提供可以通過個人計算機執行控制邏輯的模擬-檢驗的模擬-驗證方法，以及使用本方法的模擬-檢驗個人計算機。
根據本發明第一方面，用于實現上述目標的控制邏輯模擬-檢驗方法包括在可重構的相同操作系統上執行控制邏輯和設備模型邏輯，根據操作狀態、執行設備運行控制所需的控制命令信號，使控制邏輯適合于輸出，在接收到控制命令信號時，使該設備模型邏輯適合于執行模擬設備的操作狀態的模擬操作設備設備設備，并且輸出顯示操作狀態的運行狀態信號，以及操作系統可作為只是必要功能部件的組合而使用。
在根據本發明第一方面的控制邏輯模擬-檢驗方法中，控制邏輯可以是用于執行聯合循環發電設備的運行控制的程序，設備模型邏輯可以是用于模擬聯合循環發電設備的運行操作的程序，操作系統是Linux。
根據本發明第二方面的模擬-驗證個人計算機包括控制裝置仿真模擬器個人計算機，該控制裝置裝入了根據操作狀態和執行設備的運行控制所需的控制命令信號來控制輸出的控制邏輯，并且在作為只是必要的功能部件組合使用的可重構操作系統上執行控制邏輯；以及設備模型模擬器個人計算機，其裝入了設備模型邏輯，用于執行模擬操作，在接收到控制命令信號時模擬設備的操作狀態，并且輸出顯示操作狀態的運行狀態信號，設備模型模擬器個人計算機在和所述操作系統一樣的操作系統上執行設備模型邏輯。
根據本發明第三方面的模擬-驗證個人計算機包括控制裝置仿真模擬器個人計算機，其裝入了根據操作狀態和執行設備的運行控制所需的控制命令信號來控制輸出的控制邏輯；裝入了在控制裝置中提供的、用于設置控制邏輯的計算周期的計算周期管理任務；在通過在控制裝置中提供的計算周期管理任務設置的計算周期中，在作為只是必要功能部件組合使用的可重構操作系統上執行控制邏輯；以及設備模型模擬器個人計算機，其裝入了設備模型邏輯，用于執行模擬操作，在接收控制命令信號時，模擬設備的操作狀態，并且輸出顯示操作狀態的運行狀態信號；裝入了設備模型提供的、用于設置設備模型邏輯的計算周期的計算周期管理任務；在通過在設備模型中提供的計算周期管理任務設置的計算周期中，在和所述操作系統一樣的操作系統上執行設備模型邏輯。
根據本發明第四方面的模擬-驗證個人計算機包括控制裝置仿真模擬器個人計算機，其裝入了根據操作狀態和執行設備的運行控制所需的控制命令信號來控制輸出的控制邏輯；裝入了在控制裝置中提供的、用于設置控制邏輯的計算周期的計算周期管理任務；裝入了在控制裝置中提供的、用于存儲控制邏輯的計算狀態的存儲設備，以及在通過在控制裝置中提供的計算周期管理任務設置的計算周期中，在作為只是必要功能部件組合使用的可重構的操作系統上執行控制邏輯；根據保存在控制裝置提供的存儲設備中的計算狀態來執行控制邏輯；以及設備模型模擬器個人計算機，其裝入了設備模型邏輯，用于執行模擬操作，在接收控制命令信號時模擬設備的操作狀態，并且輸出顯示操作狀態的運行狀態信號；安裝著設備模型提供的、用于設置設備模型邏輯的計算周期的計算周期管理任務；裝入了設備模型提供的用于存儲設備模型邏輯的計算狀態的存儲設備，以及在通過在設備模型中提供的計算周期管理任務設置的計算周期中，在和所述操作系統一樣的操作系統上執行設備模型邏輯；根據保存在設備模型提供的存儲設備中的計算狀態來執行設備模型邏輯。
在根據本發明第二至第四方面的任一方面的模擬-驗證個人計算機中，控制邏輯可以是執行聯合循環發電設備的運行控制的程序，設備模型邏輯可以是模擬聯合循環發電設備的運行操作的程序，操作系統可以是Linux。
由于上述特性，本發明顯示出下列效果(1)無論控制裝置處于制造過程的哪個階段，可以在任何時候執行控制邏輯的模擬-驗證。因此，在制造過程中，可以產生高精加工度的控制邏輯。即使在試運行以前形成操作上的改變，在確認模擬后，控制裝置可以提供在設備的位置上。
(2)在制造廠進行的模擬-驗證變得不必要，可以顯著減少工人的勞動量。
(3)所有設置都在個人計算機上作為“數據文件”管理。只要進行了設置，模擬-驗證就可以很容易地在任何時候執行(甚至可以在控制裝置的裝載以后)。
(4)不使用控制裝置的情況下，也可以執行模擬-驗證，并且可以縮短測量的工作時間。
(5)控制裝置和模擬器之間電纜的連接和斷開不是必要的。在控制邏輯的模擬-驗證過程中，負責測量的工人是不必參與的。
(6)通過調整計算周期，可以通過在延長的時間上的模擬來對瞬時工作的設備的操作進行檢驗。可以通過在一段縮短時間上的模擬來對長時間工作的設備的操作進行檢驗。
通過本文下列詳細說明和附圖，可以更完整地理解本發明，附圖只用于示例性目的，因此不限定本發明的范圍，其中圖1是方框圖，圖示說明了根據本發明的實施例的模擬-驗證個人計算機。
具體實施例方式
現在參照附圖詳細說明本發明的優選實施例，但是決不限制本發明的范圍。
圖1示出了根據本發明的實施例的模擬-驗證個人計算機。如圖所示，本模擬-驗證個人計算機由控制裝置仿真模擬器個人計算機10、設備模型模擬器個人計算機20、操作員的個人計算機30和邏輯準備/修改個人計算機40組成。這些個人計算機10至40通過通信設備(通信線路等等)連接。
控制裝置仿真模擬器個人計算機10裝入了控制邏輯11，控制邏輯11和作為實際設備輸入到控制裝置的控制邏輯相同。控制邏輯11是由邏輯準備/修改個人計算機40準備的，被傳送到控制裝置仿真模擬器個人計算機10并且在那里加載。控制邏輯(運行控制程序)10是可以作為必要的功能部件的組合使用的可重構的操作系統(OS)(例如Linux)下運行的程序。
控制邏輯11計算從操作員的個人計算機30發出的操作命令信號α和從設備模型模擬器個人計算機20發出的運行狀態信號β，從而將用于把運行狀態帶到由操作命令信號α指示的運行狀態的控制命令信號γ發送到設備模型模擬器個人計算機20。
操作命令信號α包括顯示啟動、停止、指示功率輸出(MW)、進行緊急停止等命令的信號。運行狀態信號β包括顯示渦輪轉速、發電機輸出、閥門開度等項的信號。控制命令信號γ包括啟動信號、關閉信號、燃料量信號、空氣量信號、閥門開度信號等等。
計算周期管理任務12裝入到控制裝置仿真模擬器個人計算機10之中，設置控制邏輯11的計算周期。計算周期管理任務12設置計算周期，使得計算像實際設備(控制裝置)一樣每50毫秒執行一次。然而，在必要時，計算周期管理任務12可以將計算周期設置得較短或者較長。因此，控制邏輯11以由計算周期管理任務12設置的計算周期，周期地執行計算。計算周期可以在控制裝置仿真模擬器個人計算機10的操著者的控制下進行設置。
控制裝置仿真模擬器個人計算機10裝有計算執行存儲器13和數據累積磁盤14。在控制裝置仿真模擬器個人計算機10的操作者的控制下，在計算執行存儲器13內的現有數據可以累積到數據累積磁盤14中，或者可以將累積的數據傳送到計算執行存儲器13中。通過將在數據累積磁盤14中累積的數據傳送到計算執行存儲器13，控制邏輯可以通過運行控制在中途執行，例如，在建立額定輸出運行的時間點后執行。
裝入控制裝置仿真模擬器個人計算機10中的輸入/輸出模擬任務15，是通過通信模擬與實際設備的輸入/輸出裝置的功能相同的功能的任務。
設備模型模擬器個人計算機20裝入了設備模型邏輯21。設備模型邏輯21是由邏輯準備/修改個人計算機40準備的，然后傳送到設備模型模擬器個人計算機20并且裝入其中。設備模型邏輯21是在可以作為必要功能部件的組合使用的可重構的操作系統(OS)(例如Linux)下運行的程序。
設備模型邏輯21是通過將組成聯合循環發電設備的設備特性進行算術建模而開發的軟件。接收控制命令信號γ時，就在程序下執行模擬實際的聯合循環發電設備的操作的操作，輸出顯示模擬操作狀態的運行狀態信號β。運行狀態信號β包括顯示渦輪轉速、發電機輸出、閥門開度等信息的信號。
裝入設備模型模擬器個人計算機20的計算周期管理任務22設置設備模型邏輯21的計算周期。計算周期管理任務22將計算周期設置為大約10毫秒，使得可以模擬類似于實際設備(聯合循環發電設備)中狀態的狀態。然而，在必要時，計算周期管理任務22可以將計算周期設置得較短或者較長。因此，設備模型邏輯21以由計算周期管理任務22所設置的計算周期，周期地執行計算。可以在設備模型模擬器個人計算機20的操作者的控制下對計算周期進行設置。
設備模型模擬器個人計算機20裝入了計算執行存儲器23和數據累積磁盤24。
在設備模型模擬器個人計算機20的操作者的控制下，在計算執行存儲器23內的現有數據可以累積到數據累積磁盤24，或者累積的數據可以被傳送到計算執行存儲器23。通過將在數據累積磁盤24累積的數據傳送到計算執行存儲器23，模擬聯合循環發電設備操作的操作可以通過運行操作在中途執行，例如在建立額定輸出運行的時間點后執行。
裝入設備模型模擬器個人計算機20中的輸入/輸出模擬任務25，是通過通信模擬與實際設備的輸入/輸出裝置的功能相同的功能的任務。
控制邏輯11和設備模型邏輯21之間的通信(發送和接收數據)是通過有線或者無線通線設備T建立的。
操作員的個人計算機30是操作員運行和操作設備的人機接口。該計算機30可以通過與實際設備(操作面板)相同的操作方法輸出操作命令信號α，并且可以顯示與實際設備(操作面板)中相同的屏幕。因此，操作員可以通過與用于實際設備(操作面板)的相同的操作方法來執行運行操作，并且不需要記住專門的命令或者操作方法。操作命令信號α包括顯示啟動、停止、指示功率輸出(MW)、進行緊急停止等命令的信號。
邏輯準備/修改個人計算機40適合于準備控制邏輯11和設備模型邏輯21。如果模擬-驗證(將在后面說明)檢測到在控制邏輯11或者設備模型邏輯21中發生錯誤的話，邏輯準備/修改個人計算機40執行調試并且修整或者修改程序(邏輯)。
通過具有上述特性的模擬-驗證個人計算機，當操作命令信號α從操作員的個人計算機30輸出時，控制裝置仿真模擬器個人計算機10的的控制邏輯11將響應于操作命令α而輸出控制命令信號γ，響應于控制命令信號γ的設備模擬操作將在程序下通過設備模型模擬器個人計算機20的設備模型邏輯21執行。將顯示設備模擬操作狀態的運行狀態信號β從設備模型邏輯21發送到控制邏輯11。
通過在這樣的模擬運行中檢查運行狀態信號β是否遵從命令信號α所指示的過程，可以驗證控制邏輯11。
在這種情況下，控制邏輯11和設備模型邏輯21可以同時被個人計算機10、20執行，因為它們都是在可以作為只是必要功能部件組合使用的可重構的操作系統(OS)Linux下運行的程序。
另外，通過使用計算周期管理任務12改變控制邏輯1 1的計算周期，以及通過使用計算周期管理任務22改變設備模型邏輯21的計算周期，就可以實施低速或者高速的模擬-驗證。
在執行低速模擬-驗證時，控制邏輯11和設備模型邏輯21的計算周期被設置得很長。通過設置這樣的長計算周期，可以形成看起來設備是在低速運行的狀態。
在實際設備的一系列運動(例如燃氣輪機的換氣程序)中，在幾秒內一個接一個地重復閥門打開和關閉操作，這單憑人的肉眼是不能檢查的。然而，在低速模擬-驗證中設置這樣的長計算周期，可以使得人的肉眼就可以跟蹤這樣的運動。例如，如果將計算周期延長至穩態周期的10倍的話，那么原來持續10秒的閥門打開/關閉操作將被改變為持續100秒的閥門打開/關閉操作。該操作甚至可以單憑肉眼得到確認。
取樣是按照設置很長的計算時間間隔執行的，并且按照和在實際設備中的計算周期相同的時間間隔來做記錄。因此，將被記錄到數據累積磁盤14、24的數據將按照與實際設備中相同的時間點被記錄到數據累積磁盤14、24，這樣就可以保留與將在實際設備的計算周期中被記錄的相同的模擬-驗證數據。
在以高速執行模擬-驗證時，控制邏輯11和設備模型邏輯21的計算周期被設置得很長。通過設置這樣的長計算周期，可以形成看起來設備是在高速運行的狀態。
在冷啟動的情況下，實際設備中的蒸汽調節閥被慢速打開，例如，以1％/分的速度打開。因此，檢驗會持續幾個小時，在這段時間，沒有重要的項目要檢查，相同的操作被簡單地重復。對于包含這種短設置計算周期的高速驗證，冷啟動的持續時間可以被縮短。例如，計算周期縮短至穩態周期的1/10可以使冷啟動時間縮短至原時間的1/10。
取樣是按照被設置到很短的計算時間間隔執行的，并且按照和在實際設備中的計算周期相同的時間間隔做記錄。因此，要被記錄到數據累積磁盤14、24的數據將按照與實際設備中相同的時間點被記錄到數據累積磁盤14、24，這樣就可以保留與將要通過實際設備的計算周期中獲得的相同的模擬-驗證數據。
只要數據被累積到數據累積磁盤14、24，中途通過模擬存在的數據將被傳送到計算執行存儲器13、23，因此控制邏輯操作和設備模擬操作可以通過運行控制和運行的操作在中途執行。也就是說，模擬-驗證可以根據必要的狀態啟動。
例如，傳統的負載停機模擬要求根據燃氣渦輪從啟動開始操作而進行模擬操作。在達到額定運行狀態以前，已經占用了大約1個小時，這就意味著時間損耗。
相比之下，在使用本發明時，模擬數據可以被累積，并且累積的數據總是為停機提取作好了準備。因此，模擬-驗證可以通過運行控制和運行操作在中途實施。
因此，數據在燃氣渦輪的滿負荷下也可以被累積。當將執行負載停機模擬-驗證時，累積的數據被提取，并可以立即形成滿負荷狀態。因此，負載停機模擬可以沒有時間損耗地啟動。
在圖1所示的實施例中，使用了控制裝置仿真模擬器個人計算機10和設備模型模擬器個人計算機20。然而，裝入兩部個人計算機10和20的功能及通信設備T的功能可以裝入單部個人計算機以執行控制邏輯11的模擬-驗證。這是因為，控制邏輯11和設備模型邏輯21都是在可以用作必要功能部件組合使用的可重構操作系統(OS)Linux下運行的程序，因此邏輯11、21可以同時在相同的OS下在單部個人計算機上運行。
另外，在圖1的實施例中，控制裝置仿真模擬器個人計算機10只裝入了計算所需的部件。通過將用于訓練模擬器的人-機部件裝入該個人計算機，其還可以用作訓練模擬器。
也就是說，到目前為止，訓練模擬器和控制裝置由完全不同類型的硬件構成。因此，用于訓練模擬器的控制邏輯需要區別于控制裝置的邏輯而重新構造。例如，如果使用可以作為必要功能部件組合的可重構操作系統(OS)Linux作為控制邏輯的OS的話，控制裝置的邏輯和訓練模擬器的邏輯所共有的部分可以被共享使用。這樣，就可以縮短訓練模擬器的生產時間。
雖然已經通過上述方式對本發明進行了說明，但是應該可以理解，本發明并不局限于上述方式，而是可能存在許多方式上的差異。這樣的變化不被認為違背本發明的精神和偏離本發明的范圍，對于本領域的技術人員來說，很明顯，所有這樣的修改都包括在所附權利要求的范圍內。
權利要求
1.一種控制邏輯模擬-驗證方法，其包括在可重構的相同的操作系統上執行控制邏輯和設備模型邏輯，根據操作狀態和執行設備的運行控制所需的控制命令信號，使所述控制邏輯適合于輸出，所述設備模型邏輯適合于在接收到控制命令信號后執行模擬設備操作狀態的模擬操作，并輸出顯示操作狀態的運行狀態信號，和所述操作系統可作為只是必需功能部件的組合而使用。
2.根據權利要求1所述的控制邏輯模擬-驗證方法，其中所述控制邏輯是執行聯合循環發電設備的運行控制的程序，所述設備模型邏輯是模擬聯合循環發電設備的運行操作的程序，所述操作系統是Linux。
3.一種模擬-驗證個人計算機，其包括控制裝置仿真模擬器個人計算機，其裝入了用于根據操作狀態和執行設備的運行控制所需的控制命令信號而輸出的控制邏輯，在可作為只是必需功能部件組合而使用的可重構的操作系統上執行所述控制邏輯；和設備模型模擬器個人計算機，其裝入了設備模型邏輯，用于在接收到所述控制命令信號后，執行模擬設備的操作狀態的模擬操作，并輸出顯示操作狀態的運行狀態信號，在與所述操作系統相同的操作系統上執行所述設備模型邏輯。
4.一種模擬-驗證個人計算機，其包括控制裝置仿真模擬器個人計算機，其裝入了根據操作狀態和執行設備運行控制所需的控制命令信號而輸出的控制邏輯；裝入了在控制裝置中提供的計算周期管理任務，用于設置所述控制邏輯的計算周期；在可作為只是必需功能部件組合而使用的可重構操作系統上，在由控制裝置中提供的所述計算周期管理任務所設置的所述計算周期中，執行所述控制邏輯；和設備模型模擬器個人計算機，其裝入了設備模型邏輯，用于在接收到所述控制命令信號后，執行模擬設備的操作狀態的模擬操作，并輸出顯示操作狀態的運行狀態信號；裝入了在設備模型中提供的計算周期管理任務，用于設置所述設備模型邏輯的計算周期；在和所述操作系統相同的操作系統上，在由設備模型中提供的所述計算周期管理任務所設置的所述計算周期中，執行所述設備模型邏輯。
5.一種模擬-驗證個人計算機，其包括控制裝置仿真模擬器個人計算機，其裝入了根據操作狀態和執行設備運行控制所需的控制命令信號而輸出的控制邏輯；裝入了在控制裝置中提供的計算周期管理任務，用于設置所述控制邏輯的計算周期；裝入了在控制裝置中提供的存儲設備，用于存儲所述控制邏輯的計算狀態，和在可作為只是必需功能部件組合而使用的可重構操作系統上，在由控制裝置中提供的所述計算周期管理任務所設置的所述計算周期中，執行所述控制邏輯；根據存儲在控制裝置中所提供的存儲設備中的所述計算狀態，執行所述控制邏輯；和設備模型模擬器個人計算機，其裝入了設備模型邏輯，用于在接收到所述控制命令信號后，執行模擬設備的操作狀態的模擬操作，并輸出顯示操作狀態的運行狀態信號；裝入了在設備模型中提供的計算周期管理任務，用于設置所述設備模型邏輯的計算周期；裝入了在設備模型中提供的存儲設備，用于存儲所述設備模型邏輯的計算狀態，和在和所述操作系統相同的操作系統上，在由設備模型中提供的所述計算周期管理任務所設置的所述計算周期中，執行所述設備模型邏輯；可以根據保存在設備模型中提供的存儲設備中的所述計算狀態，執行所述設備模型邏輯。
6.根據權利要求3到5中的任意一條權利要求所述的模擬-驗證個人計算機，其中所述控制邏輯是執行聯合循環發電設備的運行控制的程序，所述設備模型邏輯是模擬聯合循環發電設備的運行操作的程序，所述操作系統是Linux。
全文摘要
一種模擬－驗證個人計算機，包括控制裝置仿真模擬器個人計算機以及設備模型模擬器個人計算機。控制裝置仿真模擬器個人計算機裝入了集成到控制裝置的控制邏輯。設備模型模擬器個人計算機裝入了設備模型邏輯。在接收到操作命令信號后，控制邏輯將用于控制設備運行的控制命令信號發送到設備模型邏輯。在接收到控制命令信號后，設備模型邏輯執行顯示設備操作狀態的模擬操作，并輸出顯示操作狀態的運行狀態信號。控制邏輯和設備模型邏輯都使用Linux作為OS，因此可以同時在個人計算機上運行。
文檔編號G05B17/00GK1497441SQ20031010062
公開日2004年5月19日 申請日期2003年10月10日 優先權日2002年10月10日
發明者田中聡史, 佐川功, 田中 史 申請人:三菱重工業株式會社