Study of Peak Load Demand Estimation Methodology by Pearson Correlation Analysis with Macro-economic Indices and Power Generation Considering Power Supply Interruption

Jiyoung Song,Jaegul Lee,Taekyun Kim,Yongbeum Yoon 대한전기학회 2017 Journal of Electrical Engineering & Technology Vol.12 No.4

Since the late 2000s, there has been growing preparation in South Korea for a sudden reunification of South and North Korea. Particularly in the power industry field, thorough preparations for the construction of a power infrastructure after reunification are necessary. The first step is to estimate the peak load demand. In this paper, we suggest a new peak demand estimation methodology by integrating existing correlation analysis methods between economic indicators and power generation quantities with a power supply interruption model in consideration of power consumption patterns. Through this, the potential peak demand and actual peak demand of the Nation, which experiences power supply interruption can be estimated. For case studies on North Korea after reunification, the potential peak demand in 2015 was estimated at 5,189 MW, while the actual peak demand within the same year was recorded as 2,461 MW. The estimated potential peak demand can be utilized as an important factor when planning the construction of power system facilities in preparation for reunification.

Study of Peak Load Demand Estimation Methodology by Pearson Correlation Analysis with Macro-economic Indices and Power Generation Considering Power Supply Interruption

Song, Jiyoung,Lee, Jaegul,Kim, Taekyun,Yoon, Yongbeum The Korean Institute of Electrical Engineers 2017 Journal of Electrical Engineering & Technology Vol.8 No.1

Since the late 2000s, there has been growing preparation in South Korea for a sudden reunification of South and North Korea. Particularly in the power industry field, thorough preparations for the construction of a power infrastructure after reunification are necessary. The first step is to estimate the peak load demand. In this paper, we suggest a new peak demand estimation methodology by integrating existing correlation analysis methods between economic indicators and power generation quantities with a power supply interruption model in consideration of power consumption patterns. Through this, the potential peak demand and actual peak demand of the Nation, which experiences power supply interruption can be estimated. For case studies on North Korea after reunification, the potential peak demand in 2015 was estimated at 5,189 MW, while the actual peak demand within the same year was recorded as 2,461 MW. The estimated potential peak demand can be utilized as an important factor when planning the construction of power system facilities in preparation for reunification.

FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states

Song, Jiyoung,Jee, Eunkyoung,Bae, Doo-Hwan Elsevier 2018 Science of computer programming Vol.163 No.-

<P><B>Abstract</B></P> <P>As Function Block Diagram (FBD) programs are used to implement safety-critical systems such as nuclear reactor protection systems, it is crucial to generate effective test cases. FBD programs are running on programmable logic controllers (PLCs) that execute the programs repeatedly within a particular scan time. Among the elements of FBD programs, function blocks and feedback variables save the inputs or outputs of the previous scan cycle into internal memories. The data stored in the internal memory are used to operate the function blocks of the next scan cycle. Researchers have recently developed an automated test generation technique aiming to satisfy several structural test coverage criteria for FBD programs. Among them, Jee et al.'s approach has an advantage of generating tests from FBD programs without requiring any intermediate models. However, test sequence generation for FBD programs with internal memory states was not fully automated in Jee et al.'s approach. This paper extends Jee et al.'s work by generating test sequences from FBD programs with internal memory states in a fully automated manner. The key technique involves explicitly unwinding FBD programs and solving the test requirements using an SMT solver. We conduct experiments on increasing the coverage of test requirements by unwinding cycles and evaluating the effectiveness of the test set using mutation analysis with several subject programs, including a real-world reactor protection system. The experimental results show that the proposed approach is able to generate effective test sequences for FBD programs. To demonstrate the efficiency of the proposed approach, we compared the test sequence generation time required for our approach with those for other approaches. The comparison results show that even excluding the generation time of test models of other approaches, the proposed approach increased the time-efficiency by more than 11 times.</P> <P><B>Highlights</B></P> <P> <UL> <LI> Developing algorithms to generate test sets for Function Block Diagram programs. </LI> <LI> Defining Function Block Conditions for all the standard function blocks. </LI> <LI> Implementing an automated test sequence generation tool using Yices SMT solver. </LI> <LI> Demonstrating improved fault-detection effectiveness and time efficiency. </LI> </UL> </P>

High-throughput platform for 3D in vitro tumor vasculature model for real-time monitoring of Immune Cell Cytotoxicity

Jiyoung Song,Hyeri Choi,Seung Kwon Koh,Dohyun Park,Youngtaek Kim,Duck Cho,Noo Li Jeon 한국당과학회 2022 한국당과학회 학술대회 Vol.2022 No.07

Several advances in anticancer therapy have demonstrated significant improvements in clinical outcomes, and adoptive cell therapy has emerged as a type of immunotherapy that can modulate immune responses by transferring engineered immune cells. However, it remains a challenge because only a small percentage of respondents have responded. Three-dimensional (3D) in vitro models of the tumor microenvironment (TME) have the potential to provide a platform for assessing and predicting responses to therapy. Here, we propose an in vitro 3D tumor model with clusters of colorectal cancer (CRC) cells around perfusable vascular networks to evaluate immune cell-mediated cytotoxicity against cancer cells. A 3D injection-molded co-culture model consists of 28 microwells where identical vascularized cancer models can be formed in separate wells. It allows robust hydrogel patterning, resulting in high-throughput experiments. Compared to the polydimethylsiloxane (PDMS)-based microfluidic devices, our devices allowed a greater number of experiments to be conducted. A permeability test was also conducted to confirm the characteristics of the tumor vasculature. Primary natural killer (NK) cells were introduced into a tumor vascularized network and monitored using live-cell imaging. The extravasation, migration, and cytotoxic activity of six types of CRC cell lines were examined. Based on the consensus molecular subtypes (CMS) of CRC with distinct immune responses, CMS1 cancer cells were most susceptible to NK cell cytotoxicity. This study indicates the potential of our vascularized tumor model in assessing the responses to adoptive cell therapy by understanding the various steps involved in the immune response.

Analysis of Hazard Scenario of Nuclear Facility for Preparation of Radiological Environmental Impact Assessment Report (RER)

Jiyoung Song,Jongjin Kim 한국방사성폐기물학회 2021 한국방사성폐기물학회 학술논문요약집 Vol.2021 No.06

<i>N</i>-Heterocyclic Carbene-Based Conducting Polymer–Gold Nanoparticle Hybrids and Their Catalytic Application

Song, Sun Gu,Satheeshkumar, Chinnadurai,Park, Jiyoung,Ahn, Jongho,Premkumar, Thathan,Lee, Yunmi,Song, Changsik American Chemical Society 2014 Macromolecules Vol.47 No.19

<P>Hybrid nanocomposites of N-heterocyclic carbene (NHC)-functionalized conducting polymers (CPs) with gold nanoparticles (AuNPs) were prepared by concurrent disproportionation and oxidative coupling. The formation of hybrid nanocomposites, NHC-CP/AuNPs, in the simultaneous process was confirmed by transmission electron microscopy, powder X-ray diffraction, cyclic voltammetry, and C-13 solid-state NMR analyses. More importantly, the NHC group played a pivotal role in the dispersion of AuNPs. Further, NHC-CP/AuNPs exhibited good catalytic activity for the reduction of 4-nitrophenol.</P>

Consideration of NOACs (novel or non-vitamin K-dependent oral anticoagulants) in dental procedure

Jiyoung Song 대한구강악안면외과학회 2021 대한구강악안면외과학회지 Vol.47 No.6

Microfluidic platform for single cell analysis under dynamic spatial and temporal stimulation

Song, Jiyoung,Ryu, Hyunryul,Chung, Minhwan,Kim, Youngtaek,Blum, Yannick,Lee, Sung Sik,Pertz, Olivier,Jeon, Noo Li Elsevier 2018 Biosensors & bioelectronics Vol.104 No.-

<P><B>Abstract</B></P> <P>Recent research on cellular responses is shifting from static observations recorded under static stimuli to real-time monitoring in a dynamic environment. Since cells sense and interact with their surrounding microenvironment, an experimental platform where dynamically changing cellular microenvironments should be recreated <I>in vitro</I>. There has been a lack of microfluidic devices to support spatial and temporal stimulations in a simple and robust manner. Here, we describe a microfluidic device that generates dynamic chemical gradients and pulses in both space and time using a single device. This microfluidic device provides at least 12h of continuous stimulations that can be used to observe responses from mammalian cells. Combination of the microfluidic de­vice with live-cell imaging facilitates real-time observation of dynamic cellular response at single cell level. Using stable HEK cells with biosensors, ERK (Extracellular signal-Regulated Kinase) activities were observed un­der the pulsatile and ramping stimulations of EGF (Epidermal Growth Factor). We quantified ERK activation even at extremely low EGF concentration (0.0625µg/ml), which can not be observed using conventional techniques such as western blot. Cytoskeleton re­arrangement of the 3T3 fibroblast (stable transfection with Lifeact-GFP) was compared under abrupt and gradually changing gradient of PDGF.</P> <P><B>Highlights</B></P> <P> <UL> <LI> A long-term live cell monitoring was performed under the spatial and temporal dynamic stimulations. </LI> <LI> Versatile stimulation profiles were generated in a single device without further modification. </LI> <LI> Quantitative observation of the persistent ERK activation with the increasing concentrations of EGF was made initially. </LI> <LI> Prior to the development of our device, ramping down stimulation of certain matters was unable to be achieved. </LI> <LI> Dynamically changing gradients were proposed and can be applied in directed cell migration. </LI> </UL> </P>

AI

Jiyoung Song(송지영) 한국디자인학회 2018 한국디자인학회 국제초대전도록 Vol.2018 No.11

모바일 디바이스 배터리 소모 분석 기법

송지영(Jiyoung Song),조치우(Chiwoo Cho),정유림(Youlim Jung),지은경(Eunkyoung Jee),배두환(Doo-Hwan Bae) 한국정보과학회 소프트웨어공학 소사이어티 2018 소프트웨어공학회지 Vol.27 No.1

제한된 자원인 모바일 디바이스 배터리의 소모는 회로 설계자들이 회로를 분석 및 평가할 때 중요한 척도가 된다. 기존의 모바일 디바이스 배터리 소모 분석을 위해 여러 배터리 소모 모델 생성 연구가 수행되었으며, 배터리 소모 모델 생성 기법은 센서의 사용 유무, 런타임 모델 생성 여부, 검증 및 테스팅 목적으로의 모델 이용 여부 등에 따라 서로 다른 특징을 가진다. 본 연구에서는 모바일 디바이스회로 설계자들이 회로를 분석하는데 도움을 주기 위한 목적으로 지금까지 연구되어 온 배터리 소모 모델분석 기법들에 대하여 비교 및 평가하고자 한다. 평가 결과를 기반으로 향후 모바일 디바이스 배터리 소모 분석 연구의 발전 방향을 제안한다. The consumption of mobile device batteries which are limited resources is an important criterion when circuit designers analyze and evaluate circuits. For this reason, researchers conducted researches with different models of battery consumption to analyze power consumption of mobile devices. The battery consumption model generation techniques have various characteristics depending on availability of sensors, run-time model generation, and models for using in verification and testing. However, there is lack of comparison and analysis between varied battery consumption model generation methods. In this research, we compare and evaluate the analysis methods which have been studied so far to support the circuit investigation for circuit designers. Finally, we suggest the direction of researches in battery consumption analysis using the comparison result.