• Proceedings of the IEEK Conference
• /
• 2002.06b
• /
• pp.273-276
• /
• 2002

In this paper, we propose a bias random vector generator which can verify functions of microprocessor effectively. This generator is a pre-processor of assembly program, and defines pre-processor instructions which create random vector only in the pall which the designer wants to verify. Therefore, this generator shows higher detection ration than any other generators. And, we can cut down design costs because of shortening a Period for verifying function.

• Proceedings of the IEEK Conference
• /
• 2002.06b
• /
• pp.121-124
• /
• 2002

In this paper, we propose a bias random vector generator which can verify functions of microprocessor effectively. This generator is a pre-processor of assembly program, and defines pre-processor instructions which create random vector only in the part which the designer wants to verify. Therefore, this generator shows higher detection ration than any other generators. And, we can cut down design costs because of shortening a period for verifying function.

• Korean Institute of Interior Design Journal
• /
• no.41
• /
• pp.36-44
• /
• 2003

This study is arranged the principles of the preservation and restoration in pre-modern architecture, presented guideline of the interior restoration in there, and attempted relative-analysis by cases of Japan in wall and ceiling. The method of Original-restorations and Repairs must be preserved in materials and technologies in order to hand over the future generations. The process and method of restorations are the important Cultural Properties as Architecture's itself.

• The Mathematical Education
• /
• v.55 no.2
• /
• pp.171-192
• /
• 2016

As teachers' competency is evaluated based on their teaching performance. pre-service teachers need to have an opportunity to reflect on themselves by systematically analyzing and evaluating their own lesson planning and teaching performance through self-assessment. In this study, we aimed to examine what evaluation criteria for lesson planning and teaching performance pre-service mathematics teachers consider in the process of self-assessment. This study used a mixed-methods research design. To draw the self-evaluation criteria for lesson planning and teaching performance, pre-service self-reported assessments were analyzed using qualitative analyses. In addition, descriptive statistics were used to investigate the pre-service teachers' distribution across the criteria and check the ratio of pre-service mathematics teachers for each element. As a result, it was disclosed that pre-service mathematics teachers considered eight elements in self evaluating their own lesson planning and teaching performance. In addition, we found that pre-service mathematics teachers tended to consider Pedagogical Content Knowledge (PCK) more than Subject-Matter Knowledge (SMK). Moreover, the results of this study provide educational implications for the curriculum in the pre-service teacher's education program.

• Progress in Superconductivity and Cryogenics
• /
• v.22 no.3
• /
• pp.20-24
• /
• 2020

The purpose of this analytic study is to design and examine an efficient hydrogen liquefaction cycle by using a pre-cooler. The liquefaction cycle is primarily comprised of a pre-cooler and a refrigerator. The fed hydrogen gas is cooled down from ambient temperature (300 K) to the pre-cooling coolant temperature (either 77 K or 120 K approximately) through the pre-cooler. There are two pre-cooling methods: a single pre-coolant pre-cooler and a cascade pre-cooler which uses two levels of pre-coolants. After heat exchanging with the pre-cooler, the hydrogen gas is further cooled and finally liquefied through the refrigerator. The working fluids of the potential pre-cooling cycle are selected as liquid nitrogen and liquefied natural gas. A commercial software Aspen HYSYS is utilized to perform the numerical simulation of the proposed liquefaction cycle. Efficiency is compared with respect to the various conditions of the heat exchanging part of the pre-cooler. The analysis results show that the cascade method is more efficient, and the heat exchanging part of the pre-coolers should have specific UA ratios to maximize both spatial and energy efficiencies. This paper presents the quantitative performance of the pre-cooler in the hydrogen liquefaction cycle in detail, which shall be useful for designing an energy-efficient liquefaction system.

• Journal of Korean Society of Steel Construction
• /
• v.21 no.2
• /
• pp.193-201
• /
• 2009

Structural design of most nonprismatic Pre-Engineered Building Systems (PEBS) is performed using optimizing software developed in foreign countries. In this study, a structural optimizing software for the design of 3-D structures of nonprismatic PEBS is developed according to the allowable stress design method of AISC2005 and KBC. Optimizing structural design with nonprismatic members is carried out by repeating the process of structural analysis and member design to minimize the weight of a structure. According to the optimizing design results of 2-D and 3-D structures with nonprismatic members, there are considerable steel savings in designing structures with nonprismatic H-shaped built-up sections rather than with H-shaped rolled sections. When H-shaped built-up sections were used, the weight of the structural steel was reduced when AISC2005 specification rather than AISC1898 was used in the design. It is therefore concluded that utilizing the new AISC2005 specification is safer in preventingweb buckling because the height of a member is designed to be small despite some differences depending on the structural type.

• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 1999.03b
• /
• pp.84-87
• /
• 1999

This paper presents a preform design method that combines the analytic method and inference of known knowledge with neural network. The analytic method is a finite element method that is used to simulate backward extrusion with pre-defined process parameters. The multi-layer network and back-propagation algorithm are utilized to learn the training examples from the simulation results. The design procedures are utilized to learn the training examples from the simulation results. The design procedures are two methods the first the neural network infer the deformed shape from the pre-defined processes parameters. The other the network infer the processes parameters from deformed shape. Especially the latest method is very useful to design the preform From the desired feature it is possible to determine the processes parameters such as friction stroke and tooling geometry. The proposed method is useful for shop floor to decide the processes parameters and preform shapes for producing sound product.

• Journal of the Korea Furniture Society
• /
• v.16 no.2 s.30
• /
• pp.67-76
• /
• 2005

Bauhaus, founded in Weimar, Germany in 1919, represented Modernism which is proven in the field of art as well as architecture. Furthermore, in design field, Bauhaus is the essential historical event whose influence continues in contemporary design. Bauhaus furniture is simple and austere and has linear shapes which are suitable for mass production. Bauhaus developed functional furniture design such as knock-down and pre-fabricated furniture. In terms of finishes, Bauhaus furniture epitomizes the influence of De Stijl which used either achromatic colors and three primary colors or natural finishes of wood. Bauhaus contributed to furniture design field as below. 1. Success in mass-produced furniture through standardization and pre-fabrication 2. Pioneered on industrialization through collaboration between academia and industry 3. played essential role developing modem furniture by using not only metal but also such diverse materials as plywood, glass, and leather

• Textile Coloration and Finishing
• /
• v.23 no.4
• /
• pp.263-273
• /
• 2011

Digital textile printing(DTP) technology made considerable advances in recent years. In this study, a pre-treatment agent has been prepared for the better coloration of digital textile printing. The ink formulation contained three kinds of 5g thickener (CMC, Sodium alginate, Dextrin), 25g urea, 5g sodium carbonate, and 465g distilled water. The optimal sharpness of outline was found in the 1-3% concentration of the pre-treating agent with a viscosity of 10-15 cSt. Even if the color difference between untreated and treated samples was not apparent in the printing step, the color appearance increased after steaming. The color appearance of cyan, magenta, yellow, black reactive colorants increased in the order of CMC>Sodium alginate>Dextrin. Wash fastness to shade change and staining for the treated samples were 4-5 rating, while untreated sample was 1-2 rating. Also, the pre-treated sample with 1:1 mixtures had 4-5 rating. Both dry and wet rubbing fastness to shade change and staining were excellent in the treated samples, whereas rubbing fastness of untreated sample was 1-2 rating. With exception of 3 rating to black color, light fastness properties were 4 rating for the remaining three colors in the regardless of treatment condition and mixing of pre-treating agents. Dry cleaning fastness of all samples were also 4-5 rating irrespective of treatment condition and mixing of pre-treating agents.

• Journal of The Korean Association For Science Education
• /
• v.32 no.8
• /
• pp.1356-1366
• /
• 2012

As the recent demand for human resources in science, technology, engineering, and mathematics (STEM), the development of professional STEM teacher is called worldwide. It is becoming a critical need in teacher education in order to educate student teachers, and prepare pre-service and beginning teachers for high quality of teaching competency. To promote the competency for $21^{st}$ century STEM teachers, the epistemology of technological pedagogical content knowledge (TPACK) is currently considered as the essential qualities of knowledge for highly qualified teachers. The aim of this study is explore the effect of case-based learning approach on TPACK competency of pre-service STEM teachers. In order to develop the pre-service teachers' competency regarding effective integration of technologies into teaching specific content areas, a series of innovative case study teaching in science and mathematics was presented to 43 participants of pre-service physics, chemistry, biology, mathematics, and computer teachers during a course of information and communication technology (ICT) in Education at Khon Kaen University, Thailand. After finishing a case presentation, the pre-service teachers were encouraged into a forum of critical open discussion by considering the potential impact of the case and the TPACK framework. They were investigated instructional design competency of using ICT tools into student learning process and their personal beliefs about ICT in educational process both before and after. The participant's reactions and learning was evaluated by using a self-reported questionnaire and an implementation log of content-specific learning process design, respectively. Results showed a change of their beliefs and the transformation of their TPACK competency in STEM teaching. In an effort to better serve the needs of high quality STEM teachers, the results of this study illustrated that the competency of TPACK could be particularly considered as a core attributes for future STEM teachers. By the way, case-based learning approach can play an effective part in preparing and professing the TPACK competency for STEM teachers.