• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2008년도 한국컴퓨터종합학술대회논문집 Vol.35 No.1 (C)
• /
• pp.569-573
• /
• 2008

패턴인식 문제를 다루는 연구에서 인식 성능을 향상시키고자 베이스 에러율의 상한인 조건부 엔트로피를 응용하는 시도가 있었다. 본 논문에서는 다수의 인식기로 구성된 다수 인식기 시스템이 우수한 성능을 보이도록 인식기의 집합을 결정하는 문제에서 이러한 조건부 엔트로피의 최소화를 통하여 시도한 방법과 다른 방법들을 간단하고 분명한 예제를 통하여 비교, 분석해 보았다. 다수 인식기의 결합 방법으로 대표적인 투표 기법과 조건부 독립 가정의 베이지안 기법을 사용하였으며, 조건부 엔트로피의 최소화를 통하여 인식기의 집합을 결정하는 방법에 대한 유용성을 확인할 수 있었다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
• /
• pp.367-369
• /
• 2000

소프트웨어 설계 단계에서 기능성(functionality)과 더불어 비기능성 (non-functionality)에 관한 고려가 매우 중요하다. 그럼에도 불구하고 비기능성 고유의 복잡성으로 인해 두가지를 함께 해결하기는 매우 어려운 문제였고, 비기능성을 구현하는데 많은 난점이 있어왔다. 우리는 이러한 문제를 해결하기 위해 기능성의 유지를 보장하는 소프트웨어 수정 방법인 재구성(refactoring)에 착안하였다. 이를 사용하여 기능성과 독립적으로 비기능성을 획득하도록 설계를 수정할 수 있도록 도와주는 체계적인 비기능성 기반 디자인 재고성(Nonfunctionality-driven Design Refactoring)을 제안한다. 또한 우리가 제시한 방법을 간단한 웹 쇼핑몰 시스템 예제에 적용하여 확장성이 증가하도록 디자인 재구성을 하여 본다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
• /
• pp.448-450
• /
• 2000

최근 들어 소프트웨어의 점점 복잡화, 대형화가 되고 있는 추세에 의해서 컴포넌트의 중요성이 부각되면서, 컴포넌트를 이용한 시스템의 모델링(Modeling) 기법들이 등장하고 있다. 그리고, 이런 모델링 기법들을 적용한 응용 분야가 점차 확대되어 가고 있는 가운데, 효과적으로 시스템 모델링을 할 수 있도록 하고자 기존의 복잡한 다 계층의 모델링 표현 방식의 구조를 탈피한 3계층 표현 방식의 아키텍처를 가진 모델링 기법을 제안한다. 그리고, 하나의 작은 예제를 통해서, 실제 적용되는 과정을 보면서, 기존의 방법과의 차이점에 대해서 관찰 및 분석, 그리고, 추후 적용의 기대효과에 대해서 알아본다.

• 한국통계학회:학술대회논문집
• /
• 한국통계학회 2005년도 춘계 학술발표회 논문집
• /
• pp.37-42
• /
• 2005

통계학의 주요 관심인 표본의 정규성 검정을 위해 통계패키지에서 사용하고 있는 Q-Q(quantile-quantile) 플롯을 중도절단표본에서 사용함으로 발생하는 문제점을 알아보고 이를 보완하여 수정된 Q-Q플롯과 수정된 Normalized Sample Lorenz Curve(NSLC)을 제시한다. 예제로 Hodgkin's disease 데이터를 중도절단하여 새로 제시한 Normalized Sample Lorenz Curve을 그려보았다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제8권
• /
• pp.151-164
• /
• 1999

우리의 경우 학교수학에서 문제해결이 강조된지도 20여년이 넘었으나 아직도 수학을 혐오하는 학생들이 적지 않은 것 같다. 이러한 우리의 수학교육의 문제점은 여러 가지 측면에서 접근할 수 있으나 본 연구에서는 문제해결의 관점에서 접근하고자 한다. 먼저 수학학습평가와 사회에서의 평가를 문제해결의 관점에서 비교하고, 또 수학과 교육과정과 교과서의 구성내용과 체제를 문제해결의 관점에서 구체적인 예제를 통하여 조사한다. 나아가 최근의 구성주의의 관점에서 수학수업에서 계산기의 도입 가능성을 살펴본다.

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

NATM(Network Abstract Timed Machine)은 통신 네트워크와 같이 다양한 형태의 시스템을 기술하는데 사용되고 크고 복잡한 네트워크에 대해서 요구사항을 만족하도록 설계된 모델링 언어이다. NATM은 기존의 네트워크 설계 언어에서 기술하기 어려운 다양한 형태의 네트워크 표현과 네트워크를 고정 네트워크 환경과 무선 네트워크 환경으로 나누어 유/무선 네트워크 환경을 명세 할 수 있다. 본 논문에서는 NATM의 다양한 네트워크 환경에서의 여러 Component들을 기술하고 이 Component 속성들을 예제를 통해서 살펴본다.

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

오늘날 소프트웨어는 개발 방법론을 이용하여 양적으로나 질적으로 많은 발전이 이루어졌다. 이와 더불어 소프트웨어에 대한 소비자들의 요구와 지식 수준 또한 같이 높아짐으로써 소프트웨어 인증에 대한 관심과 인식도 같이 높아지고 있는 추세이다. 본 논문에서는 소프트웨어 품질 인증을 위한 메타 모델의 필요성을 알아보고 기존 연구[1]되었던 메타 모델의 개념 수준을 더욱 발전시켰다. 그리고 간단하지만 실질적인 예제를 통해서 메타 모델과 인증 모델, 인증 프로그램과의 관계를 명확하게 정립하고자 한다.

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

정수 합동 분석(integer congruence analysis)은 프로그램 변수들의 의미 영역을 정수 합동(integer congruence) 집합으로 정의하여 분석한다. 정수 합동 분석을 위한 정수 합동 격자(lattice of integer congruences)와 순방향 요약 산술 연산자에 대한 정의는 이미 p. Granger에 의해 소개되었다. 하지만, 분석의 정확도에 영향을 미치는 역방향 요약 산술 연산자에 대한 연구는 아직 되어 있지 않다. 이 논문에서는 정수 합동 분석을 위한 역방향 요약 산술 연산자를 정의한다. 역방향 요약 산술 연산자를 정의하는 방법은 정수 방정식을 푸는 방법을 기반으로 고안되었다. 정의된 역방향 요약 산술 연산자는 프로그램 분석의 정확도를 높이는데 기여를 할 수 있는데, 이 논문에서는 예제를 통해서 이 사실을 보인다.

• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 1998년도 춘계공동학술대회 발표논문집 IMF시대의정보화 추진전략
• /
• pp.155-159
• /
• 1998

프레임워크 라이브러리는 전체 프로그램 구조의 재사용과 확장을 지원하기 위한 객체지향 프로그램밍의 응용이다. 프레임워크는 GUI 와 같이 표준화된 구성요소와 대화 모델을 가진 시스템의 개발에 극히 효과적이다. 네트워크 프로그래밍에 있어서도 소켓의 생성에서부터 종료에 이르기까지 보편화된 절차와 프로그램 구조가 존재하므로 재사용 가능한 프레임워크 형태의 라이브러리를 활용할 수 있다. 본 논문에서는 Java 언어를 위한 프레임워크 형태의 네트워크 프로그래밍 라이브러리를 개발하였다. 개발된 라이브러리를 number crunching 예제에 적용하여 그 유용성을 보였으며 다른 라이브러리 시스템과도 비교하였다.

• 한국주조공학회지
• /
• 제22권6호
• /
• pp.299-303
• /
• 2002

수정된 SIMPLE법과 VOF의 결합으로 predictor-two step corrector-VOF라고 불리는 새로운 알고리즘이 주조 시 용탕 충전과정을 해석하기 위해 개발되었다. 운동량보존으로부터 유도된 새 2단계 속도 경계조건 처리법은 용탕의 자유표면을 추적하는 데 사용되었다. 본 연구에서는 2개의 예제 계산을 통해 계산정확도와 속도에 대한 Courant 수의 영향을 살펴보았다. 그 결과 적당한 Courant 수의 증가는 계산 정확도의 감소 없이 용탕 계산 속도를 향상시킬 수 있는 것으로 나타났다. 또한 만족할 만한 계산 정확도와 효율이 이 알고리즘의 실제 제품 해석을 통해 얻어졌다.