• Korean Journal of Logic
• /
• v.12 no.1
• /
• pp.1-24
• /
• 2009

이 논문에서 우리는 집합의 두 점 사이의 관계를 소개하고, '가깝다'와 '충분히 가깝다'의 위상적인 개념을 다양하게 정의할 수 있음을 보인다. 또한 직관주의 논리와 관계가 있는 De Morgan frame을 소개하고 pre-order에 의하여 정의된 동치관계로 만들어진 동치류들의 집합을 기저로 생성된 위상 공간이 extremally disconnected 임을 보인다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1993.10a
• /
• pp.153-161
• /
• 1993

시간변동모수 공적분(Time-Varying Parameter Cointegration) 모형에서 시간변동모수가 안정적인 확률과정을 따르는 경우 BI(bi-integrated) 과정을 오차항으로 갖는 고정모수 공적분 모형과 동일하다. 이 때 BI과정은 ARCH 과정과 조건부분산이 동치관계에 있음을 이용하여 소득과 비내구재(서비스) 소비의 시간변동모수 공적분 관계를 추정하였다. 이로부터 합리적기대 항상소득가설을 검증한 결과 고정모수 공적분 모형과 달리 가설을 기각할 수 없는 것으로 나타났다.

• Journal of Digital Convergence
• /
• v.19 no.10
• /
• pp.377-382
• /
• 2021

A fuzzy relation between X and Y as fuzzy subset of X × Y was proposed by Zadeh. Subsequently, several researchers have applied the notion of fuzzy subsets to various branches of mathematics and computer sciences. Murali an Nemitz have studied fuzzy relations connected with fuzzy equivalence relations and fuzzy functions. Ounalli and Jaoua defined a fuzzy difunctional relation on a set. difunctional relations are versatile mathematical tool, which can be used in software design and in database theory. Their work have revealed the usefulness of difunctional relations in program specification and in defining program correctness. The main goal of this paper is to define a fuzzy deterministic relation on a set, characterize the fuzzy deterministic relation as its level subsets and investigate some properties in connection with fuzzy deterministic relation. In particular we prove that a fuzzy relation R is fuzzy deterministic iff R is a fuzzy function.

• The Mathematical Education
• /
• v.20 no.2
• /
• pp.7-13
• /
• 1982

• Journal of the Korean Institute of Intelligent Systems
• /
• v.11 no.2
• /
• pp.141-147
• /
• 2001

소프트웨어의 측정값에 근거하여 소프트웨어 품질에 관한 의사결정을 할 때, 동치관계의 요구조건인 추이적(transitive) 특성이 항상 만족되는 것은 아니다. 순환수(cyclomatic number)가 거의 비슷한 프로그램에서, 하나의 \"구조적인\" 프로그램 범주에 속하고 또 다른 하나는 \"비구조적인\" 프로그램 범주에 속한다고 명확히 분류할 수 있는가하는 점이다. 따라서, 본 연구에서는 동치관계보다는 허용적 관계를 만족하는 허용적 러프집합에 근거한 소프트웨어 분류기준을 제시하고자 한다. 분류기준을 생성하기 위한 실험 데이터 집합을 수집하고, 집합 내의 각 원소에 관한 허용적 클래스들을 생성한 후, 각 허용적 클래스들의 중심값을 클러스터링하여 분류기준을 생성한다. 생성된 분류기준을 또 다른 실험 집합에 적용하여 비교 분석한 결과 생성된 분류기준이 타당함을 보여준다.생성된 분류기준이 타당함을 보여준다.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2000.05a
• /
• pp.307-310
• /
• 2000

소프트웨어의 측정값에 근거하여 소프트웨어 품질에 관한 의사결정을 할 때, 동치관계의 요구조건인 추이적(transitive) 특성이 항상 만족되는 것은 아니다. 순환수(cyclomatic number)가 거의 비슷한 프로그램에서, 하나는 "구조적인" 프로그램 범주에 속하고 또 다른 하나는 비구조적인 프로그램 범주에 속한다고 명확히 분류 할 수 있는가하는 점이다. 따라서, 본 연구에서는 동치관계보다는 허용적 관계를 만족하는 허용적 러프집합에 근거한 소프트웨어 분류 기준 제시하고자 한다. 분류기준을 생성하기 위한 실험 데이터 집합을 수집하고, 집합 내의 각 원소에 관한 허용적 클래스들을 생성한 후, 각 허용적 클래스들의 중심값을 클러스터링하여 분류기준을 생성한다. 생성된 분류기준을 또 다른 실험 집합에 적용하여 비교 분석하여 생성된 분류기준이 타당함을 보여준다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05c
• /
• pp.1829-1832
• /
• 2003

본 연구는 유의어 매트릭스를 이용하여 질의의 확장을 통한 컴포넌트 검색 과정을 기술하였다. 컴포넌트 검색은 질의를 입력하면 질의의 확장이 이루어지고 컴포넌트 사이의 신뢰도를 측정하여 검색한다. 신뢰도 계산을 위해서는 질의와 컴포넌트 사이에 유사한가를 나타내는 동치관계, 클래스의 가중치와 동치관계 값을 이용한 포함관계, 그리고 유사도를 계산한다. 끝으로 이들 값을 이용하여 신뢰도를 계산한 후 이 신뢰도 값에 의하여 유사 컴포넌트들을 검색하여 유사도 우선순위로 컴포넌트가 검색된다.

• Annual Conference on Human and Language Technology
• /
• 1995.10a
• /
• pp.258-263
• /
• 1995

마음과 기계의 관계에 대한 $G{\ddot{o}}del's$의 선언결론(disjunctive conclusion)은 마음과 정보처리형식체계의 논리적 동치성을 함의하고 있다. 그리고 $G{\ddot{o}}del's$의 불완전성 정리(Incompleteness Theorems)에 따르면 마음과 정보처리형식체계의 논리적 동치성은 무모순이며, 동치성 반증의 이론은 그 모델을 가질 수 없다.

• Journal of the Society of Disaster Information
• /
• v.14 no.3
• /
• pp.305-314
• /
• 2018

Purpose: Dynamic Replacement Method currently lacks of sufficient research, implementation cases, and case histories, compared with other comparable methods, such as Dynamic Compaction Method. Method: In this study, for Dynamic Replacement Method, the effective improvement depth and improved strength were analyzed for silty clayey soils. Results: Testbed test was performed to verify the effectiveness of Dynamic Replacement Method followed by the main dynamic replacement implementation on real construction site. Conclusion: A The effects of changes of soft ground depth, dynamic replacements' diameter, depth, spacing, and applied energy on dynamic replacement efficiency in silty clays were assessed and the followings were found: Empirical coefficient for soil $n_R$ of Dynamic Replacement Method was within the range of 0.14~0.32 and its ${\sqrt{WH}}$ is recommended to be 1.25~2.5 times of those from Dynamic Compaction Method.

• Education of Primary School Mathematics
• /
• v.25 no.4
• /
• pp.459-475
• /
• 2022

The equal sign and equivalence are the most basic and core concepts in elementary mathematics, but there has been lack of research on how to teach these concepts with textbooks. Given this, this study analyzed elementary mathematics textbooks in terms of three instructional elements (i.e., emphasizing the meaning of the equal sign as a relational symbol, dealing with an equation as an object for reasoning, and using an equation with a missing value). In particular, this study analyzed 10 different mathematics textbook series that are newly used in 2022 and examined the overall trends and characteristics for teaching the equal sign and equivalence. The results of this study showed that the activities emphasizing the meaning of the equal sign as a relational symbol were most noticeable but the activities dealing with an equation as an object for reasoning or using an equation with a missing value were relatively rare. Based on the results of the analysis, this study provides textbook writers with implications on what to further consider in covering the equal sign and equivalence.