• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (2)
• /
• pp.451-453
• /
• 2004

Product-Line 개발방법에서 가변성의 표현과 선택은 최종 Product의 형태를 결정하는 중요한 요소이므로 개발 전 단계에서의 일관성 있는 관리가 필요하다. 현재 Product-Line에서 가변성의 표현을 위한 다양한 방법들이 연구되고 있지만 실제적으로 개발 단계간의 가변성의 연관된 변화과정을 서술하고 관리할 수 있는 방법은 부족한 실정이다. 본 논문에서는 소프트웨어 개발단계의 각 계층 간 가변성을 표현하는 방법을 정의하고 이 방법으로 Product-Line의 가변성이 효율적으로 관리될 수 있음을 증명한다. 본 논문에서 제안하는 Variation View를 이용하면 S/W 전체의 가변성의 변화를 한눈에 파악할 수 있고, 가변성 결정에 따른 소프트웨어 변화를 예측할 수 있으며, 향후 evolution 과정에서도 공통 아키텍처를 유연하게 확장할 수 있는 방법을 제공할 수 있다.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2007년도 춘계학술대회 학술발표 논문집 제17권 제1호
• /
• pp.401-404
• /
• 2007

본 논문은 거울 투영을 이용하여 2D의 감정인식 데이터베이스를 3D에 적용 가능하다는 것을 증명한다. 또한, 감정 확률을 이용하여 퍼지 모델링을 기반으로한 얼굴표정을 생성하고, 표정을 움직이는 3가지 기본 움직임에 대한 퍼지이론을 적용하여 얼굴표현함수를 제안한다. 제안된 방법은 거울 투영을 통한 다중 이미지를 이용하여 2D에서 사용되는 감정인식에 대한 특징벡터를 3D에 적용한다. 이로 인해, 2D의 모델링 대상이 되는 실제 모델의 기본감정에 대한 비선형적인 얼굴표정을 퍼지를 기반으로 모델링한다. 그리고 얼굴표정을 표현하는데 기본 감정 6가지인 행복, 슬픔, 혐오, 화남, 놀람, 무서움으로 표현되며 기본 감정의 확률에 대해서 각 감정의 평균값을 사용하고, 6가지 감정 확률을 이용하여 동적 얼굴표정을 생성한다. 제안된 방법을 3D 인간형 아바타에 적용하여 실제 모델의 표정 벡터와 비교 분석한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(A)
• /
• pp.282-285
• /
• 2011

서술논리를 기반으로 하는 OWL 온톨로지는 표준화된 형식적 언어로써 실세계의 도메인 지식을 표현하는데 적합하다. 따라서 논리를 바탕으로 명시적으로 정의된 지식 속에 내재되어 있는 새로운 지식의 추론이 가능하다. 그러나 OWL이 가지는 Open World Assumption(OWA)의 특성은 근거가 불완전하거나 완전한 정보획득이 불가능한 상황에서의 추론을 제한한다. 더불어 OWL이 가지는 또 다른 특성으로 Unique Name Assumption(UNA)의 비지원은 실제적 지식표현을 지원하는 반면, 표현의 불충분으로 인해 결과 도출의 불능을 야기한다. 이러한 특징을 고려하여, 본 논문에서는 지능형 에이전트 구성을 위한 서술논리 기반 지식 표현 방법을 제안한다. 이는 논리적 정당성을 유지하고 올바른 결과를 이끌어 낼 수 있도록 하며, 항상 논리적 결론 도출이 가능한 지식모델을 구성할 수 있도록 돕는다. 이를 통해, 지식모델에 정의된 불완전한 개념에 있어서 OWL이 가지는 특징으로 인하여 발생할 수 있는 문제점에 대한 해결방안을 제시한다. 이에 있어서, 모바일 온톨로지의 예를 통하여 OWA와 UNA에 따른 추론의 제약을 보이며, 이를 해결할 수 있는 방안을 논리적으로 표현함으로써 본 제안의 정당성을 증명한다.

• 한국통신학회논문지
• /
• 제29권3B호
• /
• pp.360-374
• /
• 2004

OSPF 프로토콜은 가장 보편적으로 사용되고 있는 Interior Gateway Routing Protocol 이다. 그러므로, 초고속 라우터의 동작의 신뢰성 확보를 위해, OSPF 프로토콜의 상호운용성과 안전성의 보장은 중요하다. 본 논문에서는 OSPF 라우팅 프로토콜의 표준 문서를 분석하여, 프로토콜 동작들을 대수 정형 방법을 사용하여 상세 설계 수준으로 명세하고, OSPF 프로토콜의 가용한 원천코드를 참조하여, 표준에 명확하게 명세되지 않은 좀더 상세한 동작까지 표현하도록 이 명세를 보완하였다. 그리고 명세된 프로토콜 상태 기계의 상호운용성과 안전성을 정형적으로 증명하였다. 우리는 먼저 제시한 정형적 명세가 OSPF 프로토콜의 표준 문서에 나타난 모든 상태들과 모든 천이 이벤트들을 표현하고 있어, 명세된 프로토콜 상태기계가 완전성을 가지고 있다는 사실을 보이고, 또한 상호운용성을 가짐을 증명하였다. 그리고 프로토콜의 동작의 안전성을 증명하기 위해, 생존성, 그리고 라이브락 부재를 정형적으로 증명하고, 교착상태 부재 역시 정형적으로 증명하였다. 결과적으로 OSPF 프로토콜이 일관성을 가진다는 사실을 보인다. 본 명세와 검증은 기존외 OSPF Version 2의 프로토콜 메커니즘을 그대로 계승한 OSPF Version 3에서도 유효하다.

• 정보처리학회논문지C
• /
• 제13C권7호
• /
• pp.865-872
• /
• 2006

최근 협력통신은 안테나의 물리적인 배치 없이 공간 다중화를 얻을 수 있는 효과적인 방법으로 많은 주목을 받고 있다. 따라서 협력적인 위치를 가진 다중 안테나 시스템에서 잘 알려진 시공간 블록 코드(STBC, Space Time Block Code)는 분산환경 하의 단일 안테나 사용자들에게도 이용될 수 있다. 본 논문에서는 3/4 시공간블록 코드를 사용한 협력적인 신호 구조를 제안하고, 수학적으로 증명한 전송 전력 제한과 네트워크 기하학을 이용하여 이론상의 BER (Bit Error Ratio) 표현을 유도한다. 다양한 환경에서의 시뮬레이션과 잘 증명된 수학적인 결과는 파트너가 적절한 위치에 있을 때, 직접 전송보다 매우 성능이 우수한 협력 통신을 증명하였다.

• 스마트미디어저널
• /
• 제3권3호
• /
• pp.36-45
• /
• 2014

메를로 퐁티의 지각에 근거하여 본 연구자는 움직임을 제품에 구조화된 고유한 미적 성질과 표현 그리고 가치가 통합되어 의미, 즐거움을 체험하는 형식으로 규정했다. 본 연구의 목적은 웨어러블, 유비쿼터스, 인터랙션, 놀이, D.I.Y, 유니버셜, 에콜로지는 이 움직임이 다양하게 제품디자인에 주제화된 형식, 양상임을 주장하는 것이다. 이는 움직임과 모든 디자인형식들 사이의 다음과 같은 유비추론의 방법과 형식에 따라 판단된 결과이다. 첫 번째, 움직임은 미적 표현과 가치의 통합으로써 미적 판단의 근본적, 보편적 명제, 공리다. 두 번째, 모든 디자인형식들은 미적 표현체계에 근거한 가치가 주제화된 사례다. 세 번째, 따라서 모든 디자인형식들은 미적 가치에 의거한 표현의 양상이다. 이상과 같은 판단, 추론의 확실성은 미적 표현으로서 움직임과 디자인형식 사이의 일치가 사실이라는 증명이다. 즉, 미적 가치가 연구된 모든 디자인형식들에서 주제로 성립하여 사용자가 실제로 미적 의미, 즐거움을 체험하였음에 대한 증명이다. 이에 대한 보증은 사용자의 생활 속에서 개개인의 체험이 유일하다. 움직임은 제품의 존재, 사용자의 당위를 미적(실천적) 차원에서 통합함과 동시에 이에 근거해 성립한다. 본 연구의 모든 연구사례에서 강조되는 것은 제품이 아니라 움직임이다. 따라서 제품디자인은 이러한 움직임을 제품에 구조화하는 활동으로 전환된다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (B)
• /
• pp.364-366
• /
• 2001

문서 범주화는 전자 정보환경에서 매우 유용한 정보처리 도구로서, 다양한 문서 범주화 기법 및 성능향상을 위한 연구들이 지속적으로 이루어지고 있다. 그러나, 대부분의 연구들은 문서 범주화의 대상이 되는 단어 자질 공간의 차원축소 문제에만 집중되었을 뿐, 학습단계에 큰 영향을 미치는 다범주 단어 자질의 범주 모호성은 고려하지 않았다. 본 연구에서는, 다범주 자질의 범주 모호성을 해소함으로써 문서 범주화의 성능향상을 유도하는 범주 모호성 해소 가중치 W를 제시하고 이를 실험을 통해 증명하였다. 실험에서는 Naive Bayes 분류기와 가중치 W를 적용한 Naive Bayes-W 분류기를 직접 구축하여 문서 범주화의 성능향상 여부를 비교하는데 사용하였다. 도출된 실험결과를 통해, 가중치 W는 현재의 분류기가 가지고 있는 자질 표현의 범주 모호성이라는 단점을 보완하고 분류기의 성능향상을 유도함으로써 정보검색시스템의 검색효율을 높이는 데 활용될 수 있음일 증명되었다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (2)
• /
• pp.580-582
• /
• 1998

인터넷의 보급으로 인하여 디지털 데이터의 복제가 확산됨에 따라 멀티미디어 데이터에 대한 소유권 보호와 인증에 대한 문제가 대두되고 있는 실정이다. 본 논문에서는 디지털 영상을 다중해상도 표현이 가능한 웨이브릿 변환(Wavelet Transform)을 통하여 저주파수 영역에 인간 시각으로 지각 할 수 없는 워터마크를 삽입하고, 삽입된 워터마크의 영상을 인증하기 위한 방법으로 오류 역전파 학습 알고리즘(Error Backpropagation)을 이용한 신경회로망적 접근방법을 제안한다. 워터마크를 추출하기 위해서는 원영상이 필요하고, 내장된 워터마크가 손실 압축과 필터링 등의 일반적인 영상 처리에 강인함을 실험 결과를 증명하고, 제안한 신경회로망적 접근방법이 좋은 결과를 나타냄으로 실험을 통하여 증명하였다.

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

본 논문에서는 중국어의 이메일 특성을 이용한 중한 대화체 자동번역 방법에 대하여 기술한다. 본 논문에서는 중국어와 한국어와 같이 언어 간의 어순이 다르고 이메일과 같이 특정한 도메인의 언어적 자원도 제한적인 특성을 고려하여 중국어 이메일 특성을 이용한 규칙 기반의 번역 방법을 시도하였다. 이를 위해, 본 논문에서는 중국어의 굳어진 표현이 많고, 한글자 단어 많으며, 입력 오류 많고, 청유 및 경어가 많은 이메일 특성 분석을 통해 그에 대응되는 처리 방법을 제안하였다. 그리고, 그 방법의 타당성을 증명하기 위해 규칙기반의 중한 뉴스 자동번역 시스템과 비교 실험을 하였으며, 규칙기반과 통계적 방법의 타당성 실험을 위해 Gmail과도 비교 실험을 하였다. 두 가지 비교 실험 결과, 본 논문에서 접근한 방법이 모두 우수하였으며, 그 타당성을 증명하였다.

• 한국HCI학회:학술대회논문집
• /
• 한국HCI학회 2009년도 학술대회
• /
• pp.449-454
• /
• 2009

일반적인 물체와 달리 사람의 얼굴은 표정이라는 중요한 시각적 요소를 포함하고 있다. 이러한 이유로 만화가들은 빛에 의한 음영 이외에도, 장면의 분위기와 캐릭터의 특징을 효과적으로 전달하기 위해 특별한 음영을 얼굴에 그려 넣는다. 이러한 음영은 물리적으로 타당하지는 않지만 얼굴의 형태와 표정을 강조하기 때문에 얼굴 표정의 카툰 렌더링에서 반드시 고려해야 할 사항이다. 이 논문에서는 실제 만화가의 음영 표현방식에 착안하여 캐릭터 얼굴을 위한 새로운 카툰 렌더링 방법을 제안한다. 이를 위해 먼저 다양한 만화 이미지를 수집하여 얼굴의 음영표현을 분석하고, 캐릭터의 표정에 따라 카툰 렌더링을 달리 하기 위해서 음영표현 템플릿을 정의하였다. 그리고 이러한 만화가들의 음영표현방식을 바탕으로 기존의 카툰 렌더링 방법을 발전시켜 효과적으로 캐릭터의 표정을 강조하는 캐릭터 얼굴 카툰 렌더링 시스템을 구현하였다. 마지막으로 사용자평가를 통해 논문에서 제안한 방법의 유용성을 증명한다.