• 제목/요약/키워드: 계측제어 프로그램

검색결과 105건 처리시간 0.031초

함수 블록 다이어그램으로 구현된 PLC 프로그램에 대한 정형 검증 기법 (A Formal Verification Technique for PLC Programs Implemented with Function Block Diagrams)

  • 지은경;전승재;차성덕
    • 한국정보과학회논문지:컴퓨팅의 실제 및 레터
    • /
    • 제15권3호
    • /
    • pp.211-215
    • /
    • 2009
  • 프로그래머블 로직 콘트롤러(PLC)가 원자력 계측제어 시스템과 같은 안전 필수 시스템 구현에 많이 사용됨에 따라, PLC 프로그램에 대한 정형검증의 필요가 높아지고 있다. 본 연구에서는 함수 블록 다이어램(FBD)으로 구현된 PLC 프로그램에 대한 자동화된 정형검증 기법을 제안한다. FBD 프로그램을 검증하기 위해서 먼저 FBD 프로그램을 검증언어인 Verilog로 변환하고, 변환된 Verilog모델에 대해 SMV 모델체커를 호출해 모델체킹을 수행한다. 자동화를 위해 FBD Verifier 도구를 개발하였다. FBD Verifier는 FBD 프로그램으로부터 Verilog 모델로의 자동변환 기능뿐 아니라 모델체킹 결과 생성된 반례를 직관적이고 효과적으로 분석할 수 있는 기능 또한 제공한다. 제안된 기법과 도구를 사용해 원전계측제어시스템 개발사업단의 원자로 보호시스템에 대한 방대한 양의 FBD 프로그램을 성공적으로 검증하였다.

500MW급 표준화력발전소 시뮬레이터 모델을 이용한 디지털 제어시스템 검증 (Digital Control System Validation using the Simulator Models for 500MW Standard Type Fossil Power Plant)

  • 서정관;이명수;홍진혁
    • 한국시뮬레이션학회논문지
    • /
    • 제19권3호
    • /
    • pp.71-79
    • /
    • 2010
  • 디지털 계측제어계통을 발전소에 적용하기 전에 시험 및 검증하기 위하여 500MW급 표준화력발전소 시뮬레이터 모델을 개발하고 터빈 제어시스템과 연계하였다. 선택된 디지털 계측제어계통의 성능시험 시, 해당되는 시뮬레이터 모델은 조정할 수 없는 발전소 디지털 계측제어계통과 교체된다. 시뮬레이터 모델 및 제어시스템의 입출력은 연계장치에 있는 LabView 프로그램을 사용하여 연결되었다. 본 논문에서는 시뮬레이터 모델 및 디지털 계측제어계통을 연계하는 방법론에 대하여 기술하고, 정상운전, 과도상태 및 고장인가 시 수행된 검증시험 결과를 제시하였다. 시뮬레이터 모델을 사용한 디지털 계측제어계통의 종합검증을 통하여 시뮬레이터가 디지털 제어시스템을 발전소에 적용하기 위한 시험장치로 사용될 수 있는 방법론을 개발하였다.

PLC 기반의 원자력발전소 보호계통을 위한 기술기준 및 계통요건 평가 항목 소개 (The Introduction to the Technical Standard and System Requirement Evaluation Items for the PLC-based Nuclear Power Plant Protection System)

  • 서중석;윤상필;변형현;이성진;신재활
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2006년도 제37회 하계학술대회 논문집 D
    • /
    • pp.1761-1762
    • /
    • 2006
  • 지금까지 원전 계측제어계통은 안전을 위한 보수적인 설계기준을 적용하여 아날로그 기기를 사용하여 설계되었다. 그러나 최근에는 아날로그 기기의 생산 중단으로 기기 및 장비의 예비품 조달에 어려움을 겪게 되었고, 점차 복잡하면서도 편리한 기능에 대한 사용자 요구로 인해 디지털 기기의 사용이 확대되고 있는 추세이다. 프로그램 가능한 논리제어기 (Programmable Logic Controller:PLC)는 기존의 산업체에서 널리 사용되고 있지만, 높은 수준의 안전성 기준 때문에 일부 극소수의 PLC만이 원자력에 적용되고 있는 실정이다. 최근 국내에서도 원전 안전등급의 보호, 제어 및 감시계통에 디지털 기기의 적용을 위해 많은 노력을 하고 있다. 원전 계측제어계통의 디지털화는 부품 단종 및 설비 노후화 문제 등을 해결할 수 있는 장점이 있는 반면에 디지털화로 인한 새로운 안전 현안이 제기될 수 있다. PLC를 기반으로 하는 원전 계측제어계통은 안전등급의 보호, 제어 및 감시 기능을 수행하게 되므로, 고신뢰도 소프트웨어 적용등의 안전계통 개발에서 요구하는 요건을 만족해야 한다. 따라서 상용 또는 신규 개발되는 PLC를 사용하여 발전소보호계통을 구현할 경우에 적용 가능한 기술기준 및 계통요건이 필요하다. 본 논문에서는 발전소보호계통에 적용하기 위한 PLC 평가 항목을 개발하고, 각 부분별 평가 항목에 대해 소개한다.

  • PDF

마이크로 컴퓨터 계측(計測)및 제어(制御) 시스템을 활용(活用)한 식품건조중(食品乾燥中) 자료(資料)의 수집(收集)과 제어(制御) (Data Acquisition and Control of Food Dehydration Process with Microcomputer System)

  • 최부돌;전재근
    • 한국식품과학회지
    • /
    • 제19권3호
    • /
    • pp.200-205
    • /
    • 1987
  • 마이크로 컴퓨터 계측 및 제어 시스템을 설계 제작하여 프로그램에 의해 온도 및 무게를 자동(自動) 측정(測定)하고 on-off작동(作動)에 의한 온도 제어와 D/A변환기(變換機)를 부착(附着)한 접속장치(接續裝置)로 풍량을 필요에 따라 자동 제어할 수 있었다. 건조 실험에 관여하는 변수들의 기록과 분석을 컴퓨터화 함으로써 수분감량(水分減量)을 일일이 칭칭량법(稱量法)으로 측정하 는번거로움과 시간을 절약할 수 있었다. 더욱이 계측(計側) 과정에서 건조계(乾燥系)를 전혀 흐트려뜨리지 않게 함으로써 건조가 완료될 때까지 건조환경을 그대로 유지할 수 있었고 자료의 채취시간도 프로그램을 통하여 임의(任意)로 설정하여 조절(調節)할 수 있어 건조실험을 완전 자동화할 수 있었다. 또한 건조 진행중에 software적으로 풍속을 변화시켜 건조를 행한 결과 건조 초기에는 풍속이 건조속도에 크게 영향을 미치나 건조 말기에는 영향이 적었다.

  • PDF

바이모달 트램의 실시간 시뮬레이터 프로그램 개발 (Development of Real-Time Simulator Program for Bimodal Tram)

  • 윤경한;김영철;이용상;정해봉;변윤섭
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2009년도 제40회 하계학술대회
    • /
    • pp.1753_1754
    • /
    • 2009
  • 본 논문은 한국 철도기술연구원에서 바이모달 트램의 안내/추진/도킹 제어기 검증을 위해 제작중인 LabVIEW, PXI기반의 실시간 시뮬레이터를 위한 시뮬레이션 프로그램 개발에 대한 내용을 다루었다. 시뮬레이터 프로그램은 바이모달 트램의 비선형 동적모델, 위치추정필터, 안내/추진/도킹 제어기로 구성되며, 비선형 동적모델에는 실제 차량에서 제어기나 관측기에 사용되는 각종 측정값들을 모사하기 위한 센서 계측시스템이 포함된다.

  • PDF

무인사업장의 원격제어 전원관리시스템 고찰 (Study on the Remote Control Power Management System of an Unmanned Stations)

  • 김광수;이경배;최장건;이경우;변두균
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2015년도 제46회 하계학술대회
    • /
    • pp.1317-1318
    • /
    • 2015
  • 최근 ICT 기술의 발전으로 원거리에 위치한 광역 상수도의 취수장, 가압장, 감압변실 및 배수지 등의 시설물은 중앙제어실에서 효율적인 설비운영을 위해 원격통합관리로 감시제어를 수행하여 생산성을 제고하고 있다. 단위사업장에 낙뢰 유입으로 인한 순간정전이나 오동작 등의 영향에 의한 누전차단기 트립 증상이나 제어계측설비의 시스템 다운현상이 발생할 경우에 전원설비나 계측제어설비를 복구하기 위해서는 운영자가 사업장 현장에 출동하여 설비를 복구해야만 한다. 출동에 따른 많은 시간과 비용이 발생할 뿐만 아니라 응급조치가 미흡할 경우에는 수돗물 공급 중단 등의 위험성이 발생할 소지가 있다. 본 논문에서는 단위사업장의 서지유입이나 설비 오동작 등의 원인으로 무인사업장 설비에 System down 현상이 발생하면 단위사업장에 출동하지 않고 원격의 중앙제어실에서 원격 명령 또는 자동 프로그램에 의한 전원 Reset 동작으로 현장 제어설비가 원활하게 동작함으로써 무인사업장의 효율적인 운영관리가 가능한 원격제어 전원관리시스템 구축사례를 제시하고자 한다.

  • PDF

광섬유센서를 이용한 사면시설물 계측시스템 시범구축 사례 연구 (A Case Study on Establishing Test Bed of Slope Structure Measurement System using Optic Fiber Sensor)

  • 권오일;백용
    • 한국지반공학회:학술대회논문집
    • /
    • 한국지반공학회 2009년도 춘계 학술발표회
    • /
    • pp.1026-1031
    • /
    • 2009
  • 21세기 대한민국은 지반분야에 있어서 과거 건설위주의 발전에서 유지관리의 중요성이 대두되는 시대로 변모하였다. 특히 이상기후에 의한 집중호우 발생이 빈번해진 상황에서 외부조건에 직접적으로 노출되어있는 사면구조물은 타 지반구조물보다 상대적으로 관리의 필요성이 더 높다. 사면의 유지관리 방법 중에서도 계측에 의한 상시 모니터링 시스템 구축 관련 기술이 주목을 받고 있으며, 장기적인 시스템 운용 측면에서 내구성이 우수한 광섬유 재료를 이용한 계측 시스템 개발이 국가적 지원을 받으며 연구가 활발히 진행 중에 있다. 본 연구는 암반사면의 균열부에 설치하여 미세한 거동을 측정할 수 있는 광섬유 정밀 계측 시스템을 개발하고, 실제 사면 현장에 시범 구축한 사례를 요약한 것이다. 영동고속도로 원주지사 관내에 있는 암반사면을 대상으로 총 6개의 센서를 변위발생 가능성이 높은 균열부에 설치하였다. 계측데이터의 수집과 전송을 위하여 사면 하단부에 컨트롤박스를 설치하고 데이터로거, 운용시스템, 유선네트워크 시스템을 구축하였다. 설정된 주기별로 취득되는 계측데이터는 우선적으로 현장에서 저장되고, 사무실에서도 원격으로 제어할 수 있는 시스템을 시범적으로 구축하여 운용중에 있다. 향후 계측 시스템의 센서부, 데이터로거, 운용프로그램 등을 추가 연구를 통하여 개선하고 현장에 반영하는 과정을 반복함으로써 사면 시설물의 유지관리에 최적의 시스템을 개발 및 구축하는 것이 본 연구의 최종적인 목표이다.

  • PDF

지능적 필드버스 Master/slave 네트워크 모니터링 시스템 (Intelligent Fieldbus Master/slave Network Monitoring System)

  • 조영임;심재홍
    • 한국지능시스템학회:학술대회논문집
    • /
    • 한국퍼지및지능시스템학회 2004년도 춘계학술대회 학술발표 논문집 제14권 제1호
    • /
    • pp.3-6
    • /
    • 2004
  • 최근 반도체 물류자동화 시스템 또는 발전소, 제철소와 같은 대단위 프로세스 자동화 시스템등에서 센서 및 계측 단말기기로부터의 계측 데이터를 산업용 Ethernet/IP 또는 블루투스와 같은 상위네트워크를 통해 원격지에서 제어계측 할 수 있도록 하기 위한 필드버스 기반의 산업용 유무선 계측 시스템 기술의 연구가 활발히 진행되고 있다. 그러나 Ethernet/IP라는 산업용 프로포콜 기반이 상용화될 경우 웹 환경에서 시스템에 독립적인 Master/slave간 지능적 모니터링 시스템의 개발은 매우 필요하다. 따라서 본 논문에서는 시스템 독립적으로 Master/slave 네트워크 모니터링 소프트웨어 및 통합 운영프로그램 개발하여 실시간으로 모니터링 할 수 있는 시스템을 개발하여 사용자들이 쉽게 사용할 수 있도록 하였다. 본 논문에서 구현한 환경은 윈도우 기반의 Java를 이용하였다.

  • PDF

LabVIEW상에서 ActiveX 기술을 이용한 원격 애플리케이션 구현 (Implementation of Remote Application using Active Technology on LabVIEW)

  • 송민규;제도흥;한석태;김광동;변도영;이보안
    • 한국지능시스템학회:학술대회논문집
    • /
    • 한국퍼지및지능시스템학회 2004년도 추계학술대회 학술발표 논문집 제14권 제2호
    • /
    • pp.494-497
    • /
    • 2004
  • 서로 다른 프로그램 언어로 작성된 소프트웨어 애플리케이션간의 통신을 가능하게 하는 ActiveX를 통하여 프로그램 개발자들은 코드의 재사용성, 소프트웨어의 통합측면에 있어서 이루 말할 수 없는 효과를 얻고 있다. ActiveX는 COM 기반의 분산 애플리케이션. 모델이 발전된 형태에 해당하는데 그동안 Visual C++, Visual Basic를 통하여 통신 애플리케이션에 이를 구현하는 것이 일반적이었다. 하지만 ActiveX 기술은 이러한 애플리케이션뿐만 아니라 제어 및 계측 분야에서도 널리 활용되고 있는데 이는 ActiveX 기술로 구현된 프로그램을 통하여 보다 신속하고 효율적인 작업 수행이 가능하기 때문이라 할 수 있다. 본 논문에서는 이러한 ActiveX 기술을 활용하여 원격.제어 및 모니터링 기능을 수행하는 애플리케이션을 구현하고자 한다. 이를 위한 개발 환경으로 LabVIEW를 활용하고자 하며 웹브라우져와 미디어 플레이어를 ActiveX 기술로 구현하여 애플리케이션 간 통신의 효율성을 검증하고자 한다.

  • PDF

정밀 계측기기 자동 교정을 위한 Excel VBA 프로그램 개발 (Development of auto calibration program for instruments by Excel VBA)

  • 조현섭;유인호;장성환;유기수
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2006년도 제37회 하계학술대회 논문집 D
    • /
    • pp.1947-1948
    • /
    • 2006
  • 본 논문에서는 컴퓨터로 정밀 계측기기들을 자동 제어하고 데이터를 측정하기 위하여 기존의 상용 프로그램을 사용하지 않고 Excel VBA(Visual Basic for Applications)를 이용하는 방법에 대하여 연구하였다. 이는 반복측정 및 통계적 수치계산 등에서 많은 장점을 지니고 있어 수많은 국가교정기관 및 일반 산업체에서 유용하게 사용될 수 있으리라 사료된다.

  • PDF