최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기한국시뮬레이션학회논문지 = Journal of the Korea Society for Simulation, v.17 no.4, 2008년, pp.1 - 9
박형태 (아주대학교 산업공학과) , 왕지남 (아주대학교 산업정보시스템 공학부) , 박상철 (아주대학교 산업정보시스템 공학부)
Proposed in the paper is an automated procedure to construct a plant model for PLC simulation. Since PLC programs only contain the control logic without the information on the plant model, it is necessary to build the corresponding plant model to perform simulation. Conventionally, a plant model for...
* AI 자동 식별 결과로 적합하지 않은 문장이 있을 수 있으니, 이용에 유의하시기 바랍니다.
핵심어 | 질문 | 논문에서 추출한 답변 |
---|---|---|
PLC 프로그램에 관련된 이전의 접근은 어떻게 분류되는가? | PLC 프로그램에 관련된 이전의 접근은 크게 두 가지 그룹으로 분류된다: (1) 주어진 PLC 프로그램의 검증[6-10]과 (2) 신뢰할수 있는 PLC 프로그램의 생성[11-13]. 첫 번째 그룹에서는 주로 Statement List 언어로 기술된 PLC 프로그램을 UPPAAL2k, KRONOS, Supremica 그리고 HyTech같은 Timed Automata의 사용을 통한 PLC 기반의 시스템 검증을 위한 다양한 소프트웨어가 개발 되었다[14]. | |
PLC에서 Boolean 로직은 어떻게 표현되는가? | 더욱이 내부 및 출력 릴레이 테이블 정보는 프로그램 스캔 동안 새롭게 수정된다. PLC에서 이 Boolean 로직은 일반적으로 Ladder diagram이라고 불리는 그래픽 언어로 표현된다[5]. | |
전통적으로 ARENA, AutoMod 등을 포함한 다양한 시뮬레이션 언어들의 한계는 무엇인가? | 이런 시뮬레이션 언어는 산업분야와 학계에 널리 받아들여졌다. 그러나 생산 시스템의 세부 설계나 구축의 목적으로 사용될 만큼 충분히 실제적이지 않기 때문에 생산 라인의 디자인 단계에서의 분석 도구로 남아있다. 예를 들어 실제 생산 시스템은 보통 Programmable Logic Controller(PLC) 프로그램에 의해 제어되고 있지만 전통적인 시뮬레이션 언어들은 프로세스 사이의 독립적인 개체의 흐름으로 제어 로직을 대략적으로 묘사한다. |
*원문 PDF 파일 및 링크정보가 존재하지 않을 경우 KISTI DDS 시스템에서 제공하는 원문복사서비스를 사용할 수 있습니다.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.