• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 2000년도 추계공동학술대회논문집
• /
• pp.285-296
• /
• 2000

오늘날 시스템의 개발 및 유지보수는 점점 더 어려운 문제가 되고 있다. 시스템은 갈수록 거대하고 복잡ㆍ다양해져 가는데 반해 시스템 기능에 대한 사용자들의 요구사항은 끊임없이 증가하여 수시로 수정ㆍ보완 및 확장을 요구하고 있다. 특히 웹의 등장과 그 활용의 증가로 웹 환경에 적합한 시스템개발은 더욱 어려운 문제가 되고 있다. 급변하는 환경 속에서 융통성(flexibility) 및 재사용(reuse)을 기반으로 한 객체지향 기술은 이러한 시스템개발의 문제들을 해결해 주는 대안으로 주목받고 있으며, 분석 및 설계과정에서 시스템개발의 산출물들을 명세화, 시각화, 문서화하는 모델링 언어로서 UML(Unified Modeling Language)이 1997년에 OMG의 표준으로 받아들여지면서 그 활용도가 점점 증가하고 있다.(중략)

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

절차지향 소프트웨어를 객체지향 소프트웨어로의 재공학은 소프트웨어 유지.보수 비용의 절감과 기존의 시스템에 새로운 요구사항을 수용하는 등 많은 장점이 있다. 본 논문은 절차지향 소프트웨어를 재공학하는 과정에서 안전한 지속성(Safe Persistency) 결정문제, 즉 객체의 생성과 생성 주기의 결정 방법을 제안하였다. 본 논문에서는 지속성 결정을 위해 다섯 단계의 모델링 과정을 제시하였으며 모델링 과정을 통해 객체의 정확한 생성과 소멸 시점을 추출하였고 정제 과정을 거침으로써 메시지 전달과 생성/소멸 과정에서 안정성과 일관성을 유지할 수 있도록 하였다.

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

실시간 시스템은 신뢰성이 중요하다. 특히 고안전성 시스템 (Safety-Critical System)은 안전과 직결되므로 높은 신뢰도가 요구된다. 본 논문에서는 Reactive System 의 모델링 및 검증을 위해 개발된 정형 검증 언어인 SyncCharts를 이용한 실시간 시스템의 스케줄가능성 분석(Schedulability Analysis)을 통해 시스템에 대한 요구조건의 만족여부와 태스크들의 수행가능성을 검증하는 방법을 제시한다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2021년도 제64차 하계학술대회논문집 29권2호
• /
• pp.103-104
• /
• 2021

본 논문에서는 텍스트 마이닝 기반의 토픽 모델링 웹 애플리케이션 모델을 제안한다. 웹크롤링 기법을 활용하여 키워드를 입력하면 요약된 논문 정보를 파일로 저장할 수 있고 또한 키워드 빈도 분석과 토픽 모델링 등을 통해 연구 동향을 손쉽게 확인해볼 수 있는 웹 애플리케이션을 설계하고 구현하는 것을 목표로 한다. 제안 모델인 웹 애플리케이션을 통해 프로그래밍 언어와 데이터 분석 기법에 대한 지식이 부족하더라도 논문 수집과 저장, 텍스트 분석을 경험해볼 수 있다. 또한, 이러한 웹 시스템 개발은 기존의 html, css, java script와 같은 언어에 의존하지 않고 파이썬 라이브러리를 활용하였기 때문에 파이썬을 기반으로 데이터 분석과 머신러닝 교육을 수행할 경우 프로젝트 기반 수업 교육 과정으로 채택이 가능할 것으로 기대된다.

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

최근 언어 모델(Language model)의 기술이 발전함에 따라, 자연어처리 분야의 많은 연구들이 좋은 성능을 내고 있다. 정해진 주제 없이 인간과 잡담을 나눌 수 있는 오픈 도메인 대화 시스템(Open-domain dialogue system) 분야에서 역시 이전보다 더 자연스러운 발화를 생성할 수 있게 되었다. 언어 모델의 발전은 응답 선택(Response selection) 분야에서도 모델이 맥락에 알맞은 답변을 선택하도록 하는 데 기여를 했다. 하지만, 대화 모델이 답변을 생성할 때 일관성 없는 답변을 만들거나, 구체적이지 않고 일반적인 답변만을 하는 문제가 대두되었다. 이를 해결하기 위하여 화자의 개인화된 정보에 기반한 대화인 페르소나(Persona) 대화 데이터 및 태스크가 연구되고 있다. 페르소나 대화 태스크에서는 화자마다 주어진 페르소나가 있고, 대화를 할 때 주어진 페르소나와 일관성이 있는 답변을 선택하거나 생성해야 한다. 이에 우리는 대용량의 코퍼스(Corpus)에 사전 학습(Pre-trained) 된 언어 모델을 활용하여 더 적절한 답변을 선택하는 페르소나 대화 시스템에 대하여 논의한다. 언어 모델 중 자기 회귀(Auto-regressive) 방식으로 모델링을 하는 GPT-2, DialoGPT와 오토인코더(Auto-encoder)를 이용한 BERT, 두 모델이 결합되어 있는 구조인 BART가 실험에 활용되었다. 이와 같이 본 논문에서는 여러 종류의 언어 모델을 페르소나 대화 태스크에 대해 비교 실험을 진행했고, 그 결과 Hits@1 점수에서 BERT가 가장 우수한 성능을 보이는 것을 확인할 수 있었다.

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

현재의 코바 컴포넌트를 개발하는 방법은 대상 시스템 분석 후, IDL로 인터페이스와 시스템을 명세 한 다음 언어를 선택하여 구현을 한다. 하지만 시스템분석에서 IDL로 전환은 어려운 작업이며 아직까지 진행된 연구가 부족하다. 따라서 본 논문에서는 IDL작성 전의 시스템 분석과 검증 단계를 소프트웨어 아키텍쳐 접근 방법을 이용한 SACM(Software Architecture-based Component Modeling) 기법을 제안하였다. SACM은 정확한 IDL을 작성뿐만 아니라 구현 단계까지 청사진을 제시한다. SACM 기법을 따르는 경우 효과적으로 컴포넌트 개발이 가능하며, 코드의 재사용 측면도 효과적으로 지원해 준다.

• 시스템엔지니어링학술지
• /
• 제4권2호
• /
• pp.1-13
• /
• 2008

The development of hull curved plate forming automation system in ship production field begins from the need of stakeholders such as enterprise organization, who need the reduction of cost and time and improvement of productivity, and end users who work for this production process. Even though hull curved plate forming automation system has small scale, it is reasonable to consider the system as an interdisciplinary system, because the system includes all of hardware, software, human and information and has a specified objective to be performed. In this paper, introduction of 4 leading Model-Based Systems Engineering (MBSE)methodologies is described and SysML(Systems Modeling Language), which is designed to analyze, specify, design, and verify complex systems, is introduced in order to support those methodologies. Especially, SysML is applied to system modeling of hull curved plate forming automation system and focused on. The structure diagrams and behavior diagrams based on operational context of the automation system are used to make system architecture. The performed application of SysML to the hull curved plate forming automation system shows an example of applying SysML to the development of other autonomous systems in ship production domain.

• 한국시뮬레이션학회논문지
• /
• 제2권1호
• /
• pp.78-90
• /
• 1993

기존의 모의 실험언어를 이용해서 연속 체계를 모의 실험하는 것을 사용자가 언어에서 요구하는 형태로 모델을 형성해야 하는 어려움이 따른다. 따라서 본 연구에서는 사용자에게 최대한 편의성을 제공하는 연속체계 모의 실험언어인 PCSL (Postech Continuous -system Simulation Language)를 개발하였다. PCSL은 주어진 대상을 모델링한 미분방정식과 그것을 푸는데 필요한 여러 가지 제약 사항으로 이루어진 간단한 프로그램을 입력으로 받아 자동으로 모의 실험을 수행함으로서 사용자의 노력이 최소화하게 된다. PCSL 처리 시스템의 구성은 주어진 모델을 C 프로그램으로 변형하는 변환기, 모의 실험 알고리즘을 구현한 C 프로그램을 생성하는 생성기, 모의 실험을 수행하는 실행기, 사용자 인터페이스 등으로 되어있다. 구현 예로는 먼저 선형 상미분방정식의 예로 mass-damper-spring system, 비선형 상미분방정식의 예로 van der Pol 방정식, 연립 상미분방정식의 예로는 mixing tank problem 등을 보였다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2001년도 하계학술대회 논문집 D
• /
• pp.2687-2689
• /
• 2001

본 연구는 철도 신호분야에서 가장 중요한 역 단위 제어 시스템인 전자 연동 시스템의 실시간 제어 알고리즘 설계 기법을 제안한 것이다. 제안한 기법은 ROOM(Real-Time Object-Oriented Modeling)을 기반으로한 구조설계와 상세설계로 구성된다. 구조 설계는 모델링 휴리스틱기법에 의해 설계되는데 먼저 특정의 요구조건을 포착하여 이해하고, 그 다음에 요구조건을 기반으로 설계된다. 상세 설계는 구조설계에 의한 자료를 비교, 검토한 후 반복적으로 모델링하여 만족할 만한 값을 얻으면 바로의 구현할 수 있도록 설계함으로써 신뢰성있는 시스템 구축과 정확성을 높인다. 기존 환경과의 인터페이스가 편리하며 이식성이 좋은 C++언어로 구현하였으며, 또한 운영시스템은 실시간 운영체제(Real-Time OS)인 VRTX 기반에서 설계, 실행되었다. 제안한 기법은 대표적인 모델역에 대하여 적용하고, 그 성능을 검증함으로써 유용성을 입증하고자 한다.

• 한국지능시스템학회논문지
• /
• 제5권4호
• /
• pp.41-55
• /
• 1995

본 논문에서는 복잡한 비선형 시스템의 모델링을 위해 퍼지-뉴럴 네트워크(FNNs)를 사용한 최적 동적 방법이 제안된다. 제안된 퍼지-뉴럴 모델링은 공정시스템의입축력 데이타를 이용하여 기존의 최적이론, 언어적 퍼지구현규칙, 뉴럴네트워크 등의 지능형 이론을 도입하여 시스템의 구조와 파라미터 동정을 구현한다. 이 모델링의 추론형태는 간략추론이 사용된다. 최적 모델을 얻기위해, 퍼지-뉴렬 네트워크의 학습률과 모멘텀 계수가 본논문에서 제안한 개선된 컴플렉스 법과 수정된 학습알고리즘을 이용하여 자동동조 된다. 이 알고리즘의 비선형 공정으로의 응용을 위하여 교통 경로 선택 데이타 및 하수처리시스템의 활성화와 공정 데이타가 제안한 모델링의 성능을 평가하기 위해 사용된다. 제안된 방법이 기존의 다른 논문과 비교하여 더 높은 정확도를 가진 지능형 모델을 생성함을 보인다.