• Journal of the Korean Mathematical Society
• /
• v.36 no.2
• /
• pp.369-380
• /
• 1999

As a continuation of the paper [3], in this paper we investigate the further properties on LI-ideals, and show that how to generate an LI-ideal by both and LI-ideal and an element. We define a prime LI-ideal, and give an equivalent condition for a proper LI-ideal to be prime. Using this result, we establish the extension property and prime LI-ideal theorem.

• Communications of the Korean Mathematical Society
• /
• v.14 no.1
• /
• pp.47-55
• /
• 1999

This paper continues the investigations of implicative semigroups and of their ordered filters which were started in general case by M.W. Chan and K. P. Shum [3]. In particular, the notion of an implicative ordered filter of an implicative semigroup is introduced. We state some equivalent conditions for an ordered filter to be an implicative ordered filter and obtain the so called extension property for implicative ordered filters.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2008.06a
• /
• pp.197-198
• /
• 2008

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.31B no.2
• /
• pp.21-27
• /
• 1994

Linear combination of weighted order statistic(LWOS) filters, which is an extension of stack filters, can represent any Boolean function(BF) or its extension. Which is called the extended BF(EBF). In this paper, we present a procedure for finding an LWOS filter of the simplest type from LWOS filters which are equivalent to a given BF or EBF. In addition, a property that is useful for implementing an LWOS filter is derived and an algorithm for LWOS filtering is presented.

• Journal of the Chungcheong Mathematical Society
• /
• v.22 no.3
• /
• pp.545-556
• /
• 2009

We show that two notions of asymptotic equilibrium and asymptotic equilibrium in variation for nonlinear differential systems are equivalent via $t_{\infty}$-similarity of associated variational systems. Moreover, we study the asymptotic equivalence between nonlinear system and its variational system.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2001.11a
• /
• pp.413-418
• /
• 2001

The moire phenomena, which are induced by mask vibration due to the excitation of speakers, degrades the color purity of CRT. So it is important to eliminate this phenomena to obtain a good CRT design. In this study we analyze the mask vibration by experiment as well as finite element method. To obtain the finite element solutions efficiently, an equivalent model was employed. The experimental and analysis results show reasonable agreements. An enhanced design configuration of mask welding points are suggested through this study.

• Korean Journal of Mathematics
• /
• v.20 no.4
• /
• pp.441-449
• /
• 2012

The quasi-(${\theta}$, s)-continuity is a weakened form of the weak (${\theta}$, s)-continuity and equivalent to the weak quasi-continuity. The basic properties of those functions are investigated in concern with the other weakened continuous functions. It turns out that the open property of a function and the extremall disconnectedness of the spaces are crucial tools for the survey of these functions.

• Korean Journal of Mathematics
• /
• v.5 no.1
• /
• pp.9-16
• /
• 1997

In this paper, we construct new classes from the idea of [6, Theorem 2.1] and show that the property of operators belonging to the classes is inherited by certain dilations. And we also prove that the existence of common noncyclic vectors for certain families is equivalent to the existence of infinite dimensional common semi-invariant subspace of operators.

• The Journal of Society for e-Business Studies
• /
• v.4 no.1
• /
• pp.103-115
• /
• 1999

The electronic cash, an electronic equivalent of the real paper money, has been recently proposed as one of the various payment methods for electronic commerce. In this paper, we design an electronic cash payment system based on a new electronic cash payment protocol that can effectively provide full anonymity and avoid double-spending. The protocol is suitable for use as the electronic cash control or electronic cash database. The protocol support also security and electronic cash property.

• Journal of the Korean Society of Manufacturing Process Engineers
• /
• v.21 no.9
• /
• pp.85-91
• /
• 2022

The demand for electric vehicles has increased because of environmental regulations. The lithium-ion battery, the most widely used type of battery in electric vehicles, is composed of a cathode, an anode, and an electrolyte. It is manufactured according to the pole plate, assembly, and formation processes. To improve battery performance and increase manufacturing efficiency, the manufacturing process must be optimized. To do so, simulation can be used to reduce wasted resources and time, and a finite-element method can be utilized. For high simulation quality, it is essential to reflect the material properties of the electrode by considering the pores. However, the material properties of electrodes are difficult to derive through measurement. In this study, the representative volume element method, which is a homogenization method, was applied to estimate the representative material properties of the electrode considering the pores. The representative volume element method assumes that the strain energy before and after the conversion into a representative volume is conserved. The method can be converted into one representative property, even when nonhomogeneous materials are mixed in a unit volume. In this study, the material properties of the electrode considering the pores were derived. The results should be helpful in optimizing the electrode manufacturing process and related element technologies.