• Geomechanics and Engineering
• /
• v.4 no.4
• /
• pp.229-241
• /
• 2012

In this paper, utilizing void ratio-effective stress and void ratio-permeability relationships, a system of two nonlinear partial differential equations is derived to predict the consolidation characteristics of normally consolidated (NC) and overconsolidated (OC) soft clays subjected to cyclic loading. A developed feature of the coefficient of consolidation containing two key parameters is emerged from the differential equations. Effect of these parameters on the consolidation characteristics of soft clays is analytically discussed. It is shown that the ratios between the slopes of e-$log{\sigma}^{\prime}$ and e-log k lines in the NC and OC states play a major role in the consolidation process. In the companion paper, the critical assumptions made in the analytical discussion are experimentally verified and a numerical study is carried out in order to examine the proposed theory.

• Steel and Composite Structures
• /
• v.26 no.6
• /
• pp.733-743
• /
• 2018

This paper presents post-buckling responses of a simply supported laminated composite beam subjected to a non-follower axially compression loads. In the nonlinear kinematic model of the laminated beam, total Lagrangian approach is used in conjunction with the Timoshenko beam theory. In the solution of the nonlinear problem, incremental displacement-based finite element method is used with Newton-Raphson iteration method. There is no restriction on the magnitudes of deflections and rotations in contradistinction to von-Karman strain displacement relations of the beam. The distinctive feature of this study is post-buckling analysis of Timoshenko Laminated beams full geometric non-linearity and by using finite element method. The effects of the fibber orientation angles and the stacking sequence of laminates on the post-buckling deflections, configurations and stresses of the composite laminated beam are illustrated and discussed in the numerical results. Numerical results show that the above-mentioned effects play a very important role on the post-buckling responses of the laminated composite beams.

• The Journal of the Acoustical Society of Korea
• /
• v.27 no.3E
• /
• pp.104-111
• /
• 2008

Recently, a method for robust time reversal focusing has been introduced to extend the period of stable focusing in time-dependent ocean environments [S. Kim et al., J. Acoust. Soc. Am. 114, 145-157, (2003)]. In this study, concept of focal-size broadening based on waveguide invariant theory in an ocean time reversal acoustics is described. It is achieved by imposing the multiple location constraints. The signal vector used in multiple location constraints are found from the theory on waveguide invariant for frequency band corresponding the extended focal range. The broadening of foci in an ocean waveguide can play an important role in the application of time reversal processing, particularly to the underwater acoustic communication with moving vehicles. The proposed method is demonstrated in the context of the underwater acoustic communication from the transmit/receive array (TRA) to a slowly moving vehicle.

• Knowledge Management Research
• /
• v.21 no.2
• /
• pp.101-118
• /
• 2020

The usage of emoticons used in the online environment continues to increase, and also the market for emoticons is growing rapidly. Emoticons go beyond simply conveying the meaning of a message and play various roles such as smooth communication, pursuit of fun, and intimacy. In this study, we first identify the factors that motivate users to use emoticons in an online messenger service, and then determine whether the derived factors have a significant effect on emoticon usage. Furthermore, based on Regulatory Focus Theory, we will distinguish between the group of promotion focus and the group of prevention focus to see how the influence of motives on emoticon usage differs.

• Journal of the Korean Mathematical Society
• /
• v.54 no.5
• /
• pp.1521-1536
• /
• 2017

This paper introduces a representation style of variable binding using dependent types when formalizing meta-theoretic properties. The style we present is a variation of the Coquand-McKinna-Pollack's locally-named representation. The main characteristic is the use of dependent families in defining expressions such as terms and formulas. In this manner, we can handle many syntactic elements, among which wellformedness, provability, soundness, and completeness are critical, in a compact manner. Another point of our paper is to investigate the roles of free variables and constants. Our idea is that fresh constants can entirely play the role of free variables in formalizing meta-theories of first-order predicate logic. In order to show the feasibility of our idea, we formalized the soundness and completeness of LJT with respect to Kripke semantics using the proof assistant Coq, where LJT is the intuitionistic first-order predicate calculus. The proof assistant Coq supports all the functionalities we need: intentional type theory, dependent types, inductive families, and simultaneous substitution.

• Proceedings of the KIEE Conference
• /
• 1987.11a
• /
• pp.286-289
• /
• 1987

The measurements of prebreakdown currents and breakdown voltages have been made for smooth rough, protrusion plane parallel stainless steel electrodes in vacuum ($10^{-5}$ torr), as a function of electrode separation, in the range $0.4{\sim}2.4mm$ using DC source($0{\sim}200KV$). Thee prebreakdwon currents of a each condition are found to be consistent with the Fouler-Nondheim field emission theory. The effect of the electrode surface condition on the local field enhancement factors, prebreakdown currents, and on the breakdown voltages are shown. The breakdown mechanism of a small vacuum gap was ascertained as the field emission corresponding the F-N theory. Therefore, these results suggest that the field emission currents following the electrode surface condition play a major role for initiation of DC breakdown.

• English Language & Literature Teaching
• /
• v.18 no.3
• /
• pp.121-134
• /
• 2012

The purpose of this study is to investigate the optimal conditions for designing tasks appropriate to the elementary classroom based on the correspondence with the national curriculum, integration among four skills (listening, speaking, reading, and writing), authenticity, and interactivity. For this study, two primary English teachers volunteered to participate in the case study conducted in the spring semester of the 2012 school year. Each class observed was composed of 29 and 30 sixth graders (12-year-old learners). Data were collected through classroom observation and lesson plans. Optimality theory was used to analyze data from the lessons. From the findings, the overall ranking of constraints is Curriculum ${\gg}$ Integration ${\gg}$ Authenticity ${\gg}$ Interactivity. It is also shown that for teacher 'L', the tasks such as 'guessing game', 'photo of me', and 'role play' were appropriate to help students ask questions and give reasons for their choices. As for teacher 'C', the tasks such as 'hand spans', 'transport survey', and 'picture telling' needed to be considered in order to help students understand and write comparative sentences.

• Journal of Information Technology Applications and Management
• /
• v.13 no.2
• /
• pp.67-86
• /
• 2006

Based on literature relating to the TAM (technology acceptance model) and TPB (theory of planned behavior), this study extends the TAM in a mobile banking context. The extended model was tested using LISREL analysis on the sample of 222 users who have experience with the banking service. The model was partially supported in a mobile banking context, accounting for 49% of the variance in the usage intention. The results showed that the perceived usefulness, the perceived credibility, and the perceived financial cost play a significant role in influencing the usage intention of the mobile banking service. In addition, instant connectivity and perceived credibility were found to influence the perceived usefulness, and self-efficacy and instant connectivity were found to influence the perceived ease of use. Implications of these findings are discussed for researchers and practitioners.

• Bulletin of the Korean Chemical Society
• /
• v.16 no.10
• /
• pp.957-968
• /
• 1995

Generalized Multichannel Quantum Defect theory (MQDT) was implemented to the vibrational predissociation of triatomic van der Waals molecules in the previous paper [Bull. Korean Chem. Soc, 12, 228 (1991)]. Implementation was limited to the calculation of the scattering matrix. It is now extended to the calculation of the predissociation spectra and the final rotational distribution of the photofragment. The comparison of the results with those obtained by other methods, such as Golden-rule type calculation, infinite order sudden approximation (IOS), and close-coupling method, shows that the implementation is successful despite the fact that transition dipole moments show more energy dependence than other quantum defect parameters. Examination of the short-range channel basis functions shows that they resemble angle-like functions and provide the validity of the IOS approximation. Besides the validity of the latter, only a few angles are found to play the major role in photodissociation. In addition to the implementation of MQDT, more progress in MQDT itself is made and reported here.

• Journal of the Korean Chemical Society
• /
• v.65 no.3
• /
• pp.185-196
• /
• 2021

For studying the reaction mechanism of the reactions related to NO in the ozone denitration reactions, the harmonic and anharmonic rate constants were calculated by the transition state (TS) theory and Yao and Lin (YL) method. According to above calculations, the reactions of NO with O₃ and NO₃ play an essential role, and the kinetic parameters considering anharmonic effect were fitted. Furthermore, the rate constants were up as temperature increasing, and the tendencies of high temperature were more gradual than the low temperature. The research will provide theoretical basis for the ozone denitration reactions.