• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10c
• /
• pp.593-595
• /
• 1999

고가용성 시스템의 소프트웨어 재활 기법은 시스템의 결함 발생 이후에 수동적으로 대처하기보다는 결함이 발생하기 전에 이를 미연에 방지하는 능동적 차원의 결함 허용 방법이다. 본 연구에서는 서버에서 수행되는 소프트웨어의 재활 주기, 재활 소요시간, 서버의 고장률, 수리률, 동시에 가동되는 서버의 수, 서버의 가동 기간 및 가동 방식등의 시스템 운영 파라미터에 기초하여, 소프트웨어 재활 정책에 대한 평가를 위한 평형상태에서의 확률, downtime, 가용도, 손실 비용 등을 계산하였다. 수학적 분석을 통해 구한 재활 모델의 closed-form 해는 다양한 시스템 운영 상태에 대한 실험을 통해 검증하였으며, 소프트웨어 재활을 통한 재활 모델의 closed-form 해는 다양한 시스템 운영 상태에 대한 실험을 통해 검증하였으며, 소프트웨어 재활을 통한 예방적 결함허용 기법의 적용 가능성이 높다는 것을 확인하였다. 또한 서버의 고장률 및 불안정률이 소프트웨어 재활 정책결정에 중요한 요소임을 파악하였다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.15 no.1
• /
• pp.9-14
• /
• 1990

In this paper, I derived a two-dimensional analytical closed-form expression of the threshold voltage for small size MOSFET. The invalid assumptions of constant surface portential or uniform depletion depth were corrected. A comparison between the results of pre-models analyses and the present's proved that this paper's model is quite accurate. Therefore, this model will become a useful design tool for short channel MOSFET.

• Advances in concrete construction
• /
• v.10 no.6
• /
• pp.509-514
• /
• 2020

In the preliminary design phase of explosion-proof structures, the use of P-I diagram is useful. Based on the fact that the deformation criteria at failure or heavy damage is significantly larger than the yield deformation, a closed form solution of normalized P-I diagram is proposed using the complete plastic resistance curve. When actual sizes and material properties of RC structural component are considered, the complete plasticity assumption shows only a maximum error of 6% in terms of strain energy, and a maximum difference of 9% of the amount of explosives in CWSD. Thru comparison with four field test results, the same damage pattern was predicted in all four specimens.

• The Journal of Engineering Geology
• /
• v.32 no.1
• /
• pp.1-12
• /
• 2022

Based on the extended spatial mobilization plane (SMP) criterion, we present an elastic-brittle-plastic solution for an axisymmetric cylindrical tunnel. The influences of the intermediate principal compressive stress and material strain-softening behavior are considered. Closed-form formulas for the critical support force, radius of plastic zone, and distributions of stress and displacement in surrounding rock are proposed. The elastic-plastic solution based on SMP is compared with the Kastner solution to verify the credibility of the obtained elastic-plastic solution. The elastic-brittle-plastic solution following the SMP criterion and the current solution based on the Mohr-Coulomb criterion are also compared. The rock strain-softening rate and the intermediate principal stress affect the stability of the surrounding rock. The results provide guidance for optimizing the design of support systems for tunnels.

• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 2003.04a
• /
• pp.3-8
• /
• 2003

In this study, using linear and nonlinear deformation theories and by closed-form analysis and finite difference energy methods, respectively, various buckling load factors are obtained for stiffened laminated composite panel with trapezoidal type stiffeners and various longitudinal length to radius ratios, which are made from Carbon/Epoxy USN 125 prepreg and are simply-supported on four edges under uniaxial compression, and then for them, optimal design analyses are carried out by the nonlinear search optimizer, ADS.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.17 no.8
• /
• pp.1883-1897
• /
• 1993

Interactive computer-aided analysis of mechanical systems has recently been undergoing an evolution due to highly efficient computer graphics. The industrial implementation of state-of-the-art analytical developments in mechanisms has been facilitated by computer-aided design packages because these rigid-body mechanism analysis programs dramatically reduce the time required for linkage design. This paper proposes a component modular approach to computeraided kinematic motion analysis for general planar multiloop mechanisms. Most multiloop mechanisms can be decomposed into serveral components. The kinematic properties (position, velocity, and acceleration) of every node can then be determined from the kinematic analysis of the corresponding component modules by a closed-form solution procedure. In this paper, 8 types of modules are defined and formulations for kinematic analysis of the component modules are derived. Then a computer-aided kinematic analysis program is developed using the proposed approach and the solution procedure of an example shows the effectiveness and accuracy on the approach.

• Tunnel and Underground Space
• /
• v.13 no.4
• /
• pp.245-259
• /
• 2003

Refering to the articles "Squeezing rocks in tunnels(Barla, 1995)" and "Tunnelling under squeezing rock conditions(Barla 2002)" this article deals with technologies for design, stability analysis and construction of the tunnel being driven in the squeezing rock mass. The definition of this type of behavior was proposed by ISRM(1994). The identification and quantification of squeezing is given according to both the empirical and semi-empirical methods available to anticipate the potential of squeezing problems in tunnelling. Based on the experiences and lessons learned in recent years, the state of the art in modem construction methods was reported, when dealing with squeezing rock masses by either conventional or mechanical excavation methods. The closed-form solutions available for the analysis of the rock mass response during tunnel excavation are described in terms of the ground characteristic line and with reference to some elasto-plastic models for the given rock mass. Finally numerical methods were used for the simulation of different models and for design analysis of complex excavation and support systems, including three-dimensional conditions in order to quantify the influence of the advancing tunnel face to the deformation behavior of the tunnel.

• Journal of the Korean Society for Precision Engineering
• /
• v.22 no.11 s.176
• /
• pp.72-81
• /
• 2005

A new spherical-type 3-degree-of-freedom parallel mechanism consisting of a two degree-of-freedom parallel module and a serial module is proposed. Two alternative designs for the serial sub-chain are suggested and compared. The first design employs RU joint arrangement for the serial sub chain structure. The second design incorporates a gear chain to drive the distal revolute joint of the serial sub-chain from the base platform of the mechanism. This modification significantly improves kinematic characteristics of the mechanism within its workspace. Firstly, the closed-form solutions of both the forward and the reverse position analysis are derived. Secondly, the first-order kinematic model with respect to three inputs which are located at the base is derived. Thirdly, it is confirmed through simulation that the modified mechanism has much more improved isotropic characteristic throughout the workspace of the mechanism. Lastly, the proposed mechanism is implemented to verify the results from this analysis.

• Advances in nano research
• /
• v.14 no.1
• /
• pp.45-65
• /
• 2023

This paper aimed to investigate the nonclassical size dependent free vibration behavior of regularly squared cutout viscoelastic nanobeams. The nonlocal strain gradient elasticity theory is modified and adopted to incorporate the viscoelasticity effect. The Kelvin Voigt viscoelastic model is adopted to model the linear viscoelastic constitutive response. To explore the influence of shear deformation effect due to cutout, both Euler Bernoulli and Timoshenko beams theories are considered. The Hamilton principle is utilized to derive the dynamic equations of motion incorporating viscoelasticity and size dependent effects. Closed form solutions for the resonant frequencies for both perforated Euler Bernoulli nanobeams (PEBNB) and perforated Timoshenko nanobeams (PTNB) are derived considering different boundary conditions. The developed procedure is verified by comparing the obtained results with the available results in the literature. Parametric studies are conducted to show the influence of the material damping, the perforation, the material and the geometrical parameters as well as the boundary and loading conditions on the dynamic behavior of viscoelastic perforated nanobeams. The proposed procedure and the obtained results are supportive in the analysis and design of perforated viscoelastic NEMS structures.

• Journal of Electrical Engineering and Technology
• /
• v.8 no.6
• /
• pp.1551-1558
• /
• 2013

$H_2$ design of decoupled control systems is treated in the generalized plant model. The existence condition of a decoupling controller is stated and a parameterized form of all achievable decoupled closed loop transfer matrices is presented by using the directional interpolation approaches under the assumption of simple transmission zeros. The class of all decoupling controllers that yield finite cost function is obtained as a parameterized form and an illustrative example to find the optimal controller is provided.