• Communications of the Korean Mathematical Society
• /
• v.9 no.4
• /
• pp.881-889
• /
• 1994

Let ($X, \Beta, \mu$) be a measure space with the $\sigma$-algebra $\Beta$ and the probability measure $\mu$. Throughouth this article set equalities and inclusions are understood as being so modulo measure zero sets. A transformation T defined on a probability space X is said to be measure preserving if $\mu(T^{-1}E) = \mu(E)$ for $E \in B$. It is said to be ergodic if $\mu(E) = 0$ or i whenever $T^{-1}E = E$ for $E \in B$. Consider the sequence ${x, Tx, T^2x,...}$ for $x \in X$. One may ask the following questions: What is the relative frequency of the points $T^nx$ which visit the set E\ulcorner Birkhoff Ergodic Theorem states that for an ergodic transformation T the time average $lim_{n \to \infty}(1/N)\sum^{N-1}_{n=0}{f(T^nx)}$ equals for almost every x the space average $(1/\mu(X)) \int_X f(x)d\mu(x)$. In the special case when f is the characteristic function $\chi E$ of a set E and T is ergodic we have the following formula for the frequency of visits of T-iterates to E : $$ lim_{N \to \infty} \frac{$\mid${n : T^n x \in E, 0 \leq n $\mid$}{N} = \mu(E) $$ for almost all $x \in X$ where $$\mid$\cdot$\mid$$ denotes cardinality of a set. For the details, see [8], [10].

• KIPS Transactions on Computer and Communication Systems
• /
• v.11 no.9
• /
• pp.289-304
• /
• 2022

It is necessary to apply process algebra and logic in order to analyze and verify safety requirements for Smart IoT Systems due to distributivity and mobility of the systems over some predefined geo-temporal space. However the analysis and verification cannot be fully intuitive over the space due to the fact that the existing process algebra and logic are very limited to express the distributivity and the mobility. In order to overcome the limitations, the paper presents a new logic, namely for GTS-VL (Geo-Temporal Space-Visual Logic), visualization of the analysis and verification over the space. GTS-VL is the first order logic that deals with relations among the different types of blocks over the space, which is the graph that visualizes the system behaviors specified with the existing dTP-Calculus. A tool, called SAVE, was developed over the ADOxx Meta-Modeling Platform in order to demonstrate the feasibility of the approach, and the advantages and practicality of the approach was shown with the comparative analysis of PBC (Producer-Buffer-Consumer) example between the graphical analysis and verification method over the textual method with SAVE tool.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.8 no.4
• /
• pp.299-305
• /
• 2008

The object of this paper is to introduce the notion of compatible mapping of type(${\alpha}$) in intuitionistic fuzzy metric space, and to establish common fixed point theorem for five mappings in intuitionistic fuzzy metric space. Our research are an extension for the results of [1] and [7].

• Journal of applied mathematics & informatics
• /
• v.41 no.3
• /
• pp.541-552
• /
• 2023

In 2005, Patterson studied lacunary statistical convergence of double sequences of real numbers and, in 2009, Mursaleen introduced notion of lacunary statistical convergence of single sequences in intuitionistic fuzzy normed space. The current work intends to investigate the lacunary statistical convergence of double sequences and some significant conclusions on the algebra of the lacunary statistical limit of double sequences in intuitionistic fuzzy normed space. In addition, we have studied some examples to support the definitions.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.19 no.9
• /
• pp.2022-2028
• /
• 2015

SpaceWire is a standard for high-speed links and networks between spacecraft components, which was invented for better, cheaper and faster on-board data handling in spacecraft. The standard defines timecode and its distribution which can be used for time synchronization among the nodes in a SpaceWire network. A timecode output from the time master which provides standard time over a SpaceWire network travels through links and routers to reach every nodes. While traveling, a timecode suffers from transmission delay and jitter which cause some difference in time synchronization among nodes. In this work, a simulator was developed using OMNeT++ to simulate the operation of a SpaceWire network and some analyses were performed on the transmission delay and jitter accompanied with a transmission of a timecode. The result will be used in the near future for the research of a precise time synchronization technique over a SpaceWire network.

• Bulletin of the Korean Mathematical Society
• /
• v.33 no.4
• /
• pp.603-611
• /
• 1996

Let consider the following problem: find an element u(t) in a Banach space U from the equation $$ x'(t) = Ax(t) + f(t,x(t)) + \Phi_0 u(t), 0 \leq t \leq T $$ with initial and terminal conditions $$ x(0) = 0, x(T) = \phi $$ in a Banach space X where $\phi \in D(A)$. This problem is a kind of control engineering inverse problem and contains nonlinear term, so that it is difficult and interesting. Thee proof main result in this paper is based on the Fredholm property of [1] in section 3. Similar considerations of linear system have been dealt with in many references. Among these literatures, Suzuki[5] introduced this problem for heat equation with unknown spatially-varing conductivity. Nakagiri and Yamamoto[2] considered the identifiability problem, which A is a unknown operator to be identified, where the system is described by a linear retarded functional differential equation. We can also apply to determining the magnitude of the control set for approximate controllability if X is a reflexive space, i.e., we can consider whether a dense subset of X is covered by reachable set in section 4.

• Journal of the Chungcheong Mathematical Society
• /
• v.8 no.1
• /
• pp.19-27
• /
• 1995

In 1974 H.Herrlich invented nearness spaces, a very fruitful concept which enables one to unify topological aspects. In this paper, we introduce the Lindel$\ddot{o}$f nearness structure, countably bounded nearness structure and countably totally bounded nearness structure. And we show that (X, ${\xi}_L$) is concrete and complete if and only if ${\xi}_L={\xi}_t$ in a symmetric topological space (X, t). Also we show that the following are equivalent in a symmetric topological space (X, t): (1) (X, ${\xi}_L$) is countably totally bounded. (2) (X, ${\xi}_t$) is countably totally bounded. (3) (X, t) is countably compact.

• Journal of information and communication convergence engineering
• /
• v.2 no.2
• /
• pp.67-70
• /
• 2004

In this paper, we propose two novel high-rate high-performance space-time codes for multiple-input multiple-output (MIMO) systems. When $n_T$ transmit antennas and When $n_R$ ＝ When $n_T$ receive antennas are deployed, the two proposed codes respectively offer transmission rates of (When $n_T$ -1) and (When $n_T$ -2) symbols per channel use and diversity orders of 3 and 5. As a consequence, our proposed codes allow the MIMO systems to employ a simple detection technique based on QR decomposition. Moreover, for equal or even higher spectral efficiencies, our proposed codes always provide much better bit error rate (BER) performances than V-BLAST architecture does when When $n_R$ ＝ When $n_T$. Computer simulation is given to verify performances of our proposed codes.

• Korean Journal of Mathematics
• /
• v.27 no.3
• /
• pp.735-741
• /
• 2019

Let ${\mathcal{H}}$ be a complex Hilbert space and ${\mathcal{B}}({\mathcal{H}})$ the algebra of all bounded linear operators on ${\mathcal{H}}$. In this paper, we prove that if ${\varphi}:{\mathcal{B}}({\mathcal{H}}){\rightarrow}{\mathcal{B}}({\mathcal{H}})$ is a unital surjective bounded linear map, which preserves m- isometries m = 1, 2 in both directions, then there are unitary operators $U,V{\in}{\mathcal{B}}({\mathcal{H}})$ such that ${\varphi}(T)=UTV$ or ${\varphi}(T)=UT^{tr}V$ for all $T{\in}{\mathcal{B}}({\mathcal{H}})$, where $T^{tr}$ is the transpose of T with respect to an arbitrary but fixed orthonormal basis of ${\mathcal{H}}$.

• Kyungpook Mathematical Journal
• /
• v.60 no.1
• /
• pp.185-195
• /
• 2020

This paper aims to study the 𝒲^⁎-curvature tensor on relativistic space-times. The energy-momentum tensor T of a space-time having a semi-symmetric 𝒲^⋆-curvature tensor is semi-symmetric, whereas the whereas the energy-momentum tensor T of a space-time having a divergence free 𝒲^⋆-curvature tensor is of Codazzi type. A space-time having a traceless 𝒲^⁎-curvature tensor is Einstein. A 𝒲^⁎-curvature flat space-time is Einstein. Perfect fluid space-times which admits 𝒲^⋆-curvature tensor are considered.