• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1993.10a
• /
• pp.118-118
• /
• 1993

We consider a discrete event dynamic system called periodic job shop, where an identical mixture of items called minimal part set(MPS) is repetitively produced in the same processing order and the primary performance measure is the cycle time. The precedence relationships among events(starts of operations) are represented by a directed graph with rocurront otructure. When each operation starts as soon as all its preceding operations complete(called earliest starting), the occurrences of events are modeled in a linear system using a special algebra called minimax algebra. By investigating the eigenvalues and the eigenvectors, we develop conditions on the directed graph for which a stable steady state or a finite eigenvector exists. We demonstrate that each finite eigenvector, characterized as a finite linear combination of a class of eigenvalue, is the minimum among all the feasible schedules and an identical schedule pattern repeats every MPS. We develop an efficient algorithm to find a schedule among such schedules that minimizes a secondary performance measure related to work-in-process inventory. As a by-product of the linear system approach, we also propose a way of characterizing stable steady states of a class of discrete event dynamic systems.

• Journal of the Korean Mathematical Society
• /
• v.40 no.5
• /
• pp.789-830
• /
• 2003

By forming completions of families of noncommutative polynomials, we define a notion of noncommutative continuous function and locally bounded Borel function that give a noncommutative analogue of the functional calculus for elements of commutative $C^{*}$-algebras and von Neumann algebras. These notions give a precise meaning to $C^{*}$-algebras defined by generator and relations and we show how they relate to many parts of operator and operator algebra theory.

• Bulletin of the Korean Mathematical Society
• /
• v.47 no.5
• /
• pp.997-1000
• /
• 2010

We prove that the reduced free product of $k\;{\times}\;k$ matrix algebras over abelian $C^*$-algebras is not the minimal tensor product of reduced free products of $k\;{\times}\;k$ matrix algebras over abelian $C^*$-algebras. It is shown that the reduced group $C^*$-algebra associated with a group having the property T of Kazhdan is not isomorphic to a reduced free product of abelian $C^*$-algebras or the minimal tensor product of such reduced free products. The infinite tensor product of reduced free products of abelian $C^*$-algebras is not isomorphic to the tensor product of a nuclear $C^*$-algebra and a reduced free product of abelian $C^*$-algebra. We discuss the freeness of free product $II_1$-factors and solidity of free product $II_1$-factors weaker than that of Ozawa. We show that the freeness in a free product is related to the existence of Cartan subalgebras in free product $II_1$-factors. Finally, we give a free product factor which is not solid in the weak sense.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2000.10a
• /
• pp.161-164
• /
• 2000

A cyclic shop is a production system that repeatedly produces identical sets of jobs, called minimal part sets, in the same loading and processing sequence. We consider a version of cyclic shop where the operations are processed and unloaded within time limits, so called a time window. We model the shop using an event graph model, a class of Petri nets. To represent the time window constraint, we introduce places with negative time delays. From the shop modeling graph, we develop a linear system model based on the max- plus algebra and characterize the conditions on the existence of a stable schedule.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2004.04a
• /
• pp.9-16
• /
• 2004

This paper deals with the development of computational schemes for the dynamic analysis of flexible and nonlinear multibody systems. Different from the existing method, this paper introduces the quaternion algebra to develop the equation of the conservation of energy. Simultaneously, Rodrigues parameters are used to express the finite rotation for the proposed scheme. The proposed energy scheme is derived such that it provides unconditionally stable conditions for the nonlinear problems. Several examples of dynamic systems are presented which illustrate the efficiency and accuracy of the developed energy schemes.

• 제어로봇시스템학회:학술대회논문집
• /
• 1989.10a
• /
• pp.127-130
• /
• 1989

The redundant manipulator extends the application fields of classical nonredundant manipulators. In this paper, we propose Premultiplier Model that describes the static behavior of redundant manipulator. This model provides insight and intuition about algebra and physics related to redundant manipulators. Active operational space stiffness control of redundant manipulators is proved to be always unstable and we propose a technique, based on our methodology, to make stiffness control stable.

• Bulletin of the Korean Mathematical Society
• /
• v.37 no.2
• /
• pp.249-254
• /
• 2000

We give an easy proof of the fact that every noncommutative torus $A_{\omega}$ is stably isomorphic to the noncommutative torus $C(\widehat{S\omega}){\;}\bigotimes{\;}A_p$ which hasa trivial bundle structure. It is well known that stable isomorphism of two separable $C^{*}-algebras$ is equibalent to the existence of eqivalence bimodule between the two stably isomorphic $C^{*}-algebras{\;}A_{\omega}$ and $C(\widehat{S\omega}){\;}\bigotimes{\;}A_p$.

• Journal of the Korean Mathematical Society
• /
• v.43 no.4
• /
• pp.783-801
• /
• 2006

Let A be the mod p Steenrod algebra for p an arbitrary odd prime and S the sphere spectrum localized at p. In this paper, some useful propositions about the May spectral sequence are first given, and then, two new nontrivial homotopy elements ${\alpha}_1{\jmath}{\xi}_n\;(p{\geq}5,n\;{\geq}\;3)\;and\;{\gamma}_s{\alpha}_1{\jmath}{\xi}_n\;(p\;{\geq}\;7,\;n\;{\geq}\;4)$ are detected in the stable homotopy groups of spheres, where ${\xi}_n\;{\in}\;{\pi}_{p^nq+pq-2}M$ is obtained in [2]. The new ones are of degree 2(p - 1)($p^n+p+1$) - 4 and 2(p - 1)($p^n+sp^2$ + sp + (s - 1)) - 7 and are represented up to nonzero scalar by $b_0h_0h_n,\;b_0h_0h_n\tilde{\gamma}_s\;{\neq}\;0\;{\in}\;Ext^{*,*}_A^(Z_p,\;Z_p)$ in the Adams spectral sequence respectively, where $3\;{\leq}\;s\;<\;p-2$.

• Journal of the Korean Society of Industry Convergence
• /
• v.6 no.3
• /
• pp.171-176
• /
• 2003

The poly(triazine bissulfide) synthesized from 6-dibutylamino-1,3,5-triazine-2,4-dithiol with bis(4-chloro-3-nitrophenyl) sulfone in the presence of the phase transfer catalyst, the maximum algebra viscosity (0.57 dL/g) is stable at reaction temperature of $60^{\circ}C$ overall. We could not acquire the good result about solubility, thermal property, and molecular weight to make cast film, we made base for the synthesis of functionalization polymer material.

• Journal for History of Mathematics
• /
• v.29 no.5
• /
• pp.295-314
• /
• 2016

In tropical geometry, the sum of two numbers is defined as the minimum, and the multiplication as the sum. We learned that dynamic programming in tropical algebraic geometry can be used to find the shortest path in graphs. We have also learned about the Bezout's Theorem, which is a theorem concerning the intersections of tropical plane curves, and the stable intersection principle.