• East Asian mathematical journal
• /
• v.25 no.1
• /
• pp.11-26
• /
• 2009

In this paper, the concepts of compatible mappings of types (A) and (P) are introduced in an induced metric space, two common xed point theorems for two pairs of compatible mappings of types (A) and (P) in an induced complete metric space are established. As their applications, the existence and uniqueness results of common solution for a system of functional equations arising in dynamic programming are discussed.

• Journal of the Korea Society of Computer and Information
• /
• v.26 no.12
• /
• pp.29-43
• /
• 2021

In this paper, a new approach to solve the constrained dynamic programming is proposed by using the constraint programming. While the conventional dynamic programming scheme has the state space augmented with states on constraints, this approach, without state augmentation, represents states of constraints as domains in a contraining programming solver. It has a hybrid computational mechanism in its computation by combining solving the Bellman equation in the dynamic programming framework and exploiting the propagation and inference methods of the constraint programming. In order to portray the differences of the two approaches, this paper solves a simple version of the long-term car rental financing problem. In the conventional scheme, data structures for state on constraints are designed, and a simple inference borrowed from the constraint programming is used to the reduction of violation of constraints because no inference risks failure of a solution. In the hybrid approach, the architecture of interface of the dynamic programming solution method and the constraint programming solution method is shown. It finally discusses the advantages of the proposed method with the conventional method.

• Proceeding of Spring/Autumn Annual Conference of KHA
• /
• 2006.11a
• /
• pp.163-167
• /
• 2006

The purpose of this study is to find out the leisure activity for middle-aged from 45-65 living in the house. The survey had been conducted in 135 respondents with Questionnaire during September 25th to October 7th, 2006. Frequency, Cluster Analysis and Cross tabulation were obtained from the data using SPSS program. The Questionnaire consists of leisure activity and leisure location based on 3 properties of leisure. The results of this study are as follows. First, frequency the respondents is differed by demographic characteristics. Those who have higher level of education, subjective economic power and are younger were more active. Second, the leisure activity in the house is higher in passive on 1st, intellectual and emotional on 2nd, mass media and social activity on 3rd property. Respondents regard home as not a active space but a relax space. Third, the most preferred location in the house for leisure is living-room. Next, master-room and dinning-kichen are. Because of women who spend time more than men in living. Therefore, designing living space for elderly is considered various leisure type of residents.

• Journal of the Korean Institute of Educational Facilities
• /
• v.16 no.5
• /
• pp.27-33
• /
• 2009

The existing universities enlarged the scope, filled up the facilities. And many new universities are founded by increase of university students, the change of curriculum and extension of installations for new curriculum. However, the planning for university campus hinders desirable activities in campus and also the origin function of university, because of the problems caused by an application of a uniform planning standard that lacks in logical analysis and such a short step as the occasion demands for the growth and the change of the university campus changing more rapidly than any other field in society. This dissertation is for space program beginning from architectural explanation and basic planning concluding a general structure-planning for land utility, circulation planning, and building layout planning in order to find the practical solution for the applicable campus plan. The contents of this dissertation is summarized below. First, I studied the characteristics of the university, the structure of the university facilities and the expansion the development process of the campus. Second, through the case study of domestic campus planning, I analyzed the characteristics and the problems about space programming, facility layout planning, circulation planning and exterior space planning. Third, in the basis of the above analyses, I set up the directions of comprehensive campus master plan.

• Nuclear Engineering and Technology
• /
• v.49 no.1
• /
• pp.134-140
• /
• 2017

A well-performed core power control to track load changes is crucial in pressurized water reactor (PWR) nuclear power stations. It is challenging to keep the core power stable at the desired value within acceptable error bands for the safety demands of the PWR due to the sensitivity of nuclear reactors. In this paper, a state-space model predictive control (MPC) method was applied to the control of the core power. The model for core power control was based on mathematical models of the reactor core, the MPC model, and quadratic programming (QP). The mathematical models of the reactor core were based on neutron dynamic models, thermal hydraulic models, and reactivity models. The MPC model was presented in state-space model form, and QP was introduced for optimization solution under system constraints. Simulations of the proposed state-space MPC control system in PWR were designed for control performance analysis, and the simulation results manifest the effectiveness and the good performance of the proposed control method for core power control.

• Journal of The Korea Institute of Healthcare Architecture
• /
• v.3 no.4
• /
• pp.27-34
• /
• 1997

This study aims at proposing the basic architectural data of the medical recording department for the general hospital planning and design. This research investigated the size of working space and the chart custody space through actual survey and the present conditions of space were analyzed. In result, this study proposes the formula for the calulation of the chart custody space according to computerization level and the chart custody planning year.

• 한국정보교육학회:학술대회논문집
• /
• 2021.08a
• /
• pp.93-99
• /
• 2021

The purpose of this study is to analyze recently developed tools and relevant literature in order to discuss development scheme of augmented reality-based programming tools targeting elementary school students. Literature review draws conclusion that touch mode in the mobile augmented reality is effective, especially in the environment where manipulates commands and it is required to design contents taking class environment and teaching-learning strategy into account. Such research findings indicate that augmented reality-based programming tools targeting elementary school students should be designed to increase their interest in programming in a way that when physical teaching materials or specific space are recognized, the programmed problems will be augmented to allow students to combine the commands in the augmented environment.

• Journal of Information Processing Systems
• /
• v.18 no.1
• /
• pp.159-172
• /
• 2022

The role of the interconnect network, which connects computing nodes to each other, is important in high-performance computing (HPC) systems. In recent years, the peripheral component interconnect express (PCIe) has become a promising interface as an interconnection network for high-performance and cost-effective HPC systems having the features of non-transparent bridge (NTB) technologies. OpenSHMEM is a programming model for distributed shared memory that supports a partitioned global address space (PGAS). Currently, little work has been done to develop the OpenSHMEM library for PCIe-interconnected HPC systems. This paper introduces a prototype implementation of the OpenSHMEM library through a switchless interconnect network using PCIe NTB to provide a PGAS programming model. In particular, multi-interrupt, multi-thread-based data transfer over the OpenSHMEM shared memory model is applied at the implementation level to reduce the latency and increase the throughput of the switchless ring network system. The implemented OpenSHMEM programming model over the PCIe NTB switchless interconnection network provides a feasible, cost-effective HPC system with a PGAS programming model.

• Bulletin of the Korean Space Science Society
• /
• 2008.10a
• /
• pp.37.2-37.2
• /
• 2008

Korea-Japan Joint VLBI Correlator (KJJVC), to be used for Korean VLBI Network (KVN) in Korea Astronomy & Space Science Institute (KASI), is a high-speed calculator that outputs the correlation results in the maximum speed of 1.4GB/sec.To receive and record this data keeping up with this speed and with no loss, the design of the software running on the data archive system for receving and recording the output data from the correlator is very important. But, the simple kind of programming using just single thread that receives data from network and records it by turns, can cause a bottleneck effect while processing high speed data and a probable data loss, and cannot utilize the merit of hardwares supporting multi core or hyper threading, or operating systems supporting these hardwares. In this talk we summarize the design of the data transfer software for KJJVC and high speed, large capacity data archive system using general socket programming and multi threading techniques, and the pre-BMT(Bench Marking Test) results from the tests of the storage product providers' proposals using this software.

• The Journal of Korean Association of Computer Education
• /
• v.14 no.6
• /
• pp.41-51
• /
• 2011

Informatics curriculum has been revised for informatics principles and concepts to effectively teach. According to the revised curriculum, researches are verifying the educational effects of algorithmic thinking and problem-solving abilities using programming language by applying it to various area. However, researches in programming education considering the level of student are yet incomplete. This research has analyzed the impact of the perceived level of problem solving on the performance of project completeness. As results of difference of project completeness, a high perceived level of problem solving group's performance of project completeness was higher than a low perceived level of problem solving group's one. Analysis of the impact of the perceived level of problem solving on the performance of project completeness, 'problem finding' factor had a significant impact. This research suggested the importance of 'problem finding' and self-reflecting introspective 'reviewing' stages in problem solving process using programming language.abstract of your study in English. This space is for the abstract of your study in English. This space is for the abstract of your study in English.