• Title/Summary/Keyword: Model-based verification

Search Result 1,510, Processing Time 0.028 seconds

Development of Web-based Power Plant Simulator System (원격 훈련용 발전 시뮬레이터 개발)

  • Byun, Seung-Hyun;Kang, Hae-su;Woo, Joo-Hee;Lee, Jee-Hoon;Kim, Duck-Ho
    • KEPCO Journal on Electric Power and Energy
    • /
    • v.7 no.2
    • /
    • pp.277-283
    • /
    • 2021
  • Power plant simulators have been used for operator training, control verification and engineering verification. In general, simulators can be used in the place where they are installed by only single user group at a time. Considering high cost of simulator development, a lot of available scenarios, the diversity of user level and accessibility based on users' work location, development of simulator system that can be used by multiple user groups regardless of location is required in order to enhance utilization of simulators. In this paper, the simulator system that can be used by multiple user group simultaneously without location limitation is proposed. The simulator system is composed of simulator servers, database servers, HMI servers, a web server, web clients. Simulator server consists of control model, process model that are developed for Circulating Fluidized Bed power plant located overseas. A web server manages user accounts, operation procedures, multiple server access between web client group and simulator server group. In other words, a web server makes a user group select a simulator server at a time. The developed simulator system is integrated after implementing process model, control model, HMI, and web server. Web client systems are installed on local site where power plant is located, while simulator servers, HMI servers, database servers, and a web server are located in KEPCO RI. The developed simulator system is verified by steady-state test, malfunction test and so on via remote access.

Real-time Context Service Model Based on RFID for u-Conference (u-Conference를 위한 RFID 기반의 실시간 상황 서비스 모델)

  • Kang, Min-Sung;Kim, Do-Hyeun;Lee, Kwang-Man
    • IEMEK Journal of Embedded Systems and Applications
    • /
    • v.2 no.2
    • /
    • pp.95-100
    • /
    • 2007
  • Recently ubiquitous application services are developed plentifully using RFID techniques in the field of distribution and security industries. However, except these field the applications using RFID are not mature yet. In this study, we proposed a real-time context service model of the u-conference based on the real-time contextual information acquired from conference and exposition. With collection of real-time contextual information for u-conference, the model can provide a lot of information services on the state of session attendee, doorway control, affairs, user certification, presentation progress etc. For the verification of proposed real-time context service model of u-conference, we design and implement the conference progress state service included the state of session attendee, user certification and presentation progress etc. This service provides the presentation state information included the current presenter, the paper list, the number of session attendee, the schedule and place of each session using the collecting RFID tag and the related information.

  • PDF

Verification, Variation and Application of Image SNR Distribution based upon Nonlinear Image Sensor Model using Simulation (시뮬레이션을 이용한 위성용 카메라 비선형 모델의 영상 신호-잡음비(Image SNR) 분포도 검증/특성 및 활용)

  • Myung, Hwan-Chun
    • Aerospace Engineering and Technology
    • /
    • v.8 no.2
    • /
    • pp.160-169
    • /
    • 2009
  • In the paper, the Image SNR(Signal-to-Noise) distribution proposed in [1] is reviewed from the three points of views: verification, variation, and application of the distribution. First, the proposed Image SNR distribution is verified through the noise-based simulation over a 2D image detector. Second, its variation over the linear/nonlinear gains shows that the noise-effect itself cannot explain every reason for the degraded Image SNR distribution. Third, through the application to optimal selection of the operation parameters, the usefulness of the proposed distribution is clarified.

  • PDF

Implementation and Verification of IMT-Advanced Simulator for 4G Evaluation (4G 기술 평가를 위한 IMT-Advanced 시뮬레이터 구현 및 검증)

  • Kim, Dae-Jung;Chung, Kwang-Sue
    • Journal of KIISE:Information Networking
    • /
    • v.37 no.6
    • /
    • pp.466-476
    • /
    • 2010
  • This paper proposes a novel simulator which is capable of loading different modules enabling to update the simulator easily when the 4G mobile communication technologies are revised. This simulator is not only designed based on IMT-Advanced channel model but also confirmed its reliability through mutual verification with Matlab based simulator developed by Winner+. The proposed simulator was evaluated on the basis of evaluation requirements on the IMT-Advanced. By comparing with experimental results for IEEE and 3GPP, it was also proved for the simulator to have a better performance.

Preprocessing System for Real-time and High Compression MPEG-4 Video Coding (실시간 고압축 MPEG-4 비디오 코딩을 위한 전처리 시스템)

  • 김준기;홍성수;이호석
    • Journal of KIISE:Computing Practices and Letters
    • /
    • v.9 no.5
    • /
    • pp.509-520
    • /
    • 2003
  • In this paper, we developed a new and robust algorithm for a practical and very efficient MPEG-4 video coding. The MPEG-4 video group has developed the video Verification Model(VM) which evolved through time by means of core experiments. And in the standardization process, MS-FDAM was developed based on the standard document of ISO/IEC 14496-2 and VM as a reference MPEG-4 coding system. But MS -FDAM has drawbacks in practical MPEG-4 coding and it does not have the VOP extraction functionality. In this research, we implemented a preprocessing system for a real-time input and the VOP extraction for a practical content-based MPEG-4 video coding and also implemented the motion detection to achieve the high compression rate of 180:1.

Video object segmentation and frame preprocessing for real-time and high compression MPEG-4 encoding (실시간 고압축 MPEG-4 부호화를 위한 비디오 객체 분할과 프레임 전처리)

  • 김준기;이호석
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.28 no.2C
    • /
    • pp.147-161
    • /
    • 2003
  • Video object segmentation is one of the core technologies for content-based real-time MPEG-4 encoding system. For real-time requirement, the segmentation algorithm should be fast and accurate but almost all existing algorithms are computationally intensive and not suitable for real-time applications. The MPEG-4 VM(Verification Model) has provided basic algorithms for MPEG-4 encoding but it has many limitations in practical software development, real-time camera input system and compression efficiency. In this paper, we implemented the preprocessing system for real-time camera input and VOP extraction for content-based video coding and also implemented motion detection to achieve the 180 : 1 compression rate for real-time and high compression MPEG-4 encoding.

Development of de-noised image reconstruction technique using Convolutional AutoEncoder for fast monitoring of fuel assemblies

  • Choi, Se Hwan;Choi, Hyun Joon;Min, Chul Hee;Chung, Young Hyun;Ahn, Jae Joon
    • Nuclear Engineering and Technology
    • /
    • v.53 no.3
    • /
    • pp.888-893
    • /
    • 2021
  • The International Atomic Energy Agency has developed a tomographic imaging system for accomplishing the total fuel rod-by-rod verification time of fuel assemblies within the order of 1-2 h, however, there are still limitations for some fuel types. The aim of this study is to develop a deep learning-based denoising process resulting in increasing the tomographic image acquisition speed of fuel assembly compared to the conventional techniques. Convolutional AutoEncoder (CAE) was employed for denoising the low-quality images reconstructed by filtered back-projection (FBP) algorithm. The image data set was constructed by the Monte Carlo method with the FBP and ground truth (GT) images for 511 patterns of missing fuel rods. The de-noising performance of the CAE model was evaluated by comparing the pixel-by-pixel subtracted images between the GT and FBP images and the GT and CAE images; the average differences of the pixel values for the sample image 1, 2, and 3 were 7.7%, 28.0% and 44.7% for the FBP images, and 0.5%, 1.4% and 1.9% for the predicted image, respectively. Even for the FBP images not discriminable the source patterns, the CAE model could successfully estimate the patterns similarly with the GT image.

Blockchain-based multi-IoT verification model for overlay cloud environments (오버레이 클라우드 환경을 위한 블록체인 기반의 다중 IoT 검증 모델)

  • Jeong, Yoon-Su;Kim, Yong-Tae;Park, Gil-Cheol
    • Journal of Digital Convergence
    • /
    • v.19 no.4
    • /
    • pp.151-157
    • /
    • 2021
  • Recently, IoT technology has been applied to various cloud environments, requiring accurate verification of various information generated by IoT devices. However, due to the convergence of IoT technologies and 5G technologies, accurate analysis is required as IoT information processing is rapidly processed. This paper proposes a blockchain-based multi-IoT verification model for overlay cloud environments. The proposed model multi-processes IoT information by further classifying IoT information two layers (layer and layer) into bits' blockchain to minimize the bottleneck of overlay networks while ensuring the integrity of information sent and received from embedded IoT devices within local IoT groups. Furthermore, the proposed model allows the layer to contain the weight information, allowing IoT information to be easily processed by the server. In particular, transmission and reception information between IoT devices facilitates server access by distributing IoT information from bits into blockchain to minimize bottlenecks in overlay networks and then weighting IoT information.

Compressive Stress Distribution of Concrete for Performance-Based Design Code (성능 중심 설계기준을 위한 콘크리트 압축응력 분포)

  • Lee, Jae-Hoon;Lim, Kang-Sup;Hwang, Do-Kyu
    • Journal of the Korea Concrete Institute
    • /
    • v.23 no.3
    • /
    • pp.365-376
    • /
    • 2011
  • The current Concrete Structural Design Code (2007) prescribe the equivalent rectangular stress block of the ACI 318 Building Code as concrete compressive stress distribution for design of concrete structures. The rectangular stress block may be enough for flexural strength calculation, but realistic stress-strain relationship is required for performance verification at selected limit state in performance-based design. Moreover, the ACI rectangular stress block provides non-conservative flexural strength for high strength concrete columns. Therefore a new stress distribution model is required for development of performance-based design code. This paper proposes a concrete compressive stress-strain distribution model for design and performance verification. The proposed model has a parabolic-rectangular shape, which is adopted by Eurocode 2 and Japanese Code (JSCE). It was developed by investigation of experimental test results conducted by the authors and other researchers. The test results cover high strength concrete as well as normal strength concrete. The stress distribution parameters of the proposed models are compared to those of the ACI 318 Building Code, Eurocode 2, Japanese Code (JSCE) and Canadian Code (CSA) as well as the test results.

Equivalent Plate Modeling of the Wing-Box Structure with Control Surface

  • Kim, Eun-Ho;Roh, Jin-Ho;Yoo, Seung-Jae;Lee, In
    • International Journal of Aeronautical and Space Sciences
    • /
    • v.7 no.2
    • /
    • pp.104-109
    • /
    • 2006
  • In this study, the equivalent plate model is developed using a finite element method(FEM) based on the first order shear deformation theory(FSDT). The substructure synthesis method is used to consider the control surface. For the verification of the equivalent model, the results of free vibration analysis are compared with the ones of 3D wing structure modeled by using the MSC/NASTRAN.