• East Asian mathematical journal
• /
• v.39 no.3
• /
• pp.271-278
• /
• 2023

We consider a 1-dimensional reaction diffusion equation with the following boundary conditions arising in a theory of the thermal explosion {-u"(t) = λf(u(t)), t ∈ (0, l), -u'(0) + C(0)u(0) = 0, u'(l) + C(l)u(l) = 0, where C : [0, ∞) → (0, ∞) is a continuous and nondecreasing function, λ > 0 is a parameter and f : [0, ∞) → (0, ∞) is a continuous function. We establish the extension of Quadrature method introduced in [8]. Using this extension, we provide numerical results for models with a typical function of f and C in a thermal explosion theory, which verify the existence, uniqueness and multiplicity results proved in [6].

• Korean Journal of Logic
• /
• v.14 no.2
• /
• pp.39-76
• /
• 2011

We explain some basic elements of Martin-L$\ddot{o}$f's type theory and examine the distinction between propositions and judgments. In section 1, we introduce the problem. In section 2, we explain the concept of proposition in the intuitionistic type theory as a development of the intuitionistic conception of proposition. In section 3, we explain the concept of judgment in the intuitionistic type theory. In section 4, we explain some basic inference rules and examine a particular derivation in the theory. In section 5, we examine one route from the Fregean distinction between propositions and judgments to the distinction between them in the intuitionistic type theory, paying attention to the alleged necessity for introducing different forms of judgments.

• Journal of the Korean Mathematical Society
• /
• v.54 no.4
• /
• pp.1301-1316
• /
• 2017

It is well known that every $x{\in}(0,1]$ can be expanded to an infinite $L{\ddot{u}}roth$ series with the form of $$x={\frac{1}{d_1(x)}}+{\cdots}+{\frac{1}{d_1(x)(d_1(x)-1){\cdots}d_{n-1}(x)(d_{n-1}(x)-1)d_n(x)}}+{{\cdots}}$$, where $d_n(x){\geq}2$ for all $n{\geq}1$. In this paper, the set of points with some restrictions on the digits in $L{\ddot{u}}roth$ series expansions are considered. Namely, the Hausdorff dimension of following the set $$F_{\phi}=\{x{\in}(0,1]\;:\;d_n(x){\geq}{\phi}(n),\;i.o.n}$$ is determined, where ${\phi}$ is an integer-valued function defined on ${\mathbb{N}}$, and ${\phi}(n){\rightarrow}{\infty}$ as $n{\rightarrow}{\infty}$.

• Journal of Applied and Pure Mathematics
• /
• v.5 no.1_2
• /
• pp.1-8
• /
• 2023

This study is on a Boolean B or Boolean lattice L in abstract algebra with closed binary operation *, complement and distributive properties. Both Binary operations and logic properties dominate this set. A lattice sheds light on binary operations and other algebraic structures. In particular, the construction of the elements of this L set from idempotent elements, our definition of k-order idempotent has led to the expanded definition of the definition of the lattice theory. In addition, a lattice offers clever solutions to vital problems in life with the concept of logic. The restriction on a lattice is clearly also limit such applications. The flexibility of logical theories adds even more vitality to practices. This is the main theme of the study. Therefore, the properties of the set elements resulting from the binary operation force the logic theory. According to the new definition given, some properties, lemmas and theorems of the lattice theory are examined. Examples of different situations are given.

• Journal of KIISE:Computer Systems and Theory
• /
• v.28 no.3
• /
• pp.155-160
• /
• 2001

본 논문은 영역별 근접 그래프 (geographic nearest neighbor graph)와 레인지 트리 (range tree)를 이용하여 평면 위의 n 개의 점에 대한 L$_{\infty}$ (L$_1$) 거리 (metric) 상의 디루니 삼각분할 (Delaunay triangulation)을 구축하는 방법을 소개한다. 이 방법은 L$_{\infty}$ (L$_1$) 거리 상에서 디루니 삼각분할에 있는 각 삼각형의 최소한 한 선분이 영역별 근접 그래프에 포함됨을 이용하여 레인지 트리 방법으로 디루니 삼각분할을 구축한다. 본 방법은 0(nlogn)의 순차계산 시간에 L$_{\infty}$ (L$_1$) 디루니 삼각분할을 구축하며, CREW-PRAM (Concurrent Read Exclusive Write Parallel Random Access Machine)에서 0(n)의 프로세서로 0(logn)의 병렬처리 시간에 L$_{\infty}$ (L$_1$) 디루니 삼각분할을 구축한다. 또한, 이 방법은 직선간의 교차점 계산 대신 거리비교를 하기 때문에 수치오차가 적고 구현이 용이하다.

• Journal of applied mathematics & informatics
• /
• v.14 no.1_2
• /
• pp.193-212
• /
• 2004

A new model of generalized thermoelasticity equations for isotropic media with temperature-dependent mechanical properties is established. The modulus of elasticity is taken as a linear function of reference temperature. The present model is described both generalizations, Lord Shulman (L-S) theory with one relaxation time and Green-Lindsay (G-L) with two relaxation times, as well as the coupled theory, instantaneously. The method of the matrix exponential, which constitutes the basis of the state space approach of modern control theory, applied to two-dimensional equations. Laplace and Fourier integral transforms are used. The resulting formulation is applied to a problem of a thick plate subject to heating on parts of the upper and lower surfaces of the plate that varies exponentially with time. Numerical results are given and illustrated graphically for the problem considered. A comparison was made with the results obtained in case of temperature-independent modulus of elasticity in each theory.

• Journal of Korea Multimedia Society
• /
• v.3 no.5
• /
• pp.461-469
• /
• 2000

A wavelet analysis in a field of analytics is to create a reconstruction theorem of Plancherel form. And a series of wavelet is to create a discrete is to create a discrete reconstruction theorem for a frame theory and a multiresolution analysis theory. As a generation of reconstruction theorem, a wavelet correspond to it is generated. That is to be like a basic wavelet which is satisfied an admissibility condition in CWT and a Daubechies wavelet using MRA in wavelet series and a Meyer wavelet using a frame theory. In this paper, we discover a discrete reconstruction theorem which is superior to a conventional discrete reconstruction theorem by extending admissibility condition used in CWT and develop a New $L^1$-wavelet group. A new $L^1$-wavelet is applied to a signal reconstruction and a signal analysis in time-frequency region.

• Bulletin of the Korean Chemical Society
• /
• v.34 no.10
• /
• pp.2889-2894
• /
• 2013

A new complex [$Ni(phen)(C_9H_8Br_2NO_3)_2{\cdot}2CH_3OH{\cdot}2H_2O$] [phen: 1,10-phenanthroline $C_9H_8Br_2NO_3$: 3,5-dibromo-L-tyrosine] was synthesized and characterized by IR, elemental analysis and single crystal X-ray diffraction. X-ray crystallography shows that Ni(II) ion is six-coordinated. The Ni(II) ion coordinates with four nitrogen atoms and two oxygen atoms from three ligands, forming a mononuclear Ni(II) complex. The crystal crystallizes in the Orthorhombic system, space group $P2_12_12$ with a = 12.9546 ${\AA}$, b = 14.9822 ${\AA}$, c = 9.9705 ${\AA}$, V = 1935.2 ${\AA}$, Z = 1, F(000) = 1008, S = 0.969, ${\rho}_{calcd}=1.742g{\cdot}cm^{-3}$, ${\mu}=4.688mm^{-1}$, $R_1$ = 0.0529 and $wR_2$ = 0.0738 for 3424 observed reflections (I > $2{\sigma}(I)$). Theoretical study of the title complex was carried out by density functional theory (DFT) method and the B3LYP method employing the $6-3l+G^*$ basis set. The energy gap between HOMO and LUMO indicates that this complex is prone to interact with DNA. CCDC: 908041.

• Journal of the Korean Mathematical Society
• /
• v.31 no.3
• /
• pp.375-391
• /
• 1994

In 1968k Cameron and Storvick introduced the analytic and the sequential operator-valued function space integral [2]. Since then, the theo교 of the analytic operator-valued function space integral has been investigated by many mathematicians - Cameron, Storvick, Johnson, Skoug, Lapidus, Chang and author etc. But there are not that many papers related to the theory of the sequential operator-valued function space integral. In this paper, we establish the existence of the sequential operator-valued function space integral as an operator from $L_p$ to $L_p'(1 and investigated the integral equation related to this integral.

• The Pure and Applied Mathematics
• /
• v.12 no.1
• /
• pp.75-91
• /
• 2005

The main objective of this paper is to introduce the gradation of neigh-bourhoodness in L-fuzzy topology and to introduce the fuzziness in the concept of convergence of L-fuzzy nets.