• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.9 no.4
• /
• pp.1376-1391
• /
• 2015

In bus delay-tolerant networks, the route of bus is determinate but its arrival time is indeterminate. However, most conventional approaches predict future contact without considering its uncertainty, which makes a limitation on routing performance. A novel approach is proposed by employing interval algebra to characterize the contact's uncertainty and time-varying nature. The contact is predicted by using the Bayesian estimation to achieve a better routing performance. Simulation results show that this approach achieves a good balance between delivery latency and delivery ratio.

• Kyungpook Mathematical Journal
• /
• v.45 no.4
• /
• pp.481-489
• /
• 2005

We first show that any complete MV-algebra whose Boolean subalgebra of idempotent elements is atomic, called a complete MV-algebra with atomic center, is isomorphic to a product of unit interval MV-algebra 1's and finite linearly ordered MV-algebras of A(m)-type $(m{\in}{\mathbb{Z}}^+)$. Secondly, for a semi-simple MV-algebra A, we introduce a completion ${\delta}(A)$ of A which is a complete, MV-algebra with atomic center. Under their intrinsic topologies $(see\;{\S}3)$ A is densely embedded into ${\delta}(A)$. Moreover, ${\delta}(A)$ has the extension universal property so that complete MV-algebras with atomic centers are epireflective in semi-simple MV-algebras

• Journal of applied mathematics & informatics
• /
• v.10 no.1_2
• /
• pp.251-259
• /
• 2002

The fuzzification of an ideal in a Lie algebra is considered. Using a level subset of a fuzzy subset of a Lie algebra, we give a characterization of a fuzzy ideal, and using a family of ideals of a Lie algebra, we establish a fuzzy ideal. With relation to the ascending chain of ideals, a characterization for the set of values of any fuzzy ideal to be a well-ordered subset of the closed unit interval [0,1] is stated.

• Korean Journal of Mathematics
• /
• v.14 no.2
• /
• pp.203-215
• /
• 2006

In this note the notion of interval-valued fuzzy BG-algebras (briefly, i-v fuzzy BG-algebras), the level and strong level BG-subalgebra is introduced. Then we state and prove some theorems which determine the relationship between these notions and BG-subalgebras. The images and inverse images of i-v fuzzy BG-subalgebras are defined, and how the homomorphic images and inverse images of i-v fuzzy BG-subalgebra becomes i-v fuzzy BG-algebras are studied.

• Honam Mathematical Journal
• /
• v.37 no.2
• /
• pp.187-205
• /
• 2015

We discuss the relationship between interval-valued fuzzy ideals and interval-valued fuzzy congruence on a distributive lattice L and show that for a generalized Boolean algebra the lattice of interval-valued fuzzy ideals is isomorphic to the lattice of interval-valued fuzzy congruences. Finally we consider the products of interval-valued fuzzy ideals and obtain a necessary and sufficient condition for an interval-valued fuzzy ideal on the direct sum of lattices to be representable as a direct sum of interval-valued fuzzy ideals on each lattice.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.20 no.2
• /
• pp.139-158
• /
• 1995

A temporal database systems provides timing information and maintains history of data compared to the conventional database system. In this paper, we present a temporal relational database which use an interval-stamping method for instant-based events and for interval-based states. A set of temporal algebraic operators are developed on an instance of time and interval of time so that we can manipulate events and states at a same time. The set of operation is the basis for creating a relational algebra that is closed for temporal relations. And temporal SQL is also suggested as a temporal query relational language for our algebraic operations on temporal relations.

• Communications of the Korean Mathematical Society
• /
• v.35 no.3
• /
• pp.809-823
• /
• 2020

Let C[0, T] denote the space of continuous, real-valued functions on the interval [0, T] and let C₀[0, T] be the space of functions x in C[0, T] with x(0) = 0. In this paper, we introduce a Banach algebra ${\bar{\mathcal{S}}}_{{\alpha},{\beta};{\varphi}}$ on C[0, T] and its equivalent space ${\bar{\mathcal{F}}}({\mathcal{H}}) $, a space of transforms of equivalence classes of measures, which generalizes Fresnel class 𝓕(𝓗), where 𝓗 is an appropriate real separable Hilbert space of functions on [0, T]. We also investigate their properties and derive an isomorphism between ${\bar{\mathcal{S}}}_{{\alpha},{\beta};{\varphi}}$ and ${\bar{\mathcal{F}}}({\mathcal{H}}) $. When C[0, T] is replaced by C₀[0, T], ${\bar{\mathcal{F}}}({\mathcal{H}}) $ and ${\bar{\mathcal{S}}}_{{\alpha},{\beta};{\varphi}}$ reduce to 𝓕(𝓗) and Cameron-Storvick's Banach algebra 𝓢, respectively, which is the space of generalized Fourier-Stieltjes transforms of the complex-valued, finite Borel measures on L²[0, T].

• The KIPS Transactions:PartD
• /
• v.16D no.2
• /
• pp.185-190
• /
• 2009

The event sequence of the same type from a set of events having time property can be summarized in one event. But if the event sequence having an interval, It is reasonable to be summarized more than one in independent sub event sequence of each other. In this paper, we suggest a method of temporal data mining that summarizes the interval events based on Allen's interval algebra and finds out interval event association rule from interval events. It provides better knowledge than others by using concept of an independent sub sequence and finding interval event association rules.

• Journal of the Chungcheong Mathematical Society
• /
• v.4 no.1
• /
• pp.91-97
• /
• 1991

This paper studies the structure and continuity of derivations of the Banach algebra $C^n(I)$ of n times continuously differentiable functions on an interval I into Banach $C^n(I)$-modules.

• Journal of the Chungcheong Mathematical Society
• /
• v.4 no.1
• /
• pp.61-69
• /
• 1991

By $C^{(1)}$[0, 1] we denote the Banach algebra of complex valued continuously differentiable functions on [0, 1] with norm given by $${\parallel}f{\parallel}=\sup_{x{\in}[0,1]}({\mid}f(x){\mid}+{\mid}f^{\prime}(x){\mid})\text{ for }f{\in}C^{(1)}$$. By A we denote the sub algebra of $C^{(1)}$ defined by $$A=\{f{\in}C^{(1)}:f(0)=f(1)\text{ and }f^{\prime}(0)=f^{\prime}(1)\}$$. By an isometry of A we mean a norm-preserving linear map of A onto itself. The purpose of this article is to describe the isometries of A. More precisely, we show tht any isometry of A is induced by a point map of the interval [0, 1] onto itself.