• Communications of the Korean Mathematical Society
• /
• v.15 no.4
• /
• pp.617-626
• /
• 2000

We study the vectors related tro states on the Cuntz algebra Ο(sub)n and prove hat, for tow states $\omega$ and $\rho$ on Ο(sub)n with $\omega$│UHF(sub)n = $\rho$│UHF(sub)n, if ($\omega$(s$_1$), …, $\omega$(s(sub)n)) and ($\rho$(s$_1$),…, $\rho$(s(sub)n)) are unit vectors, then they and linearly dependent. We also study the linear functional on Ο(sub)n associated to a sequence of unit vectors in C(sup)n which is the generalization of the Cuntz state. We show that if the linear functional associated to a sequence of unit vectors with a certain condition is a state, then it is just the Cuntz state.

• Industrial Engineering and Management Systems
• /
• v.1 no.1
• /
• pp.1-9
• /
• 2002

Among the state-space description of discrete vent systems, the max-plus algebra is known as one of the effective approach. This paper proposes a model predictive control (MPC) design method based on the max-plus algebra. Several studies related to these topics have been done so far under the constraints that system parameters are constant. However, in practical systems such as production systems, it is common and sometimes inevitable that system parameters vary by each event. Therefore, it is of worth to design a new MPC controller taking account of adjustable system parameters. In this paper, we formulate system parameters as adjustable ones, and they are solved by a linear programing method. Since MPC determines optimal control input considering future reference signals, the controller can be more robust and the operation cost can be reduced. Finally, the proposed method is applied to a production system with three machines, and the effectiveness of the proposed method is verified through a numerical simulation.

• Korean Journal of Mathematics
• /
• v.9 no.1
• /
• pp.53-60
• /
• 2001

We study the properties of positivity of matrices and construct useful positive matrices. As an application, we consider a directed graph with matrices such that all the associated matrices related to the positive linear functional are positive.

• Bulletin of the Korean Mathematical Society
• /
• v.47 no.4
• /
• pp.787-792
• /
• 2010

Let A and B be some standard operator algebras on complex Banach spaces X and Y, respectively. We give the concrete forms of linear idempotence preserving maps $\Phi\;:\;A\;{\rightarrow}\;B$ on finite-rank operators.

• Journal of the Korean Mathematical Society
• /
• v.54 no.2
• /
• pp.685-696
• /
• 2017

A linear mapping ${\phi}$ on an algebra $\mathcal{A}$ is called a centralizable mapping at $G{\in}{\mathcal{A}}$ if ${\phi}(AB)={\phi}(A)B= A{\phi}(B)$ for each A and B in $\mathcal{A}$ with AB = G, and ${\phi}$ is called a derivable mapping at $G{\in}{\mathcal{A}}$ if ${\phi}(AB)={\phi}(A)B+A{\phi}(B)$ for each A and B in $\mathcal{A}$ with AB = G. A point G in A is called a full-centralizable point (resp. full-derivable point) if every centralizable (resp. derivable) mapping at G is a centralizer (resp. derivation). We prove that every point in a von Neumann algebra or a triangular algebra is a full-centralizable point. We also prove that a point in a von Neumann algebra is a full-derivable point if and only if its central carrier is the unit.

• Journal of the Chungcheong Mathematical Society
• /
• v.24 no.4
• /
• pp.617-630
• /
• 2011

Let X, Y be vector spaces, and let r be 2 or 4. It is shown that if an odd mapping $f:X{\rightarrow}Y$ satisfies the functional equation $${\hspace{50}}rf(\frac{\sum_{j=1}^{d}\;x_j} {r})+\;{\sum\limits_{\iota(j)=0,1 \atop {\sum_{j=1}^{d}}\;{\iota}(j)=l}}\;rf(\frac{\sum_{j=1}^{d}{(-1)^{\iota(j)}x_j}}{r}) \\({\ddag}){\hspace{160}}=(_{d-1}C_l-_{d-1}C_{l-1}+1)\;{\sum\limits_{j=1}^{d}\;f(x_j)}$$ then the odd mapping $f:X{\rightarrow}Y$ is additive, and we prove the Cauchy-Rassias stability of the functional equation in Banach modules over a unital $C^*$-algebra. As an application, we show that every almost linear bijection $h:{\mathcal{A}}{\rightarrow}{\mathcal{B}}$ of a unital $C^*$-algebra ${\mathcal{A}}$ onto a unital $C^*$-algebra ${\mathcal{B}}$ is a $C^*$-algebra isomorphism when $h(2^nuy)=h(2^nu)h(y)$ for all unitaries $u{\in}{\mathcal{A}}$, all $y{\in}{\mathcal{A}}$, and $n=0,1,2,{\cdots}$.

• Industrial Engineering and Management Systems
• /
• v.7 no.1
• /
• pp.23-33
• /
• 2008

This paper proposes an approach to monitoring and scheduling methods for repetitive MIMO-FIFO DESs. We use max-plus algebra for modeling and formulation, known as an effective approach for controller design for this type of system. Because a certain type of linear equations in max-plus algebra can represent the system's behavior, the principal concerns in past researches were how to solve the equations. However, the researches focused mainly on analyses of the relation between inputs and outputs of the system, which implies that the changes or the slacks of internal states were not clarified well. We first examine several properties of the corresponding state variables, which contribute to finding and tracing the float times in each process. Moreover, we provide a rescheduling method that can take into account delays or changes of the internal states. These methods would be useful in schedule control or progress management.

• 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}}$.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.8 no.3
• /
• pp.965-983
• /
• 2014

Concurrent behaviors of multithreaded programs cannot be described effectively by automata-based models. Thus, concurrent program intrusion attempts cannot be detected. To address this problem, we proposed the process algebra-based detection model for multithreaded programs (PADMP). We generate process expressions by static binary code analysis. We then add concurrency operators to process expressions and propose a model construction algorithm based on process algebra. We also present a definition of process equivalence and behavior detection rules. Experiments demonstrate that the proposed method can accurately detect errors in multithreaded programs and has linear space-time complexity. The proposed method provides effective support for concurrent behavior modeling and detection.

• The Pure and Applied Mathematics
• /
• v.15 no.4
• /
• pp.393-400
• /
• 2008

In this paper, we investigate the following additive functional inequality (0.1) ||f(x)+f(y)+f(z)+f(w)||${\leq}$||f(x+y)+f(z+w)|| in normed modules over a $C^*$-algebra. This is applied to understand homomor-phisms in $C^*$-algebra. Moreover, we prove the generalized Hyers-Ulam stability of the functional inequality (0.2) ||f(x)+f(y)+f(z)f(w)||${\leq}$||f(x+y+z+w)||+${\theta}||x||^p||y||^p||z||^p||w||^p$ in real Banach spaces, where ${\theta}$, p are positive real numbers with $4p{\neq}1$.