• 대한수학회보
• /
• 제42권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년도 제15차 학술회의논문집
• /
• 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.

• 생약학회지
• /
• 제10권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
• /
• 제11권4호
• /
• pp.455-468
• /
• 1995

한국의 앉은뱅이목( Order Pseudoscorpionida) 중에서 토양서식성인 부챙앉은뱅이속(Allochthonius)을 분류학적으로 정리한 결과 A. buanensis (부안부채앉은뱅이, 개칭) , A . croeanus (부채앉은뱅이, 신칭), A. opticus (극동부채앉은뱅이, 신칭) 3종이 동정되었다. 그 중 A.opticus 는 한국에서는 처음으로 보고된다. A. buanensis는 전 생활사를 통하여 두흉갑의 모서식이 매우 안정되고 유용한 분류학적 특징임이 새로이 인정되었다. 또한, A. coreanus 의 수컷에 대한 기재를 보완하였다. 지리적 분포는 A. buanensis 가 한국에서 가장 보편적이었으며 , A. opticus 와 A. coreanus 는 상대적으로 드물거나 특정지역에 한정되어 나타났다.

• 한국컴퓨터정보학회논문지
• /
• 제8권3호
• /
• pp.163-169
• /
• 2003

본 연구에서 개발하고자 하는 기기의 모델은 마이크로 컨트롤을 이용하여 모터속도를 제어 할 수 있는 출력 전자 변속기로써, 자동제어 방식을 사용하여 Switching frequency를 1,000MHz까지 가능한 형태로 변환하는 자동 변속장치이다. 연속출력전류는 5A, 11A, 18A, 25A, 35A, 50A이며, 사용되는 전압은 9V에서 최대 18V까지 가능하도록 설계하였다. Micro-controller 의 software와 hardware의 블록 다아이그램을 고안하였으며, 전력손실을 막기 위해 자동적으로 3.7V에서 Auto Cut-Off기능이 있도록 구성하였다.

• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 2003년도 추계공동학술대회
• /
• 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.

• 한국시뮬레이션학회논문지
• /
• 제10권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.

• 대한수학회지
• /
• 제56권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
• /
• 제6권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.

• 대한수학회지
• /
• 제47권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.