• Annual Conference on Human and Language Technology
• /
• 1994.11a
• /
• pp.51-56
• /
• 1994

우리는 쉽고 누구나 사용할 수 있는 증명 방식으로 "어떠한 경우에나 참이기 때문에 모든 경우에 참"이라는 방식을 쓴다. 그러나 증명이 한정될 수밖에 없었다는 것을 인정할 수밖에 없어서, 이러한 오래 사용하여 오던 방법을 얼마만큼 사용할 수 있는지를 연구할 수 밖에 없다. 이 증명 법칙 ${\Omega}$은 유한 모형에서는 그대로 사용할 수 있기 때문에, 다른 일반적인 모형에 어떻게 확대 적용할 수 있느냐는 문제가 남는다. A. Ignjatovic은 ${\Omega}$법칙이 한정된 추론 속의 더 일반적인 확대가 가능함을 말하고 있다. 이 글에서는 이 ${\Omega}$법칙의 실제적인 유용성을 말하여 본다.

• 한국데이터정보과학회:학술대회논문집
• /
• 2004.10a
• /
• pp.105-109
• /
• 2004

동작(motion) 인식 방법 있어서 2차원 정보는 영상이라는 2차원 정보만을 이용하기 때문에 여러 가지 행동의 제약이 있으며 이것은 인식률을 저하시킬 뿐 아니라, 그 응용 면에서 자연스럽지 못하게 된다. 이러한 문제점을 보완하기 위하여 3차원 정보를 사용하는 시스템으로 발전하게 되었지만 영상 기반의 3차원 정보는 에러가 많이 포함되어 있을 뿐만 아니라 차원수가 높기 때문에 일정한 특징을 찾아내기 어렵다. 본 연구에서는 동작을 모델링하고 분석하기 위해 주성분 분석법을 사용하는 방법을 기술한다. 주성분 분석법은 낮은 차원의 영상 공간을 얻기 위해서 사용되는데, 이 방법을 사용함으로써 3차원 데이터가 가지는 에러의 영향을 줄일 수 있게 되고, 차원 축약의 효과를 얻을 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04b
• /
• pp.658-660
• /
• 2001

본 논문에서는 Physical Model을 이용해 단소의 음을 합성해 내는 방법에 대해서 연구하였다. 이러한 모델을 이용한다면 별도의 음원 데이터를 사용하지 않고도 일반적으로 사용되고 있는 Table-lookup방식보다 더 효율적으로 악기 음을 합성 할 수가 있다. 먼저 파동방정식을 이용하여 단소내부 공기의 움직임을 나타내고 Physical Model을 제시하였다. Physical Model을 구현하기 위해서 두 개의 delay line이 사용되었으며, 그 양쪽 끝에는 각각 파동의 reflectance를 모델링 하기 위해 Reflectance filter가, 입력 신호를 모델링 하기 위한 input function이 사용되었다. 합성된 음을 평가 하기 위하여 실제 녹음된 음과 주파수 및 시간 도메인 상에서의 비교가 이루어 졌고 실제 악기와 유사한 음을 합성해 내었음을 확인 할 수 있었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.611-613
• /
• 2000

이 논문은 TCP/IP 기반 지역 망 내에서 개인용 컴퓨터의 사용에 있어 인터넷 프로토콜의 주소 충돌 해결 방법에 대하여 연구하였다. 현재 컴퓨터의 수는 계속해서 늘고 있지만 사용자는 IP 주소에 대한 지식이 없음으로 인해 고의나 실수로 자신의 것이 아닌 다른 사람의 IP 주소를 사용할 수 있고, 이로 인해 원래 사용자가 네트웍을 사용할 수 없게 된다. 본 논문은 사전에 지역 망 내의 관리 대상 컴퓨터들의 주소정보를 DNS 서버상에서 수집하여 현재 사용하는 주소 정보가 저장된 정보가 같은 지를 검사하는 방법으로 IP 조소 충돌 검출 방법을 제시하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.564-566
• /
• 2000

컴포넌트 시장이 활성화됨에 따라 컴포넌트의 수는 기하급수적으로 증가하고 있으며, 이러한 컴포넌트들을 효과적으로 재사용하기 위해서는 컴포넌트 분류체계가 잘 정의되어질 필요성이 있다. 현재 컴포넌트 유통시장의 현황을 살펴보니, 대체적으로 구현과 관련된 실행가능모듈로서의 컴포넌트 들이 언어, 기능성, 플랫폼정도로 분류가 되어 사용되어지고 있었다. 앞으로 다양한 컴포넌트들이 많이 개발되어질 것이며, 이들을 위한 체계적인 분류방법이 필요하다고 생각되어, 본 논문에서는 효과적인 컴포넌트 재사용을 위한 컴포넌트 분류체계를 제시하였다. 또, 이를 컴포넌트 모델링에 적용하기 위해 제시한 분류체계를 UML의 스테레오타입으로 정의하여 시각화하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10c
• /
• pp.586-588
• /
• 2001

최근 인스턴트 메신저의 사용이 급증하고 있으며 무선에서도 서비스가 시작되고 있다. 현재 무선 인스턴트 메신저는 WAP을 사용하여 서비스되고 있다. 하지만, WAP을 사용할 경우 인스턴트 메신저 서비스를 받기 위해서는 항상 단말기를 무선 인터넷에 연결하여야 하는 제약이 있다. 본 논문에서 제안한 구조는 SMS를 사용하여 무선 인터넷을 연결해야 할 경우에만 서버측에서 단말기에 SMS메시지를 보내게 하고, 이 메시지를 받으면 자동으로 무선 인터넷으로 연결하여 불필요한 무선 인터넷 연결 시간을 줄임으로써 비용절감의 효과를 가지도록 설계하였다.

• 대한치과마취과학회:학술대회논문집
• /
• 2005.09a
• /
• pp.36-37
• /
• 2005

1. 술자가 확실히 수련 받을 때 사용하고, 완전히 익숙해진 약제와 술식만을 사용하여야 한다. 2. 치료의 범위와 종류, 정신적인 필요, 의학적인 상태에 따라서, 필요한 환자에게만 제한적으로 사용하여야 한다. 3. 각 환자의 상태를 술전에 충분히 평가하여야 한다. 4. 치료가 시작해서 끝날 때까지 계속해서 Monitoring을 하여야 한다. 5. 적절한 어린이용 응급약물, 장비, 시설을 갖추고 유지 관리하여야 한다. 6. 사용된 약물의 투여시간, 용량, vital sign, 부작용에 관한 문서화된 기록을 남긴다. 7. 수련 받은 인력을 확보하여야 한다, 8. 위험성이 높은 환자응 병원 혹은 병원급의 시설, 장비가 구비된 곳에서 치료한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04b
• /
• pp.409-411
• /
• 2002

Enterprise JavaBeans(EJB)에서 영속적인 데이터들을 표현하고 관리하는 엔티티빈의 두 가지 구현 방법은 Bean Managed Persistence(BMP)와 Container Managed Persistence(CMP)기법이있다. 이렇게 엔티티빈이 데이터 베이스와 연결되어 사용되기 때문에 생기는 특성이 있는데, 이런 특성들이 BMP 와 CMP를 사용하여 구현. 운용. 유지보수 및 재사용을 알 때 많은 차이점을 만든다. EJB를 사용하는 소프트웨어 산업계에서, 이런 차이점에 대한 연구가 부분적으로는 이루어지고 있지만, 체계적인 비교 평가는 아직 미흡한 실정이다. 본 논문에서는 BMP와 CMP를 이용해서 빈을 구현할 때 나타나는 각각의 장점과 단점을 몇 가지 측면에서 살펴본다. 그리고 그 차이를 비교함으로써 BMP 와 CMP 기법을 평가한다

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04b
• /
• pp.229-231
• /
• 2002

최근 생물 유전자 정보에 대한 관심이 커지면서 이를 위한 효과적인 분석 방법이 요구되고 있다. 특히, 분류기의 데이터로 사용하기 위해서 필요한 특징만을 뽑는 과정인 특징 추출은 대량의 유전자 정보에서 의미 있는 정보를 선별하는 중요한 과정이다. 그러나 유전자 정보는 사용되는 데이터의 특징규모가 매우 크기 때문에 일반적인 데이터 마이닝 기법으로는 분석이 힘들다. 본 논문에서는 효율적인 거대규모 특징 추출을 위해 유전자 알고리즘(GA)파 신경망을 사용한 특징추출 방법을 소개하고, 종분화 기법을 사용한 효과적인 특징추출 방법을 제시한다. 그리고, CAMDA 2000에 공개된 암 DNA Microarray로 안종류를 분류하는 문제에 대하여 성능을 평가하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04b
• /
• pp.259-261
• /
• 2002

대부분의 자동문서분류 시스템은 문서에 사용된 단어의 분포만 고려하고, 또 하나의 중요한 정보인 통사 정보는 무시한다. 본 논문에서는 통사정보와 어휘정보를 모두 사용함으로써 대규모의 비구조 문서를 분류하는 방법을 제시한다. 이를 위해, 학습 데이터에 대해 독립된 두 개의 관점을 요구하는 일종의 부분 감독 학습 알고리즘인 co-training 알고리즘을 사용한다. 어휘정보와 통사정보가 각각 문서의 독립된 관점이 될 수 있으므로, 이 두 정보와 레이블이 없는 문서를 사용하여 문서 분류의 성능을 높일 수 있다. Reelers-21578 문서집합과 TREC-7 filtering 문서집합에 대한 실험 결과는 제시된 방법의 유효성을 보인다.