• Journal of the Korean Institute of Intelligent Systems
• /
• v.5 no.2
• /
• pp.86-96
• /
• 1995

In this paper the fuzzy extension for the classical engineering mechanics problems is studied. The governing differential equation is derived for the buckling loads of the columns with uncertain mediums: the their own weight and the flexural rigidity. The columns with one typical end constraint(hinged1 clarnped/free) and the other finite rotational spring with fuzzy constant are considered in numerical examples. The vertex method is used to evaluate the fuzzy functions. The Runge-Kutta method and Determinant Search method are used to solve the differential equation and determine the buckling loads, respectively. The membership functions of the buckling load are calculated. The index of fuzziness to quantitatively describe the propagation of fuzziness is defined. According to the fuzziness of governing factors, the varlation of index of fuzziness for buckling load is investigated, and the sensitivity for the end constraints is analyzed.

• The Korean Journal of Financial Management
• /
• v.21 no.2
• /
• pp.211-233
• /
• 2004

This purpose of paper is to propose a European option pricing formula when the rate of return follows the leptokurtic distribution instead of normal. This distribution explains well the volatility smile and furthermore the option prices calculated under the leptokurtic distribution are shown to be closer to the market prices than those of Black-Scholes model. We make an estimation of the implied volatility and kurtosis to verify the fitness of the pricing formula that we propose here.

• Journal of KIISE:Software and Applications
• /
• v.31 no.5
• /
• pp.658-666
• /
• 2004

Separable systems are defined in term rewriting systems, respecting the notion of separability in the λ-calculus. In this research, we generalize separable systems of term rewriting systems, which was studied in restrictive systems such as constructive systems. We also associate separability with index-transitivity and with forward branching Separability is identified with forward branching, and strong sequentiality with index-transitivity satisfies separability. These are such good properties that enable us to describe the procedure of pattern-matching as an index tree, which is a sort of automata, and to transform separable systems into a constructor system with a simple pattern. Separable systems, in particular, can be translated into the λ-calculus. This research can serve a theoretical basis which allows functional languages to be explained by the λ-calculus, since functional languages such as ML and Haskell belong to a subclass of separable systems.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2015.05a
• /
• pp.4-4
• /
• 2015

기압 분포의 공간 구조를 이해하고, 그것의 변동을 살펴보는 것은 풍속의 경향을 파악하는 것은 물론, 장기적인 측면에서는 기후변화를 예측하기 위한 기본 과정이라 할 수 있다. 본 연구에서는 장기간에 걸쳐 공간적으로 연속적인 관찰이 가능한 20CR(20th Century Reanalysis) 원격탐사 재분석 자료의 지오포텐셜(geopotential) 값을 활용하여 동아시아 지역 기압의 공간 분포를 살펴보았다. 그 결과 특정 범위 내에서 계산되는 기압의 편차 값과 해당 범위를 정의하는 수평 거리 사이의 관계(변동도; variogram)가 멱함수를 따르는 것을 확인하였다. 흥미로운 점은 지난 반세기 동안 멱함수의 계수 값이 풍속과 동일한 패턴으로 변화하는 반면, 지수 값 (프랙탈 차원)은 일정하게 유지되고 있다는 사실이다. 또한, 2000년 이후로는 계절 별로 한랭한 기단 (겨울철)과 온난한 기단 (여름철)이 번갈아가며 동아시아 지역으로 세력을 확장하는 경향을 보였으며, 그로인해 전반적인 기압의 편차가 증가하였다.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.45 no.1
• /
• pp.9-14
• /
• 2008

This paper presents an observer design methodology for a special class of multi input multi output(MIMO) nonlinear systems. First, we characterize the class of MIMO nonlinear systems with a triangular structure. Also, the observability matrices that plays an important role in proving the convergence of the proposed observer are generalized to MIMO systems. By using the generalized observability matrices, it is shown that under the boundedness conditions of system state and input, the proposed observer guarantees the local exponential convergence to zero of the estimation error.

• Journal of Korea Water Resources Association
• /
• v.49 no.5
• /
• pp.451-458
• /
• 2016

In order to infer regional flood frequency for ungauged watersheds, index flood method was applied for this study. To pursuit this given purpose, annual peak flood data for 22 watersheds located at the upstream of the Chungju Dam watershed were obtained from the spatial extension technique. The regionalization of mean annual flood was performed from extended flood data at 22 points. Based on the theory that flood discharge and watershed size follows the power law the regionalization generated the empirical relationship. These analyses were executed for the full size of the Chungju Dam watershed as one group and three different mid-size watersheds groups. From the results, the relationship between mean annual flood and watershed sizes follow the power law. We demonstrated that it is appropriate to use the relationship between specific flood discharges from the upper and lower watersheds in terms of estimating the floods for the ungaged watersheds. Therefore, not only the procedure of regional frequency analysis but also regionalizaion analaysis using finer discretization of the regions interest with respect to the regional frequency analyisis for the ungauged watersheds is important.

• Fire Science and Engineering
• /
• v.16 no.2
• /
• pp.51-58
• /
• 2002

For Halon-1301 regulated by Montreal Protocol and $CO_2$as its alternatives, the empirical equations of density, viscosity, and enthalpy were correlated in terms of temperature. They were obtained by regression analysis from the experimental data in the literature. The empirical equation of density was expressed as compressibility factor by the second- order function of temperature. The empirical equation of viscosity was formulated as a power function, and a correction factor was considered to cover the wider range of temperature. Finally, heat capacity as well as enthalpy were well fitted by empirical form of the second-order temperature. The correlation coefficients of the empirical equations in this work were more than 0.99.

• The Korean Journal of Applied Statistics
• /
• v.31 no.6
• /
• pp.751-759
• /
• 2018

Cho et al. (Communications for Statistical Applications and Methods, 23, 423-432, 2016) introduced a risk model with a continuous type investment and studied the stationary distribution of the surplus process. In this paper, we extend the earlier analysis by assuming that additional instant investment is made when the surplus process reaches a certain sufficient level. We obtain the explicit form of the stationary distribution of the surplus process. The case is shown as an example, when the amount of claim is exponentially distributed.

• Communications for Statistical Applications and Methods
• /
• v.16 no.3
• /
• pp.449-461
• /
• 2009

Higher sigma quality level is generally perceived by customers as improved performance by assigning a correspondingly higher satisfaction score. The process capability indices and the sigma level $Z_{st}$ ave been widely used in six sigma industries to assess process performance. Most evaluations on process capability indices focus on statistical estimation under normal process which may result in unreliable assessments of process performance. In this paper, we consider statistical estimation for bivariate VPCI(Vector-valued Process Capability Index) $C_{pkl}=(C_{pklx},\;C_{pklx})$ under Marshall and Olkin (1967)'s bivariate exponential process. First, we derive some limiting distribution for statistical inference of bivariate VPCI $C_{pkl}$. And we propose two asymptotic normal confidence regions for bivariate VPCI $C_{pkl}$. The proposed method may be very useful under bivariate exponential process. A numerical result based on our proposed method shows to be more reliable.

• The Transactions of the Korean Institute of Power Electronics
• /
• v.16 no.3
• /
• pp.234-241
• /
• 2011

This paper proposes a simple static overmodulation strategy that extends the linearity of the inverter output voltage. The proposed method obtains the reference vector having the instantaneous value directly from the modulation index based on the magnitude of fundamental voltage, and has a simplified form of phase command. This method does not need trigonometric functions for calculating the magnitude of the reference vector. The magnitude of reference voltage and holding angle in the overmodulation region corresponding to the modulation index are determined in advance to have the same fundamental voltage magnitude by using the result of Fourier series expansion.