• Bulletin of the Korean Mathematical Society
• /
• v.30 no.1
• /
• pp.109-115
• /
• 1993

In 1940 Eidelheit showed that every homomorphism of a Banach algebra onto the Banach algebra B(X) of all bounded linear operators on a Banach space X is continuous. At about the same time, Gelfand proved that every homomorphism of a commutative Banach algebra into a commutative semi-simple Banach algebra is continuous. In [7] Johnson proved that every homomorphism of a Banach algebra onto non-commutative semi-simple Banach algebra is continuous, and this is still the most important result of this type. In this paper we are concerned with continuity of derivations on commutative Banach algebras and of homomorphisms into commutative Banach algebras. Throughout this paper we suppose that A is a commutative Banach algebra. R will denote the redical of A.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.1 no.1
• /
• pp.69-74
• /
• 2001

We introduce fuzzy semi-regular spaces. Furthermore, we investigate the relations among fuzzy super continuity, fuzzy $\delta$-continuity and fuzzy almost continuity in fuzzy topological spaces in view of the definition of Sostak. We study some properties between them.

• Journal of the Chungcheong Mathematical Society
• /
• v.28 no.3
• /
• pp.365-375
• /
• 2015

Of concern is the existence, uniqueness, and continuous dependence of a mild solution of a nonlocal Cauchy problem for a semilinear mixed Volterra-Fredholm functional integrodifferential equation. Our analysis is based on the theory of a strongly continuous semigroup of operators and the Banach fixed point theorem.

• Journal of the Chungcheong Mathematical Society
• /
• v.29 no.2
• /
• pp.229-253
• /
• 2016

As a generalization of (i, j)-weakly m-continuous functions [43], we introduce the notion of weakly M(i, j)-continuous functions and obtain many characterizations and some properties of the functions. We show that the function is a unified form of some functions between m-spaces and certain kinds of weakly continuous functions in bitopological spaces.

• Journal of the Korean Society for Precision Engineering
• /
• v.16 no.4 s.97
• /
• pp.46-56
• /
• 1999

A semi-actively controlled impact system which adjusts an impulse exerted by the external impact is studies. The main control variables are internal pressure difference inside the cylinder and the shock absorber displacement while it travels. Compared to a conventional one so called a passive system with a variable orifice inside the cylinder, a semi-actively controlled system utilizes an external orifice controlled by a highly fast responding electrical proportional valve. This device overcomes the temperature and viscosity change due to continuous operating and keeps the desired pressure difference and displacement in every operation. In this article a new prototype impact system is designed and manufactured based on a semi-actively control system. Through computer simulations and experiments, we verify the possibility of controlling the shock absorber pressure and displacement. After investigating the control performance a modified semi-actively controlled system with better control performance is also proposed.

• Speech Sciences
• /
• v.8 no.4
• /
• pp.1-15
• /
• 2001

This paper describes the effect of new recognition unit, a unit based on semisyllable, and its post processing method. A recognition unit based on semi-syllable expresses Korean connected digit's coarticulation effect. An existing method using semi-syllable limits next models, derived from current recognized models, to make complete connected digit sequence. However, this paper uses a new method to make complete connected digit sequence. The new post-processing method recognizes isolated digit words which include digits sequence from the digit combinations being able to occur from current recognized semi-syllable sequence. This method gives an improved accuracy rate than that of existing method. This new post processing provides two advantages. 1) It corrects current mis-recognized semi-syllable unit. 2) When people say each digit, they say it without regard to saying duration.

• International Journal of Railway
• /
• v.3 no.2
• /
• pp.68-72
• /
• 2010

Railway vehicles equipped with semi-active suspension system can improve the ride quality of car bodies. Semi-active suspension system is usually applied onto high speed train, and therefore higher running safety requirement is desirable. The influence of semi-active suspension system on safety of vehicles running on straight line and curve line is studied, and the influences of sky hook damping coefficient and system time-delay on operational safety of cars fitted with semiactive suspension system is analyzed. The results show that in vehicles equipped with semi-active suspension system, while the vibration of car body is decreased, the running safety of cars is not affected to any significant degree. As a result, the ride quality is much improved with negligible deterioration of the running safety of cars.

• Tunnel and Underground Space
• /
• v.33 no.5
• /
• pp.299-311
• /
• 2023

Continuous excavation technologies are developed to improve the excavation rate of shield TBM. Continuous excavation is a technology that provides thrust to segments, excluding being installed one, to reduce tunneling downtime. This paper investigated the prior technology related to continuous excavation segments. The main technology was classified into helical segment, honeycomb segment, and conventional segment methods. The helical segment method has not been applied in actual construction yet, and the honeycomb segment method has not succeeded in commercialization. The continuous excavation method using conventional segments has been successfully demonstrated. The thrust force and operation method of the thrust jacks for the semi-continuous technology were analyzed. Continuous excavation TBM research is also progressing in Korea, and through the analysis of successful cases, the need to develop independent continuous excavation methods has been identified.

• Journal of KIISE:Software and Applications
• /
• v.36 no.12
• /
• pp.1034-1037
• /
• 2009

Sign language spotting is the task of detecting the start and end points of signs from continuous data and recognizing the detected signs in the predefined vocabulary. The difficulty with sign language spotting is that instances of signs vary in both motion and shape. Moreover, signs have variable motion in terms of both trajectory and length. Especially, variable sign lengths result in problems with spotting signs in a video sequence, because short signs involve less information and fewer changes than long signs. In this paper, we propose a method for spotting variable lengths signs based on semi-CRF (semi-Markov Conditional Random Field). We performed experiments with ASL (American Sign Language) and KSL (Korean Sign Language) dataset of continuous sign sentences to demonstrate the efficiency of the proposed method. Experimental results show that the proposed method outperforms both HMM and CRF.

• Kyungpook Mathematical Journal
• /
• v.25 no.2
• /
• pp.123-126
• /
• 1985