• Korean Journal of Logic
• /
• v.16 no.3
• /
• pp.437-452
• /
• 2013

This paper verifies the following two: First, I verify the standard completeness proof for the system $ULw_t$ is not correct in the sense that t-weakening uninorms are t-norms, but not weakening-free uninorms. Second, I verify that the proof for $ULw_t$ can be used for the system MTL. That is, I provide a new standard completeness proof for it.

• The Korean Journal of Food And Nutrition
• /
• v.24 no.4
• /
• pp.725-731
• /
• 2011

In this study, a survey was carried out on 300 students in Korea Culinary Arts Science High School located in Gyeonggi-do from August 1 to August 30, 2011 to figure out how the control of high school students' eating behavior affects the change of their psychological achievement. Analysis showed that attitude toward eating behavior, and perceived behavior that recognize this and act, as eating habits for control of their eating behavior, are the most control factors of eating behavior. It says that the right perception of customary attitude and the correction of habits according to the exposure and performance of repetitive eating behaviors are important. Consequently, an ordinarily regular norm as a social norm, or a rule around it won't act as big positive factors.

• Journal of the Korean Mathematical Society
• /
• v.51 no.3
• /
• pp.545-565
• /
• 2014

In this paper we derive a priori $L^{\infty}(L^2)$ error estimates for expanded mixed finite element formulations of semilinear Sobolev equations. This formulation expands the standard mixed formulation in the sense that three variables, the scalar unknown, the gradient and the flux are explicitly treated. Based on this method we construct finite element semidiscrete approximations and fully discrete approximations of the semilinear Sobolev equations. We prove the existence of semidiscrete approximations of u, $-{\nabla}u$ and $-{\nabla}u-{\nabla}u_t$ and obtain the optimal order error estimates in the $L^{\infty}(L^2)$ norm. And also we construct the fully discrete approximations and analyze the optimal convergence of the approximations in ${\ell}^{\infty}(L^2)$ norm. Finally we also provide the computational results.

• 제어로봇시스템학회:학술대회논문집
• /
• 2005.06a
• /
• pp.1510-1515
• /
• 2005

This paper is concerned with a Logic-based Fuzzy Neural Networks (LFNN) with the aid of fuzzy granulation. As the underlying design tool guiding the development of the proposed LFNN, we concentrate on the context-based fuzzy clustering which builds information granules in the form of linguistic contexts as well as OR fuzzy neuron which is logic-driven processing unit realizing the composition operations of T-norm and S-norm. The design process comprises several main phases such as (a) defining context fuzzy sets in the output space, (b) completing context-based fuzzy clustering in each context, (c) aggregating OR fuzzy neuron into linguistic models, and (c) optimizing connections linking information granules and fuzzy neurons in the input and output spaces. The experimental examples are tested through two-dimensional nonlinear function. The obtained results reveal that the proposed model yields better performance in comparison with conventional linguistic model and other approaches.

• Journal of applied mathematics & informatics
• /
• v.37 no.5_6
• /
• pp.357-382
• /
• 2019

In this paper, we consider boundary value problem for a weakly coupled system of two singularly perturbed differential equations of convection diffusion type with discontinuous source term. In general, solution of this type of problems exhibits interior and boundary layers. A numerical method based on streamline diffusiom finite element and Shishkin meshes is presented. We derive an error estimate of order $O(N^{-2}\;{\ln}^2\;N$) in the maximum norm with respect to the perturbation parameters. Numerical experiments are also presented to support our theoritical results.

• The Pure and Applied Mathematics
• /
• v.15 no.4
• /
• pp.407-414
• /
• 2008

In this paper, we study the self-adjoint second order boundary value problem with integral boundary conditions: (p(t)x'(t))'+f(t,x(t))=0, t $${\in}$$ (0,1), x'(0)=0, x(1) = $${\int}_0^1$$ x(s)g(s)ds. A new result on the existence of positive solutions is obtained. The interesting points are: the first, we employ a new tool-the recent Leggett-Williams norm-type theorem for coincidences; the second, the boundary value problem is involved in integral condition; the third, the solutions obtained are positive.

• Journal of the Korea Convergence Society
• /
• v.8 no.7
• /
• pp.341-348
• /
• 2017

The aim of this study is to distinguish children with high-functioning autism spectrum disorder (ASD) from the norm group by identifying their Intelligence with Korean Wechsler Intelligence Scale for Children-Fourth Edition (K-WISC-IV) profile analysis. The article were administered to 90 children with high-functioning ASD (6-16) years and has surveyed the average of the Full scale IQ, index scores, and subtest scores of K-WISC-IV. Also, this study has conducted a single-subject T-test in order to verify whether Full scale IQ, index scores, subtest scores are different from those of the norm group. The results show that children with high-functioning ASD achieved significantly lower scores on Processing Speed Index, compared to the norm group. Furthermore, their scores in Comprehension, Picture Concept, Picture completion, Coding, and Symbol Search were significantly lower than those of the norm group. It is likely that what have turned out to be the cognitive weaknesses of high-functioning ASD children by K-WISC-IV analysis, including slow process speed, low social judgement, and difficulty in visual stimuli in everyday life are interrelated to their unique characters.

• Korean Journal of Mathematics
• /
• v.19 no.3
• /
• pp.279-289
• /
• 2011

Let E be a uniformly convex Banach space with a uniformly Gateaux differentiable norm, C be a nonempty closed convex subset of E and f : $C{\rightarrow}C$ be a fixed bounded continuous strong pseudocontraction with the coefficient ${\alpha}{\in}(0,1)$. Let $\{{\lambda}_t\}_{0<t<1}$ be a net of positive real numbers such that ${\lim}_{t{\rightarrow}0}{\lambda}_t={\infty}$ and S = {$T(s)$ : $0{\leq}s$ < ${\infty}$} be a nonexpansive semigroup on C such that $F(S){\neq}{\emptyset}$, where F(S) denotes the set of fixed points of the semigroup. Then sequence {$x_t$} defined by $x_t=tf(x_t)+(1-t)\frac{1}{{\lambda}_t}{\int_{0}}^{{\lambda}_t}T(s)x{_t}ds$ converges strongly as $t{\rightarrow}0$ to $\bar{x}{\in}F(S)$, which solves the following variational inequality ${\langle}(f-I)\bar{x},\;p-\bar{x}{\rangle}{\leq}0$ for all $p{\in}F(S)$.

• Journal of the Korean Mathematical Society
• /
• v.34 no.4
• /
• pp.1029-1036
• /
• 1997

Let ${A_t)}_{t>0}$ be a dilation group given by $A_t = exp(-P log t)$, where P is a real $n \times n$ matrix whose eigenvalues has strictly positive real part. Let $\nu$ be the trace of P and $P^*$ denote the adjoint of pp. Suppose that $K$ is a function defined on $R^n$ such that $$\mid$K(x)$\mid$ \leq k($\mid$x$\mid$_Q)$ for a bounded and decreasing function $k(t) on R_+$ satisfying $k \diamond $\mid$\cdot$\mid$_Q \in \cup_{\varepsilon >0}L^1((1 + $\mid$x$\mid$)^\varepsilon dx)$ where $Q = \int_{0}^{\infty} exp(-tP^*) exp(-tP)$ dt and the norm $$\mid$\cdot$\mid$_Q$ stands for $$\mid$x$\mid$_Q = \sqrt{}, x \in R^n$. For $f \in L^1(R^n)$, define $mf(x) = sup_{t>0}$\mid$K_t * f(x)$\mid$$ where $K_t(X) = t^{-\nu}K(A_{1/t}^* x)$. Then we show that $m$ is a bounded operator of $L^1(R^n) into L^{1, \infty}(R^n)$.

• Journal of the Korean Mathematical Society
• /
• v.40 no.6
• /
• pp.1031-1050
• /
• 2003

In this paper, we assume a density with integrability on the space $L^{\infty}$(0, T; $L^{q_{0}}$) for some $q_{0}$ and T > 0. Under the assumption on the density, we obtain a regularity result for the weak solutions to the compressible Navier-Stokes equations. That is, the supremum of the density is finite and the infimum of the density is positive in the domain $T^3$ ${\times}$ (0, T). Moreover, Moser type iteration scheme is developed for $L^{\infty}$ norm estimate for the velocity.