• Title/Summary/Keyword: Modeling language

검색결과 1,024건 처리시간 0.037초

액티비티 다이어그램 기반의 워크플로우 모델링을 위한 ASM 시멘틱 표현 (Expression of ASM Semantics for Workflow Modeling Based on Activity Diagram)

  • 고은정;이상영;유철중;장옥배
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (2)
    • /
    • pp.331-333
    • /
    • 2003
  • UML(Unified Modeling Language) 액티비티 다이어그램은 시스템의 동적인 측면을 표현하는데 적합하기 때문에 비즈니스 프로세스와 워크플로우를 모델링 하는데 유용하게 사용된다. 워크플로우 모델링은 이해하기 쉽고. 작업하기 쉬운 보편성을 갖고 있도록 개발되어져야 한다. 또한 모델링을 하는 기법 자체에는 정형적인 의미를 내포하고 있어야 하며 분석이 가능해야 한다. 이에 본 논문에서는 워크플로우 시스템의 특성에 맞도록 ASM(Abstract State Machine) 시멘틱을 이용하여 액티비티 다이어그램 기반의 워크플로우 모델링에 대한 시멘틱 표현을 제안한다. 이와 같은 ASM 시멘틱을 기반으로 하는 정형적인 시멘틱 표현을 통하여 보다 효율적인 워크플로우 모델링이 가능하다.

  • PDF

Combination of Classifiers Decisions for Multilingual Speaker Identification

  • Nagaraja, B.G.;Jayanna, H.S.
    • Journal of Information Processing Systems
    • /
    • 제13권4호
    • /
    • pp.928-940
    • /
    • 2017
  • State-of-the-art speaker recognition systems may work better for the English language. However, if the same system is used for recognizing those who speak different languages, the systems may yield a poor performance. In this work, the decisions of a Gaussian mixture model-universal background model (GMM-UBM) and a learning vector quantization (LVQ) are combined to improve the recognition performance of a multilingual speaker identification system. The difference between these classifiers is in their modeling techniques. The former one is based on probabilistic approach and the latter one is based on the fine-tuning of neurons. Since the approaches are different, each modeling technique identifies different sets of speakers for the same database set. Therefore, the decisions of the classifiers may be used to improve the performance. In this study, multitaper mel-frequency cepstral coefficients (MFCCs) are used as the features and the monolingual and cross-lingual speaker identification studies are conducted using NIST-2003 and our own database. The experimental results show that the combined system improves the performance by nearly 10% compared with that of the individual classifier.

단어 연관성 가중치를 적용한 연관 문서 추천 방법 (A Method on Associated Document Recommendation with Word Correlation Weights)

  • 김선미;나인섭;신주현
    • 한국멀티미디어학회논문지
    • /
    • 제22권2호
    • /
    • pp.250-259
    • /
    • 2019
  • Big data processing technology and artificial intelligence (AI) are increasingly attracting attention. Natural language processing is an important research area of artificial intelligence. In this paper, we use Korean news articles to extract topic distributions in documents and word distribution vectors in topics through LDA-based Topic Modeling. Then, we use Word2vec to vector words, and generate a weight matrix to derive the relevance SCORE considering the semantic relationship between the words. We propose a way to recommend documents in order of high score.

SysML 기반 문서 모델링 사례 (SysML-based Document Modeling Case)

  • 이태경;차재민;김준영
    • 시스템엔지니어링학술지
    • /
    • 제14권2호
    • /
    • pp.8-15
    • /
    • 2018
  • In traditional Document Based Configuration Management(DBCM) environment, changes in a system's configurations are hard to be reflected to existing engineering documents. This nature of DBCM triggers unconformities of system configurations which could become great risks. Model-based Configuration Management(MBCM) has been introduced to solve the problem of DBCM by managing system's configurations through an unified model. Therefore, it is important to model engineering documents in a general modeling language, down to low-level information items to develop traceability and flexibility of a system's engineering information. So, in the research, to explore the possibility of Model-based Approach(MBA) in the field of configuration management, a development of a systems requirement document model using SysML based Views & Viewpoints concept has been studied.

Software Modeling for Flexure Compensation System (FCS) prototype of the Giant Magellan Telescope Multi-object Astronomical and Cosmological Spectrograph (GMACS)

  • Ji, Tae-Geun;Cook, Erika;Lee, Hye-In;Depoy, Darren L.;Marshall, Jennifer;Pak, Soojong
    • 천문학회보
    • /
    • 제43권2호
    • /
    • pp.56.3-56.3
    • /
    • 2018
  • We proceed to develop the control software of GMACS, which is a wide-field, multi-object, moderate-resolution optical spectrograph for the Giant Magellan Telescope (GMT). Flexure Compensation System (FCS) prototype is one of the electronics and mechanical prototypes for GMACS. In this poster, we present the software design for the FCS prototype by using the software system modeling language, SysML. We also show two development tools to control the prototype that communicates via EtherCAT: using TwinCAT and Visual C++ on Windows 10, and GMT Software Development Kit (SDK) and C++ on Linux. We discuss the way to design the GMACS control software, which would not depend on the development tools.

  • PDF

Demonstration of Modeling Process using Giant Magellan Telescope Software Development Kit

  • Han, Jimin;Pi, Marti;Filgueira, Josema;Cox, Marianne;Molgo, Jordi;Swett, Hector;Kurkdjian, Pierre;Lee, Hye-In;Ji, Tae-Geun;Pak, Soojong
    • 천문학회보
    • /
    • 제44권1호
    • /
    • pp.72.1-72.1
    • /
    • 2019
  • The Giant Magellan Telescope Organization (GMTO) is developing the GMT Software Development Kit (SDK) for the Observatory Control System (OCS). The SDK models a subsystem of the GMT using a Domain Specific Language (DSL) which can generate a skeleton code and validates the availability of the model automatically. The OCS includes a Device Control System (DCS) and all the devices are connected with the DCS via EtherCAT. The DCS has a component (Hardware Adapter) to communicate with EtherCAT slaves. In this presentation, we demonstrate the modeling process and describe the importance and usage plan of the SDK.

  • PDF

Performance and Cost Analysis of Supply Chain Models

  • Bause, F.;Fischer, M.;Kemper, P.;Volker, M.
    • 한국시뮬레이션학회:학술대회논문집
    • /
    • 한국시뮬레이션학회 2001년도 The Seoul International Simulation Conference
    • /
    • pp.425-434
    • /
    • 2001
  • In this paper we introduce a general framework for the modeling, analysis and costing of logistic networks including supply chains (SCs). The employed modeling notation, the so-called Process Chain paradigm, is specifically developed for the application field of logistic networks which includes SCs. We view SCs as discrete event dynamic systems (DEDS) and apply corresponding simulative techniques in order to derive performance measures of the Process Chain model under investigation. For this purpose Process Chain models are automatically transformed into the input language of the simulation tool HIT. Subsequently, a cost accounting model using the performance measures is applied to obtain costs which are actually subject of interest. The usefulness and applicability of the approach is illustrated by a typical supply chain example. We investigate the impact of an additional SC channel between a manufacturer and web-consumers on the overall supply chain costs.

  • PDF

사용자 요구사항 기반의 테스트 케이스 추출 설계 기법 (The Design of Modeling Testcase Abstraction based on User Requirement)

  • 송유진;이은주
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2009년도 춘계학술발표대회
    • /
    • pp.416-419
    • /
    • 2009
  • 인터넷의 발달로 인해 최근 Software 분야는 복잡해지고 많은 분야에서 결정적인 산출물로 다양한 어플리케이션이 개발되고 있다. 또한 Software의 품질과 보증을 목적으로 테스팅의 규칙적인 방법이 요구되어진다. 본 논문에서는 다양한 Software Application의 테스팅을 위한 개발 방법으로 확장성과 융통성 그리고 재사용성을 위하여 테스트 케이스 추출을 위한 메타모델을 시각화하고 테스팅 단계별 요구되어지는 모델을 Unified Modeling Language를 이용한 개발 관점을 테스트 설계 모델과 테스트 제어 모델로 구분하여 제시하고 특정 시스템 도메인을 활용하여 테스트 실행 환경과 테스트 프로세스 설계에 대한 방법을 제안한다.

UML기반 프로덕트 라인 아키텍처 모델링의 가변성 표현 기법 (A Technique for variability Modeling of UML based Product Line Architecture)

  • 이관우;이지원
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2011년도 추계학술발표대회
    • /
    • pp.1372-1375
    • /
    • 2011
  • 프로덕트 라인 공학에서 프로덕트 라인 아키텍처는 가장 중요한 산출물 중에 하나이다. UML (Unified Modeling Language) 2.x 부터는 아키텍처를 모델링하기 위한 유용한 모델링 요소를 제공하고 있다. 이러한 UML을 이용하여 프로덕트 라인 아키텍처를 모델링하기 위해서는 가변성의 표현이 명시적으로 이루어져야 하지만, UML 자체에는 가변성을 표현하기 위한 방법 및 기법을 명시적으로 기술하고 있지 않다. 본 논문에서는 UML에서 제공하는 확장 메커니즘을 이용하여 가변성을 표현하는 방법을 제안한다. 즉, 모델링요소에 태그값(Tagged Value) 및 스테레오타입을 넣어주어 다양한 관점에서의 가변성을 표기하는 방법을 제안한다.

로봇 소프트웨어 모델링을 위한 관련기술 분석 및 UML 과의 호환성에 대한 연구 (A Study for Robot Software Modeling Methods and UML compatibility)

  • 이규만;맹지찬;유민수
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2008년도 춘계학술발표대회
    • /
    • pp.304-307
    • /
    • 2008
  • 최근 서비스 로봇 산업에 대한 관심이 증가하면서 소프트웨어의 중요성이 크게 증가하고 있다. 이에 따라 본 논문에서는 서비스 로봇에 탑재되는 소프트웨어를 위한 다양한 모델링 방법을 분석하고, 아울러 순수 소프트웨어 분야의 대표적인 모델링 방법인 UML(Unified Modeling Language)과의 호환성 여부를 분석하였다. 그 결과 기존의 다양한 로봇 소프트웨어 모델링 방법이 UML 로 충분히 표현할 수 있음을 확인하였고, 이를 통해 차후 UML 기반의 로봇 소프트웨어 모델링 방법을 표준적인 방법으로 발전시키는 것이 가능할 것으로 판단된다.