• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.11 no.11
• /
• pp.4460-4467
• /
• 2010

Recent advances in computer technology have brought more dependence on software to railway systems and changed to computer systems. Hence, the reliability and safety assurance of the vital software running on the embedded railway system is going to tend toward very critical task. Accordingly, various software test and validation activities are highly recommended in the international standards related railway software. In this paper, we presented an automated analysis tool and standard for software testing coverage in railway system, and presented its result of implementation. We developed the control flow analysis tool estimating test coverage as an important quantitative item for software safety verification in railway software. Also, we proposed judgement standards due to railway S/W Safety Integrity Level(SWSIL) based on analysis of standards in any other field for utilizing developed tool widely at real railway industrial sites. This tool has more advantage of effective measuring various test coverages than other countries, so we can expect railway S/W development and testing technology of real railway industrial sites in Korea.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.4
• /
• pp.284-288
• /
• 2009

With explosively growing PPI databases, the computational approach for a prediction and configuration of PPI network has been a big stream in the bioinformatics area. Recent researches gradually consider physicochemical properties of proteins and support high resolution results with integration of experimental results. With regard to current research trend, it is very close future to complete a PPI network configuration of each organism. However, direct applying the PPI network to real field is complicated problem because PPI network is only a set of co-expressive proteins or gene products, and its network link means simple physical binding rather than in-depth knowledge of biological process. In this paper, we suggest a protein functional flow model which is a directed network based on a protein functions' relation of signaling transduction pathway. The vertex of the suggested model is a molecular function annotated by gene ontology, and the relations among the vertex are considered as edges. Thus, it is easy to trace a specific function's transition, and it can be a constraint to extract a meaningful sub-path from whole PPI network. To evaluate the model, 11 functional flow models of Homo sapiens were built from KEGG, and Cronbach's alpha values were measured (alpha=0.67). Among 1023 functional flows, 765 functional flows showed 0.6 or higher alpha values.

• Korean Journal of Remote Sensing
• /
• v.16 no.3
• /
• pp.211-220
• /
• 2000

Even though recurring eddies at the terminal end of the East Korean Warm Current have been identified in the thermal infrared imagery from the NOAA/AVHRR sensor and ocean color data from Orbview-2/SeaWiFS sensor, it is difficult to make observation in the field regarding recurring eddies located around the Wonsan coastal area in North Korea. But we could get in situ data related to an eddy from an ARGOS satellite tracking drifter trapped in the eddy on January 4th, 1999. An ARGOS drifter, a NOAA satellite tracked buoy was trapped by the eddy during January 4th.March 18, 1999. The ARGOS drifter rotated 10 times per 72 days on the edge of the eddy located at $39^{\circ}N$, $129^{\circ}E$. The diameter of the eddy was about 100 km. The horizontal rotation velocity of the recurring cold-core anti-cyclonic eddy was 1.53 km/h(42 cm/sec). The sea surface temperatures of the eddy varied from $14.7^{\circ}C$ on January 5, 1999 to $9.6^{\circ}C$ on March 18,1999. To study the mechanism of the recurring eddy. we tried to find out the relationship between the vector of the drifter moving in the eddy and the wind vector in Sokcho and Ulleung Island located near the eddy in southern Korea, and the difference in sea level between Ulleung Island and Mukho. We hope the results of this study would be useful for calibration and validation data of simulation and numerical modeling studies of the recurring eddy.

• Korean Journal of Remote Sensing
• /
• v.37 no.5_2
• /
• pp.1307-1315
• /
• 2021

The Changjiang Diluted Water (CDW) spreads over the East China Sea every summer and significantly affects the sea surface salinity changes in the seas around Jeju Island and the southern coast of Korea peninsula. Sometimes its effect extends to the eastern coast of Korea peninsula through the Korea Strait. Specifically, the CDW has a significant impact on marine physics and ecology and causes damage to fisheries and aquaculture. However, due to the limited field surveys, continuous observation of the CDW in the East China Sea is practically difficult. Many studies have been conducted using satellite measurements to monitor CDW distribution in near-real time. In this study, an algorithm for estimating Sea Surface Salinity (SSS) in the East China Sea was developed using the Geostationary Ocean Color Imager (GOCI). The Multilayer Perceptron Neural Network (MPNN) method was employed for developing an algorithm, and Soil Moisture Active Passive (SMAP) SSS data was selected for the output. In the previous study, an algorithm for estimating SSS using GOCI was trained by 2016 observation data. By comparison, the train data period was extended from 2015 to 2020 to improve the algorithm performance. The validation results with the National Institute of Fisheries Science (NIFS) serial oceanographic observation data from 2011 to 2019 show 0.61 of coefficient of determination (R²) and 1.08 psu of Root Mean Square Errors (RMSE). This study was carried out to develop an algorithm for monitoring the surface salinity of the East China Sea using GOCI and is expected to contribute to the development of the algorithm for estimating SSS by using GOCI-II.

• Korean Journal of Construction Engineering and Management
• /
• v.22 no.5
• /
• pp.86-98
• /
• 2021

In this study, we developed a simulation model for supply chain management of Precast Concrete (PC) based construction. To this end, information on the Factory Production/Site Construction system was collected through literature review and field research, and based on this information, a simulation model was defined by describing the supply chain, entities, resources, and processes. Next, using the Arena simulation software, a simulation model for the PC supply chain was developed by setting model frameworks, data modules, flowchart modules, and animation modules. Finally, verification and validation were performed using five review methodologies such as model check, animation check, extreme value test, average value test, and actual case test to the developed model. As a result, it was found that the model adequately represented the flows and characteristics of the PC supply chain without any logical errors and provided accurate performance evaluation values for the target supply chains. It is expected that the proposed simulation model will faithfully play a role as a performance evaluation platform in the future for developing management techniques in order to optimally operate the PC supply chain.

• Korean Journal of Heritage: History & Science
• /
• v.40
• /
• pp.387-411
• /
• 2007

The analysis of ancient DNA (aDNA) has become increasingly considerable anthropological, archaeological, biological and public interest. Although this approach is complicated by the natural damage and exogenous contamination of a DNA, archaeologists and biologists have attempted to understand issues such as human evolutionary history, migration and social organization, funeral custom and disease, and even evolutionary phylogeny of extinct animals. Polymerase chain reaction(PCR) is powerful technique that analyzes DNA sequences from a little extract of an ancient specimen. However, deamination and fragmentation are common molecular damages of aDNA and cause enzymatic inhibition in PCR for DNA amplification. Besides, the deamination of a cytosine residue yielded an uracil residue in the ancient template, and results in the misincorporation of an adenine residue in PCR. This promotes a consistent substitution (cytosine thymine, guanine adenine) to original nucleotide sequences. Contamination with exogenous DNA is a major problem in aDNA analysis, and causes oversight as erroneous conclusion. This report represents serious problems that DNA modification and contamination are the main issues in result validation of aDNA analysis. Now, we introduce several criterions suggested to authenticate reliance of aDNA analysis by many researchers in this field.

• KIPS Transactions on Computer and Communication Systems
• /
• v.12 no.1
• /
• pp.9-16
• /
• 2023

Robots are expected to expand their scope of application to the military field and take on important missions such as surveillance and enemy detection in the coming future warfare. Swarm robots can perform tasks that are difficult or time-consuming for a single robot to be performed more efficiently due to the advantage of having multiple robots. Swarm robots require mutual recognition and collaboration. So they send and receive vast amounts of data, making it increasingly difficult to verify SW. Hardware-in-the-loop simulation used to increase the reliability of mission verification enables SW verification of complex swarm robots, but the amount of verification data exchanged between the HILS device and the simulator increases exponentially according to the number of systems to be verified. So communication overload may occur. In this paper, we propose a digital twin-based communication optimization technique to solve the communication overload problem that occurs in mission verification of swarm robots. Under the proposed Digital Twin based Multi HILS Framework, Network DT can efficiently allocate network resources to each robot according to the mission scenario through the Network Controller algorithm, and can satisfy all sensor generation rates required by individual robots participating in the group. In addition, as a result of an experiment on packet loss rate, it was possible to reduce the packet loss rate from 15.7% to 0.2%.

• Progress in Medical Physics
• /
• v.34 no.1
• /
• pp.1-9
• /
• 2023

Purpose: Although ionization chambers are widely used to measure beam commissioning data, point-by-point measurements of all the profiles with various field size and depths are time-consuming tasks. As an alternative, we investigated the feasibility of a linear diode array for commissioning a treatment planning system. Methods: The beam data of a Varian TrueBeam^® radiotherapy system at 6 and 10 MV with/without a flattening filter were measured for commissioning of an Eclipse Analytical Anisotropic Algorithm (AAA) ver.15.6. All of the necessary beam data were measured using an IBA CC13 ionization chamber and validated against Varian "Golden Beam" data. After validation, the measured CC13 profiles were used for commissioning the Eclipse AAA (AAA_CC13). In addition, an IBA LDA-99SC linear diode array detector was used to measure all of the beam profiles and for commissioning a separate model (AAA_LDA99). Finally, the AAA_CC13 and AAA_LDA99 dose calculations for each of the 10 clinical plans were compared. Results: The agreement of the CC13 profiles with the Varian Golden Beam data was confirmed within 1% except in the penumbral region, where ≤2% of a discrepancy related to machine-specific jaw calibration was observed. Since the volume was larger for the CC13 chamber than for the LDA-99SC chamber, the penumbra widths were larger in the CC13 profiles, resulting in ≤5% differences. However, after beam modeling, the penumbral widths agreed within 0.1 mm. Finally the AAA_LDA99 and AAA_CC13 dose distributions agreed within 1% for all voxels inside the body for the 10 clinical plans. Conclusions: In conclusion, the LDA-99SC diode array detector was found to be accurate and efficient for measuring photon beam profiles to commission treatment planning systems.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.26 no.5B
• /
• pp.447-457
• /
• 2006

This paper presents a numerical model for the simulations of 2D depth-averaged flows. The shallow water equations are solved numerically by the Characteristic Dissipative Galerkin (CDG) finite element method. For validation, the developed model is applied to the hydraulic jump. The computed results are compared with the analytical solution, revealing good agreement. In addition, flow in a contracting channel showing standing waves is simulated. The calculated water surface profile appears to be qualitatively consistent with the observed data. The foregoing results indicate that the model is capable of simulating the abrupt change in flow field. Next, the model is applied to the flow in a $180^{\circ}$ curved channel. The simulated results show that the velocity near the inner bank is faster than that near the outer bank and the water depth near the inner bank is shallower than that near the outer bank. However, the simulated results show that the velocity distribution across the channel is almost uniform in the bend except the reach close to the end of the bend. This is due to the limitation of the governing equations in which the transverse convection of momentum by the secondary flows along a channel bend is not taken into account.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.30 no.2B
• /
• pp.211-217
• /
• 2010

This paper presents numerical investigations of the physical habitat changes induced by the hydropeaking in the downstream river of dam. For the two-dimensional ecohydraulic simulations, River2D model is used. Pirami (Zacco platypus) is selected as the target fish for investigating the impact of the hydropeaking. For validation of the model, the water surface elevations are simulated with two different water discharges. The computed results are compared with field data in the literature, and the result shows that the model successfully simulates the water flows. The weight usable area (WUA) of Pirami with the life cycle and the composite suitability index with different water discharges are computed and discussed. The results show that habitat for Pirami appears to be best in the bend region downstream of the dam. The discharge of the maximum WUA for adult Pirami is computed to be about 9 $m^3/s$. Also, the WUA computed in a condition of hydropeaking during seven days are presented. The averaged discharge of the hydropeaking appears to be about 20% larger than the drought flow, but the WUA by the hydropeaking is computed to be 60-100% smaller. This result shows that the hydropeaking reduces quantity of habitat available to fish.