• Journal of the Korean Society of Safety
• /
• v.18 no.2
• /
• pp.132-138
• /
• 2003

The use of long rails in high-speed railway bridges causes additional stresses due to nonlinear behaviours between the rail and bridge decks in the neighbourhood of the deck joints. In the seismic response analysis of high-speed railway bridges, since structural response is highly sensitive to properties of the ground motion, spatial variation of the ground excitation affects responses of the bridges, which in turn affect stresses in the rails. In addition, it is shown that high-speed trains need very long distances to stop when braking under seismic occurrence corresponding to operational earthquake performance level so that verification of the safe stoppage of the train is also required. In view of such additional stresses due to long rails, sensibility of structural response to the properties of the ground motion and braking distance needed by the train to stop safely, this paper proposes and establishes a time domain nonlinear dynamic analysis method that accounts for braking loads, spatial variation of the ground motion and material nonlinearities of rails to analyze long rail stresses in high-speed railway bridges subjected to seismic event. The accuracy of the proposed method is demonstrated through an application on a typical site of the Korean high-speed railway.

• Journal of Intelligence and Information Systems
• /
• v.15 no.2
• /
• pp.33-48
• /
• 2009

Capsule endoscopy is one of the most remarkable inventions in last ten years. Causing less pain for patients, diagnosis for entire digestive system has been considered as a most convenience method over a normal endoscope. However, it is known that the diagnosis process typically requires very long inspection time for clinical experts because of considerably many duplicate images of same areas in human digestive system due to uncontrollable movement of a capsule endoscope. In this paper, we propose a method for clinical diagnosticians to get highly valuable information from capsule-endoscopy video. Our software system consists of three global maps, such as movement map, characteristic map, and brightness map, in temporal domain for entire sequence of the input video. The movement map can be used for effectively removing duplicated adjacent images. The characteristic and brightness maps provide frame content analyses that can be quickly used for segmenting regions or locating some features(such as blood) in the stream. Our experiments show the results of four patients having different health conditions. The result maps clearly capture the movements and characteristics from the image frames. Our method may help the diagnosticians quickly search the locations of lesion, bleeding, or some other interesting areas.

• Journal of Information Technology and Architecture
• /
• v.10 no.4
• /
• pp.435-449
• /
• 2013

The performance of Enterprise Architecture (EA) in the Korea's public IT domain produces mixed results and responses. On the one hand, EA earns positive remarks and enthusiasm as a central government-wide IT governance framework with its significant IT budget saving records. At the same time, however, the response to EA at the department and agency level is tainted with disappointment, fatigue, and reluctance. This essay suggests that this is perhaps caused by the sterile lackluster concept of EA Business Architecture employed in the current EA practice of the enterprise. The possibility for liberating and reviving the concept of EA Business Architecture is explored. Various conceptual axes and branches of EA Business Architecture are identified based upon extensive EA field experience and observations, and discussions are made on how the concept of EA Business Architecture can be expanded and amplified on those conceptual axes and branched. The resulting EA Business Architecture conceptualization is consolidated into an illustrative typology for EA Business Architecture. In the end the theoretical and practical implications of the research are discussed along with its contribution and limitation.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.13 no.12
• /
• pp.2511-2517
• /
• 2009

Recently, a FMCW radar is used for the various purposes in the short range detection and tracking of targets. The main advantages of a FMCWradar are the comparative simplicity of implementation and the low peak power transmission characterizing the very low probability of signal interception. Since it uses the frequency modulated continuous wave for transmission and demodulation, the received beat frequency represents the range and Doppler information of targets. Detection and extraction of useful information from targets are performed in this beat frequency domain. Therefore, the resolution and accuracy in the estimation of a beat spectrum are very important. However, using the conventional FFT estimation method, the high resolution spectrum estimation with a low sidelobe level is not possible if the acquisition time is very short in receiving target echoes. This kind of problems deteriorates the detection performance of adjacent targets having the large magnitude differences in return echoes and also degrades the reliability of the extracted information. Therefore, in this paper, the model parameter estimation methods such as autoregressive and eigenvector spectrum estimation are applied to mitigate these problems. Also, simulation results are compared and analyzed for further improvement.

• The KIPS Transactions:PartA
• /
• v.18A no.5
• /
• pp.193-204
• /
• 2011

Since web applications are accessed by anonymous users via web, more security risks are imposed on those applications. In particular, because security vulnerabilities caused by insecure source codes cannot be properly handled by the system-level security system such as the intrusion detection system, it is necessary to eliminate such problems in advance. In this paper, to enhance the security of web applications, we develop a static analyzer for detecting the well-known security vulnerability of PHP file inclusion vulnerability. Using a semantic based static analysis, our vulnerability analyzer guarantees the soundness of the vulnerability detection and imposes no runtime overhead, differently from the other approaches such as the penetration test method and the application firewall method. For this end, our analyzer adopts abstract interpretation framework and uses an abstract analysis domain designed for the detection of the target vulnerability in PHP programs. Thus, our analyzer can efficiently analyze complicated data-flow relations in PHP programs caused by extensive usage of string data. The analysis results can be browsed using a JAVA GUI tool and the memory states and variable values at vulnerable program points can also be checked. To show the correctness and practicability of our analyzer, we analyzed the source codes of open PHP applications using the analyzer. Our experimental results show that our analyzer has practical performance in analysis capability and execution time.

• The KIPS Transactions:PartB
• /
• v.18B no.1
• /
• pp.29-38
• /
• 2011

In order to derive domain-independent heuristics from the specification of a planning problem, it is required to relax the given problem and then solve the relaxed one. In this paper, we present a new planning graph, Merged Planning Graph(MPG), and GD heuristics for solving contingent planning problems with both uncertainty about the initial state and non-deterministic action effects. The merged planning graph is an extended one to be applied to the contingent planning problems from the relaxed planning graph, which is a common means to get effective heuristics for solving the classical planning problems. In order to get heuristics for solving the contingent planning problems with sensing actions and non-deterministic actions, the new graph utilizes additionally the effect-merge relaxations of these actions as well as the traditional delete relaxations. Proceeding parallel to the forward expansion of the merged planning graph, the computation of GD heuristic excludes the unnecessary redundant cost from estimating the minimal reachability cost to achieve the overall set of goals by analyzing interdependencies among goals or subgoals. Therefore, GD heuristics have the advantage that they usually require less computation time than the overlap heuristics, but are more informative than the max and the additive heuristics. In this paper, we explain the experimental analysis to show the accuracy and the search efficiency of the GD heuristics.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2005.10a
• /
• pp.153-159
• /
• 2005

Recently, various novel numerical models based on Navier-Stokes equation rave been developed for calculating wave motions in the sea with coastal or ocean structures. Among those models, Volume Of Fluid (VOF) method might be the most popular one, and it has been used for numerical simulations of wave motions including complicated phenomena of wave breakings. VOF method, however, needs enormous computation time and large computational storage memories in general, thus it is practically difficult to use VOF method for calculations in the case of random waves because long and stable computation ( e.g. for more than 100 significant wave periods) is required to obtain statistically meaningful results. On the other hand of the wave motion is potential motion, Boundary Element Method (BEM), which is a much faster and more accurate method than VOF method, am be effectively used. The aim of this study is to develop a new efficient model applicable to calculations of wave motion and/or wave-structure interactions under random waves. To achieve this, a strictly combined BEM-VOF model has been developed by making the best use of both methods' merits; VOF method is used in a restricted fluid domain around a structure where complicated phenomena of wave breakings may exist, and BEM is used in the other domains far from the disturbance where the wave motion may be assumed to be potential. The verification of the model was performed with numerical results for Stokes'5th order wave propagation and a random wave propagation.

• Journal of Embryo Transfer
• /
• v.29 no.3
• /
• pp.249-255
• /
• 2014

Programmed cell death or apoptosis is associated with changes in $K^+$ concentration in many cell types. Recent studies have demonstrated that two-pore domain $K^+$ ($K_{2P}$) channels are involved in mouse embryonic development and apoptotic volume decrease of mammalian cells. In cerebellar granule neurons that normally undergo apoptosis during the early developmental stage, TASK-1 and TASK-3, members of $K_{2P}$ channels, were found to be critical for cell death. This study was performed to identify the role of $K^+$ channels in the $H_2O_2$-induced or cryo-induced cell death of mouse and bovine embryos. Mouse and bovine two-cell stage embryos (2-cells) exposed to $H_2O_2$ for 4 h suffered from apoptosis. The 2-cells showed positive TUNEL staining. Treatment with high concentration of KCl (25mM) inhibited $H_2O_2$-induced apoptosis of 2-cells by 19%. Cryo-induced death in bovine blastocysts showed positive TUNEL staining only in the cells near the plasma membrane. Cryoprotectant supplemented with 25 mM KCl reduced apoptosis slightly compared to cryoprotectant supplemented with 5 mM KCl. However, the combination of antioxidants (${\beta}$-mercaptoethanol) with 25 mM KCl significantly decreased the rate of $H_2O_2$-induced and cryo-induced apoptosis compared to treatments with only antioxidants or 25 mM KCl. These results show that blockage of $K^+$ channel efflux for a short-time reduces $H_2O_2$- and cryo-induced apoptosis in mouse and bovine embryos. Our findings suggest that apoptosis in mouse and bovine embryos might be controlled by modulation of $K^+$ channels which are highly expressed in a given cell type.

• Journal of the Korean Institute of Landscape Architecture
• /
• v.34 no.1 s.114
• /
• pp.21-36
• /
• 2006

This study was undertaken to analyze the effects of pavement thermal properties and water retention characteristics on the surface temperature of the gray permeable cement concrete pavement during the summer. Following is a summary of major results. 1) The hourly surface temperature of pavement could be well predicted with a heat transfer model program that incorporated the input data of major meteorological variables including solar radiation, atmospheric temperature, dew point, wind velocity, cloudiness and the evaporation rate of the pavements predicted by the time domain reflectometry (TDR) method. 2) When the albedo was changed to 0.5 from an arbitrary starting condition of 0.3, holding other variables constant, the peak surface temperature of the pavement dropped by 11.5%. When heat capacity was changed to $2.5\;kJm^{-3}K^{-1}\;from\;1.5\;kJm^{-3}K^{-1}$, surface temperature dropped by 8.0%. When daily evaporation was changed to 1 mm from 2 mm, temperature dropped by 5.7%. When heat conductivity was changed to $2.5\;Wm^{-1}K^{-1}\;from\;1.5\;Wm^{-1}K^{-1}$, the peak surface temperature of the pavement fell by 1.2%. The peak pavement surface temperature under the arbitrary basic condition was $24.46^{\circ}C$ (12 a.m.). 3) It accordingly became evident that the pavement surface temperature can be most effectively lowered by using materials with a high albedo, a high heat capacity or a high evaporation at the pavement surface. The glare situation, however, is intensified by raising of the albedo, moreover if reflected light is absorbed into surrounding physical masses, it is changed into heat. It accordingly became evident that raising the heat capacity and the evaporative capacity may be the moot acceptable measures to improve the thermal characteristics of the pavement. 4) The sensitivity of the surface temperature to major meteorological variables was as follows. When the daily average temperature changed to $0^{\circ}C\;from\;15^{\circ}C$, holding all other variables constant, the peak surface temperature of the pavement decreased by 56.1 %. When the global solar radiation changed to $200\;Wm^{-2}\;from\;600\;Wm^{-2}$, the temperature of the pavement decreased by 23.4%. When the wind velocity changed to $8\;ms^{-1}\;from\;4\;ms^{-1}$, the temperature decreased by 1.4%. When the cloudiness level changed to 1.0 from 0.5, the peak surface temperature decreased by 0.7%. The peak pavement surface temperature under the arbitrary basic conditions was $24.46^{\circ}C$ (12 a.m.)

• Journal of KIISE
• /
• v.42 no.1
• /
• pp.97-106
• /
• 2015

Recently, research on database encryption for data protection and query result authentication methods has been performed more actively in the database outsourcing environment. Existing database encryption schemes are vulnerable to order matching and counting attack of intruders who have background knowledge of the original database domain. Existing query result integrity auditing methods suffer from the transmission overhead of verification object. To resolve these problems, we propose a group-order preserving encryption index and a query result authentication method based on the encryption index. Our group-order preserving encryption index groups the original data for data encryption and support query processing without data decryption. We generate group ids by using the Hilbert-curve so that we can protect the group information while processing a query. Finally, our periodic function based data grouping and query result authentication scheme can reduce the data size of the query result verification. Through performance evaluation, we show that our method achieves better performance than an existing bucket-based verification scheme, it is 1.6 times faster in terms of query processing time and produces verification data that is 20 times smaller.