• 한국지능시스템학회:학술대회논문집
• /
• 한국지능시스템학회 2007년도 추계학술대회 학술발표 논문집
• /
• pp.167-171
• /
• 2007

본 논문은 패턴 분류 문제에 사용되는 퍼지 최대-최소 신경망 방법을 이용하여 특정 집합으로부터 새로운 특정 집합을 추출해내고 추출된 특정 집합으로부터 의미 있는 특정을 선택해 내는 새로운 방법을 제안한다. 퍼지 최대-최소 신경망은 패턴 분류를 위해 주로 사용이 되어 왔지만, 퍼지 최대-최소 신경망을 이용해 특정 집합의 값들을 패턴 공간내의 초상자의 집합으로 변환하고 변환된 초상자들끼리의 인접성을 척도로 단순한 연산을 통한 빠른 특정 집합을 선택하게 된다. 마지막으로 본 논문의 특정 집합 선택 방법을 하지 근전도 신호를 이용한 보행 패턴 분류에 적용해 보고, 그 결과를 기존 여러 특정 집합 선태 방법들과 비교해 봄으로써 제안한 방법의 타당성 및 적용 가능성을 알아본다.

• 한국수학사학회지
• /
• 제23권2호
• /
• pp.23-56
• /
• 2010

본 논문의 목적은 집합론이 메타논리학에 필수불가결하다는 주장, 즉 필수불가결성 논제에 반대하는 것이다. 만일 집합론이 메타논리학에 필수불가결하다면, 집합론을 포함하게 되는 논리적 탐구는 논리학의 가장 근본적인 특성들인 주제중립성과 보편적 적용가능성을 결여하게 되기 때문이다. 논리학의 주제중립성은 논리학의 명제들이 개별 과학과 같은 특정한 지식 분야에 국한되지 않는다는 것을 말하며, 논리학의 보편적 적용가능성은 논리학의 명제들과 추론 규칙들이 모든 과학 분야들과 합리적 담론들에서 사용될 수 있다는 것을 말한다. 나아가 주제중립성과 보편적 적용가능성을 지니기 위해서는, 논리학을 기술하는 메타논리적 용어들과 개념들 역시 이러한 특성들을 지녀야만 한다. 하지만 필수불가결성 논제를 받아들이게 되면, 우리는 논리학이 적용되는 모든 분야에서 집합론의 용어들과 집합론적 개념들이 필수불가결하다는 것을 받아들여야만 한다. 그리고 이는 분명 불합리한 일이다. 필수불가결성 논제가 그럴듯하지 않다는 것을 보이기 위해서 나는 집합과 관련된 존재론적 문제를 살펴볼 것이다. 이러한 탐구는 집합이 어떤 식으로 이해되든지 간에 존재론적으로 보수적인 "논리적 존재자" 로 간주되기 어렵다는 것을 보여줄 것이다.

• 한국수학사학회지
• /
• 제22권4호
• /
• pp.115-128
• /
• 2009

본 논문에서 von Neumann의 공리계를 수정하여 새로운 DVN공리계를 소개한다. 그리고 DVN공리계에서 불가지 류의 존재성을 조사하고, 불가지류와 선택공리의 관계를 논한다.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1998년도 춘계학술발표회논문집(2)
• /
• pp.93-98
• /
• 1998

CANDU 압력관의 집합조직을 원주 방향 집합조직에서 반경 방향 집합조직으로 변화시켜 $K_{IH}$ 를 평가하였다. 집합조직은 평면 변형에 의한 25% 확관 방법으로 번화시켰고 (0002) direct pole figure와 basal pole component (기저면 성분, Kearns number)로 분석하였다. 반경 방향집합조직의 압력관의 $K_{IH}$ 는 2$50^{\circ}C$에서 17MPa√m 이상으로 나타났으며, 이것은 상용 압력관의 $K_{IH}$ =8-10 MPa√m보다 70% 이상 높은 값이다. 반경 방향 집합조직의 압력관에서 나타나는 $K_{IH}$ 거동을 균열 진전면에서의 기저면 성분과 연계하여 분석하였으며, 평면 면형에 따른 집합조직의 변화는 슬립과 쌍정 기구의 작용으로 설명하였다. 본 연구의 결과는 CANDU 압책관의 delayed hydride cracking (DHC) 저항성 관점에서 반경 방향으로 집합조직을 제어하면 매우 효율적이라는 것을 보여 준다.

• 한국재료학회:학술대회논문집
• /
• 한국재료학회 2012년도 춘계학술발표대회
• /
• pp.102.1-102.1
• /
• 2012

Ti 및 Ti 합금은 치과 및 정형외과 등의 분야에서 생체재료로써 다양한 용도로 적용되고 있으며, 보다 안전하고 우수한 특성의 Ti 합금 개발에 대한 관심이 높아지고 있다. 본 연구에서는 Ti-Nb-Ge 합금의 초탄성 특성에 미치는 집합조직의 영향에 대해 조사하였다. 집합조직 제어를 위해 등속 및 이주속 압연을 적용한 후 $850^{\circ}C$에서 30분~2시간까지 어닐링하였다. 광학현미경과 SEM-EBSD를 이용하여 미세조직 및 집합조직을 분석하고, 순환식 인장시험을 통해 시편의 초탄성 특성을 평가하였다. 등속압연 후 어닐링한 시료의 경우 alpha-fiber 집합조직이 발달하는 한편, 이속압연 후 어닐링한 시료는 {113}// 및 {331}의 집합조직이 발달하는 것으로 나타났다. 마르텐사이트 변태에 의한 변형회복능과 집합조직 성분별 강도의 관계를 비교한 결과, alpha-fiber 집합조직이 발달할수록 변형회복능이 증가하는 것으로 나타났다.

• 한국지능시스템학회논문지
• /
• 제10권3호
• /
• pp.242-251
• /
• 2000

퍼지관계 개념을 응용한 BK-퍼지정보검색기법은 형태론에 입각하는 기존의 정보검색기법과는 달리 문서와 용어의 상대적 의미에 근거한 정보검색 기법이다. 그러나 BK-퍼지정보검색기법은 높은 시간복잡도(time complexity)의 검색 연산을 내재하고 있어 실제 대용량의 정보 검색은 사실상 불가능하다. 본 논문에서는 BK-퍼지검색정보모델의 시간복잡도를 낮추기 위해, 축소용어집합(reduced term set)을 이용한 개선된 BK-퍼지정보검색모델(A-FIRM)을 제안한다. 개선된 BK-FIRM은 시스템 처리시간과 신뢰도 간 상층점(trade-off)을 제공한다. 축소용어집합은 용어집합의 부분집합으로서 검색결과의 신뢰도와 밀접한 관계를 가진다. 동일한 크기의 축소용어집합이 주어질 때, 보다 적절한 용어들로 구성된 축소용어집합이 보다 나은 검색 신뢰도를 이끈다. 따라서 보다 적절한 축소용어집합 구성을 위한 축소용어집합 추출방법이 요구된다. 본 논문에서는 축소용어집합 추출방법을 크게 무작위 추출, 규칙에 의한 추출, 인간에 의한 직관적 추출 방법으로 구분하고 검색결과의 신뢰도 변화 형태를 분석한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (1)
• /
• pp.259-261
• /
• 2002

데이터마이닝 분야에서 빈발항목집합 탐사에 관한 연구는 활발히 진행되어 왔지만 여전히 많은 메모리 공간과 시간을 필요로 한다. 특히 apriori 알고리즘에 기반한 방법들은 긴 패턴이 생성될수록 지수적으로 시간과 공간이 증가한다. 최근에 발표된 fp-growth는 일반적인 데이터 집합에서 우수한 성능을 보이나 희소 데이터 집합에서 효율적인 성능을 보여주지 못한다. 본 논문에서는 길이가 2인 빈발항목집합 L2에 기반한 L2-tree 구조를 제안한다. 또한 L2-tree에서 빈발항목집합을 탐사하는 L2-traverse 알고리즘을 제안한다. L2-tree는 L2를 기반으로 하기 때문에 L2가 상대적으로 적은 희소 데이터 집합 환경에서 적은 메모리 공간을 사용하게 된다. L2-traverse 알고리즘은 별도의 추출 데이터베이스를 생성하는 FP-growth와 달리 단순히 L2-tree를 오직 한번의 깊이 우선 탐사를 통해 빈발항목집합을 찾는다. 최적화 기법으로써 길이가 3인 빈발항목집합 L3가 되지 않는 L2 패턴들을 미리 제거하는 방법으로 C3-traverse 알고리즘을 제안하며 실험을 통해 기존 알고리즘과 비교 검증한다.

• 한국정보통신학회논문지
• /
• 제8권5호
• /
• pp.1108-1113
• /
• 2004

‘집합’은 컴퓨터 프로그램의 설계에 자주 사용되는 도구이다. 이런 이유 때문에 최근 ‘집합 제한 언어’도 등장하였다. 본 연구에서는 ‘(Ab)(Cl) 집합 일치화’ 문제를 소개하고 ‘집합 등식 다시쓰기(rewrite)’를 사용하여 집합 일치화를 Prolog 언어를 사용하여 구현하였다. 본 연구에서는 순차적 언어에서는 구현하기 힘들었던 집합 일치화가 Prolog 언어와 같은 논리 언어에서는 비결정성 제어 구조와 리스트 자료 구조를 사용하여 쉽게 구현 가능함을 보였다. 본 연구는 기존 구현이 고가의 상업용 Prolog를 사용한 것과는 달리 GNU 일반 공용 라이센스(GPL)를 가지는 Ciao Prolog를 사용하였기 때문에 누구나 무료로 사용할 수 있다는 장점도 가지고 있다. 현재 본 연구의 결과를 사용하여 ‘집합제한 언어’가 구현 중이다.

• 한국컴퓨터정보학회논문지
• /
• 제20권3호
• /
• pp.107-113
• /
• 2015

본 논문은 되먹임 집합 문제인 무방향 그래프의 정점과 간선, 방향 그래프의 노드와 호 문제들 중 간선 문제에 한정한 최소 원소개수 되먹임 간선 집합과 최소 가중치 되먹임 간선 집합 문제의 최적 해를 다항시간으로 얻는 알고리즘을 제안하였다. 제안된 알고리즘은 그래프의 간선 집합은 최대신장트리 간선 집합과 최소 되먹임 간선집합의 합이 되는 특성을 적용하였다. 즉, 최소 되먹임 간선집합은 최대신장트리 간선 집합의 여집합인 특성이 있다. 제안된 알고리즘은 최소신장트리를 얻는 Kruskal 알고리즘을 변형시켜 간선들의 가중치를 내림차순으로 정렬시켜 사이클이 발생하지 않는 간선은 최대신장트리 간선 집합 MXST로, 사이클이 발생하는 간선은 되먹임 간선 집합 FES로 양분하는 방법으로 최적 해를 얻었다. 제안된 알고리즘은 그래프의 간선 수 만큼 수행하는 선형시간 복잡도를 갖는 특징이 있다. 간선 가중치가 없는 경우와 가중치가 있는 다양한 무방향 그래프에 제안된 알고리즘을 적용한 결과 100% 쉽게 최적 해를 얻는데 성공하였다.

• 한국산학기술학회논문지
• /
• 제3권3호
• /
• pp.177-182
• /
• 2002

이 논문에서는 맨델브로트집합의 개념을 n차 복소 다항식 Zⁿ+c(c∈C, n≥2)에 확장하여 n차 분기집합 및 줄리아 집합을 정의하고, 이 집합의 대칭성, 유계성 및 연결성 등에 관하여 이론적으로 연구하였다. 그 연구결과를 이용하여 n차 분기집합 및 줄리아 집합을 효율적으로 작성하는 알고리즘을 고안하고, C++컴퓨터 언어를 사용하여 마이크로소프트사의 윈도우 운영체제하에서 사용자가 마우스를 조작하여 n차 분기집합 및 줄리아 집합을 구성할 수 있도록 소프트웨어 MANJUL을 개발하는 것이 본 논문의 목적이다. MANJUL 소프트웨어의 중요한 특징으로서 CUI(graphical user interfaces) 환경에서 단순한 마우스 조작을 통하여 n차 분기집합 및 줄리아 집합을 작성하고 그 일부분을 확대함은 물론, n차 분기집합 성분의 주기등을 계산 및 저장함으로써, 이 집합들의 다양한 이론적 성질과 기하학적 구조를 시각적으로 확인할 수 있도록 하였다.