• Bulletin of the Korean Mathematical Society
• /
• v.42 no.2
• /
• pp.359-367
• /
• 2005

Let A be a Banach algebra, we say that A has the strongly double limit property (SDLP) if for each bounded net $(a_\alpha)$ in A and each bounded net $(a^{\ast}\;_\beta)\;in\;A^{\ast},\;lim_\alpha\;lim_\beta=lim_\beta\;lim_\alpha$ whenever both iterated limits exist. In this paper among other results we show that if A has the SDLP and $A^{\ast\ast}$ is (n - 2)-weakly amenable, then A is n-weakly amenable. In particular, it is shown that if $A^{\ast\ast}$ is weakly amenable and A has the SDLP, then A is weakly amenable.

• 제어로봇시스템학회:학술대회논문집
• /
• 2000.10a
• /
• pp.192-192
• /
• 2000

In this paper, a platoon merging is considered as a remote-controlled system with the state represented by a stochastic process. In this system, it becomes to encounter situations where a single decision maker controls a large number of subsystems, and observation and control signals are sent over a communication channel with finite capacity and significant transmission delays. Unlike classical estimation problem in which the observation is a continuous process corrupted by additive noise, there is a constraint that the observation must be coded and transmitted over a digital communication channel with finite capaci쇼. A recursive coder-estimator sequence is a state estimation scheme based on observations transmitted with finite communication capacity constraint. Using the coder-estimator sequence, the remote control station designs a feedback controller. In this paper, we introduce a stochastic model for the lead vehicle in a platoon of vehicles considering the angle between a road surface and a horizontal plane as a stochastic process. The simulation results show that the inter-vehicle distance and the deviation from the desired inter-vehicle distance are well regulated.

• Korean Journal of Pharmacognosy
• /
• v.10 no.2
• /
• pp.41-53
• /
• 1979

A 6', 8a-bonded catechin dimer was synthesized by action of phenoloxidase on 2mol (+)-catechins. The same dimer and other two dimers which are also 6', 8a-bonded were isolated from the fresh cortex of Quercus robur. The 4, 8a-bonded and the etherified 4, 8a-bonded dimers were isolated from it. It was discussed about the meaning of the enzymatically produced 6', 8a-bonded dimers in plant cell. The isolated dimers are as following: 1. 6', 8a-bonded dimers: (+)-catechin-(+)-catechin-6', 8a-dimer(IX), (+)-catechin-(+)-gallocatechin-6', 8a-dimar (XIII), (+)-gallocatechin-(+)-catechin-6', 8a-dimer(XIV). 2. 4, 8a-bonded dimers: (+)-catechin-(+)-catechin-4, 8a-dimer(X), (-)-epicatechin-(+)-catechin-4, 8a-dimer (XI), (+) -galloatechin-(+)-catechin-4, 8a-dimer (XII). 3. 4,8a-bonded dimers with ether linkage: etherified(+)-catechin-(+)-catechin-4, 8a-dimer (XV), etherifid (+)-catechin-(+)-gallocatechin-4, 8a-dimer (XVI), etherified (+)-gallocatechin-(+)-catechin-4, 6a-dimer (XVII).

• Animal Systematics, Evolution and Diversity
• /
• v.11 no.4
• /
• pp.455-468
• /
• 1995

Three species of the soil inhabiting pseudoscorpions of the genus Allochthonius [A. buanensis Lee. 1982, A. coreanus (Morikawa, 1970), A. opticus (Ellingsen, 1907)l from Korea. Of these, A. opticus is new for Korean fauna. A. buanensis differs from A. opticus and is confirmed as a valid species based on the carapal chaetotaxy, which is proposed as a considerably stable and useful taxonomic character in genus Allochthonius. The most common species in Korea is A. buanensis, while the other species are relatively rare.

• Journal of the Korea Society of Computer and Information
• /
• v.8 no.3
• /
• pp.163-169
• /
• 2003

This study was carried out develope a motor power change speed device of motor by used micro- controller. This system was producted a auto-change speed device which switching frequency was 1,000MHz by used a auto- controller. It had a continuous output current such as 5A, 11A, 25A, 35A, 50A. It used a variable voltage from 9V to 18V(Maximum). We designed hardware of and software of micro-controller, we are made up of a auto cut-off function by 3.7V for detected power-loss prevention.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 2003.11a
• /
• pp.721-727
• /
• 2003

This study designed and implemented a system to extract of vowel from a word. The system is comprised of a voice feature extraction module and a neutral network module. The voice feature extraction module use a LPC(Linear Prediction Coefficient) model to extract a voice feature from a word. The neutral network module is comprised of a learning module and voice recognition module. The learning module sets up a learning pattern and builds up a neutral network to learn. Using the information of a learned neutral network, a voice recognition module extracts a vowel from a word. A neutral network was made to learn selected vowels(a, eo, o, e, i) to test the performance of a implemented vowel extraction recognition machine. Through this experiment, could confirm that speech recognition module extract of vowel from 4 words.

• Journal of the Korea Society for Simulation
• /
• v.10 no.3
• /
• pp.1-14
• /
• 2001

A hybrid system is defined as a mixture of continuous systems and discrete event systems. This paper first proposes a framework for hybrid systems modeling, called Hybrid Discrete Event System Specification (HDEVS) formalism. It then presents a method for simulators interoperation in which a continuous system simulator and a discrete event simulator are executed together in a cooperative manner. The formalism can specify a hybrid system in a way that a continuos system and a discrete event system are separately modeled by their own specification formalisms with a support of well-defined interface. We call such interface an A/E converter for analog-to- event conversion and an E/A converter for event-to-analog conversion. Simulators interoperation is based on the concept of pre-simulation in which simulation time for a continuous simulator is advanced in accordance with a discrete event simulator.

• Journal of the Korean Mathematical Society
• /
• v.56 no.1
• /
• pp.197-224
• /
• 2019

Let A be a $JB^*$-triple with Banach dual space $A^*$ and bi-dual the $JBW^*$-triple $A^{**}$. Elements x of $A^*$ of norm one may be regarded as normalised 'Q-measures' defined on the complete ortho-lattice ${\tilde{\mathcal{U}}}(A^{**})$ of tripotents in $A^{**}$. A Q-measure x possesses a support e(x) in ${\tilde{\mathcal{U}}}(A^{**})$ and a compact support $e_c(x)$ in the complete atomic lattice ${\tilde{\mathcal{U}}}_c(A)$ of elements of ${\tilde{\mathcal{U}}}(A^{**})$ compact relative to A. Necessary and sufficient conditions for an element v of ${\tilde{\mathcal{U}}}_c(A)$ to be a compact support tripotent $e_c(x)$ are given, one of which is related to the Q-covering numbers of v by families of elements of ${\tilde{\mathcal{U}}}_c(A)$.

• International Journal of Control, Automation, and Systems
• /
• v.6 no.6
• /
• pp.904-914
• /
• 2008

An action-selection-mechanism(ASM) has been proposed to work as a fully connected finite state machine to deal with sequential behaviors as well as to allow a state in the task program to migrate to any state in the task, in which a primitive node in association with a state and its transitional conditions can be easily inserted/deleted. Also, such a primitive node can be learned by a shortest path-finding-based reinforcement learning technique. Specifically, we define a behavioral motivation as having state-dependent value as a primitive node for action selection, and then sequentially construct a network of behavioral motivations in such a way that the value of a parent node is allowed to flow into a child node by a releasing mechanism. A vertical path in a network represents a behavioral sequence. Here, such a tree for our proposed ASM can be newly generated and/or updated whenever a new behavior sequence is learned. To show the validity of our proposed ASM, experimental results of a mobile robot performing the task of pushing- a- box-in to- a-goal(PBIG) will be illustrated.

• Journal of the Korean Mathematical Society
• /
• v.47 no.2
• /
• pp.235-246
• /
• 2010

A Banach space operator A $\in$ B(X) is polaroid if the isolated points of the spectrum of A are poles of the resolvent of A; A is hereditarily polaroid, A $\in$ ($\mathcal{H}\mathcal{P}$), if every part of A is polaroid. Let $X^n\;=\;\oplus^n_{t=i}X_i$, where $X_i$ are Banach spaces, and let A denote the class of upper triangular operators A = $(A_{ij})_{1{\leq}i,j{\leq}n$, $A_{ij}\;{\in}\;B(X_j,X_i)$ and $A_{ij}$ = 0 for i > j. We prove that operators A $\in$ A such that $A_{ii}$ for all $1{\leq}i{\leq}n$, and $A^*$ have the single-valued extension property have spectral properties remarkably close to those of Jordan operators of order n and n-normal operators. Operators A $\in$ A such that $A_{ii}$ $\in$ ($\mathcal{H}\mathcal{P}$) for all $1{\leq}i{\leq}n$ are polaroid and have SVEP; hence they satisfy Weyl's theorem. Furthermore, A+R satisfies Browder's theorem for all upper triangular operators R, such that $\oplus^n_{i=1}R_{ii}$ is a Riesz operator, which commutes with A.