• 대한수학회논문집
• /
• 제17권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.

• 대한수학회논문집
• /
• 제24권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
• /
• 제62권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.

• 한국산학기술학회논문지
• /
• 제15권6호
• /
• pp.3851-3857
• /
• 2014

화물열차를 이용하는 화주의 화물열차 수요는 기간에 따라 변동성이 크나 화주의 요구에 따라 화물열차 스케줄을 조정하거나 증편하는 것은 상당한 시간이 소요된다. 그 이유는 해의 범위가 폭발적으로 증가하고 선로용량, 운영규정, 기존열차와의 경합 등을 고려해야하기 때문이다. 그러나 국내 철도 운영사에서 화물열차 증편일정 조정 업무는 지속적으로 발생하고 있으며, 담당자의 경험적인 역량으로 해결해 왔다. 본 논문에서는 증편되는 화물열차의 운행 가능성을 판단하고, 증편요청열차들이 기존 열차의 운행시간 지연을 최소로 하면서 가급적 많은 추가 스케줄을 생성할 수 있는 모형을 제시한다. 제시된 모형은 시공간 네트워크로 문제를 표현하고 다중상품 흐름문제로 모델링하여 열생성 기법으로 해를 구하였다. 제시된 모형으로 3가지 실험을 수행하였으며, 복잡한 문제의 경우에도 계산시간상 실용적임을 확인하였다.

• 한국항공우주학회지
• /
• 제31권1호
• /
• pp.73-84
• /
• 2003

항공기내 연료온도의 변화가 유한차분식에 의하여 해석되었다. 항공기의 여러 임무 가운데 근접항공지원 임무가 20% hot day 외부대기 조건과 함께 이음속 영역에서 고려되었다. 수정 Dufort-Frankel기법의 explicit방법에 의해 수치계산이 수행되었다. 항공기는 난류유동장내에 있는 것으로 가정되었다. 추가 연료공급-회송 개념을 갖는 항공기 연료시스템 모델이 고려되었다. 본 해석의 결과로써, 추가연료 공급이 증가함에 따라 연료탱크의 온도는 상승함을 보인 반면, 엔진 입구에서의 연료온도는 몇몇 비행단계 및 엔진 연료요구량이 많은 구간을 제외하고는 감소함을 보였다. 본 해석으로부터, 추가 연료공급-회송개념을 사용한 연료시스템이 엔진입구 연료온도를 낮추기 위한 효과적인 방법임을 나타났다. 또한, 연료/오일 열교환기로 흐르는 연료유동량이 연료온도 변화에 중요한 인자임이 밝혀졌다.

• 대한의용생체공학회:의공학회지
• /
• 제31권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.

• 의료ㆍ복지 건축 : 한국의료복지건축학회 논문집
• /
• 제15권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.

• 제어로봇시스템학회논문지
• /
• 제4권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.

• 대한수학회보
• /
• 제44권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.

• 대한산업공학회지
• /
• 제40권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.