• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2017년도 추계학술대회
• /
• pp.27-29
• /
• 2017

Container terminals in Northern Vietnam have recorded an impressive development in recent years. This development, however, also raises a fierce competition among local container terminals to attract customers. Beside the handling charges, the vessels' waiting cost is also an important factor that drive the opinion of users in choosing appropriate terminal. This research plans to estimate the waiting cost in different container terminals in Northern Vietnam by building regression equation that describe the relationship between the rate of throughput/capacity and waiting cost/TEU. Queuing theory with the application of Poisson distibution is used to estimate the waiting time of arrival vessels and uncertainty theory is applied to estimate the vessel's daily expenses. Previous studies suggested two different formation of the equation and according to the research results, cubic equation is more suitable in the given case. The research results are also useful for further research which require calculation of waiting cost per TEU in each container terminal in Northern Vietnam.

• Coupled systems mechanics
• /
• 제9권6호
• /
• pp.575-597
• /
• 2020

Equilibrium equations of a porous FG plate resting on Winkler-Pasternak foundations with various boundary conditions are derived using a new refined shear deformation theory. Different types of porosity distribution rate are considered. Governing equations are obtained including the plate-foundation interaction. This new model meets the nullity of the transverse shear stress at the upper and lower surfaces of the plate. The novel rule of mixture is proposed to describe and approximate material properties of the FG plates with different distribution case of porosity. The validity of this theory is studied by comparing some of the present results with other higher-order theories reported in the literature. Effects of variation of porosity distribution rate, boundary conditions, foundation parameter, power law index, plate aspect ratio, side-to-thickness ratio on the deflections and stresses are all discussed.

• 한국수학사학회지
• /
• 제12권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.

• International Journal of Human Ecology
• /
• 제7권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 Community Nutrition
• /
• 제5권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.

• 한국기록관리학회지
• /
• 제3권2호
• /
• pp.1-33
• /
• 2003

이 논문은 문서분류에 대한 이론적 근거를 찾아보고, 조선조 이후 구한말을 걸쳐 대한민국 정부수립 이후 지금까지 시행해오고 있는 한국공문서분류의 변천과정을 살펴, 새로 제정 공포될 '기록물분류기준표'와 비교하여, 시행상의 문제점을 검토함으로써 더 나은 분류표로 발전시키는데 목적을 둔다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 한국컴퓨터종합학술대회 논문집 Vol.32 No.1 (B)
• /
• pp.334-336
• /
• 2005

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

• International Journal of Fluid Machinery and Systems
• /
• 제10권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.

• 유통과학연구
• /
• 제11권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.

• 한국농공학회논문집
• /
• 제49권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.