• Journal of Software Engineering Society
• /
• v.13 no.3
• /
• pp.45-54
• /
• 2000

실시간 시스템은 특정 시간 내에 요구하는 정보를 제공해주는 시스템이다. 즉 실시간 시스템에서 요구되는 시간을 충족하지 못할 경우 시스템의 신뢰도는 급격히 감소하며, 요구되는 시간의 범위를 넘어서서 제공되는 정보는 활용도와 가치에 있어서 거의 무의미하게 된다. 이러한 실시간 시스템의 성공적인 동작을 보장하기 위해서는 보다 정확한 시스템 설계가 중요하다. 특히 실시간 시스템에서 필요로 하는 여러 종류의 시간제약에 대한 풍부한 표현력과 명세 된 시간에 대한 검증이 중요하다. 본 논문은 특정 시점(time points)과 시간 간격(time intervals), 주기(period), 이산 시간(discrete time)으로 연속적인 시간(continuous time) 표현, 다수의 타이머에 의한 지역 시간과 전역시간 등의 시간 관련 동작을 ATM(Abstract Time Machine)을 기반으로 명세하고 명세하고 명세 된 시간에 대한 분석 방법을 살펴본다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2005.05b
• /
• pp.1502-1506
• /
• 2005

하천 유량자료는 이수, 치수, 수질관리 등의 목적으로 널리 사용되기 때문에 여러 가지 수문관측 자료 중 가장 중요하다고 할 수 있다. 그러나 우리나라의 유량자료는 여러 가지 한계를 가지고 있어서 수문자료로서 제대로 사용되지 못하고 있는 실정이다. 유량자료의 정확도 향상을 위해서는 현장 유량측정의 정확도를 향상시키는 것이 일차적으로 필요하지만, 측정된 유량자료를 검증하고 수위-유량관계를 개발하여 유량으로 환산하는 것도 매우 중요하다. 본 연구는 현장에서 측정된 유량자료를 총체적으로 관리하고 분석하여 실시간으로 유량을 제공할 수 있는 운영시스템을 개발하는데 목적이 있다. 본 연구에서는 사용자 요구사항을 분석하여 해당하는 사용 사례별로 구분하는 방법론을 적용하고 이를 바탕으로 실시간 하천 유량정보를 생산할 수 있도록 유량측정기술, 분석 기술, 수위-유량관계 개발 및 분석 기술, 실시간 유량생산 기술 등을 각 단계별 모듈로 구성하여 사용자 및 관리자가 신속하고 편리하게 관리 및 이용할 수 있는 웹 기반의 실시간 유량정보 생산 및 제공 기반을 구축하였다.

• Proceedings of the KIEE Conference
• /
• 2001.07a
• /
• pp.101-105
• /
• 2001

본 논문에서는 한전 전력연구원에서 개발한 전력계통 해석용 시뮬레이터(이하 KEPS)를 이용하여 대규모 전력계통을 실시간으로 해석하는 방법 및 그 결과를 제시하고자 한다. KEPS는 캐나다 RTI사에서 개발한 RTDS(Real-Time Digital Simulator)를 근간으로 하는 대규모 디지털 실시간 시뮬레이터로써 총 26랙으로 구성되어 있으며 대규모 전력계통을 $50{\mu}sec{\sim}70{\mu}sec$의 타임스텝으로 계산할 수 있는 전력계통 전자기 과도현상 모의해석 장치이다. 본 논문에서는 KEPS를 이용하여 한전의 2000년 계통을 실시간으로 해석하고, 전력계통 안정화장치 (PSS), 계전기등 외부기기를 실시간으로 해석, 검증한 결과를 소개하기로 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.563-565
• /
• 1999

실시간 시스템은 응용분야의 특성상 높은 신뢰성을 요구하므로 설계시 시스템의 정확성과 안전성을 보장하는 것은 매우 중요하다. 신뢰성 보장을 위한 방법으로 정형기법(formal method)을 이용한 명세 방법이 연구되어 왔다. 정형적인 명세를 사용하는 경우 원하는 시스템의 특성에 대한 검증이 가능하며 자연어로 명세한 경우보다 모호함이 줄어들어 의사소통을 하는데 있어서 명확성을 제공한다. 그러나 이런 장점에도 불구하고 객체 지향 개발 방법론에서의 정형적인 명세에 관한 연구가 미흡하다. 본 논문에서는 객체 지향적 모델을 기반으로 하는 실시간 시스템을 위한 정형명세 언어인 Timed State Chart(TSC)를 제안한다. TSC는 Statecharts와 같은 계층적 상태 기계 모델(state machine model)로서 다양한 시간 제약사항의 명세를 위해 클릭 변수(clock variable)를 도입하여 실시간 객체(Real-Time Object 또는 RTO)를 명세한다. TSC를 이용하여 기존의 연구에서 표현할 수 없었던 주가와 마감시간과 같은 실시간 시스템의 다양한 요구사항을 효과적으로 표현할 수 있다.

• Proceedings of the KIPE Conference
• /
• 2015.11a
• /
• pp.15-16
• /
• 2015

본 논문은 리튬 이온 배터리의 실시간 등가회로 모델링의 정확도 개선을 위한 방법을 제안한다. 기존의 실시간 변수 추출 방법은 다수의 비선형 변수를 포함한 2차 RC ladder 모델을 기반의 변수 추출이 어렵다. 개선된 방법은 오프라인 변수 추출 결과를 기준값으로 저항성분을 실시간으로 추정하여 보정하는 방법을 사용한다. 각 실시간 모델링 방법별로 배터리 모델을 완성하고 단자 전압을 재현하여 정확도를 검증한다.

• Journal of Korea Water Resources Association
• /
• v.41 no.3
• /
• pp.293-303
• /
• 2008

Reservoir turbidity flows degrade the efficiency and sustainability of water supply system in many countries located in monsoon climate region. A decision support system called RTMMS aimed to assist reservoir operations was developed for the real time monitoring, modeling, and management of turbidity flows induced by flood runoffs in Daecheong reservoir. RTMMS consists of a real time data acquisition module that collects and stores field monitoring data, a data assimilation module that assists pre-processing of model input data, a two dimensional numerical model for the simulation of reservoir hydrodynamics and turbidity, and a post-processor that aids the analysis of simulation results and alternative management scenarios. RTMMS was calibrated using field data obtained during the flood season of 2004, and applied to real-time simulations of flood events occurred on July of 2006 for assessing its predictive capability. The system showed fairly satisfactory performance in reproducing the density flow regimes and fate of turbidity plumes in the reservoir with efficient computation time that is a vital requirement for a real time application. The configurations of RTMMS suggested in this study can be adopted in many reservoirs that have similar turbidity issues for better management of water supply utilities and downstream aquatic ecosystem.

• The Journal of the Korea Contents Association
• /
• v.7 no.4
• /
• pp.213-223
• /
• 2007

In this paper, we carry out a cyber group consultation by means of the video-based education system, and verify the effects. For the verification of this study, two assumptions were set up. These assumptions were inspected by selecting 45 students of D elementary school located in a big city, and coming up with a test utilizing one of video-based education systems. Following up, a self-respect test form and a questionnaire were made to verify of the group consultation to the video-based education system, and by analyzing the test form and the questionnaire, the conclusion of this study was finally drawn. The conclusion gained through the process adove is as follows: It turned out that real-time video-based cyber group consultation promoted self-respect and enthusiastic participation of consulters as well as formed emotinal stability and a close affinity between the consultant and the consulter through active interaction. The results of this video-based education system operation will be helpful to broaden the area of elementary school cyber group consultation. Further, it is thought that it will contribute to the basic investigation to verify the educational effects of Multi-point imaging system in the run-up to the operation of full-scale real-time video-based education systems.

• Journal of the Korea Society of Computer and Information
• /
• v.19 no.7
• /
• pp.77-85
• /
• 2014

Recently, several environment damage caused by malicious or suspicious code is increasing. We study comprehensive response system actively for malware detection. Suspicious code is installed on your PC without your consent, users are unaware of the damage. Also, there are need to technology for realtime processing of Big Data. We must develope advanced technology for malware detection. We must analyze the static, dynamic of executable file for fundamentally malware detection in recently and verified by a reputation for verification. It is need to judgment of similarity for realtime response with big data. In this paper, we proposed realtime detection and verification technology using multiple filter. Our malware study suggests a new direction of realtime malware detection.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04a
• /
• pp.208-210
• /
• 2004

인증서 상태 검증이란 해당 거래에서 사용되는 인증서에 대한 유효성을 결정하는 과정으로 인증서를 이용하는 거래에 90%이상이 실시간적이고 신속 정확한 처리를 필요로 하는 인터넷뱅킹과 증권 트레이닝에 사용된다. 하지만 기존의 CRL을 이용한 인증서 상태 검증 기법은 인증서 상태의 대한 실시간성을 반영할 수 없다는 문제점이 있다. 이와 같은 CRL 기반의 인증서 상태 검증 기법의 문제점을 해결하고자 OCSP를 이용한 인증서 상태 검증 기법이 제기되었다. 이 기법은 인중서 상태에 대한 실시간성 문제는 해결 한 수 있었지만 OCSP 서버에 대한 중앙 집중화 처리구조로 인해 네트워크 과부하라는 또 다른 문제가 발생한다. 따라서 본 논문에서는 서명자가 인증서 발급을 요청하고 이에 따른 결과로 인증서가 인증기관으로부터 발급되었을 때 서명자정보와 인증서 일련번호가 인증기관 데이터베이스에 매칭 되어 저장된다는 점에 기인하여 위에 문제점들을 해결할 수 있는 서명자의 정보를 이용한 인증서 상태 검증 기법을 제안한다.

• The Journal of the Korea Contents Association
• /
• v.21 no.8
• /
• pp.20-31
• /
• 2021

The spread of non-face-to-face culture due to COVID-19 led to innovation in untact services and the increase of non-face-to-face communication through video conference platforms. However, it is difficult to identify nonverbal expressions in synchronous online communication. Moreover, it is hard to interact with people by making eye contact. Despite the positive effects of eye contact, including such as sharing emotions and helping build intimacy, no research has empirically verified the effectiveness of eye contact in synchronous online communication. Thus, the study verified the effectiveness of eye contact in synchronous online communication. Depending on the context of the communication and whether(or not) there is eye contact, six video treatments were used to measure four dependent variables-Continuance Intention to Use, Performance Expectancy, Interactivity, and Personal Connection. The study shows that the communication with eye contact in all contexts was rated higher than the one without eye contact in all measurement variables. This study will help to provide a better user experience in synchronous online communication by verifying the effectiveness of eye contact in synchronous online communication and proposing the need of technology and the direction of the technological development.