• Honam Mathematical Journal
• /
• v.35 no.4
• /
• pp.551-564
• /
• 2013

In 2008, Al-Thaga and Shahzad [Generalized I-nonexpansive selfmaps and invariant approximations, Acta Math. Sinica, 24(5) (2008), 867-876] introduced the notion of occasionally weakly compatible mappings in metric spaces. In this paper, we prove some common fixed point theorems for families of occasionally weakly compatible mappings in Menger spaces using an implicit relation. We also give an illustrative example to support our main result.

• Proceedings of the IEEK Conference
• /
• 1998.06a
• /
• pp.721-724
• /
• 1998

A circular image in a space don't appear as an exact circular image and appear as an oval in image buffer because distortion of camera lens, number of horizontal pixel of CCD photographing element and unmber of horizontal pixel of image buffer are not in accordance. By using familiar 3-D coordinate, know as circle's diameter, and cicle's center, you correct a pin-hole camera and get an exact circle with reprojection a circle into image buffer, according to a perspective.

• Korean Journal of Mathematics
• /
• v.16 no.4
• /
• pp.545-551
• /
• 2008

We investigate the multiple solutions for a parabolic boundary value problem with jumping nonlinearity crossing no eigenvalues. We show the existence of the unique solution of the parabolic problem with Dirichlet boundary condition and periodic condition when jumping nonlinearity does not cross eigenvalues of the Laplace operator $-{\Delta}$. We prove this result by investigating the Lipschitz constant of the inverse compact operator of $D_t-{\Delta}$ and applying the contraction mapping principle.

• The Journal of the Acoustical Society of Korea
• /
• v.42 no.4
• /
• pp.285-297
• /
• 2023

The present study aims to investigate the acoustic performance of the creative convergence classrooms in Korea used by elementary school students under the age of 9 introduced through the school space innovation project. In order to do this, acoustic performances of three creative convergence classrooms were measured. The measured acoustic parameters were background noise levels, Reverberation Time (RT), D₅₀, Speech Transmission Index (STI), and Inter-Aural Cross Correlation (IACC). Also, acoustic parameters including Transmission Loss (TL) and standardized level difference (D_nT) have been measured for the analysis of sound insulation performance of walls. In addition, the noise level was measured according to the opening conditions of doors and windows in the classroom. As a result, background noise level was measured at an average of 28.0 dB(A) to 32.8 dB(A) when the air conditioner was not operated, and the RT did not exceed 0.6 s. There were differences in IACC according to various desk layouts, and IACC values were high in the center line and the seats near the sound source. In particular, higher IACC was measured at the seats on the center line facing the source squarely. Regarding noise level in the classroom according to the opening conditions of doors and windows, the standards were exceeded when all windows, or windows and doors front onto the corridor were opened.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.26 no.1
• /
• pp.146-152
• /
• 2022

Information collected from temperature, humidity, inclination, and pressure sensors using Raspberry Pi or Arduino is used in automatic constant temperature and constant humidity systems. In addition, by using it in the agricultural and livestock industry to remotely control the system with only a smartphone, workers in the agricultural and livestock industry can use it conveniently. In general, temperature and humidity are expressed in a line graph, etc., and the change is monitored in real time. The technology to visually express the temperature has recently been used intuitively by using an infrared device to test the fever of Corona 19. In this paper, the information collected from the Raspberry Pi and the DHT11 sensor is used to predict the temperature change in space through intuitive visualization and to make a immediate response. To this end, an algorithm was created to effectively visualize temperature and humidity, and data representation is possible even if some sensors are defective.

• Bulletin of the Korean Mathematical Society
• /
• v.32 no.2
• /
• pp.343-348
• /
• 1995

Let X and Y be two normed spaces and D a nonempty convex subset of X. Let $T : X \ to L(X,Y)$ be a mapping, where L(X,Y) is the space of all continuous linear mappings from X into Y. And let $C : D \to 2^Y$ be a set-valued map such that for each $x \in D$, C(x) is a convex cone in Y such that Int $C(x) \neq 0 and C(x) \neq Y$, where Int denotes the interior.

• 제어로봇시스템학회:학술대회논문집
• /
• 1995.10a
• /
• pp.392-395
• /
• 1995

This paper presents a time efficient method for determining a sequence of locations of a mobile manipulator that facilitates tracking of continuous path in cluttered environment. Given the task trajectory in the form of octree data structure, the algorithm performs characterization of task space and subsequent multistage optimization process to determine task feasible locations of the robot. Firstly, the collision free portion of the trajectory is determined and classified according to uniqueness domains of the inverse kinematics solutions. Then by implementing the extent of task feasible subspace into an optimization criteria, a multistage optimization problem is formulated to determines the task feasible locations of the mobile manipulator. The effectiveness of the proposed method is shown through a simulation study performed for a 3-d.o.f. manipulator with generic kinematic structure.

• Proceedings of the KSME Conference
• /
• 2000.04a
• /
• pp.666-671
• /
• 2000

In this paper, we developed a Windows 95 version off-line programing system which can simulate a track vehicle model in 3D graphics space. The track vehicle was adopted as an objective model. The interface between users and the off-line program system in the Windows 95's graphic user interface environment was also studied The developing language is Microsoft Visual C++. Graphic libraries, OpenGL, by Silicon Graphics, Inc. were utilized for 3D Graphics.

• Journal of the Korean Mathematical Society
• /
• v.42 no.3
• /
• pp.573-597
• /
• 2005

A continuous linear operator T, on the space of entire functions in d variables, is PDE-preserving for a given set $\mathbb{P}\;\subseteq\;\mathbb{C}|\xi_{1},\ldots,\xi_{d}|$ of polynomials if it maps every kernel-set ker P(D), $P\;{\in}\;\mathbb{P}$, invariantly. It is clear that the set $\mathbb{O}({\mathbb{P}})$ of PDE-preserving operators for $\mathbb{P}$ forms an algebra under composition. We study and link properties and structures on the operator side $\mathbb{O}({\mathbb{P}})$ versus the corresponding family $\mathbb{P}$ of polynomials. For our purposes, we introduce notions such as the PDE-preserving hull and basic sets for a given set $\mathbb{P}$ which, roughly, is the largest, respectively a minimal, collection of polynomials that generate all the PDE-preserving operators for $\mathbb{P}$. We also describe PDE-preserving operators via a kernel theorem. We apply Hilbert's Nullstellensatz.

• Journal of Korea Multimedia Society
• /
• v.17 no.5
• /
• pp.623-630
• /
• 2014

While BIM software becomes popular for CAAD and architectural design educations, the affordance of BIM for students' architectural idea developments, called intra-process of communication, is still unknown. Therefore, this study conducted t-test quantitative analysis in order to the scores for feedback, idea productivity, idea development for architectural elements(form, interior space, material, and details), and creative motivation(novelty, appropriateness) using BIM and non-BIM 3D modeler. To achieve the goal, in authentic CAAD class, architecture major students proposed two office designs using those two tools, then they evaluated in which ways those tools influenced their idea developments.