• 해양환경안전학회지
• /
• 제28권3호
• /
• pp.441-450
• /
• 2022

The introduction of autonomous underwater gliders (AUGs) specifically addresses the reduction of operational costs that were previously prohibited with conventional autonomous underwater vehicles (AUVs) using a "scaling-down" design philosophy by utilizing the characteristics of autonomous drifters to far extend operation duration and coverage. Long-duration, wide-area missions raise the cost and complexity of in-water testing for novel approaches to autonomous mission planning. As a result, a simulator that supports the rapid design, development, and testing of autonomy solutions across a wide range using software-in-the-loop simulation at faster-than-real-time speeds becomes critical. This paper describes a faster-than-real-time AUG simulator that can support high-resolution bathymetry for a wide variety of ocean environments, including ocean currents, various sensors, and vehicle dynamics. On top of the de facto standard ROS-Gazebo framework and open-sourced underwater vehicle simulation packages, features specific to AUGs for ocean mapping are developed. For vehicle dynamics, the next-generation hybrid autonomous underwater gliders (Hybrid-AUGs) operate with both the buoyancy engine and the thrusters to improve navigation for bathymetry mappings, e.g., line trajectory, are is implemented since because it can also describe conventional AUGs without the thrusters. The simulation results are validated with experiments while operating at 120 times faster than the real-time.

• 대한기계학회논문집A
• /
• 제22권2호
• /
• pp.458-466
• /
• 1998

In this work, a frequency domain method is tested numerically and experimentally to improve nonlinear model parameters using the frequency response function at the nonlinear element connected point of structure. This method extends the force-state mapping technique, which fits the nonlinear element forces with time domain response data, into frequency domain manipulations. The force-state mapping method in the time domain has limitations when applying to complex real structures because it needd a time domain lumped parameter model. On the other hand, the frequency domain method is relatively easily applicable to a complex real structure having nonlinear elements since it uses the frequency response function of each substurcture. Since this mehtod is performed in frequency domain, the number of equations required to identify the unknown parameters can be easily increased as many as it needed, just by not only varying excitation amplitude bot also selecting excitation frequency domain method has some advantages over the classical force-state mapping technique in the number of data points needed in curve fit and the sensitivity to response noise.

• Korean Journal of Mathematics
• /
• 제19권1호
• /
• pp.77-85
• /
• 2011

In [7], Th.M. Rassias proved that the norm defined over a real vector space V is induced by an inner product if and only if for a fixed integer $n{\geq}2$ $${\sum_{i=1}^{n}}\left\|x_i-{\frac{1}{n}}{\sum_{j=1}^{n}}x_j \right\|^2={\sum_{i=1}^{n}}{\parallel}x_i{\parallel}^2-n\left\|{\frac{1}{n}}{\sum_{i=1}^{n}}x_i \right\|^2$$ holds for all $x_1$, ${\cdots}$, $x_n{\in}V$. Let V, W be real vector spaces. It is shown that if an even mapping $f:V{\rightarrow}W$ satisfies $$(0.1)\;{\sum_{i=1}^{2n}f}\(x_i-{\frac{1}{2n}}{\sum_{j=1}^{2n}}x_j\)={\sum_{i=1}^{2n}}f(x_i)-2nf\({\frac{1}{2n}}{\sum_{i=1}^{2n}}x_i\)$$ for all $x_1$, ${\cdots}$, $x_{2n}{\in}V$, then the even mapping $f:V{\rightarrow}W$ is quadratic. Furthermore, we prove the generalized Hyers-Ulam stability of the quadratic functional equation (0.1) in Banach spaces.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2008년도 제39회 하계학술대회
• /
• pp.1983-1984
• /
• 2008

뇌 활동의 전기적 신호인 뇌파(EEG)와 외부 자극에 대한 유발 전위(EP)를 측정하여 실시간으로 뇌지형도를 생성하는 real-time brain mapping system을 개발하였다. 측정 전극은 32채널을 사용하였고, EEG를 실시간 및 누적 주파수 분석을 통한 뇌파의 활성도 진단, EP를 측정하여 시각적/청각적 자극에 의한 유발 전위 분석을 할 수 있다. 본 시스템은 측정 대상군의 통계적 분석을 위한 Database를 구축하였고, 신뢰성 높은 뇌파 및 유발 전위 신호를 위하여 실시간 측정과정 및 측정 후 Data 검토과정에서 다양한 Artifact 제거 알고리즘이 도입되었다. 또한, 32 채널 Brain map을 구성하여 뇌파를 공간적으로 분석 가능하며, 시간 및 주파수의 증가에 따라 Brain map을 동영상화하여 시간적/주파수적 변화에 따른 분석이 가능하다.

• Journal of applied mathematics & informatics
• /
• 제17권1_2_3호
• /
• pp.329-341
• /
• 2005

In this paper, we introduce new random iterative sequences with errors approximating a unique random common fixed point for three random set-valued strongly pseudo-contractive mappings and show the convergence of the random iterative sequences with errors by using an approximation method in real uniformly smooth separable Banach spaces. As applications, we study the existence of random solutions for some kind of random nonlinear operator equations group in separable Hilbert spaces.

• Korean Journal of Mathematics
• /
• 제18권4호
• /
• pp.441-464
• /
• 2010

In this paper, we introduce an iterative method for finding common elements of the set of solutions to a general system of variational inequalities for inverse-strongly accretive mappings and of the set of fixed points of strict pseudo-contractions in a real Banach space. The results presented in this paper mainly improve and extend the corresponding results announced by many others.

• 대한수학회논문집
• /
• 제25권2호
• /
• pp.313-325
• /
• 2010

General models for the relaxed proximal point algorithm using the notion of relative maximal accretiveness (RMA) are developed, and then the convergence analysis for these models in the context of solving a general class of nonlinear inclusion problems differs significantly than that of Rockafellar (1976), where the local Lipschitz continuity at zero is adopted instead. Moreover, our approach not only generalizes convergence results to real Banach space settings, but also provides a suitable alternative to other problems arising from other related fields.

• 대한수학회지
• /
• 제57권3호
• /
• pp.617-640
• /
• 2020

In this paper, we introduce a parallel iterative method for finding a common fixed point of a finite family of Bregman strongly nonexpansive mappings in a real reflexive Banach space. Moreover, we give some applications of the main theorem for solving some related problems. Finally, some numerical examples are developed to illustrate the behavior of the new algorithms with respect to existing algorithms.

• 한국광학회:학술대회논문집
• /
• 한국광학회 2005년도 하계학술발표회
• /
• pp.158-159
• /
• 2005

Three-dimensional(3D) integral imaging system which can be used in a virtual reality system is proposed. The proposed system uses a new image mapping algorithm which can achieve the real time processing, which is indispensable for the virtual reality system. 3D images generated by the advanced graphic software such as OpenGL API can be directly used without complex adaptation. Therefore, the computer-generated integral imaging system using the proposed mapping algorithm can be successfully applied to virtual reality.

• East Asian mathematical journal
• /
• 제17권2호
• /
• pp.349-365
• /
• 2001

Let X be a real Banach space and $A:X{\rightarrow}2^X$ be an $\alpha$-strongly accretive operator. It is proved that if the duality mapping J of X satisfies Condition (I) with additional conditions, then the Ishikawa and Mann iteration processes with errors converge strongly to the unique solution of operator equation $z{\in}Ax$. In addition, the convergence of the Ishikawa and Mann iteration processes with errors for $\alpha$-strongly pseudo-contractive operators is given.