• Korean Journal of Mathematics
• /
• 제11권2호
• /
• pp.169-175
• /
• 2003

We find a G-fuzzy equivalence relation generated by the union of two G-fuzzy equivalence relations in a set, find a G-fuzzy equivalence relation generated by a fuzzy relation in a set, and find sufficient conditions for the composition ${\mu}{\circ}{\nu}$ of two G-fuzzy equivalence relations ${\mu}$ and ${\nu}$ to be a G-fuzzy equivalence relation generated by ${\mu}{\cup}{\nu}$.

• 대한수학회논문집
• /
• 제12권4호
• /
• pp.985-998
• /
• 1997

For n random strips chosen so as to meet a fixed bounded convex set K of the plane we let $\nu$ be the number of intersection regions that meet K. We develop the integral formula for the mean value of $\nu$ and $\nu^2$ involving the area and the perimeter of K and the breadths of the strips. We get some geometric inequalities in way of studying integral geometry.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1996년도 춘계학술발표회논문집(3)
• /
• pp.65-70
• /
• 1996

중수로용 핵연료봉의 봉단마개 부위는 열.기계적 작용에 의해 핵연료봉 파손이 쉽게 발생할 수 있는 취약 부위로 알려져 있다. 따라서, 핵연료봉 설계시 봉단마개 부위의 열.기계적 거동을 해석하고, 이 결과를 설계에 반영하여 파손 가능성이 없음을 확인하여야 한다. 여기에서는 중수로용 개량 핵연료인 CANFLEX-NU 핵연료봉 봉단마개에서의 열.기계적 거동을 해석하였는데, 이 결과 CANFLEX-NU 핵연료봉은 출력이 매우 낮아서 열중성자속 집중을 고려하더라도 봉단마개 부위 건전성을 충분히 유지하는 것으로 나타났다.

• 충청수학회지
• /
• 제28권2호
• /
• pp.207-215
• /
• 2015

The main goal in the present paper is to obtain a particular solution $g_{{\lambda}{\mu}}$, ${\Gamma}^{\nu}_{{\lambda}{\mu}}$ and an algebraic solution $\bar{g}_{{\lambda}{\mu}}$, $\bar{\Gamma}^{\nu}_{{\lambda}{\mu}}$ by means of $g_{{\lambda}{\mu}}$, ${\Gamma}^{\nu}_{{\lambda}{\mu}}$ in UFT $X_4$.

• 대한수학회지
• /
• 제31권3호
• /
• pp.401-416
• /
• 1994

We study the existence of an intermediate solution of nonlinear elliptic boundary value problems (BVP) of the form $$ (BVP) {\Delta u = f(x,u,\Delta u), in \Omega {Bu(x) = \phi(x), on \partial\Omega, $$ where $\Omega$ is a smooth bounded domain in $R^n, n \geq 1, and \partial\Omega \in C^{2,\alpha}, (0 < \alpha < 1), \Delta$ is the Laplacian operator, $\nabla u = (D_1u, D_2u, \cdots, D_nu)$ denotes the gradient of u and $$ Bu(x) = p(x)u(x) + q(x)\frac{d\nu}{du} (x), $$ where $\frac{d\nu}{du} denotes the outward normal derivative of u on $\partial\Omega$.

• 대한수학회논문집
• /
• 제32권4호
• /
• pp.875-883
• /
• 2017

In this work, we establish Heisenberg-type uncertainty principle for the Bessel-Struve Fock space ${\mathbb{F}}_{\nu}$ associated to the Airy operator $L_{\nu}$. Next, we give an application of the theory of extremal function and reproducing kernel of Hilbert space, to establish the extremal function associated to a bounded linear operator $T:{\mathbb{F}}_{\nu}{\rightarrow}H$, where H be a Hilbert space. Furthermore, we come up with some results regarding the extremal functions, when T are difference operators.

• 대한수학회보
• /
• 제52권6호
• /
• pp.1797-1803
• /
• 2015

Let ($S_{\alpha}(n))_{n{\geq}1}$ be the lexicographically greatest Sturmian word of slope ${\alpha}$ > 0. For a fixed ${\sigma}$ > 1, we consider Dirichlet series of the form ${\nu}_{\sigma}({\alpha})$ := ${\Sigma}_{n=1}^{\infty}s_{\alpha}(n)n^{-{\sigma}}$. This paper studies the singular properties of the real function ${\nu}_{\sigma}$, and the Lebesgue-Stieltjes measure whose distribution is given by ${\nu}_{\sigma}$.

• Korean Journal of Mathematics
• /
• 제14권1호
• /
• pp.71-77
• /
• 2006

We find the ${\epsilon}$-fuzzy equivalence relation generated by the union of two ${\epsilon}$-fuzzy equivalence relations on a set, find the ${\epsilon}$-fuzzy equivalence relation generated by a fuzzy relation on a set, and find sufficient conditions for the composition ${\mu}{\circ}{\nu}$ of two ${\epsilon}$-fuzzy equivalence relations ${\mu}$ and ${\nu}$ to be the ${\epsilon}$-fuzzy equivalence relation generated by ${\mu}{\cup}{\nu}$. Also we study fuzzy partitions of ${\epsilon}$-fuzzy equivalence relations.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (2)
• /
• pp.358-360
• /
• 2003

모델검사는 시스템과 그 시스템이 만족해야할 속성을 입력받아서 시스템이 속성을 만족하는지를 자동으로 보여주는 기술이다. 시스템이 속성을 만족한다면 참을, 만족하지 않는다면 왜 만족하지 않는지에 대한 반례를 보여준다. 모델검사에서 반례는 시스템의 오류를 발견하는데 중요하게 사용된다. 또한 모델검사를 이용해서 게임시스템을 모델링하고 반례를 이용해서 게임에 대한 풀이를 알 수 있게 되었다. 하지만 이런 반례가 최적의 풀이인지는 알 수 없었다. 이 논문은 모델검사에서 나온 게임 풀이가 최단 풀이 경로인지를 살펴본다. 그리고 최단 풀이경로를 출력하도록 NuSMV를 수정하여 원래 NuSMV에서 생성된 게임 풀이와 길이를 비교해 본다.

• 한국수학사학회지
• /
• 제15권2호
• /
• pp.161-168
• /
• 2002

We show that if the Stone-Cech compactification of $\textit{AX}$ and the minimal basically disconnected cove. of $\beta$Χ we homeomorphic and every real $\sigma$$Z(X)^#$-ultrafilter on X has the countable intersection property, then there is a covering map from $\nu$(ΛΧ) to $\nu$Χ and every real $\sigma$$Z(X)^#$-ultrafilter on Χ has the countable intersection property if and only if there is a homeomorphism from the Hewitt realcompactification of ΛΧ to the minimal basically disconnected space of $\nu$Χ.