• Journal for History of Mathematics
• /
• v.12 no.1
• /
• pp.32-44
• /
• 1999

This paper is a sequel to [8]. Development of modern logic was initiated by Boole and Morgan. Boolean logic is one of their completed works. Cantor created the set theory along with cardinal and ordinal numbers. His theory on infinite sets brought about a remarkable development on modern mathematical theory, but generated many paradoxes (e.g. Russell Paradox) that in turn motivated mathematicians to solve them. Further, mathematicians attempted to construct sound foundations for Mathematics. As a result three important schools of thought were formed in relation to fundamentals of mathematics for the resolution of paradoxes of set theory, namely logicism developed by Russell and Whitehead, intuitionism lead by Brouwer and formalism contended by Hilbert and Bernays. In this paper, we examine the logic for intuitionism which is originated by Brouwer in 1908 and study Heyting algebra.

• Knowledge Management Research
• /
• v.21 no.2
• /
• pp.59-75
• /
• 2020

In this paper, we investigate the influence of factors on the firm, industry, and country levels on the new product development performance (NPD) of manufacturing firms in advanced economies. The resource-based view, industrial organization theory and institutional theory have established that firm-, industry- and country-level factors are all relevant for the NPD of firms. However, little is known about the relative importance of factors at the three different levels across countries, as prior studies on firms' NPD have focused on specific countries and levels of analysis. Our analysis of survey data from 1,437 manufacturing firms in nine advanced OECD countries shows that while firm-level factors are generally better predictors of firms' innovativeness than either industry- or country-level factors, the results strongly differ across countries, indicating that the relative importance of antecedents of innovativeness is country-specific rather than universal.

• Journal of the Korean Society of Clothing and Textiles
• /
• v.20 no.2
• /
• pp.362-372
• /
• 1996

Recently, need for the development of the quantification of subjective evaluation is growing for the production of high-touch and high-tech textile products. In this study, Fuzzy theory is utilized for the evaluation of the wear comfort of the various blouses. Result of a new evaluation method and factor scores, validity of the new evalution technique adopted fuzzy theory was crosschecked with the results of fator analysis and factor scores. As results, fuzzy theory was proved to be adequate methodology to objectify the subjective evaluation of the adequacy of clothing which is worn. When DUNCAN'S multiple comparion among median of the fuzzy composite score were compared with the results of factor score, the sensitivity of the test methods tends to increase. Therefore, it is suggested that fuzzy weighted checklist is an alternative evaluation scale for the subjective comparison of the textile products. In addition, individual median of fuzzy composite score value should be treated by statistical for the sensitive analysis of subjective evalution.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07b
• /
• pp.334-336
• /
• 2005

본 논문은 정형 명세 언어인 Esterel이 가지는 취약점을 보안하기 위해 Safety-Critical Aided Development Environment를 추가로 활용하여 신뢰성 있고 안전적인 임베디드 제어 소프트웨어 개발을 위한 기법을 제시하고 있다. 그 뿐만 아니라 제시한 기법을 이용하여 개발된 간단한 자동 강속 제어 소프트웨어를 인터페이스와 기능 부분에 대해서 각각 확인 및 검증을 수행한 후 임베디드 시스템인 레고 마인드 스톰으로 제작된 차량 로봇에 탑재한 후 실험을 하고, 실험을 통해 기존 개발 기법과의 차이점을 분석한다.

• International Journal of Fluid Machinery and Systems
• /
• v.10 no.2
• /
• pp.99-118
• /
• 2017

ECHO progress was defined to depict the rotordynamic pump theory development. Experience (E) era for pumps lasted nearly one and a half hundred years before the Industrial Revolution due to the low rotation speed of motor and undeveloped manufacture ability. Classic (C) theory referring to quasi-static performance as well as the items those were not able to be steadily resolved under the level were briefly and sophisticated outlined. Since 1962, flow instabilities and the dynamic responses had come into main attention with the development of the modern technologies such as ballistic missile, rocket and space shuttle main engine, and were finally heuristically (H) elucidated by talented scholars and researchers. Recently, new applications for the pumps open (O) to the surrounding fluid and diversity of the medium such as multiphase flow need more studies and some examples were briefly introduced to display the potential problems lastly.

• Journal of Distribution Science
• /
• v.11 no.6
• /
• pp.21-30
• /
• 2013

Purpose - This paper examines product design management, the current design focus of which has shifted to the need to produce innovation applications that can effectively respond to the market's consumption changes in a timely manner. Research design, data, methodology - This study discusses several methodologies that are widely used in experimental processes, such as fuzzy theory, multi-criteria decision-making theory, and managing decision making. The designers will better understand their customers by applying these methodologies. This study examines how the current trend in product innovation design observes customer needs, controls innovation, and stimulates design ability. Results - This paper takes innovative telephone design as an experimental case to investigate how to create a product using market-oriented and customized management concepts and creative design abilities. Conclusions - If accompanied by an innovative product value chain, a product can further the development of enterprise management, now the main element of every developed country's social and economic development.

• International Journal of Human Ecology
• /
• v.7 no.2
• /
• pp.97-110
• /
• 2006

A conceptual framework, based on a curriculum model of family life education content, and on a schema for analyzing explicit use of theory, was developed to discern the substantive themes of programs and the role of theories in publications on programs for families in the Korean family studies literature. Seventy two journal articles published between 1990 and 2002 were analyzed. The results revealed that the Korean family life education programs dealt with the breadth of topics, but most particularly internal family dynamics and interpersonal relationships, and utilized theoretical concepts as input and output in a different level: explicit, implicit, or no use of theories. Implications for future research and practice in Korean family life education are discussed, including gaps in the substantive foci of programs, and aligning programs more closely with theory.

• Journal of Powder Materials
• /
• v.14 no.6
• /
• pp.391-398
• /
• 2007

The surface roughness of Al, Ag and Ni nano-powders which were prepared by pulsed wire evaporation method was quantified based upon the fractal theory. The surface fractal dimensions of metal nano-powders were determined from the linear relationship between In $V/V_{mono}$ and Inln ($P^o/P$) using multi-layer gas adsorption theory. Moreover, the fractal surface image was realized by computer simulation. The relationship between preparation condition and surface characteristics of metal nano-powders was discussed in detail.

• Journal of Community Nutrition
• /
• v.5 no.4
• /
• pp.195-208
• /
• 2003

Drawing from journal articles, community nutrition textbooks, government documents, national conference reports, the author's own work in community programming, and discussions with practicing Community Nutritionists, this article illuminates the scope and character of community nutrition in the United States. It traces the roots of community nutrition in home economics, nutrition, education, communication, social and behavioral sciences, and describes the evolution of theory. And finally it suggests issues to be addressed by community nutrition researchers and practitioners through collaborations that integrate perspectives within community nutrition and strategically cross disciplinary boundaries. These include： 1) theory development and application in research and practice within philosophically consistent perspectives； 2) methodological development (qualitative and quantitative) drawing from the social and behavioral sciences that apply to community nutrition； 3) taking a long view of community nutrition and recognizing that change requires integrated efforts over long periods of time； 4) engaging community stakeholders in research as well as program planning and 5) engaging with community nutritionists from other countries for cross-cultural research and conceptualization. This journal and the Korean Society for Community Nutrition, as the only journal and society expressly devoted to community nutrition, would be the best context for such collaborations.

• Journal of The Korean Society of Agricultural Engineers
• /
• v.49 no.1
• /
• pp.23-33
• /
• 2007

Classification results of rural villages provide useful information about rural village characteristics to select similar villages in rural development project; many researches about regional classification have been practiced. Recently rural amenity was introduced as an alternative for rural development, and rural villages have been surveyed to find potential resources for rural development by 'Rural Amenity Resources Survey Project'. Accumulated information through this survey project could be used to classify rural villages. However existing rural classification method using statistical data is not efficient method to use rural amenity resources information described with text. We introduced Information Bottleneck Method (IBM) based on information theory and implemented this method to classification with rural amenity resources information of Yanggang-myen, Yeongdong-gun in Chungbuk province.