• 한국컴퓨터정보학회논문지
• /
• 제11권6호
• /
• pp.49-57
• /
• 2006

사용자와 상호작용을 하는 복잡한 기능을 가진 소프트웨어 시스템을 구현하는데 있어서, 사용자의 요구를 분석하고 이를 개발되는 시스템에 제대로 반영하는 매우 중요한 일이다. 따라서 사용자의 필요를 빠르고 정확하게 이해하는 것이 성공적인 소프트웨어 시스템을 개발하는 중요한 열쇠가 된다. 여러 가지의 요구 명세 언어 중에서도 UML의 Sequence Diagram으로 알려져 있는 Message Sequence Charts (MSC)는 시나리오 개념을 가장 잘 표현하고 있는 언어라고 할 수 있다. Live Sequence Charts (LSC)는 MSC의 확장된 형태로 메시지 추상화와 시나리오의 모드 설정이 가능하다는 특징을 가지고 있다. 본 논문에서는 기존의 연구에서는 다루어지지 않았던 LSC 명세언어의 주요 생성자들을 모두 포괄할 수 있는 LSC 명세언어의 의미론을 새롭게 정의하고 논의하였다. 본 논문에서 정의된 의미론은 기존의 방법들과 비교했을 때 훨씬 넓은 범위의 LSC 명세언어를 포괄하고 있으며, 그동안 정형화되지 않았던 기존의 LSC 명세언어의 내용을 가장 정확하게 표현하고 있다는 장점을 가지고 있다.

• 논리연구
• /
• 제19권1호
• /
• pp.107-126
• /
• 2016

이 글에서 우리는 약화 없는 비교환적인 퍼지 논리의 크립키형 의미론을 다룬다. 이의 한 예로, 우리는 가-유니놈에 기반한 퍼지 논리 HpsUL의 한 확장 체계인 $CnHpsUL^*$을 위한 대수적 크립키형 의미론을 고려한다. 이를 위하여 먼저 $CnHpsUL^*$ 체계를 소개하고 그에 상응하는 $CnHpsUL^*$-대수를 정의한 후 $CnHpsUL^*$이 대수적으로 완전하다는 것을 보인다. 다음으로 $CnHpsUL^*$을 위한 크립키형 의미론을 소개하고 이를 대수적 의미론과 연관 짓는다.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회/대한산업공학회 2003년도 춘계공동학술대회
• /
• pp.897-904
• /
• 2003

XML인 많은 기업 애플리케이션에서의 데이터 라우팅 표준으로 사용됨에 따라 XML 데이터를 통합적으로 관리하는 체계적 방법론이 요구되고 있다. 본 연구에서 제안한 방법론은 객체지향 개념을 기본으로 하여 객체와 관계를 분리하는 데이터 모델을 정의하고 이 데이터 모델을 통하여 XML 문서들의 서로 다른 스키마들을 변환, 통합하는 체계적 접근법이다. 본 연구를 통해 독자적 데이터 구조를 지닌 XML 문서들에 일관된 통합 환경을 제공함으로써 기업 애플리케이션 통합, 데이터 웨어하우스, 기업간 전자상거래 분야에의 활용을 기대할 수 있다.

• 제어로봇시스템학회지
• /
• 제1권3호
• /
• pp.39-51
• /
• 1995

이 글에서는 퍼지이론의 양대부류인 퍼지집합론과 퍼지척도 및 퍼지적분에 대하여 정의 및 기본적 성질을 간략히 소개하였다. 이러한 이론들의 주된 응용분야가 제어와 평가문제로부터 점점 다양한 분야(예를 들면, 자연언어 처리, 퍼지컴퓨터, 경제학, 심리학 등)로 확산되고 있는 현시점에서, 보다 많은 사람들이 퍼지이론에 관신을 갖게 되는데 조금이나마 도움이 됐으면 한다. 최근 우리들의 관심 중 많은 부분이 지적시스템(intelligent system)의 구현에 쏠리고 있음을 감안할 때, 이러한 퍼지이론은 신경회로망이론, 유전자 알고리즘 및 카오스이론과 더불어 지적시스템의 구현을 위한 충분한 도구로서 혹은 방법론으로서 크게 공헌하리라 생각한다.

• 한국IT서비스학회:학술대회논문집
• /
• 한국IT서비스학회 2002년도 창립기념 학술대회
• /
• pp.365-375
• /
• 2002

현재 시스템 통합은 많은 분야에서 이루어지고 있다. 통합의 대상이나 수준에 따라 각기 상이한 방법론을 활용하여야 함에도 불구하고 일반적인 방법론을 활용함에 따라 효과적인 시스템 통합이 미흡한 상황이다. 본 연구는 5개사의 사례연구를 통하여 시스템 통합 방안의 유형을 정의함으로써 시스템 통합의 대상 및 수준에 따른 실무적인 중점 고려사항을 제시하였다.

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

1000 MWe 국내 표준형 원전을 대상으로 노심이 손상되는 각종 중대사고 시나리오에 대하여 방사선원항 특성을 평가하기 위하여, 2단계 확률론적 안전성 평가 방법론에 따라 방사선원 방출군을 정의하고 원전 중대사고 발생시 격납건물 손상을 가정하여 각 방출군별로 격납건물 외부로 방출되는 방사능 방출율을 정량화하였다. 도출된 19개의 그룹중에서 방출률이 작거나 발생빈도가 낮은 7개를 제외하고 12가지 대표 사고경위에 대하여 계산을 수행하였으며, 분석결과는 격납건물 내에서 감쇄효과가 작은 증기발생기 세관 파단사고, 격납건물 격리 실패사고 및 조기 격납건물 파손사고 둥이 상대적으로 큰 방사능 방출량을 보여주었다

• 한국정보처리학회논문지
• /
• 제5권12호
• /
• pp.3127-3137
• /
• 1998

COBRA 표준명세는 표준을 만족하는 구현에서 제공해야 할 기능뿐만 아니라 서비스 제공 모듈의 사용자 인터페이스도 IDL을 사용하여 엄격하게 정의하고 있다. CORBA 표준에 대한 확신과 신뢰성을 가지기 위해서는 IDL(Interface Definition Language)로 기술된 표준명세를 정형화하고 수학적으로 엄격히 증명할 필요가 있다. 본 논문에서는 CORBA 표준을 정형적으로 명세하고 검증할 방법을 제시한다. 먼저 표준모듈을 Larch/CORBA IDL(LCB)를 사용하여 정형적으로 명세하고, LCB의 의미론에 준하여 LCB 명세를 LSL(Larch Shared language)로 변환한다. 변환한 LCB 명세와 LSL 증명논리를 사용하여 특성을 수학적으로 증명한다. 변환기반의 LCB 의미론을 정립하여 제안한 방법의 이론적 바탕을 마련하고 CORBA 이름서비스명세에 실제 적용하여 그 효용성을 보인다.

• 대한조선학회지
• /
• 제30권4호
• /
• pp.27-32
• /
• 1993

본 연구에서는 첫째로, 자체적으로 정립한 시스템 개발방법론인 객체지향 기술을 적용하여 선 체설계 전산시스템의 요구사양 및 기능분석을 수행하여, 유닛모델 개념(선체의 각 부분에서 보 여지는 특징적인 구조를 유닛으로 하고 선체구조정보를 설계변수화하여 파라메트릭 설계기법을 이용하여 모델링하는 방법임)의 초기 선체 모델링기법을 제시하고 이를 검증하므로써, 유조선 화물창부의 초기 모델링을 통한 구조설계 대안의 신속한 검토와 초기물량의 정확한 산출이 가 능하도록 하였다. 둘째로, 모델링 기술 분야에서는, 선박제품 모델링을 위한 기반 기술로써(여 기서, 제품모델링이란 최근 CAD/CAM 및 CIM 분야에서 거론되는 기술분야로서, 설계 및 생산의 대상이 되는 제품의 제반정보를 전산기 내에서 모델로써 표현하고자 하는 시도임) 선박 제품 모델의 표현방법론과 내부처리 기법을 정의하였고, 이 방법론에 다라 객체지향 구\ulcorner배치 프로 그램(OO_COMDEF)을 개발하여 본 연구에서 제시한 제품모델의 표현방법론을 검증하였다. 셋 째로 응용 프로그램 개발 분야에서는 선체 상세설계를 지원할 수 있는 시스템 설계를 수행하 였고, 이를 토대로 이중선체 유조선의 화물창부의 Hopper Tank부의 Stiffener 배치를 자동적으로 생성할 수 있는 시험용 프로그램을 개발하여 그 개념을 검증하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (B)
• /
• pp.415-417
• /
• 2002

컴포넌트는 소프트웨어의 재사용을 통하여 소프트웨어 제품의 향상된 생산성을 제공해 줄 수 있는 방안으로 인식되면서 , 학계와 산업계의 관심 이 집중되고 있다. 그에 대안 반영으로 컴포넌트 자체를 개발하거나, 상용 컴포넌트를 기반으로 하여 어플리케이션을 개발하기 위한 방법론들이 제안되고 있고, 이런 개발 방법론이 바로 컴포넌트 기반의 개발 방법론이다. 컴포넌트 개발 방법론이 확산됨에 따라 성공적인 컴포넌트 기반의 프로젝트의 중요한 요소로써 효과적인 컴포넌트 인터페이스 설계 기법이 부각되고, 제안되었다. 그러나, 기존의 객체지향 방식으로 구현된 모델을 컴포넌트 기반의 모델로 전환 시의 지침들이 부족하다. 따라서, 본 논문에서는 객체 지향 방식으로 모델링 한 UML동적모델에서 근거한 컴포넌트 인터페이스 설계 기법을 제안한다. 즉, 분석 단계에서 컴포넌트를 식별하고, 설계 단계의 산출물인 Use Case모델과 클래스 다이어그램을 이용하여 컴포넌트의 메소드들을 추출한다. 그리고, 컴포넌트 인터페이스를 정의한다.

• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2011년도 춘계 종합학술대회 논문집
• /
• pp.125-126
• /
• 2011

유망기술의 탐색과 발굴을 포함하는 기술예측은 기술경영에서 계속적으로 논의되고 있는 주제의 하나이다. 기술의 예측은 예측하고자 하는 대상기술, 예측의 주체와 목적에 따라 다양하게 구분되며 각각의 방식에 따른 분석방법론 및 접근법이 존재한다. 본 연구에서는 미래기술예측 방법론의 유형과 목적별 분류에 대한 기존 연구를 살펴보고 중소기업을 위한 유망기술을 정의하여 그에 적합한 미래기술 예측 방법론의 선택과 접근법에 대해 제시한다.