• 논리연구
• /
• 제12권1호
• /
• pp.1-24
• /
• 2009

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

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회 1993년도 추계학술대회발표논문집; 서강대학교, 서울; 25 Sep. 1993
• /
• pp.153-161
• /
• 1993

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

• 디지털융복합연구
• /
• 제19권10호
• /
• pp.377-382
• /
• 2021

X와 Y사이의 퍼지 관계를 곱집합 X × Y의 퍼지 부분집합으로 Zadeh에 의해 처음으로 소개된 이후 퍼지집합에 대한 개념은 자연과학 및 컴퓨터과학에서 많은 연구성과가 이루어져 왔다. 그 결과 Muralli와 Nemitz는 동치관계 및 함수와 관련하여 퍼지관계를 연구하였고, Ounalli와 Jaoua는 중요한 수학적 도구로서 퍼지 다이펑션날 관계를 정의하여 소프트디자인과 데이터베이스 이론에서 중요한 역할을 하는 것으로 증명되었으며, 또한 프로그램 표식과 프로그램 정확도를 정의하는데 유용한 것으로 밝혀졌다. 본 논문에서는 한 집합 위에 퍼지 디터미니스틱 관계를 정의하여 퍼지 디터미니스틱 관계를 레벨 부분집합으로 특성화 하였고, 퍼지 디터미니스틱 관계와 관련하여 일부 성질을 증명하였다. 특히, 퍼지 디터미니스틱 관계와 퍼지 함수가 동치임을, 퍼지 함수가 퍼지 다이펑션날 관계가 동치임을 증명하였다.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제20권2호
• /
• pp.7-13
• /
• 1982

• 한국지능시스템학회논문지
• /
• 제11권2호
• /
• pp.141-147
• /
• 2001

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

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2000년도 춘계학술대회 학술발표 논문집
• /
• pp.307-310
• /
• 2000

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

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 춘계학술발표논문집 (하)
• /
• pp.1829-1832
• /
• 2003

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

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 1995년도 제7회 한글 및 한국어 정보처리 학술대회
• /
• pp.258-263
• /
• 1995

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

• 한국재난정보학회 논문집
• /
• 제14권3호
• /
• pp.305-314
• /
• 2018

연구목적: 동치환공법은 유사한 동다짐공법에 비해 동치환 직경, 심도, 간격, 타격에너지(중추 무게와 낙하고), 지반강도 증대 효과, 지반 개량효율 등에 대한 연구 및 실증이 부족하다. 연구방법: 본 연구에서는 실트질 점토지반을 연구 대상 지반으로 선정하여 예비 동치환시공과 본시공 동치환의 2가지 경우로 나눠서 지반개량을 실시하고 효과를 분석하였으며, 결과를 바탕으로 적정 개량심도 결정 및 개량효과에 미치는 인자에 관하여 연구하였다. 연구결과: 실트질 점토 지반을 대상으로 동치환 적정 심도 결정, 지반개량효과에 끼치는 특성을 상세히 분석하여 동치환 시 적용할 수 있는 개량심도 ($D_R$) 관계식을 제안하였다. 결론: 동치환공법을 실트질 점토 지반에 적용한 경우, 동다짐공법의 낙하에너지보다 1.25~2.5배 증가시켜야 하는 것으로 나타났다.

• 한국수학교육학회지시리즈C:초등수학교육
• /
• 제25권4호
• /
• pp.459-475
• /
• 2022

등호와 동치는 초등 수학에서 가장 기본적이면서도 핵심적인 필수 개념이지만 이를 지도하는 구체적인 방안에 대한 연구는 드물다. 이에 본 연구에서는 등호 및 동치를 강조하여 지도하기 위한 교수·학습 요소(관계적 기호로서 등호의 의미 강조하기, 등식을 추론의 대상으로 다루기, 미지수가 포함된 등식 활용하기)를 중심으로 초등학교 수학 교과서를 분석하였다. 특히 본 연구에서는 2022년부터 적용된 2015 개정 3~4학년군 검정교과서 10종을 분석하여 등호 및 동치를 지도하는 방안에 대해 전반적인 경향성과 특징을 살펴보았다. 그 결과, 2015 개정 3~4학년군 검정교과서에서는 전반적으로 관계적 기호로서 등호의 의미를 강조하는 활동이 가장 많이 구현되었고, 등식을 추론의 대상으로 다루거나 미지수가 포함된 등식을 활용하는 활동은 드물었다. 분석 결과를 중심으로 초등학교 수학 교과서에서 등호 및 동치를 의미 있게 지도하는 방안에 대한 시사점을 논의하였다.