• Transactions of the Korean Society of Machine Tool Engineers
• /
• v.10 no.4
• /
• pp.14-21
• /
• 2001

To estimate crack growth rate and cycle ratio uniquely, many investigators have developed various kinds of mechanical parameters and theories. But, thes have produced local solution space through single parameter. Neural Networks can perform patten classification using several input and output parameters. Fatigue damage model by neural networks was used to recognize the relation between da/dN/N/N(sub)f, and half-value breadth ratio B/Bo, fractal dimension D(sub)f, and fracture mechanical parameters in 2024-T3 aluminium alloy. Learned neural networks has ability to predict both crack growth rate da/dN and cycly ratio /N/N(sub)f within engineering estimated mean error(5%).

• Journal of the Korean Mathematical Society
• /
• v.32 no.3
• /
• pp.389-399
• /
• 1995

We consider the reaction-diffusion system of two-component model in one-dimensional space described by $$ (1) u_s = d_1 u_{xx} + f(u, \upsilon) \upsilon_t = d_2\upsilon_{xx} + \gammag(u, \upsilon) $$ where $d_1$ and $d_2$ are the diffusion rates of u and $\upsilon$, and $\gamma$ is the ration of reaction rates. It is interesting the case of that there are differences in the diffusion and reaction rates of u and $\upsilon$.

• Annual Conference on Human and Language Technology
• /
• 1989.10a
• /
• pp.142-147
• /
• 1989

필기체 문자는 인쇄체 문자와는 달리, 복잡한 변형이 따르므로, 인식 하는데 많은 문제점이 따른다. 그렇기 때문에 일반적인 필기체 인식에 있어서는 필기 자체에 대한 제한을 두어 변형을 적게한 문자를 인식 대상으로 삼고 있다. 이러한 문자는, 설정된 조건만 확실하게 만족한다면, 비교적 간단하게 인식 할 수 있다. 반면에, 자유 필기체 문자는, 제한 필기체 문자와는 달리 변형이 크기 때문에, 그 인식에는 많은 연구가 필요하다. 본 연구에서는, 자유 필기체 한글의 자모를 추출하는데 있어 두개의 parameter space method를 이용했다. 화상내에서의 혼합은, 기본적으로 5 개의 element ($\mid,\;\setminus,\;/,\;-,\;o$)로 구성되어 있고, 이 element를 정의하는데는 최소한 4 개의 parameter, 즉 element의 위치 [x, y], 크기 [1] 및 type [T] 등이 필요하다. 입력 화상에서 추출된 직선 및 원의 성분은 [x, y, l] 과 [x, y, T]의 2 개의 3-D parameter space 에 누적되고, parameter space 상에서의 병합 분할 과정을 거쳐, element 가 형성된다. 추출된 element 들은, parameter space 상에서의 방향성 및 상호 위치 관계에 의한 조합 형태로서, 미리 기술되어진 자모 모델과 비교되어 인식된다. 본 방법의 특정은, 문자의 크기에 무관하고, 해석방법에 의해서는, 끊어진 element나 불필요한 element 등의 왜곡된 element 들의 처리가 가능한 점, 4 차원 parameter space를 두개의 3 차원 parameter space로 분리, 처리시간과 기억용량의 절약을 기한점 등을 들 수 있다.

• Journal of the Korean housing association
• /
• v.19 no.2
• /
• pp.63-72
• /
• 2008

In general, the function of university dormitory includes residental, educational and many other functions for students who need quite environment and energetic living life. This functions influence the residental satisfaction of university dormitory. So this study attempts to evaluate many functions of the D-university dormitory according to the residents (students) needs and satisfaction. In the present work, SPSS window version 12.0 programs Anova (duncan, scheff, T-test. etc.) was used for analysis of statistical data which obtained from survey. The field surveys carried out for a total samples of 159 residents such as male (86), female (73), in the D-university dormitory. The result appears that the most dissatisfied factor of resident was the space and facilities of wash room. and students demand that various room and program in the dormitory except main space (unit room).

• Journal of The Korean Astronomical Society
• /
• v.50 no.1
• /
• pp.7-20
• /
• 2017

We carry out the study of $850{\mu}m$ sources in a part of the XMM-LSS field. The $850{\mu}m$ imaging data were obtained by the SCUBA-2 on the James Clerk Maxwell Telescope (JCMT) for three days in July 2015 with an integration time of 6.1 hours, covering a circular area with a radius of 15'. We choose the central area up to a radius of 9'.15 for the study, where the noise distribution is relatively uniform. The root mean square (rms) noise at the center is 2.7 mJy. We identify 17 sources with S/N > 3.5. Differential number count is estimated in flux range between 3.5 and 9.0 mJy after applying various corrections derived by imaging simulations, which is consistent with previous studies. For detailed study on the individual sources, we select three sources with more reliable measurements (S/N > 4.5), and construct their spectral energy distributions (SEDs) from optical to far-infrared band. Redshift distribution of the sources ranges from 0.36 to 3.28, and their physical parameters are extracted using MAGPHYS model, which yield infrared luminosity $L_{IR}=10^{11.3}-10^{13.4}L_{\odot}$, star formation rate $SFR=10^{1.3}-10^{3.2}M_{\odot}yr^{-1}$ and dust temperature $T_D=30-53K$. We investigate the correlation between $L_{IR}$ and $T_D$, which appears to be consistent with previous studies.

• Journal of the Chungcheong Mathematical Society
• /
• v.22 no.4
• /
• pp.743-748
• /
• 2009

In 1970, Fernique proved that there is a positive real number $\alpha$ such that $\int_{\mathbb{B}}\exp\{\alpha{\parallel}x{\parallel}^{2}\}dP(x)$ is finite where ($\mathbb{B},\;P$) is an abstract Wiener measure space and ${\parallel}\;{\cdot}\;{\parallel}$ is a measurable norm on ($\mathbb{B},\;P$) in [2, 3]. In this article, we investigate the existence of the integral $\int_{c}\exp\{\alpha(sup_t{\mid}x(t){\mid})^p\}dm_{\varphi}(x)$ where ($\mathcal{C}$, $m_{\varphi}$) is the analogue of Wiener measure space and p and $\alpha$ are both positive real numbers.

• Honam Mathematical Journal
• /
• v.29 no.4
• /
• pp.569-576
• /
• 2007

Let $\cal{H}$ be a separable, infinite dimensional, complex Hilbert space. We call "an operator $\cal{T}$ acting on $\cal{H}$ has a star moment sequence supported on a set K" when there exist nonzero vectors u and v in $\cal{H}$ and a positive Borel measure ${\mu}$ such that <$T^{*j}T^ku$, v> = ${^\int\limits_{K}}\;{{\bar{z}}^j}\;{{\bar{z}}^k}\;d\mu$ for all j, $k\;\geq\;0$. We obtain a characterization to find a representing star moment measure and discuss some related properties.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.29 no.1D
• /
• pp.91-100
• /
• 2009

The aim of this paper is to examine satisfaction of residents and preference on the outdoor space's design by multi-family housing complex scale. So we divide outdoor space into space for green land, space for physical training and play, space for walking and space for rest and landscape facilities. The major findings of this analysis are follows : Multi-family housing complex scale is the bigger, it is recognized by same ratio on specific outdoor space in housing complex that are space for green land, space for physical training and play, space for rest and landscape facilities. And space for physical training and play is found commonly into the poorest space in housing complex. Evaluation for resident's perception on outdoor space by multifamily housing complex scale shows that housing complex scale is the bigger, resident's satisfaction is the lower. That means that housing complex of large scale can't satisfy the diverse resident's demand.

• The KIPS Transactions:PartD
• /
• v.10D no.5
• /
• pp.813-820
• /
• 2003

This paper solves Push-Push game with the model checker NuSMY which exhaustively explores all search space to determine whether a model satisfies a property. In case a model doesn't satisfy properties to be checked, NuSMV generates a counterexample which tells where this unsatisfaction occurs. However, the algorithm for generating counterexample in NuSMV traverses a search space twice so that it is inefficient for solving the game we consider here. To save the time to be required to complete the game, we revise the part of counterexample generation so that it traverses a search space once. As a result, we obtain 62% time improvement and 11% space improvement in solving the game with modified NuSMV.

• Journal of Ocean Engineering and Technology
• /
• v.30 no.5
• /
• pp.405-414
• /
• 2016

This paper presents an internal oil leakage detection problem for a hydraulic single-rod cylinder. We derive the dynamics of the hydraulic cylinder as a state space model, and then design a T—S fuzzy model-based fault detection observer. We adopt an H_∞ observer design scheme so that the observer is robust against disturbance and relatively sensitive to the leakage fault. Sufficient design conditions are derived in the form of linear matrix inequalities. A numerical example is provided to verify the proposed techniques.