• The KIPS Transactions:PartB
• /
• v.11B no.1
• /
• pp.99-106
• /
• 2004

The syllable restoration is a process restoring a phonetic value recognized in a speech recognition device with the notation form that a vocalization is former. In this paper a syllable restoration rule was composed of a based on standard pronunciation for a syllable restoration process. A syllable restoring regulation was used, and a generation method of a notation candidate set was researched. Also, A study is held to reduce the number of created notation candidate. Three phases of reduction processes were suggested. Reduction of a notation candidate has the non-notation syllable, non-vocabulary syllable and non-stem syllable. As a result of experiment, an average of 74％ notation candidate decrease rates were shown.

• Smart Structures and Systems
• /
• v.25 no.5
• /
• pp.543-557
• /
• 2020

This paper presents a series of experimental and numerical investigations on a vertical isolation system with quasi-zero stiffness (QZS) property. The isolation system comprises a linear helical spring and disk spring. The disk spring is designed to provide variable stiffness to the system. Orthogonal static tests with different design parameters are conducted to verify the mathematical and mechanical models of the isolation system. The deviations between theoretical and test results influenced by the design parameters are summarized. Then, the dynamic tests for the systems with different under-load degrees are performed, including the fast sweeping tests, harmonic excitation tests, and half-sine impact tests. The displacement transmissibility, vibration reduction rate, and free vibration response are calculated. Based on the test results, the variation of the transmission rule is evaluated and the damping magnitudes and types are identified. In addition, the relevant numerical time history responses are calculated considering the nonlinear behavior of the system. The results indicate that the QZS isolation system has a satisfactory isolation effect, while a higher damping level can potentially promote the isolation performance in the low-frequency range. It is also proved that the numerical calculation method accurately predicts the transmission character of the isolation system.

• Journal of the Korean Geotechnical Society
• /
• v.19 no.4
• /
• pp.65-74
• /
• 2003

This paper presents the results of a comparative study between FEM and LEM on slope stability analysis. For validation, factors of safety were compared between FEM and LEM. The results from the two methods were in good agreement. This suggests that the FEM with the shear strength reduction method can be effectively used on slope stability analyses. A series of analyses were then performed using the FEM for various constitutive laws, slope angles, flow rules, and the finite element discretizations. Among the findings, the finite element method in conjunction with the shear strength reduction method can provide reasonable results in terms of safety. Also revealed is that the results of FEM can be significantly affected by the way in which the type of constitutive law and flow nile we selected.

• Journal of Broadcast Engineering
• /
• v.11 no.3 s.32
• /
• pp.326-335
• /
• 2006

Design criteria far a block code which guarantees minimized PAPR of the OFDM signals are proposed in this paper. Encoding procedure of the minimum PAPR codes (MPC) is composed of searching a seed codeword, circular shifting the register elements, and determining codeword inversion. It is shown that the PEP is invariant to the circular shift of register elements and codeword inversion. Based on such properties, systematic encoding rule for MPC is proposed. In addition proposed encoding rule can reduced greatly the size of look up table for MPC.

• Journal of Welding and Joining
• /
• v.14 no.1
• /
• pp.57-67
• /
• 1996

With an expansion in automation of welding processes, emphasis has been shifted from other welding processes to the GMA welding. However, there is a problem with this process that the spatter occurs very frequently. In GMA welding, there are several types in the way of metal transfer from the electrode wire to the weld pool, which have a close relatonship with the spatter genetration. This study was concerned with the spatter occurring in the short-circuiting transfer. In welding with short-circuiting, the electromagnetic force formed by the welding current facilitatics the rupture of the metal bridge between the wire and workpiece and ensures the normal process of the welding process. However, the spatter can be genetrated from the droplet because of the upward magnetic force, when the droplet contacts with the weld pool. The passage of current through the bridge results in the accumulation of the thermal energy, which causes the bridge to explode in the final stage of short-circuiting, thus forming the spatter. Based on the above phenomena in conjunction with other experimental results published, the physical phenomenon related with the occurrence of spatter was modeled and the current waveform was investigated to reduce the spatter. Finally, the fuzzy rule based method was proposed to predict the time of short-circuiting and arcing in the metal transfer.

• Journal for History of Mathematics
• /
• v.23 no.3
• /
• pp.45-56
• /
• 2010

Sequent Calculus is a symmetrical version of the Natural Deduction which Gentzen restructured in 1934, where he presents 'Hauptsatz'. In this thesis, we will examine why the Cut-Elimination Theorem has such an important status in Proof Theory despite of the efficiency of the Cut Rule. Subsequently, the dynamic side of Curry-Howard correspondence which interprets the system of Natural Deduction as 'Simply typed $\lambda$-calculus', so to speak the correspondence of Cut-Elimination and $\beta$-reduction in $\lambda$-calculus, will also be studied. The importance of this correspondence lies in matching the world of program and the world of mathematical proof. Also it guarantees the accuracy of program.

• Steel and Composite Structures
• /
• v.28 no.5
• /
• pp.541-557
• /
• 2018

This paper presents the influence of carbon nanotubes (CNTs) waviness and aspect ratio on the vibrational behavior of functionally graded nanocomposite sandwich annular sector plates resting on two-parameter elastic foundations. The carbon nanotube-reinforced (CNTR) sandwich plate has smooth variation of CNT fraction along the thickness direction. The distributions of CNTs are considered functionally graded (FG) or uniform along the thickness and their mechanical properties are estimated by an extended rule of mixture. In this study, the classical theory concerning the mechanical efficiency of a matrix embedding finite length fibers has been modified by introducing the tube-to-tube random contact, which explicitly accounts for the progressive reduction of the tubes' effective aspect ratio as the filler content increases. Effects of CNT distribution, volume fraction, aspect ratio and waviness, and also effects of Pasternak's elastic foundation coefficients, sandwich plate thickness, face sheets thickness and plate aspect ratio are investigated on the free vibration of the sandwich plates with wavy CNT-reinforced face sheets. The study is carried out based on three-dimensional theory of elasticity and in contrary to two-dimensional theories, such as classical, the first- and the higher-order shear deformation plate theories, this approach does not neglect transverse normal deformations. The sandwich annular sector plate is assumed to be simply supported in the radial edges while any arbitrary boundary conditions are applied to the other two circular edges including simply supported, clamped and free.

• Macromolecular Research
• /
• v.14 no.2
• /
• pp.194-198
• /
• 2006

Polystyrene, PS, particles of 450 nm diameter and poly(styrene-co-styrene sulfonate), PSS, particles of 140-160 nm diameter were prepared by emulsifier-free emulsion polymerization. The surfaces of the PS and PSS particles were coated with Ag nanoparticles for the application of antimicrobial agents by reduction of Ag ions using ${\gamma}$-irradiation. The Ag-PS and Ag-PSS were characterized by High-Resolution Transmittance Electron Microscopy (HR-TEM), Field-Emission Scanning Electron Microscopy (FE-SEM), and Energy Dispersive X-ray Spectroscopy (EDXS). The HR-TEM and EDXS data showed that the Ag nanoparticles were loaded on the surface of the PS and PSS particles, respectively. The antimicrobial efficiency of the Ag-PS and Ag-PSS particles (0.4 g) with ca. 100 ppm Ag, which was coated onto yam (KS K 0905-1996 rule), was tested against Staphylococcus aureus ATCC 6538 and Klebsiella pneumoniae ATCC 4352 after 100 washing cycles (KS K 0432-1999 rule). The antimicrobial efficiency of the Ag-PS particles against Staphylococcus aureus ATCC 6538 and Klebsiella pneumoniae ATCC 4352 was 99.9% after 100 cycles washing., confirming that the Ag-PS particles can be used as antimicrobial agents.

• The Journal of the Acoustical Society of Korea
• /
• v.11 no.4
• /
• pp.14-21
• /
• 1992

The waveform coding is concerned with simply preserving the wave shape of speech signal through a redundancy reduction process. In area of the speech synthesis, the waveform codings with high quality are mainly used to the synthesis by analysis. However, because the parameters of this coding are not classified as either excitation parameters and vocal tract parameters, it is difficult to applying the waveform coding to the synthesis by rule. In this paper, we proposed a new pitch alternation method that can change the pitch periods in the waveform coding by using the cepstrum analysis. Thus, it is possible that the waveform coding is carried out the synthesis by rule in speech processing.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2001.05a
• /
• pp.638-642
• /
• 2001

In this paper we propose a noise reduction algorithm which based on cellular automata with the local median rule. It is supposed that there is no information about the features of the image that must be improved. The proposed method behavior is to locally increase or decrease the gray level differences of the image without loss of the main characteristics of the image. The dynamical behavior of these automata is completely determined by Lyapunov operators for sequential and parallel update. We have found that the automata present very fast convergence to fixed points, stability in front of random noisy images. Based on the experimental results we discuss the advantage and efficiency.