• Proceedings of the KSR Conference
• /
• 2008.11b
• /
• pp.436-440
• /
• 2008

Monorail is a type of LRT that a train, made with $2{\sim}4$ cars runs on single track. Monorail can be divided into two types - straddled type, running on track beam and suspended type, running suspended from track beam. After Wuppertal, world's first monorail in German, many monorails are currently operated in Australia, U.S.A, Japan etc. In macountry, it was decided to introduce monorail to 3rd line of Daegue. Daegue's 3rd line is public financial project and supported about 60% of total project cost by central government. The central government announced a standard for rubber-wheel type LRT and steel-wheel type LRT. It becomes a guide to local government willing to introduce this type of LRT. The standard for monorail hasn't announced yet although the necessity of research has grown. Korea Railroad Research Institute which has been asked to research by Ministry of Land Transport and Maritime Affairs has carried out research on standard of monorail considering domestic condition. The on-going research is described in this paper. We wish that it becomes national standard and a good guide for local government.

• Journal of Gifted/Talented Education
• /
• v.21 no.1
• /
• pp.163-174
• /
• 2011

As the scientific technology has produced complex problems that required value judgment, science-gifted students need the program for enhancing the critical thinking. Therefore, this study analyzed patterns of claims on scientific technology of the science-gifted for the development of argument program. The data were collected by 60 science-gifted students using writing and e-mail. The result showed that 29% of the participants provided only advantageous factors for their claims, whereas only 10% among the participants who provided both sides used pattern of 'rebuttal.' In addition, the students who fell into the patterns of 'alternative suggestion' and 'overly positive expectation on scientific technology' revealed positive recognition on scientific technology. These results highlight the need of argumentation program for science-gifted students that could be guideline for knowledge or argumentation, help awareness of limitation and role of scientific technology and lead to well-balanced judgment between positive effects and negative ones.

• Bulletin of the Korean Mathematical Society
• /
• v.12 no.2
• /
• pp.77-82
• /
• 1975

• Proceedings of KHEA Conference
• /
• 2000.10a
• /
• pp.103-103
• /
• 2000

• The Magazine of the Society of Air-Conditioning and Refrigerating Engineers of Korea
• /
• v.36 no.5
• /
• pp.7-16
• /
• 2007

• School Mathematics
• /
• v.14 no.4
• /
• pp.469-493
• /
• 2012

The purpose of this study is find the relation between students' concept and types of proof construction. For this, four undergraduate students majored in mathematics education were evaluated to examine how they understand mathematical concepts and apply their concepts to their proving. Investigating students' proof with their concepts would be important to find implications for how students have to understand formal concepts to success in proving. The participants' proof productions were classified into syntactic proof productions and semantic proof productions. By comparing syntactic provers and semantic provers, we could reveal that the approaches to find idea for proof were different for two groups. The syntactic provers utilized procedural knowledges which had been accumulated from their proving experiences. On the other hand, the semantic provers made use of their concept images to understand why the given statements were true and to get a key idea for proof during this process. The distinctions of approaches to proving between two groups were related to students' concepts. Both two types of provers had accurate formal concepts. But the syntactic provers also knew how they applied formal concepts in proving. On the other hand, the semantic provers had concept images which contained the details and meaning of formal concept well. So they were able to use their concept images to get an idea of proving and to express their idea in formal mathematical language. This study leads us to two suggestions for helping students prove. First, undergraduate students should develop their concept images which contain meanings and details of formal concepts in order to produce a meaningful proof. Second, formal concepts with procedural knowledge could be essential to develop informal reasoning into mathematical proof.

• KIPS Transactions on Software and Data Engineering
• /
• v.7 no.2
• /
• pp.43-50
• /
• 2018

Biometric information computing is greatly influencing both a computing system and Big-data system based on the bio-information system that combines bio-signal sensors and bio-information processing. Unlike conventional data formats such as text, images, and videos, biometric information is represented by text-based values that give meaning to a bio-signal, important event moments are stored in an image format, a complex data format such as a video format is constructed for data prediction and analysis through time series analysis. Such a complex data structure may be separately requested by text, image, video format depending on characteristics of data required by individual biometric information application services, or may request complex data formats simultaneously depending on the situation. Since previous bio-information processing computing systems depend on conventional computing component, computing structure, and data processing method, they have many inefficiencies in terms of data processing performance, transmission capability, storage efficiency, and system safety. In this study, we propose an improved biosensing converged big data computing architecture to build a platform that supports biometric information processing computing effectively. The proposed architecture effectively supports data storage and transmission efficiency, computing performance, and system stability. And, it can lay the foundation for system implementation and biometric information service optimization optimized for future biometric information computing.

• Korean Institute of Interior Design Journal
• /
• v.23 no.5
• /
• pp.131-138
• /
• 2014

The purpose of this study is to examine spatial composition elements of the public sector through medium-sized first class urban hotels of Korea and Japan, the two countries with geopolitical closeness and high cultural and economic correlation, and to provide data needed for devising future urban hotel plans. The scope of this study included case studies on medium-sized first class urban hotels (10 urban hotels with concours composition type in the public sector) located in downtowns of Korea (5 hotels) and Japan (5 hotels). The study was conducted by analysis of drawing based on review of preceding studies and literature, and on-site survey. The results of survey and analysis on physical spatial elements shown in medium-sized urban hotels of Korea and Japan with concours composition type among composition types in the public sector are as follows. First, as a result of analyzing spatial elements of medium-sized urban hotels in the public sector, an in-depth checklist must be prepared with consideration on intimate correlation between elements to devise a construction spatial plan for urban hotel in the future. Second, as a result of comparatively analyzing area ratio for each function (public sector, sales sector and service sector) through area analysis on the lower floors of medium-sized urban hotels, reference data for planning were found in regards to spatial composition ratio of the public sector. Third, as a result of analyzing spatial elements of lobby hall and traffic line of visitors on the lower floors of medium-sized urban hotels in the public sector, there was a substantial difference between hotels of Korea and Japan.

• Archives of design research
• /
• v.13
• /
• pp.55-64
• /
• 1996

Garment is not only a part of formative art that establishes a live shape by wearer but also space modeling which features the solidity based on human body. Hence, beyond the simple meaning of 'wearing clothes', modeling which makes a cubic shape in accordance with human body's movement, is an important element in garment design. This study examined puli-over-typed garment design that owns abundant space sense, taking complex shapes of geometrical diagrams with brief and simple features as a motive. The study aims at seeking after the combination of plane and cubic forms, and exploring formative garments which are further modern and different variance by approaching the natural section of geomentrical facets with tightfitting idea and composition of delicate colors and forms when plane pattern was put on human body.

• The Journal of the Korea Contents Association
• /
• v.13 no.2
• /
• pp.100-107
• /
• 2013

Agn$\grave{e}$s Varda is a French representative female film director. In particular, the method combining subjectivity and objectivity is the most outstanding characteristics. However, it can be said that the method to support this is not only theme of the film but also creation of structure including the exploration for the filmic form different from classical film form. Such an approach accords with No$\ddot{e}$l Burch's refined analysis of filmic form. Therefore, This study aims to aesthetical analysis of the form of producing the structure in modern movies through which is one of the representative work by Agn$\grave{e}$sVarda and won the Golden Lion award in 1985 Venice Film Festival. The theme of the film, the recovery of relationships among people and contacts through the tragic death of drifting life, created a new filmic structure by formative experiment of the film. The formative experiment is the fragmented and repetitive construction with the introductory voice-over, and consists of movement and editing of camera and specific use of flashback and sound through the representation of figures and situations, mixture of narrative and non-narrative style.