• 대한수학회보
• /
• 제55권4호
• /
• pp.1109-1124
• /
• 2018

For a metric space (X, d) and ${\alpha}$ > 0. We study the structure and properties of vector-valued Lipschitz algebra $Lip{\alpha}(X,E)$ and $lip{\alpha}(X,E)$ of order ${\alpha}$. We investigate the approximate and Character amenability of vector-valued Lipschitz algebras.

• 대한전기학회논문지
• /
• 제43권7호
• /
• pp.1112-1120
• /
• 1994

This paper presents a servo control scheme for the surface-mounted permanent-magnet synchronous motor(SPMSM) which essentially uses vector control algorithm. The control system is composed of the PI controller for speed control and the current controller using space voltage vector PWM technique. The high-speed calculation and processing for vector control is carried out by TMS320C31 digital signal processor and IGBT module. The proposed scheme is verified through digital simulations and experiments for 2.2kW SPMSM and shows good dynamic performance.

• 대한수학회지
• /
• 제42권3호
• /
• pp.471-484
• /
• 2005

We study Riemannian or pseudo-Riemannian manifolds which carry the space of closed conformal vector fields of at least 2-dimension. Subject to the condition that at each point the set of closed conformal vector fields spans a non-degenerate subspace of the tangent space at the point, we prove a global and a local classification theorems for such manifolds.

• The Journal of the Acoustical Society of Korea
• /
• 제14권2E호
• /
• pp.43-49
• /
• 1995

인공지능(AI)의 한기법인 Space Search 기법을 이용하여 회로의 단선 결함의 유무 및 결함위치를 찾아내는 방법을 제시하였다. 보통 회로의 결함은 단선 및 단락의 구조적 결함으로 나뉘어진다. 두가지 결함 모두 회로의 기능에 중대한 이상을 초래한다. 그중 단선에 의한 회로의 결함에 대하여 다루었다. 우선 회로를 net와 net의 연결 path에 따라 tree 구조로 변환하였다. 서로 독립된 net들은 서로 다른 tree의 node를 이루며 각각의 tree는 적기적으로 연결됨이 없다. 각 tree의 최상단부의 root node에 test vector를 입력하고 최하단부의 leaf node에서 vector를 관찰하여 입력된 test vector와 비교한다. 그 비교 결과 동일 유무에 따라 결함의 유무를 판정한다. 결함이 있다고 판정된 leaf node는 depth search 방법에 의하여 root node쪽으로 test vector를 관찰하여, 전기적 신호에 의하여 회로의 서놔 단선된 위치를 찾아내도록 하는 방법을 제시하였다.

• 전력전자학회논문지
• /
• 제22권1호
• /
• pp.18-26
• /
• 2017

This paper proposes the model predictive control with space vector modulation (SVM) method for current control of voltage-source inverter. Unlike the conventional method using a limited number of voltage vectors by switching states, the proposed method can consider various voltage vectors to identify the optimized voltage vector. The various voltage vectors are obtained by subdividing existing voltage vectors. The optimized voltage vector that minimizes the cost function is selected and applied to the inverter by using the SVM. The various voltage vectors and SVM reduce current ripples in the output AC side of the inverter compared with the conventional method. The effectiveness and performance of the proposed method are verified through simulation and experiment with a three-phase two-level voltage-source grid-connected inverter.

• 한국멀티미디어학회논문지
• /
• 제19권6호
• /
• pp.1003-1013
• /
• 2016

This paper proposes a framework of superpixel-based vehicle detection method using plane normal vector in disparity space. We utilize two common factors for detecting vehicles: Hypothesis Generation (HG) and Hypothesis Verification (HV). At the stage of HG, we set the regions of interest (ROI) by estimating the lane, and track them to reduce computational cost of the overall processes. The image is then divided into compact superpixels, each of which is viewed as a plane composed of the normal vector in disparity space. After that, the representative normal vector is computed at a superpixel-level, which alleviates the well-known problems of conventional color-based and depth-based approaches. Based on the assumption that the central-bottom of the input image is always on the navigable region, the road and obstacle candidates are simultaneously extracted by the plane normal vectors obtained from K-means algorithm. At the stage of HV, the separated obstacle candidates are verified by employing HOG and SVM as for a feature and classifying function, respectively. To achieve this, we trained SVM classifier by HOG features of KITTI training dataset. The experimental results demonstrate that the proposed vehicle detection system outperforms the conventional HOG-based methods qualitatively and quantitatively.

• Journal of Power Electronics
• /
• 제18권4호
• /
• pp.1027-1036
• /
• 2018

In this paper a new generalized space vector pulse width modulation scheme is proposed based on the principle of reverse mapping to drive the switches of multilevel inverters. This projected scheme is developed based on the middle vector of the subhexagon which holds the tip of the reference vector, which plays a major role in mapping the reference vector. A new approach is offered to produce middle vector of the subhexagon which holds tip of the reference vector in the multilevel space vector plane. By using middle vector of the subhexagon, reference vector is linked towards the inner two level sub-hexagon. Then switching vectors, switching sequence and dwell times corresponding to a particular sector of a two-level inverter are determined. After that, by using the two level stage findings, the switching vectors related to exact position of the reference vector are directly generated based on principle of the reverse mapping approach and do not need to be found at n level stage. In the reverse mapping principle, the middle vector of subhexagon is added to the formerly found two level switching vectors. The proposed generalized algorithm is efficient and it can be applied to an inverter of any level. In this paper, the proposed scheme is explained for a five-level inverter and the performance is analyzed for five level and three level inverters through MATLAB. The simulation results are validated by implementing the propose scheme on a V/f controlled three-level inverter fed induction motor using dSPACE control desk.

• 호남수학학술지
• /
• 제37권4호
• /
• pp.487-504
• /
• 2015

For a smooth plane curve, the curvature can be characterized by the rate of change of the angle between the tangent vector and a fixed vector. In this article we prove that the curvature of a space curve can also be given by the rate of change of the locally defined angle between the tangent vector at a point and the nearby point. By using height functions, we introduce turning angle of a space curve and characterize the curvature by the rate of change of the turning angle. The main advantage of the turning angle is that it can be used to characterize the curvature of discrete curves. For this purpose, we introduce a discrete turning angle and a discrete curvature called visual curvature for space curves. We can show that the visual curvature is an approximation of curvature for smooth curves.

• 대한수학회지
• /
• 제61권3호
• /
• pp.547-564
• /
• 2024

We study totally real and complex subsets of a right quarternionic vector space of dimension n + 1 with a Hermitian form of signature (n, 1) and extend these notions to right quaternionic projective space. Then we give a necessary and sufficient condition for a subset of a right quaternionic projective space to be totally real or complex in terms of the quaternionic Hermitian triple product. As an application, we show that the limit set of a non-elementary quaternionic Kleinian group 𝚪 is totally real (resp. commutative) with respect to the quaternionic Hermitian triple product if and only if 𝚪 leaves a real (resp. complex) hyperbolic subspace invariant.

• 대한수학회지
• /
• 제37권5호
• /
• pp.849-856
• /
• 2000

We give a new saddle point theorem for vector-valued functions on an admissible compact convex set in a topological vector space under weak condition that is the semicontinuity of two function scalarization and acyclicty of the involved sets. As application, we obtain the minimax theorem.