• Journal of KIISE:Computing Practices and Letters
• /
• v.5 no.6
• /
• pp.727-737
• /
• 1999

프로세스 중심 소프트웨어 개발 환경(PSEE : Process-centered Software Engineering Environment)은 소프트웨어 개발자를 위한 여러가지 정보의 제공과 타스크의 수행, 소프트웨어 개발 도구의 수행 및 제어, 필수적인 규칙이나 업무의 수행등과 같은 다양한 행위를 제공하는 프로세스 모형의 수행을 통하여 소프트웨어 개발 행위를 지원한다. SEED(Software Engineering Environment for Development)는 효율적인 소프트웨어 개발과 프로세스 모형의 수행을 제어하기 위해 ETRI에서 개발된 PSEE이다.본 논문에서는 SEED에서 프로세스 모형을 설계하기 위해 사용되는 SimFlex 프로세스 프로그래밍 언어와, 수행지원시스템인 SEED Engine의 구현에 대하여 기술한다. SimFlex는 간단한 언어 구조를 가진 프로세스 프로그래밍 언어이며, 적절한 적합화를 통하여 다른 PSEE에서 사용될 수 있다. SimFlex 컴파일러는 SimFlex에 의해 기술된 프로세스 모형을 분석하고, 모형의 오류를 검사하며, SEED Engine에 의해 참조되는 중간 프로세스 모형을 생성한다. 중간 프로세스 모형을 사용하여 SEED Engine은 외부 모니터링 도구와 연관하여 사용자를 위한 유용한 정보뿐만 아니라 SimFlex에 의해 기술된 프로세스 모형의 자동적인 수행을 제공한다. SimFlex 언어와 수행지원 시스템의 지원을 통하여 소프트웨어 프로세스를 모형화하는데 드는 비용과 시간을 줄일 수 있으며, 편리하게 프로젝트를 관리하여 양질의 소프트웨어 생산물을 도출할 수 있다. Abstract Process-centered Software Engineering Environments(PSEEs) support software development activities through the enaction of process models, providing a variety of activities such as supply of various information for software developers, automation of routine tasks, invocation and control of software development tools, and enforcement of mandatory rules and practices. The SEED(Software Engineering Environment for Development) system is a PSEE which was developed for effective software process development and controlling the enactment of process models by ETRI.In this paper, we describe the implementation of the SimFlex process programming language used to design process models in SEED, and its runtime support system called by SEED Engine. SimFlex is a software process programming language to describe process models with simple language constructs, and it could be embedded into other PSEEs through appropriate customization. The SimFlex compiler analyzes process models described by SimFlex, check errors in the models, and produce intermediate process models referenced by the SEED Engine. Using the intermediate process models, the SEED Engine provides automatic enactment of the process models described by SimFlex as well as useful information for agents linked to the external monitoring tool. With the help of the SimFlex language and its runtime support system, we can reduce cost and time in modeling software processes and perform convenient project management, producing well-qualified software products.

• Korean Journal of Remote Sensing
• /
• v.26 no.2
• /
• pp.239-249
• /
• 2010

The Geostationary Ocean Color Imager (GOCI) data-processing system (GDPS), which is a software system for satellite data processing and analysis of the first geostationary ocean color observation satellite, has been developed concurrently with the development of th satellite. The GDPS has functions to generate level 2 and 3 oceanographic analytical data, from level 1B data that comprise the total radiance information, by programming a specialized atmospheric algorithm and oceanic analytical algorithms to the software module. The GDPS will be a multiversion system not only as a standard Korea Ocean Satellite Center(KOSC) operational system, but also as a basic GOCI data-processing system for researchers and other users. Additionally, the GDPS will be used to make the GOCI images available for distribution by satellite network, to calculate the lookup table for radiometric calibration coefficients, to divide/mosaic several region images, to analyze time-series satellite data. the developed GDPS system has satisfied the user requirement to complete data production within 30 minutes. This system is expected to be able to be an excellent tool for monitoring both long-term and short-term changes of ocean environmental characteristics.

• Korean Journal of Remote Sensing
• /
• v.37 no.5_3
• /
• pp.1435-1446
• /
• 2021

Wind and flood damage caused by typhoons causes a lot of damage to the Korean Peninsula every year. In order to minimize damage, a preliminary analysis of damage estimation and evacuation routes is required for rapid decision-making. This study attempted to develop an analysis module that can provide necessary information according to the disaster stage. For use in the preparation stage, A function to check past typhoon routes and past damage information similar to typhoon routes heading north, a function to extract isolated dangerous areas, and a function to extract reservoir collapse areas were developed. For use in the early stages of response and recovery, a function to extract the expected flooding range considering the current flooding depth, a function to analyze expected damage information on population, buildings, farmland, and a function to provide evacuation information were included. In addition, an automated web map creation method was proposed to express the analysis results. The analysis function was developed and modularized based on Python open source, and the web display function was implemented based on JavaScript. The tools developed in this study are expected to be efficiently used for rapid decision-making in the early stages of monitoring against storm and flood damage.

• Laboraroty Animal Research
• /
• v.34 no.4
• /
• pp.248-256
• /
• 2018

O-2-$^{18}F$-fluoroethyl-l-tyrosine ($[^{18}F]FET$) has been widely used for glioblastomas (GBM) in clinical practice, although evaluation of its applicability in non-clinical research is still lacking. The objective of this study was to examine the value of $[^{18}F]FET$ for treatment evaluation and prognosis prediction of anti-angiogenic drug in an orthotopic mouse model of GBM. Human U87MG cells were implanted into nude mice and then bevacizumab, a representative anti-angiogenic drug, was administered. We monitored the effect of anti-angiogenic agents using multiple imaging modalities, including bioluminescence imaging (BLI), magnetic resonance imaging (MRI), and positron emission tomography-computed tomography (PET/CT). Among these imaging methods analyzed, only $[^{18}F]FET$ uptake showed a statistically significant decrease in the treatment group compared to the control group (P=0.02 and P=0.03 at 5 and 20 mg/kg, respectively). This indicates that $[^{18}F]FET$ PET is a sensitive method to monitor the response of GBM bearing mice to anti-angiogenic drug. Moreover, $[^{18}F]FET$ uptake was confirmed to be a significant parameter for predicting the prognosis of anti-angiogenic drug (P=0.041 and P=0.007, on Days 7 and 12, respectively, on Pearson's correlation; P=0.048 and P=0.030, on Days 7 and 12, respectively, on Cox regression analysis). However, results of BLI or MRI were not significantly associated with survival time. In conclusion, this study suggests that $[^{18}F]FET$ PET imaging is a pertinent imaging modality for sensitive monitoring and accurate prediction of treatment response to anti-angiogenic agents in an orthotopic model of GBM.

• The Korean Journal of Archival Studies
• /
• no.60
• /
• pp.49-88
• /
• 2019

Today, the civil society plays a key role not only in criticizing and monitoring the functions of the state and the market, but also as an active producer of public services by complementing the government and the public sector. Public records management is also becoming more and more popular. In the case of appraisal and selection, which is the core area of record management, discussions about citizen participation are becoming more serious than any other areas. The concept of 'proactive appraisal', which has emerged as a paradigm of citizens' participation in appraisal, reminds us that citizens themselves are the subjects of public records and are no longer alienated from the appraisal system. The problem is, while the growth of the Korean civil society about institutional participation is spreading rapidly, but citizen participation is hard to find in the field of public records. The purpose of this paper is to examine the role of citizen participation in the process of appraisal of public records, and to debunk the role of citizen participation in the appraisal processes by exploring the examples in the UK, Canada, and Australia. This paper emphasizes that the appraisal system of the national public records in crisis today could be largely restored through the domestic application of this active citizen participation cases. First of all, this study presents a conceptual appraisal model that could reflect citizen participation in the field of record management along with the analyses of the advanced cases in some western countries. Specifically, this paper focuses on presenting the models of 'appraisal documentation' and 'governance-based appraisal', reflecting the active citizen participation. This study suggests that these citizens' participatory evaluation models should be settled in Korea in the future and we should urgently discuss 'citizen participation appraisal'.

• Parasites, Hosts and Diseases
• /
• v.58 no.5
• /
• pp.543-550
• /
• 2020

Mosquitoes are globally distributed and important vectors for the transmission of many human diseases. Mosquito control is a difficult task and the cost of preventing mosquito-borne diseases is much lower than that for curing the associated diseases. Thus, chemical control remains the most effective tool for mosquito. Due to the long-term intensive use of insecticides to control mosquito vectors, resistance to most chemical insecticides has been reported. This study aimed to investigate the relationship between insecticide resistance and target site mutation of L1014 kdr and G119 ace alleles in 5 species/species group of mosquitoes (Aedes vexans, Ae. albopictus, Anopheles spp., Culex pipiens complex, and Cx. tritaeniorhynchus) obtained from 6 collection sites. For Anopheles spp., the proportion of mosquitoes with mutated alleles in L1014 was 88.4%, homozygous resistant genotypes were observed in 46.7%, and heterozygous resistant genotypes were observed in 41.8%. For the Cx. pipiens complex and Cx. tritaeniorhynchus species, homozygous resistant genotypes were found in 25.9% and 9.8%, respectively. However, target site mutation of L1014 in the Ae. vexans nipponii and Ae. albopictus species was not observed. Anopheles spp., Cx. pipiens complex, and Cx. tritaeniorhynchus mosquitoes were resistant to deltamethrin and chlorpyriphos, whereas Ae. vexans nipponii and Ae. albopictus were clearly susceptible. We also found a correlation between the resistance phenotype and the presence of the L1014 kdr and G119 ace mutations only in the Anopheles spp. population. In this study, we suggest that insecticide resistance poses a growing threat and resistance management must be integrated into all mosquito control programs.

• Journal of the Korean Society of Marine Environment & Safety
• /
• v.28 no.6
• /
• pp.918-927
• /
• 2022

The purpose of this study was to investigate the causes of collisions by examining 668 cases of merchant ship collision accidents that occurred during the past 12 years (2010-2021) and analyzed them statistically. Further, the analysis results were applied to propose a human error prevention collision avoidance (HEPCA) model. The statistical annual report of the Korea Maritime Safety Tribunal (KMST) and the collision investigation report were investigated to collect data on the causes of collisions of merchant ships, and frequency analysis was performed using the statistical analysis tool, SPSS Statistics. In the first-stage analysis, the causes of collisions were analyzed targeting 668 merchant ship collision accidents, and in the second-stage analysis, the identified maximum frequency cause factors were analyzed in detail. The analysis results identified that 98 % of the cause of the collision was the human error of the navigator, and the highest frequency was in the order of neglect of look-out > violation of navigation regulations > improper maneuvering. The cause of the neglect of look-out was mainly neglecting continuous monitoring after the first recognition of the target ship. The HEPCA model for human error prevention was proposed by applying the analysis results to the collision case of the investigation report. The results of this study are expected to be used as educational materials at marine navigator educational institutions and in practice for avoiding collisions caused by human errors of navigators.

• Tunnel and Underground Space
• /
• v.33 no.1
• /
• pp.57-69
• /
• 2023

In this study, we simulated induced seismicity in the Groningen natural gas reservoir using 2D hydro-mechanical coupled discrete element modelling (DEM). The code used is PFC2D (Particle Flow Code 2D), a commercial software developed by Itasca, and in order to apply to this study we further developed 1)initialization of inhomogeneous reservoir pressure distribution, 2)a non-linear pressure-time history boundary condition, 3)local stress field monitoring logic. We generated a 2D reservoir model with a size of 40 × 50 km² and a complex fault system, and simulated years of pressure depletion with a time range between 1960 and 2020. We simulated fault system failure induced by pressure depletion and reproduced the spatiotemporal distribution of induced seismicity and assessed its failure mechanism. Also, we estimated the ground subsidence distribution and confirmed its similarity to the field measurements in the Groningen region. Through this study, we confirm the feasibility of the presented 2D hydro-mechanical coupled DEM in simulating the deformation of a complex fault system by hydro-mechanical coupled processes.

• Korean Journal of Ecology and Environment
• /
• v.56 no.1
• /
• pp.70-82
• /
• 2023

Recently, Korean government has introduced Multi Metric Indices (MMI) using various biocommunity information for aquatic ecosystem monitoring and ecosystem health assessment at the national level. MMI is a key tool in national ecosystem health assessment programs. The MMI consists of indices that respond to different target environmental factors, including environmental disturbance (e.g. nutrients, hydrological and hydraulic situation of site etc.). We used zooplankton community information collected from Korean lakes to estimate the availability of candidate zooplankton MMI indices that can be used to assess lake ecosystem health. First, we modified the candidate indices proposed by the U.S. EPA to suit Korean conditions. The modified indices were subjected to individual index suitability analysis, correlation analysis with environmental variables, and redundancy analysis among indices, and 19 indices were finally selected. Taxonomic diversity was suggested to be an important indicator for all three taxonomic groups (cladoceran, copepod, rotifer), on the other hand, the indices using biomass for large cladocerans and copepods, while the indices using abundance were suggested for small cladocerans and rotifers.

• Journal of the Korean Geotechnical Society
• /
• v.22 no.8
• /
• pp.43-54
• /
• 2006

The scope of this paper covers the applications of bender element tests in consolidation, tomography, and liquefaction. Loading and unloading time during consolidation are evaluated based on shear wave velocity. As S-wave velocity is dependent on effective stress, the loading step may be determined. However, cautions are required due to the different mechanism between the settlement and effective stress criteria. The stress history may be evaluated because the S-wave shows the cement controlled regime and stress controlled regimes. A fixed frame complemented with bender elements permits S-wave tomography The tomography system is tested at low confinement within a true triaxial cell. Results show that shear wave velocity tomography permits monitoring changes in the velocity field which is related to the average effective stress. To monitor the liquefaction phenomenon, S-wave trans-illumination is implemented with a high repetition rate to provide detailed information on the evolution of shear stiffness during liquefaction. The evolution of shear wave propagation velocity and attenuation parallel the time-history of excess pore pressure during liquefaction. Applications discussed in this paper show that bender elements can be a very effective tool for the detection of shear waves in the laboratory.