• Journal of the Korean Institute of Gas
• /
• v.19 no.4
• /
• pp.35-40
• /
• 2015

Heat exchanger tube array in a heat recovery steam generator is exposed to the hot exhaust gas flow and it could cause the flow induced vibration, which could damage the heat exchanger tube array. It is needed for the structural safe operation of the heat exchanger to establish the characteristics of flow induced vibration in the tube array. The researches for the flow induced vibration of typical heat exchangers have been conducted and the nondimensional PSD(Power Spectral Density) function with the Strouhal number, fD/U, had been derived by experimental method. The present study examined the results of the previous experimental researches for the nondimensional PSD characteristics by CFD analysis and the basis for the application of flow induced vibration to the heat recovery steam generator tube array would be prepared from the present CFD analysis. For the previous mentioned purpose, the present CFD analysis introduced a single circular cylinder and calculated with the unsteady laminar flow over the cylinder. The characteristics of vortex shedding and lift and drag fluctuation over the cylinder was investigated. The derived nondimensional PSD was compared with the results of the previous experimental researches and the characteristics of lift and drag PSD over a single circular cylinder was established from the present CFD study.

• Journal of KIISE:Computer Systems and Theory
• /
• v.31 no.8
• /
• pp.465-472
• /
• 2004

Proxy signatures is a signature scheme that an original signer delegates one's signature capability to a proxy signer, and then the proxy signer creates a signature on behalf of the original signer. Delegation of authority is a common practice in the real world, in particular, it happens naturally in hierarchical groups such as company, bank and army, etc. In this paper, we propose a new dynamic multi-proxy signature scheme allowing repetitive delegations in a hierarchical group. We adopt multi-proxy signatures to enhance the security of proxy signature. In multi-proxy signatures, plural proxy signers can generate a valid proxy signature collectively on behalf of one original signer. In our scheme, the proxy group is not fixed but constructed dynamically according to some situations. Delegations are processed from higher level to lower level in the hierarchy using delegation tickets. When the original signer wants to delegate one's signature authority, the original signer generates a delegation ticket based on secret sharing and Diffie-Hellman problems. The delegation ticket is shared among proxy signers and then all the proxy signers can generate a valid proxy signature collectively by reconstructing the original signer's delegation ticket. If a certain proxy signer can not attend the proxy signature generating protocol, the proxy signer can also delegate repetitively his partial signature authority to the lower level participants, and then the proxies are constructed dynamically.

• The KIPS Transactions:PartD
• /
• v.11D no.6
• /
• pp.1295-1300
• /
• 2004

Although model checking has gained its popularity as one of the most effective approaches to the formal verification, it has to deal with the state explosion problem to be widely used in industry. In order to mitigate the problem, this paper proposes an ion technique to obtain a reduced model M' from a given original model M. Our technique Identifies the set of necessary variables for model checking and projects the state space onto them. The model M' is smaller in both size and behavior than the original model M, written M'$\leq$M. Since the result of reachability analysis with M' is preserved in M, we can do reachability analysis with model checking using M' instead of M. The abstraction technique is applied to Push Push games, and two model checkers - Cadence SMV and NuSMV - are used to solve the games. As a result, most of unsolved games with the usual model checking are solved with the ion technique. In addition, ion shows that there is much of time and space improvement. With Cadence SMV, there is 87% time improvement and 79% space one. And there is 83% time improvement and 56% space one with NuSMV.

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

• The Journal of Engineering Geology
• /
• v.18 no.4
• /
• pp.381-391
• /
• 2008

The eigenvalue technique is introduced to overcome the problem of truncation errors caused by temporal discretization of numerical analysis. The eigenvalue technique is different from simulation in that only the space is discretized. The spatially discretized equation is diagonized and the linear dynamic system is then decoupled. The time integration can be done independently and continuously for any nodal point at any time. The results of eigenvalue technique are compared with the exact solution and FEM numerical solution. The eigenvalue technique is more efficient than the FEM to the computation time and the computer storage in the same conditions. This technique is applied to the solute transport analysis in nonuniform flow fields around underground storage caverns. This method can be very useful for time consuming simulations. So, a sensitivity analysis is carried out by using this method to analyze the safety of caverns from nearly located contaminant sources. According to the simulations, the reaching time from source to the nearest cavern may takes 50 years with longitudinal dispersivity of 50 m and transversal dispersivity of 5 m, respectively.

• KOREAN JOURNAL OF CROP SCIENCE
• /
• v.58 no.1
• /
• pp.71-77
• /
• 2013

The world demand of renewable bioenergy as an alternative transportation fuel is greatly increasing. Research for bioethanol production is currently being progressed intensively throughout the world. Therefore it will be necessary to develop bioethanol production with cellulosic materials. In this study, the yield of ethanol production was evaluated by simultaneous saccharification and fermentation (SSF) using sodium hydroxide pretreated sorghum ${\times}$ sudangrass hybrids. Composition analysis of 11 varieties of sorghum ${\times}$ sudangrass hybrids was performed for selection of excellent variety to efficiently produce bioethanol. The content of cellulose, hemicellulose, lignin and ash of these varieties were 32~39%, 19~24%, 17~22% and 6~11%, respectively. Among these varieties, 4 varieties of sorghum ${\times}$ sudangrass hybrids were selected for the evaluation of ethanol yield and those were pretreated with 1 M NaOH solution at $150^{\circ}C$ for 30 min using high temperature explosion system. After pretreatment, samples were neutralized with tap water. It contained 52~57% of cellulose. Simultaneous saccharification and fermentation (SSF) was carried out for 48 h at $33^{\circ}C$ by Saccharomyces cerevisiae CHY1011 using Green star variety. The yield of ethanol was 92.4% and the amount of ethanol production was estimated at 6206 L/ha.

• Economic and Environmental Geology
• /
• v.43 no.6
• /
• pp.603-613
• /
• 2010

The Domi Basin in the South Sea of Korea is located between the Jeju Basin and Ulleung Basins, and is characterized by several sediment sags that are interested to have formed by crustal extension. This paper aims to derive an optimized seismic data processing procedure which helps stratigraphic interpretation of the Domi Basin. In particular, our data processing flow incorporated horizon velocity analysis (HVA) and surface-relative wave equation multiple rejection (SRWEMR) to improve the quality of stack section by enhancing the continuity of reflection events and suppressing peg-leg multiples respectively. As a result of processing procedures in this study, unconformities were recognized in the stack section that defines the early and middle Miocene, Eocene-Oligocene sequences. In addition, the overall quality of the stack section was increased as essential data to investigate the evolution of the basin. The suppression of multiple resulted in the identification of the Cretaceous basement. The data processing scheme evaluated through this study is expected to improve the standardization of processing sequences for seismic data from the Domi and adjacent Sora and north-Sora Basins.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.48 no.1
• /
• pp.23-33
• /
• 2020

In this study, the effect of surface roughness distribution and its influence on the inflight icing code was investigated. Previous numerical studies focused on the magnitude of surface roughness, and the effects were only addressed in terms of changes in thermal boundary layers with fully turbulent assumption. In addition, the empirical formula was used to take account the turbulent transition due to surface roughness, which was regarded as reducing the accuracy of ice shape prediction. Therefore, in this study, the turbulent transition model based on the two-equation turbulence model was applied to consider the effects of surface roughness. In order to consider the effect of surface roughness, the transport equation for roughness amplification parameter was applied, and the surface roughness distribution model was implemented to consider the physical properties. For validation, the surface roughness, convective heat transfer coefficient, and ice shape were compared with experimental results and other numerical methodology. As a result, it was confirmed that the excessive prediction of the heat transfer coefficient at the leading edge and the ice horn shape at the bottom of the airfoil were improved accordingly.

• Journal of Biomedical Engineering Research
• /
• v.24 no.4
• /
• pp.355-361
• /
• 2003

In the present study, a new Real Time Subjective Evaluation (RTSSE) system was developed. The system is composed of two parts: a sensibility input part and sensibility evaluation part. The sensibility input part receives values, which are recorded on an input board using a stylus and digital tablet, from each subject's evaluation of his/her own subjective sensibility towards a particular stimulus. The sensibility evaluation part displays the level of pleasantness and arousal on one or two dimensions in real time. An experiment was conducted in order to investigate the feasibility and effectiveness of the RTSSE system. The present study compared Galvanic Skin Response (GSR) with the RTSSE by presenting 28 subjects in their 20s with pictures arousing either positive or negative sensibility. Following the experiment, an off-line subjective assessment using a questionnaire was given to the same subjects. According to the correlation coefficients, changes in subjective sensibility caused by the positive visual stimulus were related more closely to GSR, from the positive visual stimulus, and changes in subjective sensibility caused by the negative visual stimulus were related more closely to GSR from the negative visual stimulus. The questionnaire results showed marked similarity to the average responses of the RTSSE. In conclusion, the most remarkable characteristic of the present system is that it not only assesses the average sensibility when stimuli are presented, but also shows the changing strength of sensibility over time.

• The Korean Journal of Pesticide Science
• /
• v.19 no.1
• /
• pp.47-53
• /
• 2015

Various diseases occur in fruits, leave and roots during strawberry cultivation and cause severe economical damage and huge amount of chemical fungicide use. Recently, as consumers' interest in safety of foods and organic agriculture produces have increased, control measures using alternatives for chemical fungicides have been newly developed in various ways. This study was conducted to test antifungal activity and control effect of sodium dichloroisocyanurate (NaDCC), using as disinfectants, against major disease pathogens of strawberry, Fusarium oxysporum (Fusarium wilt), Colletotrichum gloeosporioides (Anthracnose) and Phytophthora sp. (Phytophthora blight), and Xanthomonas fragariae (bacterial angular leaf spot) and evaluate availability as environment-friendly materials. When NaDCC was treated at the concentration range of 150 to 300 ppm, it suppressed significantly hyphal growth and reduced spore germination by more than 28%. In field condition, NaDCC showed excellent control effect (control value: 50%) against the bacterial angular leaf spot disease. Based on above-described results, we suggested that NaDCC can be used as alternative candidates to chemical pesticide alternatives of for controlling strawberry diseases.