• Proceedings of the KIEE Conference
• /
• 2006.07a
• /
• pp.615-616
• /
• 2006

전동차 운행시스템은 속도를 지령하는 NOTCH의 상태를 전압으로 인식하여 주파수로 변환한 후 주파수 변환신호를 출력하는 아날로그 및 디지털 인코더와 인코더의 주파수 변환신호를 입력받아 카운트하여 노치의 상태를 데이터버스(DATA BUS)에 싶어 중앙처리장치(CPU)에 데이터를 출력하는 특징을 갖는다. 이러한 전동차 신호전달시스템 분석을 년 연구에서 하고자 한다.

• Proceedings of the KIEE Conference
• /
• 2006.07b
• /
• pp.1281-1282
• /
• 2006

전동차 운행시스템은 속도를 지령하는 NOTCH의 상태를 전압으로 인식하여 주파수로 변환한 후 주파수 변환신호를 출력하는 아날로그 및 디지털 인코더와 인코더의 주파수 변환신호를 입력받아 카운트하여 노치의 상태를 데이터버스(DATA BUS)에 실어 중앙처리장치(CPU)에 데이터를 출력하는 특징을 갖는다. 이런한 전동차 신호전달시스템 분석을 본 연구에서 하고자 한다.

• Proceedings of the KIEE Conference
• /
• 2006.07c
• /
• pp.1741-1742
• /
• 2006

전동차 운행시스템은 속도를 지령하는 NOTCH의 상태를 전압으로 인식하여 주파수로 변환한 후 주파수 변환신호를 출력하는 아날로그 및 디지털 인코더와 인코더의 주파수 변환신호를 입력받아 카운트하여 노치의 상태를 데이터버스(DATA BUS)에 실어 중앙처리장치(CPU)에 데이터를 출력하는 특징을 갖는다. 이러한 전동차 신호전달시스템 분석을 본 연구에서 하고자 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11b
• /
• pp.1313-1316
• /
• 2002

본 논문은 음성 처리 시스템의 서비스 시나리오 생성기에 관한 것으로, 좀더 상세하게는, 음성 처리 시스템의 서비스 시나리오를 생성하기 위한 단위 서비스 상태를 각각 정의하고 수행하는 다수의 상태 정의 모듈과, 시나리오 작성자가 상기 다수의 상태 정의 모듈 중 서비스 시나리오의 작성에 필요한 상태 정의 모듈들을 추출하고 추출된 각 상태 정의 모듈의 입력 값, 비교 값 및 분기할 다음 상태 정의 모듈 명을 지정할 수 있도록 유저 인터페이스 기능을 제공하는 유저 인터페이스 모듈과, 시나리오 작성자에 의하여 추출된 상태 정의 모듈들에 상기 지정된 입력 값, 비교 값 및 분기할 다음 상태 정의 모듈 명을 입력하여 서비스 시나리오를 생성하는 서비스 시나리오 생성 모듈과, 생성된 서비스 시나리오를 제어부가 실행할 수 있는 실행 코드로 변환하여 제어부에 제공하는 실행 코드 변환 모듈로 이루어지는 음성 처리 시스템의 서비스 시나리오 생성기에 관한 것이다.

• Proceedings of the KIPE Conference
• /
• 2013.07a
• /
• pp.206-207
• /
• 2013

본 논문에서는 태양광 배터리 충전 시스템에서 충전 모드가 변환될 때 과도상태를 보상하기 위한 알고리즘을 제안한다. 제안하는 알고리즘은 기존의 정전류-정전압 충전 알고리즘을 기반으로 정전류 모드에서 정전압 모드로 변경될 때 과도상태를 보상하기 위한 최적의 제어기법을 추가함으로 기존 알고리즘보다 우수한 과도 특성을 갖는다. 본 논문은 3kW급 PSIM 시뮬레이션을 통해서 제안하는 충전제어 알고리즘의 우수한 제어특성을 검증하였다.

• Journal of the Korea Society of Computer and Information
• /
• v.12 no.6
• /
• pp.123-130
• /
• 2007

In this paper, We define convert rules from objects and relation presented in object model to the state and operation domain in formal specification. Namely, object and relation in information model converted to state domain in formal specification. State, event and behavior converted to operation domain. And that way informal object model change to formal language, it can be verify through formal method. Verification process make an offer convenience and confidence in software development early phase. And we implement simulation tool in order to verification method of formal specification and to consistency verified model between user's requirement. It is possible to select the suitable model and reduce the costs and efforts on software development.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.04a
• /
• pp.411-414
• /
• 2002

상태도의 계층구조를 이용하여 모형 검사를 수행하는 연구들이 있었다. 기존 연구들은 상태도를 SMV 입력언어로 변환할 때, 계층 구조를 유지하였다. 비록 이러한 연구가 계층형 모형검사의 초기 시도에 기여를 했지만, SMV는 평탄화 된 구조를 이용한다는 점에서 실효성은 없다. 본 연구에서는, 계층구조를 평탄화 시킨 후 상태도를 병행적으로 실행되는 여러 개의 독립된 기계로 분리한다. 따라서, 상태도의 구조가 단순해지고 SMV 언어로 쉽게 상태도를 변환할 수 있다. 본 연구의 목적은 SMV를 이용하여 상태도를 모형 검사 할 때 SMV의 능력을 최대한 활용하고자 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11c
• /
• pp.1543-1546
• /
• 2003

잘못된 명세로 인한 자원의 손실을 악기 위해서는 반드시 명세에 대한 검증이 필요하다. 객체지향 모델링 언어의 표준인 UML은 각각의 다이어그램이 사용자의 요구사항을 정확히 반영하고 있는지를 검증하기가 매우 어렵다. 본 논문은 UML의 여러 다이어그램 중 상태 다이어그램(Statechart Diagram)의 명세에 발생해서는 안되는 상태 또는 발생할 수 없는 상태와 같은 오류의 존재여부 등의 정확성을 검증하기 위해 CTL을 이용한 정형검증도구인 SMV를 이용한다. 이를 위해 UML의 상태 다이어그램에서 상태 정보와 상태 천이 정보를 추출하여 SMV로 변환하는 규칙을 찾아내어 UML의 상태 다이어그램의 정확성 검증을 수행하는 방법을 제안하고 자동으로 변환하는 툴을 설계한다.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.20 no.7
• /
• pp.151-157
• /
• 2019

Recently, monitoring respiration of people has been of interest using non-invasive method. Among the vital signals usually used for indicating health status, non-invasive and portable device based monitoring respiratory status is practically useful and enable one to promptly deal with abnormal physical status. This paper proposes the approach to real-time detection of apnea signal based on Short-Time-Fourier-Transform(STFT). Contrary to the analysis of a signal in frequency domain using Fast-Fourier Transform, this paper employs Short-time-Fourier-Transform so that frequency response can be analyzed in short time interval. The respiratory signal is acquired using UWB radar sensor that enables one to obtain respiration signal in contactless way. Detection of respiratory status is carried out by analyzing frequency response, and classification of respiratory status can be provided. In particular, STFT is employed to analyze respiratory signal in real-time, leading to effective analysis of the respiratory status in practice. In the case of existence of noise in the signal, appropriate filtering process is employed as well. The proposed method is straightforward and is workable in practice to analyze the respiratory status of people. To evaluate the proposed method, experimental results are provided.

• Proceedings of the Korean Vacuum Society Conference
• /
• 2012.08a
• /
• pp.101-101
• /
• 2012

본 논문은 현재 제품화 단계로 진행 중인 터보 분자펌프(turbo-molecular pump, TMP)와 극저온 펌프(cryopump)의 고장 방지 및 예지 보수를 위한 상태 진단 시스템에 대하여 소개를 한다. 본 상태 진단 시스템은 고진공 펌프들의 다중 상태변수 즉 흡/배기부의 진공 압력, 부위별 온도, 소비 전류(혹은 전력), 그리고 부위별 진동 신호들을 실시간으로 측정하는 상태변수 수집장치, 수집된 시계열 상태변수들이 저장된 database, 그리고 저장된 상태변수를 이용한 고진공펌프의 상태진단 프로그램으로 구성되어 있다. 금번 연구에서 구축한 상태변수 체계의 특징 중 하나는 진동신호를 상태변수로 측정하여 이를 상태진단에 활용하는 점이 기존의 접근방법과 상이한 점이다. 실시간 신호 수집장치는 NI사 PXI 시스템 기반의 16채널 24-bit 동시 전압신호 측정 모듈, 8부위의 온도 측정장치(Lakeshore 218S, RS-232C 통신), 그리고 펌프의 소비전류/전력 측정장치(Hioki 3169, RS-232C), 그리고 고진공 펌프의 흡입 및 배기구의 진공도 측정장치로 구성하였다. 신호 수집용 프로그램은 NI사 Labview를 이용하여 작성하였다. 본 장치는 Nano-Fab 센터의 협조 하에 turbo-molecular 펌프와 cryopump측정 단에 각각 1대를 설치 완료하였으며 현재까지 운용 중이다. PC에 저장된 시계열 상태변수 database는 기 개발된 적응형 인자모델을 이용한 매개변수로 변환되며, 상태진단은 변환된 매개변수를 이용하여 수행할 예정이다.