• 지능정보연구
• /
• 제1권1호
• /
• pp.111-122
• /
• 1995

전통적으로 스케줄링 문제를 해결하기 위해 LP(Linear Programming) 기법이 주로 적용되어 왔으나, 스케줄링 문제의 많은 자원과 지식, 제약조건의 복잡한 상관 관계를 LPrl법으로 표현하고 처리하기가 쉽지 않다. 따라서 최근에는 AI 기법을 스케줄링 문제에 많이 적용하고 있고, AI 기법은 지식 표현 및 휴리스틱을 다루기에 효과적이므로 문제를 모델링하고 해결하는데 용이하다 할 수 있다. 본 논문에서는 AI 기법을 기반으로 하여 스케줄링에 적합한 휴리스틱 및, 탐색기법, 지식표현 방법등을 연구하고, 이를 바탕으로 코스 스케줄링 시스템을 구현하였다. 먼저 시스템은 전체적으로 메타프로그래밍을 통하여 초기 스케줄링(initial scheduling)과 동적스케줄링 (reactive scheduling)을 수행하도록 하였다. 메타프로그램이 초기 스케줄링을 수행할때에는 휴리스틱과 자체적인 도메인 여과기법을 적용하여 탐색 공간의 불일치 요소(inconsistency)를 제거시킴으로써 백트랙킹의 발생을 최소화시켰다. 또한 초기 스케줄링의 결과를 가지고 메타프로그래밍이 동적 재스케줄링을 수행할때에는 제약조건을 통한 휴리스틱을 이용하여 초기해에 대한 조정을 최소화할 수 있는 메카니즘을 제시하였다. 이에 대한 적용 결과는 실험을 통하여 기존의 논리 언어가 제공하는 탐색 알고리즘과 비교하고 분석하였다.

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

유비쿼터스 환경에서 에이전트는 사용자와 시스템의 인터페이스 역할을 한다. 본 논문에서는 현재 상황을 인지하여 사용자의 행위에 따른 서비스를 제공하는 연구를 수행하였다. 본 논문에서 사용하는 서비스 추론 방법은 온톨로지를 기반으로 정의한 도메인에 대한 규칙을 사용한다. 온톨로지는 다양한 환경에서 도메인의 지식(knowledge)을 공유하고 재 사용할 수 있기 때문에 현재 상황에 맞는 서비스를 추론할 수 있다. 또한 본 논문에서는 에이전트의 역할을 나누고 에이전트간의 커뮤니케이션을 통해 추론된 서비스를 환경에 반영한다. 이처럼 온톨로지를 이용하여 환경을 모델링 하고 규칙을 기반으로 서비스를 추론함으로, 같은 상황이더라도 사용자에 따라 추론되어지는 서비스가 달라진다. 즉, 주어진 상황뿐 아니라 사용자에 따라 제공되는 서비스가 달라지도록 사용자 중심의 서비스 예측의 정확성을 높이도록 연구하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2007년도 추계학술발표대회
• /
• pp.340-343
• /
• 2007

복잡하고 난해한 웹 응용을 이해하고 테스트하는 것은 사용자가 요구하는 품질을 만족시키기 위한 필수적인 과정이지만 실제로 이 과정을 제대로 수행하는 것은 쉬운 일이 아니다. 지금까지 웹 응용의 테스트를 위해 여러 가지 프레임워크가 제시되어 사용되고 있지만 이러한 프레임워크의 효율성은 어떤 접근법을 사용하느냐에 의존적인 경우가 많다. 본 논문에서는 웹 응용 상태를 표현하는 도메인 모델과 테스트 활동 그래프를 통해 객체의 활동과 의존성을 표현하여 웹 응용의 정확성을 검증하는 테스트 기법을 제안하고자 한다. 이 기법은 웹 응용을 사용자가 이해하기 쉬운 활동으로 모델링하여 테스트할 수 있도록 도와줄 수 있으므로 업무의 효율성과 편의성을 증대시킬 수 있을 것으로 기대된다.

• 한국도서관정보학회지
• /
• 제48권4호
• /
• pp.235-258
• /
• 2017

본 연구에서는 최근 각광을 받고 있는 텍스트마이닝 기법인 LDA 토픽모델링과 이를 변형한 HDP 토픽모델링을 적용하여 국내 기록관리학의 연구동향을 분석하고자 한다. 이를 위해 국내 기록관리학 관련 학술지 2종과 문헌정보학 관련 학술지 4종에서 1997년부터 2016년까지 발표된 기록관리학 관련 논문 1,027건을 수집하고 적절한 전처리과정을 거친 후 LDA 토픽모델링과 HDP 토픽모델링을 각각 수행하였다. 또한 토픽모델링 시각화 도구인 LDAvis를 활용하여 토픽별 거리를 가시적으로 표현하고 세부 대표 키워드를 분석하였다. 두 토픽모델링을 비교한 결과, LDA 토픽모델링은 전반적으로 해당 도메인을 대표하는 주요 키워드로 빈도수에 영향을 많이 받았으며, HDP 토픽모델링은 각 토픽별 특징을 파악할 수 있는 특수한 키워드가 많이 도출되었다. 이를 통해 LDA는 국내 기록관리학 내에 거시적으로 대표되는 주제들을, HDP는 세부 주제별 미시적인 핵심 키워드를 도출하는데 효과적임을 알 수 있었다.

• 한국산학기술학회논문지
• /
• 제17권1호
• /
• pp.733-744
• /
• 2016

BPMN 모델로부터 휘처(Feature) 모델로 변환하는 기존 방법들이 도메인 분석가의 직관에 의존하여 자동화된 변환이 어려운바, 비즈니스 모델링 연계의 휘처 지향 개발의 활성화에 저해가 되고 있다. 본 고는 구조 기반의 BPMN 비지니스 모델을 휘처 도메인 모델로 변환하는 방법을 제시한다. 상호 이질적인 BPMN(Business Process Modeling Notation)과 FM(Feature Model) 모델간의 변환을 위해서, 액티비티의 구조에 기반한 그룹핑 기법을 정의하고, 이들 모델의 공통 구조물인 요소(비지니스 기능을 표현)와 구조(요소간 관계 및 프로세스)에 기반해서 모델간 변환 규칙과 방법을 정립한다. 온라인쇼핑몰 시스템을 대상으로 적용 사례를 보인다. 이로서, BPMN 모델로부터 휘처 모델로의 기계적인 혹은 자동화된 구조 변환을 도모할 수 있다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 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가 가장 우수한 성능을 보이는 것을 확인할 수 있었다.

• 한국정보과학회논문지:정보통신
• /
• 제32권4호
• /
• pp.515-524
• /
• 2005

네트워크 내의 이동 노드 (Mobile Node: MN)들의 수가 점차 증가함에 따라 IP 이동성 관리로 인한 시그널링 트래픽은 급증하게 될 것이며, 이러한 현상은 전반적인 네트워크의 성능을 크게 좌우할 수도 있을 것이다. 본 논문에서는 대표적인 IPv6 이동성 지원 프로토콜인 Mobile IPv6 (MIPv6)와 Hierarchical Mobile IPv6 (HMIPv6)의 시그널링 부하에 대한 분석을 위하여, 연속 시간 마코프 체인 모델과 계층적 네트워크 모델을 사용하는 새로운 분석적 접근 방법을 제안한다. 본 논문은 동일한 네트워크 구조 하에서 MIPv6와 HMIPv6가 각각 적용되었을 경우, MN의 평균 도메인 상주 시간 동안에 MN에 의해 발생되는 시그널링 비용들을 분석적 모델링에 기반하여 각각 유도해 낸다. 또한, MN의 이동성 및 트래픽과 관련된 다양한 파라미터들의 변화가 MIPv6와 HMIPv6 하에서 MN에 의해 발생되는 시그널링 비용에 어떠한 영향을 미치는지에 대하여도 살펴본다. 본 논문에서 제안된 분석적 모델링을 통하여, MN의 평균 이동 속도가 빠를수록, 바인딩 라이프타임이 큰 값으로 설정될수록, 그리고 평균 패킷 도착율이 적을수록, MN의 평균 도메인 상주 시간 동안에 HMIPv6 하에서 발생되는 총 시그널링 비용은 MIPv6 하에서 발생되는 총 시그널링 비용보다 상대적으로 더 적어지게 되며, 이와 반대되는 상황 하에서는 MIPv6 하에서의 총 시그널링 비용이 HMIPv6 하에서의 총 시그널링 비용보다 상대적으로 더 적어지게 됨을 알 수 있었다.

• 정보처리학회논문지D
• /
• 제8D권6호
• /
• pp.645-656
• /
• 2001

최근, 소프트웨어의 재사용성, 생산성, 그리고 품질을 높이기 위한 방법으로서 컴포넌트 기반의 소프트웨어 개발(CBD：Component-Based Development) 방식이 빠르게 확산되고 있다. CBD를 효과적으로 수행하기 위해서는 응용 컴포넌트들이 서로 정확하게 결합하여 작동할 수 있는 아키텍쳐를 기반으로 하여 컴포넌트의 생성과 합성 작업이 이루어질 수 있어야 한다. 소프트웨어 아키텍쳐는 아키텍쳐 기술 언어(ADL：Architecture Description Language)를 사용하여 기술되어야 정확하고 엄밀한 아키텍쳐 모델링이 가능하다. 본 논문에서는 도메인 아키텍쳐 기반의 CBD에 효과적으로 사용될 수 있는 ADL 지원도구의 시스템 아키텍쳐를 제안하고, 제안한 시스템 아키텍쳐의 각 구성 요소들에 대하여 기술한다. 그리고 C2 스타일의 아키텍쳐 기술을 지원하는 UCI(University of California in Irvine)의 C2SADL을 변경하여 재정의한 ADL과 지원도구로서 개발 중인 ADL 지원도구의 설계 및 구현 방법을 기술한다. 본 연구팀이 개발 중인 ADL 지원도구는 본 논문에서 제안한 ADL 지원도구의 시스템 아키텍쳐의 일부 구성 요소들을 구현한다.

• 항공우주시스템공학회지
• /
• 제16권2호
• /
• pp.49-62
• /
• 2022

본 논문에서는 항공기 고양력 제어시스템의 모델해석 기반 설계과정 및 검증결과를 제시한다. 이를 위하여 가장 많이 사용되는 상용 물리모델 툴 중 하나인 Matlab/Simulink를 활용하였다. 고양력 제어시스템은 기능 및 주요 에너지 흐름에 따라 전자제어, 유압구동, 그리고 기계동력전달 도메인의 3가지 도메인으로 나눌 수 있다. 우리는 이에 근거하여 주요 도메인 및 하위 부품 각각을 모델링 한 후 그것을 통합하여 전체 시스템 모델을 완성하였다. 모델링 과정에서 각각의 모델 블록은 자체 사전시험 및 부품의 수락시험 결과를 참고하여 튜닝하였으며, 결과적으로 전체 성능모델과 개발이 끝난 단위 제품 및 전체 시스템은 각각의 제품단위 시험 및 시스템 통합 성능시험을 통해 완전히 검증되었다. 마지막으로 고양력 제어시스템의 개발과정 및 결과를 요약하고 추후 과제를 제시할 것이다.

• 한국컴퓨터정보학회논문지
• /
• 제4권4호
• /
• pp.113-119
• /
• 1999

최근에 설계패턴 방법이 효율적이고 실용적인 재사용 기법으로 부각되고 있다. 설계패턴은 특정 도메인에 대한 여러 어플리케이션들 간의 공통된 행위들을 지닌 클래스들의 집합으로, 재사용성을 증가시키고, 어플리케이션 개발 시간을 단축시키는 효과를 가지고 있다. 그러나 설계패턴을 구축하기 위한 체계적인 개발 프로세스와 세부적인 개발 지침에 대한 연구가 충분히 이루어지지 않은 상태이다. 본 논문에서는 설계패턴을 기반으로 한 인트라넷 어플리케이션 구조의 모델링 기법을 제시한다. 제시된 모델링 기법의 프로세스는 영역분석, 네비게이션 설계. 인터페이스 설계, 행위영역 설계로 구성되어 있으며 각 단계는 논리적인 개발 업무들로 정의된다. 제시된 프로세스를 적용함으로서 보다 효율적인 인트라넷 모델링이 될 수 있다.