• 한국시스템다이내믹스연구
• /
• 제12권2호
• /
• pp.5-36
• /
• 2011

Seoul citizens are currently suffering from high housing price. Home prices have risen more rapidly than salaries so owning a housing unit (apartment, condominium, or single-family home) in Seoul is becoming more difficult than ever. Therefore, this research examines the behavior of average Seoul citizen in owning housing unit in Seoul, Korea, particularly in terms of the length of time required to afford a house unit. This research estimates that it will take about 18.75 years in maximum after getting a job (12.75 years after purchasing the housing unit) to own housing unit in Seoul that is currently valued at $300,000 where the growth rate of income is 2.97% and consumption price increases at a rate of 2.95% per annum. Finally in this research, the optimal growth rate of housing price is estimated ranged from 3.5 to 4.0% minimizing the loan payoff period.

• 대한기계학회논문집A
• /
• 제28권6호
• /
• pp.670-676
• /
• 2004

Most metallic materials and alloys show rate independence or negative rate sensitivity in some temperature region when dynamic strain aging occurs. It is generally recognized that negative rate sensitivity is an essential feature of dynamic strain aging that can depend on strain and/or strain rate. The unified viscoplasticity theory based on overstress is applied to reproduce a change of rate sensitivity type that depends on strain or strain rate. This is accomplished through the introduction of a single new term in the growth law of the equilibrium stress, which is a tensor valued state variable of the model. It is also shown that the new term can be used to reproduce a dramatic increase of rate sensitivity in dynamic plasticity.

• 대한수학회보
• /
• 제51권2호
• /
• pp.357-371
• /
• 2014

We shall show that the Riesz idempotent $E_{\lambda}$ of every *-paranormal operator T on a complex Hilbert space H with respect to each isolated point ${\lambda}$ of its spectrum ${\sigma}(T)$ is self-adjoint and satisfies $E_{\lambda}\mathcal{H}=ker(T-{\lambda})= ker(T-{\lambda})^*$. Moreover, Weyl's theorem holds for *-paranormal operators and more general for operators T satisfying the norm condition $||Tx||^n{\leq}||T^nx||\,||x||^{n-1}$ for all $x{\in}\mathcal{H}$. Finally, for this more general class of operators we find a sufficient condition such that $E_{\lambda}\mathcal{H}=ker(T-{\lambda})= ker(T-{\lambda})^*$ holds.

• East Asian mathematical journal
• /
• 제29권3호
• /
• pp.315-326
• /
• 2013

In this paper, a new monotonicity, $M({\cdot},{\cdot})$-monotonicity, is introduced in Banach spaces, and the resolvent operator of an $M({\cdot},{\cdot})$-monotone operator is proved to be single valued and Lipschitz continuous. By using the resolvent operator technique associated with $M({\cdot},{\cdot})$-monotone operators, we construct a proximal point algorithm for solving a class of variational inclusions. And we prove the convergence of the sequences generated by the proximal point algorithms in Banach spaces. The results in this paper extend and improve some known results in the literature.

• 한국CDE학회논문집
• /
• 제8권4호
• /
• pp.262-269
• /
• 2003

An approach to compute characteristic curves such as section curves, reflection characteristic lines, and asymptotic curves on a surface is introduced. Each problem is formulated as a surface-plane inter-section problem. A single-valued function that represents the characteristics of a problem constructs a property surface on parametric space. Using a contouring algorithm, the property surface is intersected with a horizontal plane. The solution of the intersection yields a series of points which are mapped into object space to become characteristic curves. The approach proposed in this paper eliminates the use of traditional searching methods or non-linear differential equation solvers. Since the contouring algorithm has been known to be very robust and rapid, most of the problems are solved efficiently in realtime for the purpose of visualization. This approach can be extended to any geometric problem, if used with an appropriate formulation.

• 대한수학회논문집
• /
• 제27권1호
• /
• pp.77-95
• /
• 2012

For a bounded linear operator T we prove the following assertions: (a) If T is algebraically (p, k)-quasihyponormal, then T is a-isoloid, polaroid, reguloid and a-polaroid. (b) If $T^*$ is algebraically (p, k)-quasihyponormal, then a-Weyl's theorem holds for f(T) for every $f{\in}Hol({\sigma}T))$, where $Hol({\sigma}(T))$ is the space of all functions that analytic in an open neighborhoods of ${\sigma}(T)$ of T. (c) If $T^*$ is algebraically (p, k)-quasihyponormal, then generalized a-Weyl's theorem holds for f(T) for every $f{\in}Hol({\sigma}T))$. (d) If T is a (p, k)-quasihyponormal operator, then the spectral mapping theorem holds for semi-B-essential approximate point spectrum $\sigma_{SBF_+^-}(T)$, and for left Drazin spectrum ${\sigma}_{lD}(T)$ for every $f{\in}Hol({\sigma}T))$.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2013년도 춘계학술대회
• /
• pp.675-676
• /
• 2013

본 논문에서는 TDBM과 CMTEDD를 사용하여 다중출력조합디지털논리시스템 설계방법의 한가지를 제안하였다. 또한, CBDD와 CMTEDD를 기반으로 최종 조합디지털논리시스템 구성을 멀티플렉서를 사용하여 구현하였다. 제안한 방법은 기존의 방법에 비해 모듈사이의 내부결선을 효과적으로 줄일 수 있으며 입력변수의 쌍과 출력함수의 쌍에 의해 게이트 수를 줄일 수 있는 장점이 있다.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제8권1호
• /
• pp.71-78
• /
• 2001

In 1984, Johnson[A bounded convergence theorem for the Feynman in-tegral, J, Math. Phys, 25(1984), 1323-1326] proved a bounded convergence theorem for hte Feynman integral. This is the first stability theorem of the Feynman integral as an $L(L_2 (\mathbb{R}^N), L_2(\mathbb{R}^{N}))$ theory. Johnson and Lapidus [Generalized Dyson series, generalized Feynman digrams, the Feynman integral and Feynmans operational calculus. Mem, Amer, Math, Soc. 62(1986), no 351] studied stability theorems for the Feynman integral as an $L(L_2 (\mathbb{R}^N), L_2(\mathbb{R}^{N}))$ theory for the functional with arbitrary Borel measure. These papers treat functionals which involve only a single integral. In this paper, we obtain the stability theorems for the Feynman integral as an $L(L_1 (\mathbb{R}^N), L_{\infty}(\mathbb{R}^{N}))$theory for the functionals which involve double integral with some Borel measures.

• 대한조선학회논문집
• /
• 제41권2호
• /
• pp.33-46
• /
• 2004

The cavitating noise of underwater propeller is considered numerically in this study. The main purpose of this research is to analyze these noise sources from marine propeller. The approach for investigation is a potential based panel method coupled with acoustic analogy. To predict propeller sheet cavitation noise, the blade surface cavity is considered as a single valued pulsating volume of vapor attached to the blade surface. The time dependent cavity volume data are used for noise prediction. Furthermore, we analyze hydrofoil cavitation bubble behavior and noise using Eulerian/Lagrangian approach. Through this study, we can analyze dominant noise source of marine propeller and provide a basis for proper noise control strategies.

• 한국안전학회지
• /
• 제33권4호
• /
• pp.78-83
• /
• 2018

Previous researches on the analysis of algae concentration were restricted to applying single-valued decay coefficient during simulation period, and the accuracy as well as the applicability were severely challenged. In this study, an equivalent tracking method of decay coefficient was proposed by introducing the time-series decay coefficients and restart option. Dye module in EFDC model was employed to route the temporal variation of Chl-a concentration. It was shown that the simulation results can be significantly improved up to 46% when the equivalent tracking method was activated.