• Korean Journal of Logic
• /
• v.14 no.2
• /
• pp.39-76
• /
• 2011

We explain some basic elements of Martin-L$\ddot{o}$f's type theory and examine the distinction between propositions and judgments. In section 1, we introduce the problem. In section 2, we explain the concept of proposition in the intuitionistic type theory as a development of the intuitionistic conception of proposition. In section 3, we explain the concept of judgment in the intuitionistic type theory. In section 4, we explain some basic inference rules and examine a particular derivation in the theory. In section 5, we examine one route from the Fregean distinction between propositions and judgments to the distinction between them in the intuitionistic type theory, paying attention to the alleged necessity for introducing different forms of judgments.

• Journal of Wetlands Research
• /
• v.26 no.1
• /
• pp.10-20
• /
• 2024

The conservation and restoration of wetlands are essential tasks for the sustainable development of human society and the environment, providing vital benefits such as biodiversity maintenance, natural disaster mitigation, and climate change alleviation. This study aims to analyze the strategic interactions and interests among various stakeholders using game theory and to provide significant grounds for policy decisions related to wetland restoration and development. In this study, hypothetical scenarios were set up for three types of cities: large, medium, and small. Stakeholders such as governments, development companies, environmental groups, and local residents were identified. Strategic options for each stakeholder were developed, and a payoff matrix was established through discussions among wetland ecology experts. Subsequently, non-cooperative game theory was applied to analyze Nash equilibria and Pareto efficiency. In large cities, strategies of 'Wetland Conservation' and 'Eco-Friendly Development' were found beneficial for all stakeholders. In medium cities, various strategies were identified, while in small cities, 'Eco-Friendly Development' emerged as the optimal solution for all parties involved. The Pareto efficiency analysis revealed how the optimal solutions for wetland management could vary across different city types. The study highlighted the importance of wetland conservation, eco-friendly development, and wetland restoration projects for each city type. Accordingly, policymakers should establish regulations and incentives that harmonize environmental protection and urban development and consider programs that promote community participation. Understanding the roles and strategies of stakeholders and the advantages and disadvantages of each strategy is crucial for making more effective policy decisions.

• The Journal of Korean Medical History
• /
• v.30 no.1
• /
• pp.11-22
• /
• 2017

This paper is a study on the life and clinical reasoning of Kim Goo Young (1958-2014). Offering a new perspective through his interpretation of Donguibogam (東醫寶鑑), Kim introduced his unique theory of Korean medicine, 'The Theory of Byeongin (病因論)'. Kim recognized the confusing situation of communication between people studying Korean medicine and tried to make a new standard based on the principle that many people can share. 'The Theory of Byeongin' offers a newly constituted "Donguibogam" focusing on 'Byeongin' (病因, pathologic origin) which can be translated as the cause of a disease. In so doing Kim recognized 'Byeongin' as the most important factor in 'Byeonjeung' (辨證, classifying the origin), or the classification method of symptoms. In addition, Kim recognized how 'Byeongin' was considered to be a diseased lifestyle, and tried interpreting. The patient's lifestyle to treat diseases. As a result, 'The Theory of Byeongin' is a theory consisting of an intuitive structure, reducing notable elements like Yin Yang Five Movement theory. The theory's significant characteristic is its easy application in clinical settings due the established core principles which are based on Kim's insight and clinical experience. This study contributes to the understanding of the theoretical and clinical development of Korean medicine through deeper studies on 'The Theory of Byeongin' and Kim's medical theory.

• Journal of the Korean Institute of Rural Architecture
• /
• v.12 no.2
• /
• pp.31-38
• /
• 2010

This study aims to present the basic criterions about the planning of local residential area in the middle or small city with an analysis of several samples in Paris, where is currently realizing many various housing projects and residential area development, especially theirs development methods, form and composition of theses samples and residential areas. At this object, this study was preceded with 3 main contents. Firstly, it has examined the development method, procedure and development samples, which is the precedence step for the organization of dwelling zone. Secondly, after presenting the criterions analysis of residential area's samples as drew the concept related with the presented residential area planning in corresponded cases, it has analyzed about the practical planning factors applied at each samples. Lastly, regarding precedent studies, it has examined the relation between planning factors and theory factors. The residential development in Paris, which was examined by this study, has been achieved through reasonable procedure from the superior concepts to detail planning and concept design for the project and the analysis result like this is expected to use as the basic criterions for the development and planning orientation of local residential area in Korea.

• CELLMED
• /
• v.3 no.3
• /
• pp.23.1-23.3
• /
• 2013

According to the traditional Korean medicine (TKM), kidney has been recognized as the roof of innate endowment because it plays an important role in the birth, growth, sexual reproduction, and aging. Kidney essence insufficiency syndrome (KEIS) is caused when kidney is impaired. KEIS is characterized by retarded development, decreased reproduction, tinnitus, loosening of teeth, and loss of hair and forgetfulness. In traditional Chinese medicine, KEIS mouse model was established by use of threatinjuring the kidney combined with over-fatigue. However, the TKM theory-based KEIS experiment model has not been described correctly. In the present study, we suggest a new KEIS experiment model including following cases; 1) weakness of father essence and mother blood, 2) life nurturing during pregnancy, 3) full-term gestation period.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.19 no.2
• /
• pp.57-73
• /
• 1994

KADS is currently a best known methodology for expert system development is Europe. KADS world sees the expert system development as a modeling activity and uses models to control complexity of the development process. Four layers KADS expertise model is used to describe expert knowledge. But this expertise model in high abstraction level is conceptual and not formalized. This paper has formalized KADS expertise model using set theory and mathematical semantics combined in order to reduce the ambiguity of informal models of expertise, provide a precise means of communication about the model of expertise and point out incompleteness and inconsistency of the model of expertise. Instead of first order predicate calculs, set theory and mathematical semantics are used because they are a more general and have compositive quality.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.1 no.1
• /
• pp.59-65
• /
• 1993

In a spark ignition engine, in order to make research on flame propagation, attentive concentration should be paid on initial combustion stage about the formation and development of flame. In addition, the initial stage of combustion governs overall combustion period in a spark ignition engine. With the increase of the size of flame kernel, it could reach initial flame stage easily, and the mixture could proceed to the combustion of stabilized state. Therefore, we must study the theoretical calculation of minimum flame kernel radius which effects on the formation and development of kernel. To calculate the minimum flame kernel radius, we must know the thermal conductivity, flame temperature, laminar burning velocity and etc. The thermal conductivity is derived from the molecular kinetic theory, the flame temperature from the chemical reaction equations and the laminar burning velocity from the D.K.Kuehl's formula. In order to estimate the correctness of the theoretically calculated minimum flame kernel radius, the researcheres compared it with the RMaly's experimental values.

• Proceedings of the Safety Management and Science Conference
• /
• 2009.04a
• /
• pp.381-391
• /
• 2009

현재 기업에서는 제품인증과 경영시스템인증의 신뢰성 확보가 중요한 과제이다. 이는 제품개발 중심에서 제품 및 프로세스의 통합 개발 중심으로 연구의 필요성을 제시 해주고 있다. 따라서, 정적인 제품인증에서 동적인 시스템인증의 필요성이 대두되면서 신뢰성경영시스템(DMS; Dependability Management System; IEC60300)이 요구되어진다. 제품개발의 프로세스에서 발생되는 신뢰성 문제점들을 해결하기 위하여 트리즈(TRIZ ; Theory of Inventive Problem Solving) 기법을 활용하였다. 본 연구에서는 창의적 문제해결 방법론인 트리즈기법을 활용하여 신뢰성경영시스템에서 제품 및 프로세스 통합개발(IPPD; Integrated Product and Process Development)을 하고자 한다. 결과적으로 창의적 신뢰성경영시스템(CDMS; Creative Dependability Management System)을 제품 및 프로세스 통합개발 모델로 제시한다.

• International Journal of Human Ecology
• /
• v.5 no.2
• /
• pp.13-29
• /
• 2004

Ryff's(1989) psychological well-being measure is used to assess and sometimes compare Korean and American adults, however, there is no information regarding whether its dimensions are psychometrically invariant across, whether its items provide sufficient information for, and whether each item measures identical trait levels in, the two nations. Confirmatory factor analysis on response 1,696 Korean and 3,669 American adults, gave to the measure revealed lack of fit and absence of factorial invariance across the two nations. Item response theory revealed significant variance for items on each factor across two countries that most items yielded limited psychometric information. And that each item measure different trait levels, suggesting that in its present form, the measure might lead to misleading results for, and across the two nations.

• Journal of the Korean Society for Precision Engineering
• /
• v.24 no.7 s.196
• /
• pp.83-89
• /
• 2007

This paper represents a study on the development of the conceptual design for a skateboard by TRIZ. At first the problems of a commercial skateboard was analyzed. And its development objective was defined in connection with the theory of the system improvement trend. The developed conceptual design was compared with a commercial skateboard. The skateboard riding action analysis with a motion capture equipment shows the here developed skateboard more efficient than commercial one.