• Geotechnical Engineering
• /
• v.11 no.1
• /
• pp.9-22
• /
• 1995

The purpose of this study is to propose safety factors of pile bearing capacity based on the reliability analysis. Each prediction method involves various degrees of uncertainties. To account for these uncertainties in a systematic way, the ratios of the measured bearing capacity from pile load tests to the predicted bearing capacity are represented in the form of a probability density function. The safety factor for each design method is obtained so that the probability of pile foundation failure is less than 10-3. The Bayesian theorem is applied in a way that the distribution using static formulae is assumed to be the A-prior and the distribution using dynamic formulae or wave equation based methods is assumed to be the likelihood, and these two are combined to obtain the posterior which has the reduced uncertainty. The results of this study show that static formulae of the pile bearing capacity using the 5.p.7. N-value as well as dynamic formulae are highly unreliable and have to have the safety factor more than 7.4 : the wave equation analysis using PDA(Pile Driving Analyzer) system the most reliable with the safety factor close to 2.7. The safety factor could be reduced certain amount by adoption the Bayes methodology in pile design.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.4 no.3
• /
• pp.75-83
• /
• 1984

The probability of failure is used to analyze the reliability of three dimensional slope failure, instead of conventional factor of safety. The strength parameters are assumed to be normal variated and beta variated. These are interval estimated under the specified confidence level and maximum likelihood estimation. The pseudonormal and beta random variables are generated using the uniform probability transformation method according to central limit theorem and rejection method. By means of a Monte-Carlo Simulation, the probability of failure is defined as; $P_f=M/N$ N: Total number of trials M: Total number of failures Some of the conclusions derived. from the case study include; 1. Three dimensional factors of safety are generally much higher than 2-D factors of safety. However situations appear to exist where the 3-D factor of safety can be lower than the 2-D factor of safety. 2. The $F_3/F_2$ ratio appears to be quite sensitive to c and ${\phi}$ and to the shape of the 3-D shear surface and the slope but not to be to the unit weight of soil. 3. From the two models (normal, beta) considered for the distribution of the factor of safety, the beta distribution generally provides lager than normal distribution. 4. Results obtained using the beta and normal models are presented in a nomgraph relating slope height and slop angle to probability of failure.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.34 no.11B
• /
• pp.1133-1141
• /
• 2009

In this paper, we present a distributed fault-tolerant topology control protocol that configure a wireless sensor network to achieve k-connectivity and (k+1)-coverage. One fundamental issue in sensor networks is to maintain both sensing coverage and network connectivity in order to support different applications and environments, while some least active nodes are on duty. Topology control algorithms have been proposed to maintain network connectivity while improving energy efficiency and increasing network capacity. However, by reducing the number of links in the network, topology control algorithms actually decrease the degree of routing redundancy. Although the protocols for resolving such a problem while maintaining sensing coverage were proposed, they requires accurate location information to check the coverage, and most of active sensors in the constructed topology maintain 2k-connectivity when they keep k-coverage. We propose the fault-tolerant topology control protocol that is based on the theorem that k-connectivity implies (k+1)-coverage when the sensing range is at two times the transmission range. The proposed distributed algorithm does not need accurate location information, the complexity is O(1). We demonstrate the capability of the proposed protocol to provide guaranteed connectivity and coverage, through both geometric analysis and extensive simulation.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2013.04a
• /
• pp.842-848
• /
• 2013

Developments of Solid-State Gyroscopy during last decades are impressive and were based on thin-walled shell resonators like HRG or CRG made from fused quartz or leuko-sapphire. However, a number of design choices for inertial-grade gyroscopes, which can be used for high-g applications and for mass- or middle-scale production, is still very limited. So, considerations of fundamental physical effects in solids that can be used for development of a miniature, completely solid-state, and lower-cost sensor look urgent. There is a variety of different types of bulk acoustic (elastic) waves (BAW) in anisotropic solids. Shear waves with different variants of their polarization have to be studied especially carefully, because shear sounds in glasses and crystals are sensitive to a turn of the solid as a whole, and, so, they can be used for development of gyroscopic sensors. For an isotropic medium (for a glass or a fine polycrystalline body), classic Lame's theorem (so-called, a general solution of Elasticity Theory or Green-Lame's representation) has been modified for enough general case: an elastic medium rotated about an arbitrary set of axes. Travelling, standing, and mixed shear waves propagating in an infinite isotopic medium (or between a pair of parallel reflecting surfaces) have been considered too. An analogy with classic Foucault's pendulum has been underlined for the effect of a turn of a polarizational plane (i.e., an integration effect for an input angular rate) due to a medium's turn about the axis of the wave propagation. These cases demonstrate a whole-angle regime of gyroscopic operation. Single-crystals are anisotropic media, and, therefore, to reflect influence of the crystal's rotation, classic Christoffel-Green's tensors have been modified. Cases of acoustic axes corresponding to equal velocities for a pair of the pure-transverse (shear) waves have of an evident applied interest. For such a special direction in a crystal, different polarizations of waves are possible, and the gyroscopic effect of "polarizational precession" can be observed like for a glass. Naturally, formation of a wave pattern in a massive elastic body is much more complex due to reflections from its boundaries. Some of these complexities can be eliminated. However, a non-homogeneity has a fundamental nature for any amorphous medium due to its thermodynamically-unstable micro-structure, having fluctuations of the rapidly-frozen liquid. For single-crystalline structures, blockness (walls of dislocations) plays a similar role. Physical nature and kinematic particularities of several typical "drifts" in polarizational BAW gyros (P-BAW) have been considered briefly too. They include irregular precessions ("polarizational beats") due to: non-homogeneity of mass density and elastic moduli, dissymmetry of intrinsic losses, and an angular mismatch between propagation and acoustic axes.

• Journal of KSNVE
• /
• v.6 no.1
• /
• pp.107-114
• /
• 1996

The damping characteristics of a cylindrical structure containing oil and bearing balls is investigated for external bending forces. The experimental data obtained through the use of bearing balls with viscous oil in a column is given and analyzed. The viscous action of the oil and inertia effects of the balls on the inside of column create a drag force. The drag force dampens the vibration of the column. This study aims to search for an optimum combination of oil and balls which would produce maximum damping. Machining oils of various viscosities along with ball bearings of various sizes place inside cantilevered aluminium tubes of various diameters to create a rig on which the damping properties of the oil and balls can be studied. The contileved tubes are studied in both horizontal and vertical positions in order to gauge the effect of gravity on the system. The actions of the ball in the column and damping characteristics are investigated according to the dimensionless terms. The Buckingham theorem is used to reduce the variables and to predict the damping of an oil ball column. Though the damping ratio remains fairly constant in the horizontal position of column, the damping ratio begins to increase as the ratio of the number of balls and column length rise above 0.28 in the vertical position of oil ball column. The ratio of the ball diameter to column diameter influences the damping ratio with an optimum diameter ratio. Slenderness ratio and gravity effects on the damping ratio ane investigated.

• Journal of the Society of Naval Architects of Korea
• /
• v.29 no.4
• /
• pp.114-131
• /
• 1992

In the present work, a two-dimensional boundary-value problem for a large amplitude motion is treated as an initial-value problem by satisfying the exact body-boundary and nonlinear free-surface boundary conditions. The present nonlinear numerical scheme is similar to that described by Vinje and Brevig(1981) who utilized the Cauchy's theorem and assumed the periodicity in the horizontal coordinate. In the present thesis, however, the periodicity in the horizontal coordinate is not assumed. Thus the present method can treat more realistic problems, which allow radiating waves to infinities. In the present method of solution, the original infinite fluid domain, is divided into two subdomains ; ie the inner and outer subdomains which are a local nonlinear subdomain and the truncated infinite linear subdomain, respectively. By imposing an appropriate matching condition, the computation is carried out only in the inner domain which includes the body. Here we adopt the nonlinear scheme of Vinje & Brevig only in the inner domain and respresent the solution in the truncated infinite subdomains by distributing the time-dependent Green function on the matching boundaries. The matching condition is that the velocity potential and stream function are required to be continuous across the matching boundary. In the computations we used, if necessary, a regriding algorithm on the free surface which could give converged stable solutions successfully even for the breaking waves. In harmonic oscillation problem, each harmonic component and time-mean force are obtained by the Fourier transform of the computed forces in the time domain. The numerical calculations are made for the following problems. $\cdot$ Forced harmonic large-amplitude oscillation(${\omega}{\neq}0,\;U=0$) $\cdot$ Translation with a uniform speed(${\omega}=0,\;U{\neq}0$) The computed results are compared with available experimental data and other analytical results.

• Journal of Korean Society of Coastal and Ocean Engineers
• /
• v.7 no.2
• /
• pp.156-162
• /
• 1995

A numerical method for a 2-D oil boom model considering the flexibility of skirt has been developed The neater is assumed rigid and the skirt is tensioned membrane having a point mass at its end The fluid motion is potential. The kinematic condition which demands the continuity of the displacement is imposed at the joint between the floater and the skirt. The dynamic condition for the point mass is imposed at the bottom end of the skirt. The numerical method is based on the Green's function method in the frame of linear potential theory. It finds it's solution simultaneously from the total system of three equations, integral equation, the equation of motion of the floater and the equilibrium equation of the deformation of the skirt. Integral equation is derived by applying the Green's theorem to radiation potential and Green's function. Proper descretization of those three equations leads to the system of a linear algebraic equation. Due to the flexibility of skirt the motion of floater can be diminished in some range of wave frequency and furthermore the mechanism of resonance of the oil boom can be changed. The motion responses of various oil booms have been compared varying the length of the skirt and the point mass. The numerical method has been validated indirectly from the good correspondence between the motion responses of the flexible skirt model and the rigid skirt model in low frequency limit.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.44 no.4
• /
• pp.343-351
• /
• 2016

Cryogenic spray characteristics of a nitrogen swirl injector operating in supercritical environment have been numerically investigated. By comparing the equation of states(EOS) used for supercritical condition, SRK EOS was applied to predict the nitrogen thermodynamic property under supercritical environment. A Chung's method was implemented for the calculation of viscosity and conductivity and Takahashi's correlation based on Fuller's Theorem was implemented for the calculation of diffusion coefficient. By injecting the nitrogen with 5 bar differential pressure into 50 bar chamber filled with nitrogen, numerical simulation has been conducted. The dynamic Smagorinsky sub-grid scale (SGS) model has been compared with the algebraic Smagorinsky SGS model using FFT frequency analysis. The instability at the liquid film and gas core inside injector and the propagation of pressure oscillation into the injector has been investigated. The spreading angle of swirl injector obtained by numerical calculation has been validated with experimental result.

• Journal of Educational Research in Mathematics
• /
• v.9 no.1
• /
• pp.183-203
• /
• 1999

In this study, we analysed the constituents of proof and examined into the reasons why the students have trouble in learning the proof, and proposed directions for improving the teaming and teaching of proof. Through the reviews of the related literatures and the analyses of textbooks, the constituents of proof in the level of middle grades in our country are divided into two major categories 'Constituents related to the construction of reasoning' and 'Constituents related to the meaning of proof. 'The former includes the inference rules(simplification, conjunction, modus ponens, and hypothetical syllogism), symbolization, distinguishing between definition and property, use of the appropriate diagrams, application of the basic principles, variety and completeness in checking, reading and using the basic components of geometric figures to prove, translating symbols into literary compositions, disproof using counter example, and proof of equations. The latter includes the inferences, implication, separation of assumption and conclusion, distinguishing implication from equivalence, a theorem has no exceptions, necessity for proof of obvious propositions, and generality of proof. The results from three types of examinations; analysis of the textbooks, interview, writing test, are summarized as following. The hypothetical syllogism that builds the main structure of proofs is not taught in middle grades explicitly, so students have more difficulty in understanding other types of syllogisms than the AAA type of categorical syllogisms. Most of students do not distinguish definition from property well, so they find difficulty in symbolizing, separating assumption from conclusion, or use of the appropriate diagrams. The basic symbols and principles are taught in the first year of the middle school and students use them in proving theorems after about one year. That could be a cause that the students do not allow the exact names of the principles and can not apply correct principles. Textbooks do not describe clearly about counter example, but they contain some problems to solve only by using counter examples. Students have thought that one counter example is sufficient to disprove a false proposition, but in fact, they do not prefer to use it. Textbooks contain some problems to prove equations, A=B. Proving those equations, however, students do not perceive that writing equation A=B, the conclusion of the proof, in the first line and deforming the both sides of it are incorrect. Furthermore, students prefer it to developing A to B. Most of constituents related to the meaning of proof are mentioned very simply or never in textbooks, so many students do not know them. Especially, they accept the result of experiments or measurements as proof and prefer them to logical proof stated in textbooks.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.21 no.6
• /
• pp.106-112
• /
• 2017

This paper presents a mathematical model derived from the upper-bound theorem of concrete plasticity to rationally evaluate the shear friction strength of concrete interfaces with a construction joint. The upper limit of the shear friction strength was formulated from the limit state of concrete crushing failure on the strut-and-tie action along the construction joints to avoid overestimating the shear transfer capacity of a transverse reinforcement with a high clamping force. The present model approach proposed that the cohesion and coefficient of friction of concrete can be set to be $0.27(f_{ck})^{0.65}$ and 0.95, respectively, for rough construction joints and $0.11(f_{ck})^{0.65}$ and 0.64, respectively, for smooth ones, where $f_{ck}$ is the compressive strength of concrete. From the comparisons with 155 data compiled from the available literature, the proposed model gave lower values of standard deviation and coefficient of variation of the ratios between predictions and experiments than AASHTO and fib 2010 equations, indicating that the proposed model has consistent trends with test results, unlike the significant underestimation results of such code equations in evaluating the shear friction strength.