• 대한수학회논문집
• /
• 제24권1호
• /
• pp.127-144
• /
• 2009

Let f be a diffeomorphism of a compact $C^{\infty}$ manifold, and let p be a hyperbolic periodic point of f. In this paper we introduce the notion of $C^1$-stable inverse shadowing for a closed f-invariant set, and prove that (i) the chain recurrent set $\cal{R}(f)$ of f has $C^1$-stable inverse shadowing property if and only if f satisfies both Axiom A and no-cycle condition, (ii) $C^1$-generically, the chain component $C_f(p)$ of f associated to p is hyperbolic if and only if $C_f(p)$ has the $C^1$-stable inverse shadowing property.

• 한국군사과학기술학회지
• /
• 제9권2호
• /
• pp.143-151
• /
• 2006

This paper investigates effects of reaction control jet on the aerodynamic performance of generic interceptor missile operating at supersonic flight condition. Parallelized CFDS code is used as a viscous flow solver. The generic interceptor missile configuration composed of a long and slender body and fixed tail fins. The behavior of normal force, axial force and pitching moment characteristics at altitude conditions corresponding to 10 km is studied according to the given control jet conditions, different angle of attacks based on the analysis of aerodynamic characteristics.

• Journal of applied mathematics & informatics
• /
• 제4권1호
• /
• pp.249-261
• /
• 1997

We find a necessary and sufficient condition for a $\kappa$-confi-guration $\mathbb{X}$ in $\mathbb{P}^2$ to be in generic position. We obtain the number and degrees of minimal generators of some Gorenstein ideals of codimension 3 and so obtain their minimal free resolution s of these ideals.

• International Journal of Naval Architecture and Ocean Engineering
• /
• 제13권1호
• /
• pp.478-492
• /
• 2021

In this study, hull dimensions of an FPSO were optimized to maximize its operability at Brazil field. In contrast with the previous works which have used simplified models to evaluate some indicators related to stability and hydrodynamic performances of FPSOs for its own optimal design, we developed a generic hull and compartment modeler and sophisticated stability and hydrodynamic calculation modules. With the aid of the developed tools, the hull optimization was performed with initial dimensions of an FPSO originally designed for west Africa field. The optimization results indicated the relative importance of hydrodynamic performances compared with stability performances for the FPSO hull dimensioning by showing that there were 3 active constraints related to them, which were the natural periods of heave and roll and the maximum pitch angle under 1-year return period waves at full load condition. To the author's knowledge, this study is the first attempt to combine altogether the hull and compartment modeling and full set of stability and hydrodynamic calculations precisely to optimize an FPSO's hull dimensions within 30 min. Also, it is worthwhile to mention that the developed methods are generic enough to be applied to all types of ship-shaped offshore platforms.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2008년도 추계학술대회A
• /
• pp.817-821
• /
• 2008

Wind turbine requires service life of about 20 years and each components of wind turbine requires high durability, because installation and maintenance costs are more expensive than generated electricity by wind turbine. So the design of wind turbine must be verified in various condition before production step. This paper demonstrates the application of a generic methodology, based on the flexible multibody simulation technique, for the dynamic analysis of a wind turbine and its drive train. The concern of the paper is the computation of dynamic loads of wind turbine in emergency-stop condition. The finite element model is used to analyse the dynamic behaviour of the wind turbine.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 1987년도 제29회 수공학연구발표회논문초록집
• /
• pp.223-234
• /
• 1987

A weakly nonlinear solution is presented for the two-dimensional wave kinematics forced by a generic wavemaker of variable-draft. The solution is valid for both piston and hinged wavemakers of variable-draft that may be double articulated. The second-order propagating waves generated by a planar wave board are composed of two components; viz., a Stokes second-order wave and a second-harmonic wave forced by the wavemaker which travels at a different speed. A previously neglected time-independent solution that is required to satisfy a kinematic boundary condition on the wavemaker as well as a mixed boundary condition on the free surface is included for the first time. A component of the time-independent solution is found to accurately estimate the mean return current(correct to second-order) in a closed wave flume. This mean return current is usually estimated from kinematic considerations by a conservation of mass principle.

• Geomechanics and Engineering
• /
• 제25권4호
• /
• pp.303-315
• /
• 2021

A rigorous and generic similarity solution is developed for assessment of the undrained expansion responses of a cylindrical cavity expansion in K₀-consolidated anisotropic soils. A K₀-consolidated anisotropic modified Cam-clay (K₀-AMCC) model that can represent the initial stress anisotropy and the effects of stress-induced anisotropy is used to model the soil behaviors during cavity expansion. All the seven basic unknowns, the three stress components, the pore water pressure, the particle velocity, the specific volume and the hardening parameter, are reduced to the functions of a dimensionless radial coordinate and are taken as coupled variables to formulate the problem. The governing equations are formulated by making use of the equilibrium equation, the constitutive equation, the consistency condition, the continuity condition and the undrained condition, which are then solved as an initial value problem. The proposed rigorous similarity solution is compared with some well-documented rigorous solutions to validate the solution and to highlight the special expansion responses in anisotropic soils. The results reveal that the present solution can yield more predictions for cavity expansion problems in soils with initial anisotropic stresses.

• 한국콘텐츠학회논문지
• /
• 제15권2호
• /
• pp.58-73
• /
• 2015

IoT 환경에서 사용자에게 상황인지 서비스를 제공하기 위해서는 상황정보가 필요하다. 이를 위해 센서나 액츄에이터 같은 장치에서 수집된 데이터를 온톨로지를 통해 상황정보로 변환한다. 기존의 상황인지 서비스를 위한 온톨로지는 타겟 서비스를 기반으로 온톨로지를 설계하여 사용자의 요구사항, 서비스 조건, 환경 등이 변하거나 또는 전혀 다른 서비스를 원할 경우 온톨로지를 전반적으로 재설계해야 하는 불편함이 있다. 이러한 점을 극복하기 위해 본 논문에서는 사용자가 장소나 상황에 구애 받지 않고 자신이 원하는 장소에서 원하는 서비스를 정의할 수 있는 크로스 버티컬(Cross-vertical) 온톨로지 모델인 Generic Ontology Models(GOMs)를 제안한다. 또한 IoT 서비스의 데이터 흐름을 나타내는 IoT 서비스 개념 모델과 IoT 서비스를 제공하기 위한 IoT 서비스 환경을 제안하고 제안된 환경에서 GOMs를 이용하여 다양한 서비스 시나리오에 적용해봄으로써 IoT 환경에서 상황인지 서비스가 가능함을 보인다.

• 대한추나의학회지
• /
• 제4권1호
• /
• pp.39-53
• /
• 2003

Objectives : The object is to the difference among the funtional disability scale for low back pain and to use Methods : I researched the contents of funtional disability scale for low back pain Results & Conclusions : 1. The funtional disability scale for low back pain is specific-condition and general-health 2. A proposal of set core of funtional disability scale for low back pain is back specific function, generic health state, pain, work disability, satisfaction 3. Oswestry disability index or Rolland disability questionnaire. wase used for standard specific-condition scale and SF-36 was used for standard general-health scale 4. SF-36 is able to use the funtional disability scale for low back pain independence 5. In the future, scale for low back pain shulod be standardized in multiple dimension by computer

• International Journal of Control, Automation, and Systems
• /
• 제3권3호
• /
• pp.430-443
• /
• 2005

A general construction algorithm of the Grassmann space parameters in linear systems - so-called, the Plucker matrix, 'L' in m-input, p-output, n-th order static output feedback systems and the Plucker matrix, $'L^{aug}'$ in augmented (m+d)-input, (p+d)-output, (n+d)-th order static output feedback systems - is presented for numerical checking of necessary conditions of complete static and complete minimum d-th order dynamic output feedback pole-assignments, respectively, and also for discernment of deterministic computation condition of their pole-assignable real solutions. Through the construction of L, it is shown that certain generically pole-assignable strictly proper mp > n system is actually none pole-assignable over any (real and complex) output feedbacks, by intrinsic rank deficiency of some submatrix of L. And it is also concretely illustrated that this none pole-assignable mp > n system by static output feedback can be arbitrary pole-assignable system via minimum d-th order dynamic output feedback, which is constructed by deterministic computation under full­rank of some submatrix of $L^{aug}$.