• Title/Summary/Keyword: real-time verification

Search Result 674, Processing Time 0.027 seconds

A Development of Multi-Sensors LED Streetlight Lighting Control System Based on RTOS (RTOS 기반의 다중센서 LED 가로등 점등제어 시스템 설계)

  • In, Chi-Goog;Lin, Chi-Ho
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.37C no.11
    • /
    • pp.1020-1026
    • /
    • 2012
  • In this paper, we proposed a RTOS-based lighting control system to improve energy efficiency. This proposed system, real time process was designed to the specified division of the LED streetlight control module for the RTOS-based lighting control into three different tasks. The first task transmits LED lighting signal by measuring illuminance, and the second task transmits motion detecting signal using motion detector. In the third task, lighting control to LED was designed through passed control signal from other tasks The execution status was examined ports that are directly to the ATmega128 MCU for the verification of the system, and illuminance distribution and operating conditions were verified through LED street field test. The proposed RTOS-based lighting control system has brought improving system performance and also facilitate an addition of other functions, and it was possible to optimize energy saving by intelligent lighting pattern control.

A Study on the Operational Forecasting of the Nakdong River Flow with a Combined Watershed and Waterbody Model (실시간 낙동강 흐름 예측을 위한 유역 및 수체모델 결합 적용 연구)

  • Na, Eun Hye;Shin, Chang Min;Park, Lan Joo;Kim, Duck Gil;Kim, Kyunghyun
    • Journal of Korean Society on Water Environment
    • /
    • v.30 no.1
    • /
    • pp.16-24
    • /
    • 2014
  • A combined watershed and receiving waterbody model was developed for operational water flow forecasting of the Nakdong river. The Hydrological Simulation Program Fortran (HSPF) was used for simulating the flow rates at major tributaries. To simulate the flow dynamics in the main stream, a three-dimensional hydrodynamic model, EFDC was used with the inputs derived from the HSPF simulation. The combined models were calibrated and verified using the data measured under different hydrometeological and hydraulic conditions. The model results were generally in good agreement with the field measurements in both calibration and verification. The 7-days forecasting performance of water flows in the Nakdong river was satisfying compared with model calibration results. The forecasting results suggested that the water flow forecasting errors were primarily attributed to the uncertainties of the models, numerical weather prediction, and water release at the hydraulic structures such as upstream dams and weirs. From the results, it is concluded that the combined watershed-waterbody model could successfully simulate the water flows in the Nakdong river. Also, it is suggested that integrating real-time data and information of dam/weir operation plans into model simulation would be essential to improve forecasting reliability.

Validation of Predictive Liquid Model Systems for the Growth of Listeria monocytogenes and Yersinia enterocolitica on Pork at Various Temperatures

  • Rho, Min-Jeong;Chung, Myung-Sub;Kim, Jeong-Weon;Park, Ji-Yong
    • Food Science and Biotechnology
    • /
    • v.14 no.1
    • /
    • pp.42-45
    • /
    • 2005
  • The present study was carried out to envisage the aerobic growth of Listeria monocytogenes and Yersinia enterocolitica on pork, which is one of the major meat sources in Korea. The results were compared with the previously developed predictive model systems for the verification of microbial growth in a real situation during pork processing. Pork loin samples (8.0 g, 5 mm thick) were aseptically prepared and inoculated with each pathogen by immersing into the respective inoculums for one min. Each of the samples were then wrapped with PE film and stored at 5, 10, and $15^{\circ}C$ up to 36 days to measure the growth profile of the respective pathogens. The growth parameters were calculated by using Gompertz equation and were compared with the previously reported data. The predicted generation time (GT) of L. monocytogenes at 5, 10 and $15^{\circ}C$ was 28.74, 7.85 and 4.02 hr, respectively, and for Y. enterocolitica was 10.29, 4.74 and 2.50 hr, at the same temperatures respectively. In this study, the GT values predicted on pork were slightly higher than the values predicted in other studies using liquid model systems. Unlike previous reports, both the pathogens were found to grow at $5^{\circ}C$ on pork. This finding recommends the necessity of controlling the growth of both the pathogens during the slaughtering process and distribution.

DEV&DESS-Based Real-Time Distributed Simulation Method Using DDS for Design Verification of Cyber-Physical Systems (CPS 설계 검증을 위한 DDS 및 DEV&DESS 기반의 실시간 분산 시뮬레이션 방법)

  • Kim, Jin Myoung;Lee, Hae Young;Chun, Ingeol;Kim, Won-Tae
    • Journal of the Korea Society for Simulation
    • /
    • v.23 no.2
    • /
    • pp.1-6
    • /
    • 2014
  • CPS (cyber-physical systems) which consists of connected and diverse embedded systems and physical systems are a new paradigm. Traditional systems were usually considered to be passive and dumb parts in physical systems, but with CPS, we have to take into account what are being moved or changed in the physical systems. So, as increasing the complexity of CPS, potential errors in the systems also increase. In this paper, for enhancing the reliability of CPS, we exploit an executable-model-based design methodology and propose a distributed simulation method to verify the design of CPS. For the design of the systems including discrete and continuous factors, we apply DEV&DESS formalism and simulate models in distributed simulation environments through DDS middleware. We also illustrate the applications of CPS with our modeling tool.

A Study on Integrated ID Authentication Protocol for Web User (웹 사용자를 위한 통합 ID 인증 프로토콜에 관한 연구)

  • Shin, Seung-Soo;Han, Kun-Hee
    • Journal of Digital Convergence
    • /
    • v.13 no.7
    • /
    • pp.197-205
    • /
    • 2015
  • Existing Web authentication method utilizes the resident registration number by credit rating agencies separating i-PIN authentication method which has been improved authentication using resident registration number via the real name confirmation database. By improving the existing authentication method, and it provides the available integrated ID authentication on Web. In order to enhance safety, the proposed authentication method by encrypting the user of the verification value, and stores the unique identifier in the database of the certificate authority. Then, the password required to log in to the Web is for receiving a disposable random from the certificate authority, the user does not need to remember a separate password and receives the random number by using the smart phone. It does not save the user's personal information in the database, and it is easy to management of personal information. Only the integration ID needs to be remembered with random number on every time. It doesn't need to use various IDs and passwords if you use this proposed authentication methods.

Development of a Recognition System of Smile Facial Expression for Smile Treatment Training (웃음 치료 훈련을 위한 웃음 표정 인식 시스템 개발)

  • Li, Yu-Jie;Kang, Sun-Kyung;Kim, Young-Un;Jung, Sung-Tae
    • Journal of the Korea Society of Computer and Information
    • /
    • v.15 no.4
    • /
    • pp.47-55
    • /
    • 2010
  • In this paper, we proposed a recognition system of smile facial expression for smile treatment training. The proposed system detects face candidate regions by using Haar-like features from camera images. After that, it verifies if the detected face candidate region is a face or non-face by using SVM(Support Vector Machine) classification. For the detected face image, it applies illumination normalization based on histogram matching in order to minimize the effect of illumination change. In the facial expression recognition step, it computes facial feature vector by using PCA(Principal Component Analysis) and recognizes smile expression by using a multilayer perceptron artificial network. The proposed system let the user train smile expression by recognizing the user's smile expression in real-time and displaying the amount of smile expression. Experimental result show that the proposed system improve the correct recognition rate by using face region verification based on SVM and using illumination normalization based on histogram matching.

Automatic SDL to Embedded C Code Generation Considering ${\mu}C/OS-II$ OS Environment (${\mu}C/OS-II$ 운영체제환경을 고려한 SDL 명세로부터의 내장형 C 코드 자동 생성)

  • Kwak, Sang-Hoon;Lee, Jeong-Gun
    • Journal of the Korea Society of Computer and Information
    • /
    • v.13 no.3
    • /
    • pp.45-55
    • /
    • 2008
  • Due to the increasing complexity of embedded system design, automatic code generation of embedded software and hardware-software co-design methodologies are gaining great interest from industries and academia. Such an automatic design methodologies are always demanding a formal system specification languages for defining designer's idea clearly and precisely. In this paper, we propose automatic embedded C code generation from SDL (Specification and Description Language, ITU-T recommended the SDL as a standard system description language) with considering a real-time uC/OS-II operating system. Our automatic embedded C code generator is expected to provide a fast specification, verification and performance evaluation platform for embedded software designs.

  • PDF

Stochastic Continuous Storage Function Model with Ensemble Kalman Filtering (II) : Application and Verification (앙상블 칼만필터를 연계한 추계학적 연속형 저류함수모형 (II) : - 적용 및 검증 -)

  • Lee, Byong-Ju;Bae, Deg-Hyo;Shamir, Eylon
    • Journal of Korea Water Resources Association
    • /
    • v.42 no.11
    • /
    • pp.963-972
    • /
    • 2009
  • The objective of this study is to evaluate an application of stochastic continuous storage function model with ensemble Kalman filter technique. The case study is performed at the upstream basin of Jibo streamflow gauge including Andong and Imha dam. Test period is for the rainy season during 2006 and 2007. Long term runoff analysis is feasible in the case of using deterministic model. Ensemble members for input data and parameters are generated using Monte Carlo simulation for the purpose of applying ensemble Kalman filter technique. The cumulative absolute errors of stochastic model to the deterministic one are improved for the amount of 17.5 %, 18.3 % and more than 40.0 % for Andong dam, Imha dam and Jibo station, respectively. The results indicate that the stochastic model improves the accuracy of the simulated discharge considerably.

A Study on the Implementation of the Integrated Information System for Emergency Handling in Multi-modal Transfer Stations (복합형 환승센터에서의 상황대응을 위한 통합정보시스템 구축에 관한 연구)

  • Kim, Hyun-Tae;Han, Jeong-Hun;Jang, Bong-Seob;Kim, Hwang-Bae
    • Journal of Korean Society for Geospatial Information Science
    • /
    • v.16 no.3
    • /
    • pp.87-94
    • /
    • 2008
  • In this study, deals with selection of monitoring objects to handle emergency cases of multi-modal transfer stations and information required for emergency surveillance, recognition, verification, propagation, processing and situation closing. Furthermore, this article suggests integrated management scheme for the above information and methods which offer appropriate information required for situation handling decisions at each stage of situation changes. The transfer station which consists of facilities, passengers, and transportations has limitations in required monitoring information. So, for the situation recognition and handling strategy, case-based reasoning of the expert system was used to apply experience, knowledge, and past cases of situation handling experts. The article also suggests methods to control facilities which are operated at transfer stations and these methods can minimize spatial confusions and damages at the emergency situation. The real time situation information will be shared by proper facility controls to support services from external institutions.

  • PDF

A R&D Model for Korean SI Companies' International Competitiveness (World Class SI 기업으로의 도약 : 핵심 경쟁력 확보를 위한 R&D 모델 개발)

  • Lee, Yeon-Hee;Choi, Jin-Young
    • Journal of Information Technology Services
    • /
    • v.2 no.2
    • /
    • pp.15-29
    • /
    • 2003
  • This thesis suggests a R&D model for Korean SI companies who aggressively drive oversea business to overcome domestic market limitation and to become world class SI players. Even though there have been a lot of discussions on IT technologies and new business models, scientific approach to a R&D model for SI companies is rare due to its natural distinctiveness from manufacturing and general service domain. Therefore, this will be a flagship thesis to keep up our study. As business market environment gets more competitive, major Korean SI players will be confronted with much more keen competition among themselves. And as they are willing to expand their oversea market presence, they can not help struggling against global SI players. So, here we are presenting SI players the reinforcement of R&D as one of the key components to build up their own core competencies. That is, SI players have to adopt and evaluate fast changing and complicated IT technologies at the right time, and to apply them into a real business with cost-effective service delivery and operation processes internally. The ultimate purpose of all of these activities is to offer a SI company the value added business model based on its innovative technical capabilities and well refined service deliver model. For this purpose, we suggests, SI company's R&D has to play an important role of emerging technology verification/evaluation/utilization, value added business model creation, future innovation lead, standard body participation, and effective service delivery and quality system development. To become a more effective R&D organization, hybrid R&D, in which central R&D and divisional sub R&D work together, is considered as an idea model. The reliability of the R&D model for Korean SI companies', here we suggest, has been checked by SI companies R&D specialists and on-site business people.