• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.46-48
• /
• 2001

웹 캐슁은 캐쉬 액새스턱 통해 웹 서버와 네트워크의 부하를 감소시켜 웹 응용을 가속화하는 중요한 기술이다. 전통적인 데이타 캐슁과 마찬가지로, 웹 캐슁은 캐쉬 일관성 유지라는 문제를 안고 있다. 그러나, 기존의 캐슁과는 달리 웹 캐슁에서는 웹 서버 데이타 갱신을 지연하여 반영하는 약 일관성이 허용된다. 이러한 조건은 TTL(time-to-live, 캐쉬 서버가 캐쉬된 데이타 아이템이 유효하다고 기대하는 시간)이 일관성 유지를 위해 사용되는 것을 허용한다. 이것은 효과적인 TTL 추정방법의 개발이 필요하도록 하였다. 그러나, 현재가지 소개된 두 가지 추정 방법(고정 TTL방법과 휴리스틱 방법)은 직관적 해석이 어렵고, 이론적인 추정근거가 빈약하다. 본 논문에서는 이러한 단점을 보완하기 위하여 확률적 분석에 기 반하여 정형적이고, 직관적인 의미를 갖는 위험도 기반 TTL 설정 방법을 제안한다. 이 방법에서는 위험도를 TTL 이내에 원본 데이타가 갱신될 확률로 정의하고, 갱신분포를 포아송 과정으로 가정한 후, 주어진 위험도를 TTL 식을 유도한다. 위험도 기반 TTL 설정 방법은 기존방법과 비교하여 위험도란 개념을 통하여 보다 직관적이고, 확률적 유도를 통하여 TTL 설정방법은 기존방법과 비교하여 위험도란 개념을 통하여 보다 직관적이고, 확률은 유도를 통하여 TTL 설정에 대한 이론적인 근거를 제공한다.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2008.04a
• /
• pp.311-312
• /
• 2008

Fuzzy logic is introduced by Zadeh in 1965. It has been continuously developed by many mathematicians and knowledge engineers all over the world. A lot of papers concerning with the history of mathematics and the mathematical education related with fuzzy logic, but there is no paper concerning with Zadeh. In this article, we investigate his life and papers about fuzzy logic. We also compare two-valued logic, three-valued logic, fuzzy logic, intuisionistic logic and intuitionistic fuzzy sets. Finally we discuss about the expression of intuitionistic fuzzy sets.

• Journal of Korea Society of Industrial Information Systems
• /
• v.5 no.4
• /
• pp.73-80
• /
• 2000

In this thesis we present the way of visually intuitive interface to the web site users through the comparison of NIN web site with clearly intuitive web site. Improving the web site which has NIN problem to visually intuitive we can achieve web site's visitors who want to buy something got a feeling of graphical excellence and understand web site navigational structure easily through the intuitive navigational design and complete purchasing easily therefore these are to be the basis of the internet business systems goal which is assumed as business success. In a experiment we examine web site's case study and to make an implementation we use flash to solve NIN problem which is improved in a visually intuitive.

• 대한공업교육학회지
• /
• v.34 no.1
• /
• pp.129-154
• /
• 2009

The purpose of this study was to find the effect of intuitive free association and systematic free association on the creativity of high school students group in the conceptual design process. Based on this study result, the conclusion can be summarized as follows. 1. There was meaningful relation between intuitive free association and creativity factor of high school students. Mean value of experimental group A 's creativity and it's factor originality, practicality, elaboration, and fluency which treated intuitive free association was increased. 2. There was meaningful relation between systematic free association and creativity factor of high school students. Mean value of experimental group B 's creativity and it's sub factors: originality, problem solving, elaboration, and fluency which was treated systematic free association was increased. 3. It was found that two different divergent thinking does not show any meaningful difference in creativities of two groups. However, the meaningful difference was found in post creativity test in each groups sub-factors. There was meaningful difference in practicality factor, though there was no meaningful difference in originality, elaboration, fluency factors. Using the obtained results, it was concluded that intuitive thinking and systematic thinking play different roles in practicality which is one of sub-factors of the creativity of high school students. Consequently, it can be concluded that systematic thinking which leads students to take a step to solve a given problem can elicit more scientific thinking, and helps students create more practical solution in problem solving than intuitive thinking that emphasize the quantitative aspect of ideas.

• Communications of Mathematical Education
• /
• v.33 no.3
• /
• pp.335-354
• /
• 2019

The purpose of this study is to explore alternative ways of teaching derivatives in a way that emphasizes intuition. For this purpose, the contents related to derivatives in Korean curriculum and textbooks were analyzed by comparing with contents in Singapore Curriculum and textbooks. Singapore, where the curriculum deals with derivatives relatively earlier than Korea, introduces the concept of derivatives and differentiation as the slope of tangent instead of the rate of instantaneous change in textbook. Also, Singapore use technology and inductive extrapolation to emphasize intuition rather than form and logic. Further, from the results of the exploration of other foreign cases, we confirm that the UK and Australia also emphasized intuition in teaching derivatives and differentiation. Based on the results, we discuss the meaning and implication of introducing derivatives and teaching differentiation in a way that emphasizes intuition. Finally, we propose the implications for the alternative way of teaching differentiation.

• Journal for History of Mathematics
• /
• v.21 no.1
• /
• pp.29-44
• /
• 2008

Fuzzy logic is introduced by Zadeh in 1965. It has been continuously developed by many mathematicians and knowledge engineers all over the world. A lot of papers concerning with the history of mathematics and the mathematical education related with fuzzy logic, but there is no paper concerning with Zadeh. In this article, we investigate his life and papers about fuzzy logic. We also compare two-valued logic, three-valued logic, fuzzy logic, intuisionistic logic and intuitionistic fuzzy sets. Finally we discuss about the expression of intuitionistic fuzzy sets.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.256-258
• /
• 2002

본 논문은 주어진 문서집합에 대한 유사도 검사를 통해 주어진 문서집합의 내용을 사용자가 직관적으로 파악할 수 있도록 하는 클러스터링 시각화 알고리즘에 관한 것이다. 제안하는 방법의 핵심은 주어진 문서 집합의 각 문서 사이의 유사도를 측정하여 각 문서 주변의 밀집도를 파악하고, 밀집도가 높은 문서들을 묶어 하나의 클러스터로 구성한 후, 구성된 각각의 클러스터의 키워드를 제공함으로 사용자가 해당 문서 집합의 내용을 보다 직관적으로 파악할 수 있도록 한 것이다. 우리는 TIME 데이터 집합에 대해 제시하는 알고리즘을 적용해 실험한 후 그 결과를 기존의 spherical k-means에 의해 클러스터링한 결과와 비교하여 제안하는 방법이 사용자에게 더 나은 시각화 정보를 제공함을 알아보았다.

• Korean Journal of Logic
• /
• v.16 no.3
• /
• pp.407-436
• /
• 2013

I examine the notion of truth in the intuitionistic type theory and provide a better explanation of the objective intuitionistic conception of mathematical truth than that of Dag Prawitz. After a brief explanation of the distinction among proposition, type and judgement in comparison with Frege's theory of judgement, I examine the judgements of the form 'A true' in the intuitionistic type theory and explain how the determinacy of the existence of proofs can be understood intuitionistically. I also examine how the existential judgements of the form 'Pf(A) exists' should be understood. In particular, I diagnose the reason why such existential judgements do not have propositional contents. I criticize an understanding of the existential judgements as elliptical judgements. I argue that, at least in two respects, the notion of truth explained in this paper is a more advanced version of the objective intuitionistic conception of mathematical truth than that provided by Prawitz. I briefly consider a subjectivist's objection to the conception of truth explained in this paper and provide an answer to it.

• Korean Journal of Logic
• /
• v.22 no.3
• /
• pp.351-395
• /
• 2019

Hempel's original intuitions about the raven's paradox are summed up in three ways. The first is known as the paradoxical conclusion: If one observes that an object a - about which nothing is antecedently known - is a non-black non-raven, then this observation confirms that all ravens are black. The second is an intuitive verdict of the misled conclusion of the paradox: If one observes that an object a - which is known to be a non-raven - is non-black (hence, is a non-black non-raven), then this observation does not confirmationally affect that all ravens are black. The third is a comparative claim between the two intuitions: the degree of confirmation appearing in the first intuition is greater than the degree of confirmation in the second intuition. The Standard Bayesian Solution of the paradox is evaluated to fleshed Hempel's intuitions out by establishing the first intuition. However, such an evaluation of this solution should be further analyzed because Hempel's intuition is not the only one. The solution of paradox does not establish the second intuition in a strict sense. However, I think the Bayesian solution will establish the second intuition based on its typical strategy of quantitative vindication. If only quantitative vindication is accepted, this evaluation of the solution remains valid. Nevertheless, the solution fails to establish the third intuition. In this article, I propose a new way to apply the Bayesian method to establish Hempel's intuitions, including the third intuition. If my analysis is correct, the Standard Bayesian Solution of the raven's paradox could indeed flesh Hempel's intuitions out by denying one of the assumptions considered essential.

• Journal of the Korea Convergence Society
• /
• v.8 no.9
• /
• pp.85-91
• /
• 2017

The purpose of this study was conducted to identify differences of nursing professionalism and nurse's image before and after convergence-based nursing history and culture program. Study subjects were 29 juniors in B nursing college. The convergence-based nursing history and culture programs had been provided 6 times. In this study, the score of nursing professionalism and nurses' image were significantly increased after program. Among the sub-items of nursing professionalism, the self-concept of professionalism, the social awareness, the professionalism of nursing showed significant improvement, and among the sub-items of nurse's image, the role of nurse, the interpersonal relationship of nurse were statistically significant improvement after program. Nursing professionalism and Nurse's image had significant positive relationship with each other. Therefore this program could be a good extra-curriculum and it is necessary to develop more variable contents.