• 한국산업정보학회논문지
• /
• 제16권3호
• /
• pp.47-56
• /
• 2011

유전자 알고리즘을 문서 클러스터링에 적용하기 위해서는 적절한 개체 구조가 필요 하다. 기존의 유전자 알고리즘을 이용한 문서 클러스터링(DCGA)은 센트로이드 벡터 형식의 개체 구조를 사용하였다. 새로운 유전자 알고리즘을 이용한 문서 클러스터링(NDAGA)은 문서 할당 형식의 개체 구조를 사용한다. 본 논문에서는 문서 클라스터링에 더 적합한 개체 구조와 연산을 결정하기 위해 두 개체 구조의 차이에 따른 연산, 연산량, 클러스터링 수행 시간, 성능을 구체적으로 비교, 분석한다. 본 논문에서 수행한 다양한 실험에서 NDCGA가 DCGA와 비교하여 15%정도 더 빠른 수행 시간과, 약 5~10% 정도 더 높은 성능을 보여, 문서 할당 형식의 개체 구조가 센트로이드 벡터 형식의 개체 구조 보다 문서 클러스터링에 적합한 것을 증명한다. 또한 NDCGA는 전통적인 클러스터링 알고리즘들(K-means, Group Average)에 비해서 15~20% 더 좋은 성능을 보였다.

• 호남수학학술지
• /
• 제1권1호
• /
• pp.61-75
• /
• 1979

n-차원(次元) $C^{**}$ 다양체(多樣體)에서 얻어진 미분형식(微分形式)과 외미분(外微分)에 의하여 Rhan complex가 얻어지고 이것으로부터 얻어진 Cohomology를 Rham cohomology라 한다. n차원(次元) $C^{**}$ 다양체(多樣體)의 위상적(位相的) 구조(構造)만으로 정의(定義)되여진 Čech cohomology가 있는바 이것은 다양체(多樣體)의 피복(被覆)에 따라 그 cohomology 군(群)이 달라지는 것이 흠이다. 여기서는 Rham cohomology와 단순피복(單純被覆)을 취(取)하였을때의 Čech cohomology가 동형(同型)이 된다는 것의 증명(證明)의 개요(槪要)를 소개(紹介)하고 이것을 이용(利用) Rham cohomology ring과 Čech cohomology ring이 동형(同型)임을 증명(證明)한다. 그리고 이 de Rham 이론(理論)이 기하(幾何) 및 해석학(解析學)에 활용(活用)되는 일단(一端)을 기술(記述)하여 볼 예정(豫定)이다.

• 논리연구
• /
• 제15권1호
• /
• pp.155-190
• /
• 2012

힐베르트의 프로그램에 관한 한, 비트겐슈타인의 생각의 발전 과정에는 뭔가 중요한 차이가 있는 것처럼 보인다. 1929년 비트겐슈타인이 철학에 복귀하는 과정에서 빈 학파의 슐리크와 바이즈만을 만나 함께 토론한 내용을 정리한 "비트겐슈타인과 빈 학파", 또 그 과정에서 비트겐슈타인이 자신의 생각을 정리하여 쓴 "철학적 고찰"과 "철학적 문법"에서의 비트겐슈타인의 주요주장은 1939년에 행한 "수학의 기초에 관한 강의", 또 이 강의를 전후해서 비트겐슈타인이 쓴 "수학의 기초에 관한 고찰"에서의 비트겐슈타인의 생각과 중요한 차이를 보이고 있기 때문이다. 나는 그 차이가 무엇인지를 보이기 위해서 먼저 힐베르트의 프로그램과 형식주의를 간략하게 살펴보고자 한다. 다음으로 나는 비트겐슈타인이 힐베르트의 형식주의로부터 어떤 영향을 받았으며, 또 그것을 어떻게 비판했는지를 조명할 것이다. 또한 나는 힐베르트의 프로그램에 대해서 중기 비트겐슈타인이 어떻게 비판했는지를 조명하고자 한다. 우리는 중기 비트겐슈타인이 힐베르트 프로그램에 대해서 칸토어의 집합론에 대해 했던 전기 비트겐슈타인의 주장만큼이나 과격한 주장을 했다는 것을 확인하게 될 것이다. 그러나 후기 비트겐슈타인은 더 이상 그러한 과격한 주장을 하지 않는데, 나는 중기 비트겐슈타인의 주장을 직접 비판함으로써, 또 비트겐슈타인 자신이 스스로 어떤 비판을 했을지를 논의하면서, 후기 비트겐슈타인이 왜 더 이상 그러한 주장을 하지 않는지 그 이유를 조명하고자 한다.

• 기록학연구
• /
• 제75호
• /
• pp.249-297
• /
• 2023

아카이브는 시민들이 아카이브 안에서 기록을 읽을 수 있는 기회를 제공해야 한다. 그런데 이상하지 않은가. 당연한 말이기도 하지만, 열람을 통해 이미 수행하고 있기 때문이다. 그러나 <아카이브에서 기록 읽기>를 탐색하는 이 글은, 열람이 오히려 아카이브에서 다양하게 추진할 수 있는 기록읽기를 방해한다고 보고 있다. 그래서 이 글에서는 아카이브에서 기록읽기를 새로운 각도에서 볼 것을 주장하고 있다. 그 대안적 논의로 제시한 것은 <이야기 형식의 기록읽기>이다. 이 글에서는 기록읽기에 적합한 이야기 형식을 찾기 위해, 시어터(theater)를 모티브로 삼았다. 시어터는 "공연, 동시에 공연을 하는 장소"의 뜻이다. 시어터에 주목하는 데에는 이유가 있다. 그것은 아카이브도 이야기 작업에 참여할 수 있다는 것을 증명할 필요가 있기 때문이다. 아카이브는 자체적으로 보유하고 있는 기록을 이용해 이야기 실천을 할 수 있다. 이때 중요한 것은 기록이다. '기록을 기반으로 이야기 작업을 할 수 있다'는 것, 이것이 다른 분야에서 할 수 없는 아카이브만의 특이성이기 때문이다. 그렇다면, 아카이브도 자신의 고유한 이야기 실천방안을 가지고 사회 곳곳에서 전개되는 이야기 실천에 합류할 수 있을 것이다. 한편, 이야기 형식의 기록읽기는 비단 이야기 작업의 효과만 내지는 않을 것이다. 아카이브의 본령인 기록이라는 이 존재에 대해서도, 그것이 얼마나 가치가 있는지 알려줄 것이다. 이야기 작업은 사람들이 아카이브에서 보유하고 있는 기록을 그들의 삶으로 수용하여 체화할 수 있는 기회가 될 것이다.

• 정보보호학회논문지
• /
• 제22권5호
• /
• pp.959-974
• /
• 2012

그룹 서명 기법은 서명자의 익명성을 제공하기 위해서 만들어졌지만, 연산 및 공간(서명 길이) 효율성이 높지 않을 뿐만 아니라 복잡한 구성, 제한된 사용자 관리 등으로 인하여 실제 응용 가능성은 많지 않았다. 강전일, 황정연 등은 이러한 이유에서 그룹 서명 기법을 실제로 이용하기 더 쉽도록 지역 연결성을 도입하는 연구를 진행하였다. 이 논문에서는 기존의 연구에서 수행하지 못했던 지역 연결성에 대한 구체적인 성질을 파악하고, 지역 연결성을 갖는 특별한 사용자(개체)에 대한 보안성의 형식적인 증명을 시도하였다.

• 한국구조물진단유지관리공학회 논문집
• /
• 제12권1호
• /
• pp.109-116
• /
• 2008

탄소섬유시트의 부착성능을 조사하는 방법으로써 중앙을 절단한 보 공시체를 이용한 휨 거동 형식의 시험기를 개발하여, 콘크리트의 압축강도를 변수로 정적 재하 실험을 실시하였다. 탄소섬유시트의 파단의 결과를 이용하여 이 시험기의 검증과 함께 전단부착강도의 산출식을 도출하려고 노력 하였다. 그 결과, 첫 번째로 새로운 형식의 시험기에 의한 부착강도시험의 타당성이 증명되었다. 두 번째는 CFS 표면 변형률의 결과로부터 구해진 전단부착강도는 2종류의 경향이 있음이 발견되었다. 그 데이터 중에서 비교적 안정성이 높은 전단부착강도의 평균치는 3.41MPa, 하한치는 2.11MPa이었다. 이번 실험에서는 콘크리트의 강도가 전단부착강도에 미치는 특별한 영향을 볼 수 없었다.

• 의료법학
• /
• 제21권1호
• /
• pp.3-32
• /
• 2020

판례는 의사의 위험설명의무 위반에 대하여 그것과 환자의 동의 사이의 인과관계가 불분명한 때에는 위자료를 지급할 의무를 지우고, 인과관계가 증명되는 경우에는 민사상 전손해배상, 형사상 업무상과실치사상의 책임을 묻는다. 그러나 어느 경우든 설명하지 아니한 위험이 실현될 것을 요구한다. 그 결과 대부분의 사안에서 위자료책임이 인정되었는데, 이는 위험설명의 대상이 되는 위험을 매우 넓게 인정하는 또 다른 판례와 결합하여 의료과오가 증명되지 아니할 때 우회적·간접적으로 일정 부분 배상을 확보하는 사실상의 기능을 갖는다. 그러나 의사의 설명의무가 의료문화로 정착해가면 갈수록 설명의무 위반이 줄어들고 그 결과 어쩌다 우연적으로 약간의 배상을 제공하는 외에는 오히려 설명대화를 위험의 형식적 나열로 변질시키는 부작용이 두드러지게 된다. 본래 설명의무는 환자의 자기결정을 돕기 위한 것이므로 발생한 악결과가 설명의무 위반에 귀속되는지 여부도 환자의 구체적 자기결정과정을 고려하여 가려야 한다. 즉, 환자가 특정 위험에 대하여 특별한 선호를 갖고 있는 경우에는 그 위험이 제대로 설명되었는지, 그리고 제대로 설명되지 아니한 바로 그 위험이 실현되었는지를 보아 그것이 인정되는 경우 전손해배상을 인정함이 옳고, 그 이외의 경우, 특히 환자가 전체적으로 자신이 감수하는 수준의 위험과 기대효과에 노출된 것인지에만 관심을 갖는 경우에는 개개의 위험의 설명 여부나 그 실현 여부를 문제 삼지 아니하는 것이 옳다. 뒤의 경우 세부사항을 설명하지 아니하였는데 그 위험이 실현되었다 하여 인과관계와 귀속관련을 고려하지 아니한 채위자료 상당의 책임을 인정하는 것은 정당화되기 어렵다. 이러한 점은 형사법에서 피해자 승낙에 의한 위법성조각에도 타당하다. 이 경우 이른바 가정적 승낙은 위법성조각사유로서 동의의 요건 자체에 흡수되고 독자적인 항변이 되지 아니하는 것이다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2004년도 춘계학술대회 논문집 전기기기 및 에너지변환시스템부문
• /
• pp.262-265
• /
• 2004

프로토콜 명세의 검정과 적합성 시험은 프로토콜 개발 과정에서 가장 중요한 부분으로, 명세에 규정되어진 시스템 기능의 정확성을 향상시키는데 사용되는 상호 보완 기술이다. 본 논문에서는 유한상태 레이블 천이시스템(LTS:Labeled Transition System)으로 명세화된 철도 신호제어용 프로토콜 Type 1 모델의 안전성 및 필연성 특성을 모형검사 기법에 의해 검정하였고, 실제적으로 교착상태의 유무나 초기 상태에서 임의의 상태로 도달 가능한지의 검사를 실험적으로 증명하였다. 구현되어진 형식 검정기는 Modal mu-calculus를 사용하며 Modal 논리로 표현된 특성이 명세에 대해 올바른지 아닌지를 검정할 수 있다. 또한 검정되어진 프로토콜 명세로부터 HO(Unique Input Output) 방법fl 의한 적합성 시험 계열 생성 방법을 제시하였다.

• 한국학교수학회논문집
• /
• 제11권3호
• /
• pp.337-362
• /
• 2008

중등학교에서 기하영역은 학생들의 창조적인 사고력을 신장시킬 수 있는 중요한 영역이다. 기하학적 개념은 수학의 각 분야와 밀접하게 관련되어 있을 뿐 아니라 기하영역은 실생활에도 크게 활용되어지고 있는 영역이다. 학교수학에서 기하교육의 목적은 학생들의 기하학적 직관을 키우고 논리적 추론 능력을 향상시키는데 있다. 그러나 현재의 기하학 수업은 학생들의 탐구 활동보다는 유클리드 기하적 논리적 증명이나 형식적 내용들만을 지나치게 강조하고 있다. 이에 본 논문에서는 기하영역을 효율적으로 지도하여 학생들의 어려움을 해결하고 창조적인 사고력을 신장시킬 수 있는 실생활과 관련된 활동지를 개발하여 수업을 하였다. 수업을 마친 후 실시한 설문조사를 통하여, 기존의 수업방식보다 활동지를 이용한 수업이 학생들의 수학에 대한 흥미와 도형영역에 대한 이해에 도움이 되었다는 것을 알 수 있었다. 수학이 얼마나 아름답고 가치 있는 학문인지 학생들이 느낄 수 있도록 도움을 주는, 흥미롭고 이해하기 쉬운 여러 가지 교재와 활동지를 계속 개발하여야 할 것이다.

• 한국항행학회논문지
• /
• 제27권5호
• /
• pp.621-628
• /
• 2023

본 연구는 항공기용 부품 및 장비품 중 치명성 부품인 수송류 항공기용 금속계 제동패드의 부품등제작자증명 및 부가형식증명을 위한 원 부품 등과 개발품의 설계 동일성 입증을 위한 역설계 절차를 도출하였다. 역설계 절차에 대한 규정은 우리나라의 경우 부품등제작자증명 지침에 의해 규정되며, 미국의 경우 AC No; 21.303-4에 규정되어 있다. 제동패드의 역설계 절차는 각 구성품별 샘플 수량, 치수공차, 기계적 물성 측정, 자재, 무게 및 부피특성 등의 동일성 확인 항목을 선정하여 각각의 세부 절차를 정의하였다. 아울러 우리나라 및 미국의 연방항공규정을 분석한 결과, 우리나라의 경우 수송류 항공기용 제동장치의 기술표준품 표준서 및 비행시험과 관련된 규정의 제정이 필요하다.