• 의료ㆍ복지 건축 : 한국의료복지건축학회 논문집
• /
• 제25권1호
• /
• pp.17-27
• /
• 2019

Purpose: Clinical laboratory in hospital has taken a great role in protection of chronic disease. as well as diagnosis and treatment, And laboratory layout has been considered by the management and laboratory section more than the function and workflow. Methods: So this study figures out the workflows of laboratory sections in the recently upgraded Laboratory Medicine, and searches the functional relationships and spatial block diagram between each disciplines as follows. Literature review and expert adviser has been conducted. Results: 1) Laboratory type of Laboratory Medicine is divided into routine and specialized laboratory according to the workflow by automated or specialized test. 2) The general workflow consists of specimen collection, specimen classification, test by discipline, test report, and specimen disposal. 3) Though the function of each laboratory section is very complicated and specific, the characteristics and the workflow can be shown in detail by each lab through [Figure 4], [Figure 5], [Figure 6], [Figure 7], and [Figure 8]. 4) Functional relationship diagram can be displayed to the adjacency and relation between each laboratory and support spaces. 5) The spatial block diagram could be presented as shown in [Figure 10], in which the emergency lab lay in front side, routine lab in the central open area, and specialized lab in the behind side. Implications: This study can be used as a useful data in planning and designing a Laboratory Medicine Department.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제15권3호
• /
• pp.211-215
• /
• 2009

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

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 춘계학술발표논문집 (하)
• /
• pp.1013-1016
• /
• 2002

제어 시스템에 사용되는 흐름 제어 언어로는 IL(Instruction List), ST(Structured Text), FBD(Function Block Diagram), SFC(Sequential Function Chart), LD (Ladder Diagram)가 있다. 일반적으로 제어 시스템에 탑재하여 사용하는 언어는 상기 언어 중 두 종류 이하의 특정 언어로 제한되어 있다. 이러한 제약을 보완하기 위해, 모든 흐름 제어 언어를 통합 분석할 수 있는 통합 분석기가 필요하다. 본 논문에서는 흐름 제어 언어의 통합 분석 처리가 가능하도록 그래픽 표현의 FBD 를 문자 표현의 EST(Extended Structured Text)로 변형하는 규칙과 문자 표현의 EST 를 IL 로 변형하는 규칙을 제시한다. 언어간의 변형 과정에서 FBD 를 ST 로 표현할 수 없는 부분을 EST 로 정의한다. 또한 본 논문에서 제안된 EST 를 기반으로 통합 분석기의 구조를 제시한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2008년도 한국컴퓨터종합학술대회논문집 Vol.35 No.1 (B)
• /
• pp.30-33
• /
• 2008

PLC는 실시간 운영체제와 어플리케이션을 이용하여 하드웨어 장치들을 관리하고 제어한다. 하지만 하드웨어 장치를 관리하는 핵심인 실시간 운영체제가 블랙박스화 된 경우 어플리케이션 만을 이용 한 입출력 장치의 테스트 방안이 고려되어야 한다. 본 논문에서는, PLC의 어플리케이션 프로그램인 FBD를 이용한 입출력 장치의 테스트 방안과 원자력 발전소 PLC에 적용한 사례에 대해 기술 한다.

• 한국컴퓨터정보학회논문지
• /
• 제9권3호
• /
• pp.127-133
• /
• 2004

본 연구에서 개발하고자 하는 기기는 K형 열전대를 이용하여 온도를 제어 할 수 있는 온도제어 시스템으로써, 안정된 전압 레귤레이터, 22Bit 디지털 변환기와 분해능이 22Bit로 이루어졌다. 미소 전압을 25배 증폭 할 수 있게 하였고, 0～1200도 사이의 온도를 DC 0.1V～DC 4.7V내에서 제어하도록 설계하였다. PIC16C74로 Micro-controller의 software와 hardware의 블록 다아이 그램을 고안하였으며, VFD기능과 Power Block간에 인터페이스가 가능하도록 구성하였다.

• 한국조명전기설비학회:학술대회논문집
• /
• 한국조명전기설비학회 2008년도 춘계학술대회 논문집
• /
• pp.249-251
• /
• 2008

In Factory Automation(FA) used by Programmable Logic Controller(PLC), Ladder Diagram(LD) is the most widely utilized and plays an important role in industrial control system. But recently, the study about Sequential Function Chart(SFC) is performed actively. When we program by SFC, generally, we design one routine from start to end. This method is difficult to design block control system, and we often make mistakes. In this paper, we propose the method that we design block control system and we analysis the difference of the method used this paper from conventional method.

• 한국항공우주학회지
• /
• 제37권4호
• /
• pp.359-366
• /
• 2009

자동 코드생성이란 MATLAB의 Simulink 환경에서 설계한 블록 다이어그램을 c 코드로 변환시켜 주는 기능으로 MATLAB과의 연동을 통해 소프트웨어 설계부터 검증까지의 통합된 개발환경을 제공함으로서 개발 시간을 크게 줄일 수 있다. 하지만 생성된 c 프로그램을 무인기에 탑재하기 위해서는 소프트웨어의 신뢰성 확보가 필요하며 특히 원본이 되는 Simulink 블록의 검증이 중요하다. 본 연구에서는 자동 코드생성 기능을 고려하여 Simulink 환경에서 구성한 무인기용 자동비행 프로그램을 DO-178B에 명시된 소프트웨어 시험 과정에 따라 검증하였다. 이 과정을 통해 최종 프로그램은 기능 요구사항에 대한 만족함을 확인했을 뿐 아니라 Decision Coverage 93%, Condition Coverage 95% 그리고 MC/DC 90%로 구조적 측면에서 검증을 수행했다.

• 대한안전경영과학회지
• /
• 제13권3호
• /
• pp.45-53
• /
• 2011

The research proposes seven elimination rules of redundant gates and blocks in Fault Tree Analysis (FTA) and Reliability Block Diagram (RBD). The computational complexity of cut sets and path sets is NP-hard. In order to reduce the complexity of Minimal Cut Set (MCS) and Minimal Path Set (MPS), the paper classifies generation algorithms. Moreover, the study develops six implementation steps which reflect structural importance (SI) and reliability importance (RI) from Reliability Centered Maintenance (RCM) that a priority of using the functional logic among components is to reduce (improve) the system unavailability (or availability). The proposed steps include efficient generation of state structure function by Rare Event Enumeration (REA). Effective use of importance measures, such as SI and ill measures, is presented based on the number and the size of MCS and MPS which is generated from the reference[5] of this paper. In addition, numerical examples are presented for practitioners to obtain the comprehensive understanding of six steps that is proposed in this research.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 1999년도 추계종합학술대회 논문집
• /
• pp.693-696
• /
• 1999

This paper presents an analysis of the chaotic behavior in the discrete-time chaotic generator fabricated by CMOS technology. An approximated empirical equation is extracted from the measurement data of a nonlinear function block. Then the bifurcation diagram and Lyapunov exponent and time waveforms and frequency responses of the chaotic generator are calculated and simulated. And results of experiments in the chaotic circuit with the $\pm$2.5V power supply and clock rate of 10KHz are shown, and analysed.

• International Journal of Railway
• /
• 제4권4호
• /
• pp.81-85
• /
• 2011

This paper discusses the development of a generic train operation model from a set of Korean Urban Transit Regulations such as Regulation for Train Operation of Urban Transit, Regulation for Safety Requirements of Urban Transit and so on. It is to communicate with various stakeholders on urban transit system, and to elicit copious requirements in performance of the urban transit train operation based on the model.