• 제어로봇시스템학회논문지
• /
• 제19권5호
• /
• pp.435-441
• /
• 2013

A swarm robot system consists of with multiple mobile robots, each of which is called an agent. Each agent interacts with others and cooperates for a given task and a given environment. For the swarm robotic system, the loss of the entire work capability by malfunction or damage to a single robot is relatively small and replacement and repair of the robot is less costly. So, it is suitable to perform more complex tasks. The essential component for a swarm robotic system is an inter-robot collaboration strategy for teamwork. Recently, the swarm intelligence theory is applied to robotic system domain as a new framework of collective robotic system design. In this paper, FA (Firefly Algorithm) which is based on firefly's reaction to the lights of other fireflies and their social behavior is employed to optimize the group behavior of multiple robots. The main application of the firefly algorithm is performed on path planning of swarm mobile robots and its effectiveness is verified by simulations under various conditions.

• 대한산업공학회지
• /
• 제19권2호
• /
• pp.3-13
• /
• 1993

In this study, we develop a B & B type algorithm for the concave minimization problem with 0-1 knapsack constraint. Our algorithm reformulates the original problem into the singly linearly constrained concave minimization problem by relaxing 0-1 integer constraint in order to get a lower bound. But this relaxed problem is the concave minimization problem known as NP-hard. Thus the linear function that underestimates the concave objective function over the given domain set is introduced. The introduction of this function bears the following important meanings. Firstly, we can efficiently calculate the lower bound of the optimal object value using the conventional convex optimization methods. Secondly, the above linear function like the concave objective function generates the vertices of the relaxed solution set of the subproblem, which is used to update the upper bound. The fact that the linear underestimating function is uniquely determined over a given simplex enables us to fix underestimating function by considering the simplex containing the relaxed solution set. The initial containing simplex that is the intersection of the linear constraint and the nonnegative orthant is sequentially partitioned into the subsimplices which are related to subproblems.

• 대한전자공학회논문지SP
• /
• 제43권3호
• /
• pp.1-8
• /
• 2006

본 논문에서는 복원된 영상에서 블록현상을 제거하기 위해 POCS 이론을 기반으로 효율적인 후처리 기법을 제안한다. 블록 현상을 나타내는 불필요한 고주파성분을 제거하기 위해 웨이브렛 변환으로 효과적인 SCS 및 그 투영자를 제안한다. 또한 원 영상에서 에지로 나타나는 고주파성분은 찾아서 유지하는 방법도 제안한다. 실험결과로 제안하는 방법은 향상된 주관적 화질뿐만 아니라, 복원된 출력 영상에서의 PSNR이 향상됨을 알 수 있다.

• 제어로봇시스템학회논문지
• /
• 제12권6호
• /
• pp.547-553
• /
• 2006

This paper studies digital control of biodynamic model of HIV-1 via intelligent digital redesign (IDR). The purpose of the IDR is to develop an equivalent digital fuzzy controller maintaining the satisfactory performance of an existing continuous-time fuzzy controller in the sense of the state-matching. Some conditions for the stability as well as the global state-matching are provided.. They are given by the form of the linear matrix inequalities (LMIs) and thereby easily tractable by the convex optimization techniques. The main features of the proposed method are that 1) the generalized control scheme is provided for the multirate as well as the single-rate digital controllers; 2) a new compensated block-pulse function method is applied to closely match the states of the continuous-time and the sampled-data fuzzy systems in the discrete-time domain; 3) the two-step procedure of IDR is presented to prevent the performance degradation caused by the additional stability conditions. The applicability of the proposed approach is shown through the biodynamic model of HIV-1.

• 대한수학교육학회지:수학교육학연구
• /
• 제20권1호
• /
• pp.85-102
• /
• 2010

선형계획법은 일정한 조건아래 여러 가지 가능성 중에서 최적의 경우를 찾아낼 때에 유용하다. 본 연구에서는 수학적 맥락과 학교수학의 맥락에서 선형계획법을 분석하고, 인식론적 관점에서 선형계획법의 학습 과정을 살펴봄으로써, 가설 학습 경로를 탐색하였다. 수학적 맥락과 학교수학의 맥락의 차이는 주어진 영역이 실현 가능한지 또는 유계인지를 다루는가의 여부, 주어진 영역 속의 점 중에서 제한된 개수의 점만을 대입해도 최적해를 구할 수 있다는 정리의 정당화를 다루는가의 여부에 있었다. 그리고 학생들이 정의역이 제한된 경우에 이원일차함수의 최댓값과 최솟값이 무엇인지를 이해하지 못할 가능성이 있었다. 이 세 가지 측면을 인식론적 관점에서 고려하여 가설 학습 경로를 4단계 즉, 주어진 일차식이 함수식임을 이해하는 단계, 부등식 영역과 일차식을 목적함수와 관련시킴으로써 부등식 영역을 직선으로 분할하는 단계, 직선의 그래프와 k의 범위를 관계시켜 y절편의 개념을 구성하는 단계, 주어진 영역에서 최적해의 존재가능성을 확인하는 단계로 구성하였다.

• Korean Journal of Mathematics
• /
• 제24권3호
• /
• pp.409-445
• /
• 2016

The class $\mathcal{W}^{\delta}_{\beta}({\alpha},{\gamma})$ defined in the domain ${\mid}z{\mid}$ < 1 satisfying $Re\;e^{i{\phi}}\((1-{\alpha}+2{\gamma})(f/z)^{\delta}+\({\alpha}-3{\gamma}+{\gamma}\[1-1/{\delta})(zf^{\prime}/f)+1/{\delta}\(1+zf^{\prime\prime}/f^{\prime}\)\]\)(f/z)^{\delta}(zf^{\prime}/f)-{\beta}\)$ > 0, with the conditions ${\alpha}{\geq}0$, ${\beta}$ < 1, ${\gamma}{\geq}0$, ${\delta}$ > 0 and ${\phi}{\in}{\mathbb{R}}$ generalizes a particular case of the largest subclass of univalent functions, namely the class of $Bazilevi{\check{c}}$ functions. Moreover, for 0 < ${\delta}{\leq}{\frac{1}{(1-{\zeta})}}$, $0{\leq}{\zeta}$ < 1, the class $C_{\delta}({\zeta})$ be the subclass of normalized analytic functions such that $Re(1/{\delta}(1+zf^{\prime\prime}/f^{\prime})+1-1/{\delta})(zf^{\prime}/f))$ > ${\zeta}$, ${\mid}z{\mid}$<1. In the present work, the sucient conditions on ${\lambda}(t)$ are investigated, so that the non-linear integral transform $V^{\delta}_{\lambda}(f)(z)=\({\large{\int}_{0}^{1}}{\lambda}(t)(f(tz)/t)^{\delta}dt\)^{1/{\delta}}$, ${\mid}z{\mid}$ < 1, carries the fuctions from $\mathcal{W}^{\delta}_{\beta}({\alpha},{\gamma})$ into $C_{\delta}({\zeta})$. Several interesting applications are provided for special choices of ${\lambda}(t)$. These results are useful in the attempt to generalize the two most important extremal problems in this direction using duality techniques and provide scope for further research.

• 지질공학
• /
• 제31권3호
• /
• pp.257-267
• /
• 2021

Constraints on the structure and composition of the active layer are important for understanding permafrost evolution. Soil convection owing to repeated moisture-induced freeze-thaw cycles within the active layer promotes the formation of self-organized patterned ground. Here we present the results of ground penetrating radar (GPR) surveys across a selected sorted circle near King Sejong Station, Antarctica, to better delineate the active layer and its relation to the observed patterned ground structure. We acquire GPR data in both bistatic mode (common mid-points) for precise velocity constraints and monostatic mode (common-offset) for subsurface imaging. Reflections are derived from the active layer-permafrost boundary, organic layer-weathered soil boundary within the active layer, and frozen rock-fracture-filled ice boundary within the permafrost. The base of the imaged sorted circle possesses a convex-down shape in the central silty zone, which is typical for the pattern associated with convection-like soil motion within the active layer. The boundary between the central fine-silty domain and coarse-grained stone border is effectively identified in a radar amplitude contour at the assumed active layer depth, and is further examined in the frequency spectra of the near- and far-offset traces. The far-offset traces and the traces from the lower frequency components dominant on the far-offset traces would be associated with rapid absorption of higher frequency radiowave due to the voids in gravel-rich zone. The presented correlation strategies for analyzing very shallow, thin-layered GPR reflection data can potentially be applied to the various types of patterned ground, particularly for acquiring time-lapse imaging, when electric resistivity tomography is incorporated into the analysis.