• 한국정밀공학회지
• /
• 제26권8호
• /
• pp.62-71
• /
• 2009

In mobile robotics, ultrasonic sensors became one of the most popular devices for collision avoidance and navigation primarily due to data robustness, the easy availability of low-cost systems, their compact size, simple circuits, and their ease in interfacing with computers. However, ultrasonic sonic sensors are subject to noise which results in inaccuracy of mapping and localization of the robot. This paper introduces a new approach to enhance environmental maps based on ultrasonic range data using linear interpolation and Newton interpolation. The simulation and experimental results show that the proposed method improves of the accuracy of the map through better distance estimation between the mobile robot and obstacles.

• 대한수학회지
• /
• 제42권2호
• /
• pp.255-268
• /
• 2005

We use Krasnoselskii's fixed point theorem to show that the nonlinear neutral difference equation with delay x(t + 1) = a(t)x(t) + c(t)${\Delta}$x(t - g(t)) + q(t, x(t), x(t - g(t)) has a periodic solution. To apply Krasnoselskii's fixed point theorem, one would need to construct two mappings; one is contraction and the other is compact. Also, by making use of the variation of parameters techniques we are able, using the contraction mapping principle, to show that the periodic solution is unique.

• 대한수학회논문집
• /
• 제26권1호
• /
• pp.115-124
• /
• 2011

In this paper, some fuzzy fixed point theorems for fuzzy mappings are established by considering the nonempty closed $\alpha$-cut sets. Some importance observations are also discussed. Our results clearly extend, generalize and improve the corresponding results in the literatures, which have given most of their attention to the class of fuzzy sets with nonempty compact or closed and bounded $\alpha$-cut sets.

• 대한수학회논문집
• /
• 제22권1호
• /
• pp.65-74
• /
• 2007

Suppose that $\mu$ is a finite positive Borel measure on bounded symmetric domain $\Omega{\subset}\mathbb{C}^n\;and\;\nu$ is the Euclidean volume measure such that $\nu(\Omega)=1$. Suppose 1 < p < $\infty$ and r > 0. In this paper, we will show that the norms $sup\{\int_\Omega{\mid}k_z(w)\mid^2d\mu(w)\;:\;z\in\Omega\}$, $sup\{\int_\Omega{\mid}h(w)\mid^pd\mu(w)/\int_\Omega{\mid}h(w)^pd\nu(w)\;:\;h{\in}L_a^p(\Omega,d\nu),\;h\neq0\}$ and $$sup\{\frac{\mu(E(z,r))}{\nu(E(z,r))}\;:\;z\in\Omega\}$$ are are all equivalent. We will also show that the inclusion mapping $ip\;:\;L_a^p(\Omega,d\nu){\rightarrow}L^p(\Omega,d\mu)$ is compact if and only if lim $w\rightarrow\partial\Omega\frac{\mu(E(w,r))}{\nu(E(w,r))}=0$.

• 대한수학회논문집
• /
• 제11권3호
• /
• pp.725-742
• /
• 1996

In this paper we give some sharp expressions of the weakly convergent sequence coefficient WCS(X) of a Banach space X. They are used to prove fixed point theorems for involution mappings T from a weakly compact convex subset C of a Banach space X with WCS(X) > 1 into itself which $T^2$ are both of asymptotically nonexpansive type and weakly asymptotically regular on C. We also show that if X satisfies the semi-Opial property, then every nonexpansive mapping $T : C \to C$ has a fixed point. Further, some questions for asymtotically nonexpansive mappings are raised.

• Journal of the Optical Society of Korea
• /
• 제18권6호
• /
• pp.714-719
• /
• 2014

A pico-projector is a compact and mobile projector that has an infinite focus. We apply the pico-projector to a projection-type integral imaging system, which can expand the image depth to form multiple central depth planes. In a projection-type integral imaging system, the image flipping problem arises because the expanded elemental images pass through a lens array. To solve this problem, we propose the ray tracing of a pico-projector at a central depth plane and compensate the elemental image using a pixel-mapping process. Experiments to verify the proposed method are performed, and the results are presented.

• 천문학회보
• /
• 제39권2호
• /
• pp.116.2-116.2
• /
• 2014

As Korean engineering contribution to ALMA enhancement, development of focal plane arrays(FPAs) for the total power array in ALMA compact array has been projected mainly to increase mapping speed in interferometric multi-pointing observation(mosaicking). To tackle engineering issues expected in order to be compatible with the existing ALMA receivers, we plan to develop a prototype 300-500 GHz heterodyne FPA system including a software spectrometer using GPU clusters for ASTE(Atacama Submillimeter Telescope Experiment) telescope by 2017.

• 대한전기학회논문지:전력기술부문A
• /
• 제48권2호
• /
• pp.82-88
• /
• 1999

In this paper, we propose a new structure optimization method of multilayer neural networks which begin and carry out learning from a bigger network. This method redundant links and neurons according to the rough set theory. In order to find redundant links, we analyze the variations of all weights and output errors in every step of the learning process, and then make the decision table from their variation of weights and output errors. We can find the redundant links from the initial structure by analyzing the decision table using the rough set theory. This enables us to build a structure as compact as possible, and also enables mapping between input and output. We show the validity and effectiveness of the proposed algorithm by applying it to the XOR problem.

• 대한의용생체공학회:학술대회논문집
• /
• 대한의용생체공학회 1998년도 추계학술대회
• /
• pp.273-274
• /
• 1998

We construct a volume whose boundary is a tetrahedron with triangular faces intersecting the cutting planes along the given contours. This volume is obtained by calculating the Delaunay triangulation slice by slice, mapping 2D to 3D as tetrahedron. Also, eliminate extra-voronoi skeleton and non-solid tetrahedron. In this paper, we propose new method to eliminate non-solid tetrahedron based on the modified extra-voronoi skeleton path. This method enable us to do a compact tetrahedrisation and to reconstruct complex shapes.

• 제어로봇시스템학회논문지
• /
• 제16권1호
• /
• pp.40-47
• /
• 2010

This paper presents a simultaneous localization and mapping (SLAM) of an indoor hallway environment using Rao-Blackwellized particle filter (RBPF) along with a line segment as a landmark. Based on the fact that fluent line features can be extracted around the ceiling and side walls of hallway using vision sensor, a horizontal line segment is extracted from an edge image using Hough transform and is also tracked continuously by an optical flow method. A successive observation of a line segment gives initial state of the line in 3D space. For data association, registered feature and observed feature are matched in image space through a degree of overlap, an orientation of line, and a distance between two lines. Experiments show that a compact environmental map can be constructed with small number of horizontal line features in real-time.