• 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.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.29 no.1B
• /
• pp.1-9
• /
• 2009

This study is focused on the analysis of loop characteristics of stage-discharge relation which is widely used for the production of discharge data and the simulation of loop stage-discharge relation using the numerical model. Analysis of consecutive stage and discharge data at 3 points revealed that loop of stage-discharge relationship is very strong. This means that the existing single stage-discharge relation may include large amount of error. Various flood events are simulated in mainstream of Han river with one-dimensional numerical model. The calculated stage data are compared with measured data. Especially continuous field-flow measurements concurrently collected with an Acoustic Doppler Velocity Meter (ADVM) on Hangang bridge in the case of 2007 flood event are used to verify the model applicability of estimating flows in open channels. This comparison shows that numerical model is an accurate and reliable alternative for making the real stage-discharge relation. Simulation of stage-discharge relation by a numerical model at Paldang and Hangang bridge showed good agreements with measured one, so it may be possible to generate real loop stage-discharge relation with properly calibrated and verified numerical model. It can be concluded that results of this study can contribute to error analysis of conventional single stage-discharge relation and development of loop stage-discharge relation with numerical model.

• The Journal of Engineering Geology
• /
• v.24 no.2
• /
• pp.217-225
• /
• 2014

Water curtain cultivation (WCC) systems in Korea have depleted water resources in shallow aquifers through massive pumping of groundwater. The goal of this study is to simulate the groundwater variations observed from massive groundwater pumping at a site in Cheongweon. MODFLOW was used to simulate three-dimensional regional groundwater flow, and the SWAT (Soil and Water Assessment Tool) watershed hydrologic model was employed to introduce temporal changes in groundwater recharge into the MODFLOW model input. Additionally, the estimation method for groundwater discharge in WCC areas (Moon et al., 2012) was incorporated into a groundwater pumping schedule as a MODFLOW input. We compared simulated data and field measurements to determine the degree to which winter season groundwater drawdown is effectively modeled. A simulation time of 107 days was selected to match the observed groundwater drawdown from November, 2012 to March, 2013. We obtained good agreement between the simulated drawdown and observed groundwater levels. Thus, the estimation method using daily minimum temperatures, may be applicable to other cultivation areas and can serve as a guideline in simulating the regional flow of riverside groundwater aquifers.

• Proceedings of the Korean Vacuum Society Conference
• /
• 2016.02a
• /
• pp.129-129
• /
• 2016

Graphene, as a single layer of $sp^2$-bonded carbon atoms packed into a 2D honeycomb crystal lattice, has attracted much attention due to its outstanding properties. In order to synthesize high quality graphene, transition metals, such as nickel and copper, have been widely employed as catalysts, which needs transfer to desired substrates for various applications. However, the transfer steps are not only complicated but also inevitably induce defects, impurities, wrinkles, and cracks of graphene. Furthermore, the direct synthesis of graphene on dielectric surfaces has still been a premature field for practical applications. Therefore, cost effective and concise methods for transfer-free graphene are essentially required for commercialization. Here, we report a facile transfer-free graphene synthesis method through nickel and carbon co-deposited layer. In order to fabricate 100 nm thick NiC layer on the top of $SiO_2/Si$ substrates, DC reactive magnetron sputtering was performed at a gas pressure of 2 mTorr with various Ar : $CH_4$ gas flow ratio and the 200 W DC input power was applied to a Ni target at room temperature. Then, the sample was annealed under 200 sccm Ar flow and pressure of 1 Torr at $1000^{\circ}C$ for 4 min employing a rapid thermal annealing (RTA) equipment. During the RTA process, the carbon atoms diffused through the NiC layer and deposited on both sides of the NiC layer to form graphene upon cooling. The remained NiC layer was removed by using a 0.5 M $FeCl_3$ aqueous solution, and graphene was then directly obtained on $SiO_2/Si$ without any transfer process. In order to confirm the quality of resulted graphene layer, Raman spectroscopy was implemented. Raman mapping revealed that the resulted graphene was at high quality with low degree of $sp^3$-type structural defects. Additionally, sheet resistance and transmittance of the produced graphene were analyzed by a four-point probe method and UV-vis spectroscopy, respectively. This facile non-transfer process would consequently facilitate the future graphene research and industrial applications.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.32 no.1B
• /
• pp.71-78
• /
• 2012

The habitat suitability is an important factor to estimate the distribution and size of the physical habitat in river. This suitability is also a key factor to decide the ecological flow discharge for the fish. For the ecological analysis in river, accurate values of habitat suitability index for various fishes are necessary. In general, fish habitat is affected by the physical factor of the flow depth and velocity as well as the chemical and biological factors of nutrient and attached algae. Thus, the condition of the fish habitat is expected to be changed with each watershed and tributary. In this study, the habitat suitability indices for fishes were proposed by using the field monitoring data in the rivers of the Han and Geum river watersheds. The proposed indices for three fishes are compared: Zacco platypus, Zacco temminckii, and Coreoleuciscus splendidus. The results show that Zacco platypus has a similar distribution of habitat suitability index in two watersheds. Zacco temminckii and Coreoleuciscus splendidus, however, have different distributions with watersheds. Also, for Zacco platypus, the developed indices at three tributaries of the Han river are compared: Cheng-mi stream, Dal stream, and Hong-cheon stream. The comparision shows that the index in the Cheng-mi stream is different with those in the other rivers. This is expected to be because of a high nutrient concentration at the Cheong-mi stream.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2009.05a
• /
• pp.260-266
• /
• 2009

Non-revenue water reduction(NRW) technologies are implemented to evaluate and manage leakages scientifically in water distribution systems under local governments. A development of quantitative leakage indicator by measuring minimum night flow, pressure control policy by installation of PRV(pressure reducing valve) and the establishment of leakage prevention schemes by residual life modeling of deteriorated water pipes are reviewed and studied. Estimation models of allowable leakage are developed by measuring and analyzing minimum night flow at residential and commercial area in Nonsan city, which is suggested from UK water industry and can improve an existing leakage indicator for the evaluation of non-revenue water. Also, pressure control method is applied and analyzed to Uti distribution area in Sacheon city in the operation aspect. As results, $466\;m^3/day$ of leakage can be reduced and it is expected that 113million won of annual cost can be saved. In the part of corrosion velocity and residual life assessment, non-linear prediction models of residual thickness are proposed by assessment of corrosion velocity based on exposure years, soil and water quality etc., since the deteriorated water pipe play a major role to increase leakage. It is expected that collection data and analyzing results can be applied effectively and positively to reduce non-revenue water by accumulating surveying data and verifying the results in the business field of water distribution systems under local governments.

• Journal of Advanced Marine Engineering and Technology
• /
• v.39 no.3
• /
• pp.248-254
• /
• 2015

There has been no previous study on technology development of large capacity drainage pump for rescue sinking ship in the country. The agricultural drainage pump was widely used for rescue sinking ship but this pump has several problems such as efficiency, low displacement and malfunction in winter. Therefore, this paper proposes to solve the problems for swiftly rescue sinking ship and develops the drainage pump system that has $20m^3/min$ mass flow rate specification at suction head 8 m. The centrifugal pump type the most commonly used in the field of naval architecture and ocean engineering was selected and designed based on the requirement specification. The blade design of impeller was derived from the Stepanoff coefficient and requirement specification and used computational fluid dynamics to review the target mass flow rate according to the impeller RPM at design operating conditions. We also performed structure analysis of the impeller to find structurally vulnerable points for the pump in service and completed the theoretical design of drainage pump system.

• Journal of The Korean Association For Science Education
• /
• v.32 no.5
• /
• pp.1007-1026
• /
• 2012

The purpose of this study was to develop analytic framework for dialogic argumentation to show the context and flow visualizing interactions of argumentation, to be able to present quality of argumentation specifically. For this, we formulated a method of the argumentation diagram using feature of diagram simple and structurally visualizing interrelation between argument components, and then quantified quality of argumentation to argument level score on this basis. We have developed the learning material for argumentation about a vertical circular motion and used the obtained translations from applying it in developing the framework. We chose argument statements among full transcript and then coded as Toulmin's argument components, and these codes was effectively arranged and linked to show argumentation diagram. Results by argumentation diagram could be useful understanding of interactive argumentation context and the flow and present frequency, the combination of argument elements, rough qualitative level of argumentation. To quantify argumentation quality, we gave different scores to different link lines reflecting indication of argumentation quality like that diversity of argument component, justification, presence or absence of rebuttals. The process of identification of argument level is very simple, qualitative level of argumentation represented as concrete score could present various and concrete argument level. Developed analytic framework might contribute to argumentation research field, because it can present effectively dialogic argumentation result. Also, various analysis cases might guide designing an effective argumentation practice and circular motion learning.

• Tuberculosis and Respiratory Diseases
• /
• v.41 no.4
• /
• pp.363-371
• /
• 1994

Background: DNA content analysis of human solid tumor is now widely performed by flow cytometric study. One of the most interesting and potentially important observation in this field is that proliferative activity(S-Phase fraction of cell cycle) may profoundly affect the prognosis. Method: S-Phase fraction(SPF) have been measured by flow cytometric method using tumor cells isolated from paraffin embedded tissue. To evaluate the prognostic significance, SPF of small lung cancer cell was assessed in 42 patients who died after receiving anticancer chemotherapy. Results: 1) Mean survival time of patients with small cell lung cancer was 190(${\pm}156$) days. Survival time were shortened, when TNM stage and PS scale were advanced. 2) Mean value of SPF of patients with small cell lung cancer was 27.4(${\pm}8.5$)%. SPF had nothing to do with advance of TNM stage and PS scale. 3) In each identical TNM stage, there were not statistic significance between SPF and survival times. 4) There was a tendency like that higher SPF, better chemotherapeutic response. Conclusion: We could not find statistic significance between SPF and survival times, but SPF was a good predictive factor for chemotherapeutic response.

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.9 no.6
• /
• pp.94-104
• /
• 2010

The capacity of highway is restricted and traffic congestion is caused by increasing traffic demand. Also, greenhouse gases are increased by traffic congestion. CDM (Clean Development Mechanism) is an idea of interest to reduce greenhouse gases. However, CDM's cases applied in traffic field are rare. Thus, it is necessary that methodology to reduce greenhouse gas should be developed and applied to CDM. A methodology for identifying greenhouse gas emissions was developed in this paper. This methodology was developed on the basis of baseline methodology registered at UN. Travel time and speed in the conventional traffic condition and in the automated traffic condition are compared by BPR function. The calculated speed applied to emission factor equation and then $CO_2$ emissions was calculated. A simulation was executed to evaluate the validity of the developed methodology. In the result, advanced vehicle's $CO_2$ emissions are more than conventional vehicle's $CO_2$ emissions in the stable flow condition. However, advanced vehicle's $CO_2$ emissions are less than conventional vehicle's $CO_2$ emissions in the unstable flow condition. It is assure that capacity of highway is enhanced and efficiency of highway is improved by adopting advanced safety vehicle in the smart road.