• Communications of the Korean Mathematical Society
• /
• v.17 no.3
• /
• pp.519-529
• /
• 2002

In this paper. We Study (n + 1)-dimensional Contact CR-submanifolds of (n - 1) contact CR-dimension immersed in a Sasakian space form M$\^$2m+1/(c) (2m=n+p, p>0), and especially determine such submanifolds under additional condition concerning with shape operator.

• Communications of the Korean Mathematical Society
• /
• v.24 no.1
• /
• pp.111-125
• /
• 2009

The purpose of this paper is to study n-dimensional QR-submanifolds of (p-1) QR-dimension immersed in a quaternionic projective space $QP^{(n+p)/4}$ of constant Q-sectional curvature 4 and especially to determine such submanifolds under the additional condition concerning with shape operator.

• Kyungpook Mathematical Journal
• /
• v.62 no.1
• /
• pp.69-88
• /
• 2022

In this work, the three-step intermixed iteration for two finite families of nonlinear mappings is introduced. We prove a strong convergence theorem for approximating a common fixed point of a strict pseudo-contraction and strictly pseudononspreading mapping in a Hilbert space. Some additional results are obtained. Finally, a numerical example in a space of real numbers is also given and illustrated.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.15 no.6
• /
• pp.3851-3857
• /
• 2014

Shippers' requests of freight trains vary with time, but generating an additional schedule of freight trains is not easy due to many considerations, such as the line capacity, operation rules, and conflicts with existing trains. On the other hand, an additional freight train schedule has been continuously requested and manually processed by domestic train operation companies using empirical method, which is time consuming. This paper proposes a model to determine the additional freight train schedule that assesses the feasibility of the added freight trains, and generates as many additional schedules as possible, while minimizing the delay of the existing schedules. The problem is presented using time-space network, modeled as multi-commodity flow problem, and solved using the column generation method. Three levels of experiment were conducted to show validity of the proposed model in the computation time.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.31 no.1
• /
• pp.73-84
• /
• 2003

A transient analysis on fuel temperatures in an aircraft was studied using the finite difference method. Numerical calculation was performed by an explicit method of modified Dufort-Frankel scheme. Among various missions, close air support mission was considered with 20% hot day ambient condition in subsonic region. The aircraft was assumed to be in turbulent flow. The fuel system model with additional fuel supplies and return concept was considered. As a result of this analysis, the fuel tank temperatures have increased with the increase of the additional fuel supplies. In contrast to tank temperatures, the fuel temperature at the engine inlet has decreased with the increase of additional fuel supplies except in some in-flight phases having high engine fuel flow. From this analysis, the fuel system with the additional fuel supplies and return concept has been shown to be an effective method to decrease the engine inlet fuel temperature. Also, it has been shown that fuel flow rate through fuel/oil heat exchanger is a key factor influencing fuel temperature.

• Journal of Biomedical Engineering Research
• /
• v.31 no.3
• /
• pp.251-257
• /
• 2010

This paper reports a noble instrument that helps physically disabled people to access computers. There have been numerous attempts to develop such a methodology, but most of them require an additional space for workstation often including access program installation. The additional space also needs to be carefully designed to consider each specific disabled area. This study aims to develop a system that removes the spacial limitation by putting the integrated computer interface using the wheelchair controller. The implementation of the computer workstation is performed by utilizing an USB interface. The developed equipment will take an important role to support various social lives for the users and eventually to improve their quality of life.

• Journal of The Korea Institute of Healthcare Architecture
• /
• v.15 no.2
• /
• pp.39-50
• /
• 2009

The purpose of this study is a presentation of long term strategies for hereafter hospital's remodeling and new constructions with grabbing in the characters of various spaces and ways of remodeling on wards which have been remodeled according to periods(the opening, before remodeling, after remodeling, new construction). The targets are three remodeled hospitals and four resent hospitals. And also the hospitals are divided as beds, additional hospital facilities, day room, doctor's and staff dining room, public space(corridor, core, duct) etc. The analEis of this study explains changes of wards through the characters expressed by remodeling on the specific functions (beds, additional hospital facilities, day room, doctor's and staff dining room, public space etc.) Following the research, the study has kept going to understanding of problems and limitations of improvement on remodeling wards. Finally, this researcher looked for suggestions on the planning of wards.

• Journal of Institute of Control, Robotics and Systems
• /
• v.4 no.6
• /
• pp.765-771
• /
• 1998

An artificial neural network(NN) technique is developed for hardware redundant sensor validation. Since the measurement space is a continuous space with many operating regions, it is difficult to train a NN to correctly detect failure in an accurate measurement system. A conventional backpropagation NN is modified to include an additional preprocessing layer that extracts classification features from scalar measurements. This feature extraction means transform the measurement space to parity space. The NN is independent of the state variable being measured, the instrument range, and the signal tolerance. This NN resembles the parity space approach to signal validation, except that analytical parity equations are unneeded and the NN pattern recognition capability is utilized for decision making.

• Bulletin of the Korean Mathematical Society
• /
• v.44 no.3
• /
• pp.493-506
• /
• 2007

In this paper weak and strong convergence theorems of modified Noor iterations to fixed points for asymptotically nonexpansive mappings in the intermediate sense in Banach spaces are established. In one theorem where we establish strong convergence we assume an additional property of the operator whereas in another theorem where we establish weak convergence assume an additional property of the space.

• Journal of Korean Institute of Industrial Engineers
• /
• v.40 no.5
• /
• pp.481-491
• /
• 2014

In this paper, we discussed a problem for improving the throughput of a crankshaft manufacturing line in an automotive factory in which the budget for purchasing new machines and installing additional buffers is limited. We also considered the constraint of available space for both of machine and buffer. Although this problem seems like a kind of buffer allocation problem, it is different from buffer allocation problem because additional machines are also considered. Thus, it is not easy to calculate the throughput by mathematical model, and therefore simulation model was developed using $ARENA^{(R)}$ for estimating throughput. To determine the investment plan, a modified Arrow Assignment Rule under some constraints was suggested and it was applied to the real case.