• Title/Summary/Keyword: 시스템 모델링 언어

Search Result 312, Processing Time 0.026 seconds

SysML-Based System Modeling for Design of BIPV Electric Power Generation (건물일체형 태양광 시스템의 전력발전부 설계를 위한 SysML기반 시스템 모델링)

  • Lee, Seung-Joon;Lee, Jae-Chon
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.19 no.10
    • /
    • pp.578-589
    • /
    • 2018
  • Building Integrated Photovoltaic (BIPV) system is a typical integrated system that simultaneously performs both building function and solar power generation function. To maximize its potential advantage, however, the solar photovoltaic power generation function must be integrated from the early conceptual design stage, and maximum power generation must be designed. To cope with such requirements, preliminary research on BIPV design process based on architectural design model and computer simulation results for improving solar power generation performance have been published. However, the requirements of the BIPV system have not been clearly identified and systematically reflected in the subsequent design. Moreover, no model has verified the power generation design. To solve these problems, we systematically model the requirements of BIPV system and study power generation design based on the system requirements model. Through the study, we consistently use the standard system modeling language, SysML. Specifically, stakeholder requirements were first identified from stakeholders and related BIPV standards. Then, based on the domain model, the design requirements of the BIPV system were derived at the system level, and the functional and physical architectures of the target system were created based on the system requirements. Finally, the power generation performance of the BIPV system was evaluated through a simulated SysML model (Parametric diagram). If the SysML system model developed herein can be reinforced by reflecting the conditions resulting from building design, it will open an opportunity to study and optimize the power generation in the BIPV system in an integrated fashion.

A Study On design & implementation of the intelligent robot simulator which is connected to an URC system (URC시스템과 연계한 지능형 로봇 시뮬레이터의 설계 및 구현에 관한 연구)

  • Nam, Sang-Yep;Lee, Hyo-Young;Kim, Suk-Joong;Kang, Yi-Chul;Kim, Keun-Eun
    • 전자공학회논문지 IE
    • /
    • v.44 no.4
    • /
    • pp.11-18
    • /
    • 2007
  • Concept of URC does "with me wherever when, and the robot" which provides necessary service to me can be simply defined. This paper uses URC technology and various robots are implemented with a design. That is, we are going to implement that a user controls a virtual robot by communication between URC server with a design. We used an intelligent robot simulation tool, and a developer was easy, and it was intelligent, and we were connected to active URC server, and modeling did a system for simulation to be able to do an URC robot usefully. It was connected to an URC system and various robots and environments were composed with 3D, and, in this paper, a design and implementation did an intelligent robot simulation system so that it was possible by various contents development through simulation. The URC communication protocol and the URC server were based on a Planet v.1.2 ; Network Protocol, CAMUS(Context-Aware Middleware for URC Systems); URC Server, SAM(Service Agent Manager) v.1.2 ; Service API module developed in Electronics & Telecommunications Research Institute (ETRI).

A Study on the PCB automatic routing by shape based method using the auction algorithm (Auction 알고리즘을 이용한 Shape Based 방식에 의한 PCB 자동 배선에 관한 연구)

  • Woo, Kyong-Hwan;Lee, Cheon-Hee
    • The KIPS Transactions:PartA
    • /
    • v.8A no.3
    • /
    • pp.269-278
    • /
    • 2001
  • Routing region modeling method of auto_routing systems are use the grid and the non-grid type. Though grid type has a few electrical and physical element on PCB, grid type has disadvantage which decrease the auto-routing speed dur to constraint with board and gird size. Thus it increase the memory capacity, Non-grid type(Shape baed type) use the region processing type, so it has 44.2% memory decrease effect than grid type in routing region. Thus, via number has 55% decrease effect, total routing time is increased 83.8% than conventional PCB system. In this paper we developed high speed PCB auto-routing system without memory waste by using shaped type applicant with auction algorithm which reaching the destination from one-point with best speed and solving the path problem. Also, this system developed by Visual C++ in IBM Pentium computer Window environment, and compatible with other PC.

  • PDF

Design and Implementation of a Graphical Bio-Ontology Management System based on OWL (OWL 기반 그래픽 바이오 온톨로지 관리 시스템의 설계 및 구현)

  • Kim Ki-Heon;Choi Jae-Hun;Yang Jae-Dong;Park Cheon-Shu
    • Journal of KIISE:Software and Applications
    • /
    • v.32 no.6
    • /
    • pp.461-472
    • /
    • 2005
  • In this paper, we design and implement a graphical bio-ontology management system based on OWL(Web Ontology Language). It allows domain experts to easily manage sophisticated bio-ontologies in which biological knowledge is encoded. The knowledge can be seamlessly modeled into the ontology by well defined graphical notations, which capture most of subtle semantics inherently existing between biological terms. Our system provides a new construction mechanism, which can determine a considerable part of relationships between terms by their inheritance and inverse-inheritance. For keeping their semantics to be consistent, the mechanism supplies domain experts with information available from relationships being constructed or already constructed. The constructed ontology is basically formatted by OWL, which may benefit from its powerful semantic expressiveness. Additionally, it can be automatically translated into other standard languages without semantic loss, such as RDF/RDFS, DAML+OIL and so on. The main characteristics of our system is that it enables domain experts to delicately model the bio-ontology by the visualized construction mechanisms adopting well-defined graphical notations based on OWL.

A Design and Simulation of Mobile RFID Contents Expression Language for Bus Guidance Services (버스 안내 서비스를 위한 모바일 RFID 컨텐츠 표현 언어 설계 및 시뮬레이션)

  • Yeon Dong-Hee;Kim Yong-Woon;Yoo Sang-Keun;Lee Jun-Seob;Kim Hyoung-Jun;Jung Hoe-Kyung
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.9 no.7
    • /
    • pp.1432-1438
    • /
    • 2005
  • The RFID (Radio Frequency Identification) technology is a non-contact identification system which can wireless reading of information, by attaching tags on objects; various applications of the technology are feasible throughout a dive of industries, and researches are currently under way. Recently, in connection with the wireless communication industry, application service models conveying information to the users through mobile devices with RFID readers were suggested. Such application service based on mobile RFID technology requires schema that models the form of data. Therefore, this study analyzes the mobile RFID application service model that will be serviced in the mobile environment, functions and elements of the protocol, and the interface, designing a language to process the data and express contents in the said service models, and we simulated the service for test it.

A Design of Language for Mobile RFID Application Contents Expression (모바일 RFID 응용 컨텐츠 표현 언어 설계)

  • Yeon, Dong-Hee;Kim, Yong-Woon;Yoo, Sang-Keun;Lee, Jun-Sub;Kim, Hyoung-Jun;Jung, Hoe-Kyung
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • v.9 no.2
    • /
    • pp.975-978
    • /
    • 2005
  • The RFID(Radio Frequency Identification) technology is a non-contact identification system which can wireless reading of information, by attaching tags on objects; various applications of the technology are feasible throughout a diversity of industries, and researches are currently under way. Recently, in connection with the wireless communication industry, application service models conveying information to the users through mobile devices with RFID readers were suggested. Such application service based on mobile RFID technology requires schema that models the form of data. Therefore, this study analyses the mobile RFID application service model that will be serviced in the mobile environment, functions and elements of the protocol, and the interface, designing a language to process the data and express contents in the said service models.

  • PDF

A Study on Improved MDL Technique for Optimization of Acoustic Model (향상된 MDL 기법에 의한 음향모델의 최적화 연구)

  • Cho, Hoon-Young;Kim, Sang-Hun
    • The Journal of the Acoustical Society of Korea
    • /
    • v.29 no.1
    • /
    • pp.56-61
    • /
    • 2010
  • This paper describes optimization methods of acoustic models in HMM-based continuous speech recognition. Most of the conventional speech recognition systems use the same number of Gaussian mixture components for each HMM state. However, since the number of data samples available for each state is different from each other, it is possible to reduce the overall number of model parameters and the computational cost at the decoding step by optimizing the number of Gaussian mixture components. In this study, we introduced the Gaussian mixture weight term at the merging stage of Gaussian components in the minimum description length (MDL) based acoustic modeling optimization. Experimental results showed that the proposed method can obtain better ASR accuracy than the previous optimization method which does not consider the Gaussian mixture weight term.

Automated-Database Tuning System With Knowledge-based Reasoning Engine (지식 기반 추론 엔진을 이용한 자동화된 데이터베이스 튜닝 시스템)

  • Gang, Seung-Seok;Lee, Dong-Joo;Jeong, Ok-Ran;Lee, Sang-Goo
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2007.06a
    • /
    • pp.17-18
    • /
    • 2007
  • 데이터베이스 튜닝은 일반적으로 데이터베이스 어플리케이션을 "좀 더 빠르게" 실행하게 하는 일련의 활동을 뜻한다[1]. 데이터베이스 관리자가 튜닝에 필요한 주먹구구식 룰(Rule of thumb)들을 모두 파악 하고 상황에 맞추어 적용하는 것은 비싼 비용과 오랜 시간을 요구한다. 그렇게 때문에 서로 다른 어플 리케이션들이 맞물려 있는 복잡한 서비스는 필수적으로 자동화된 데이터베이스 성능 관리와 튜닝을 필 요로 한다. 본 논문에서는 이를 해결하기 위하여 지식 도매인(Knowledge Domain)을 기초로 한 자동화 된 데이터베이스 튜닝 원칙(Tuning Principle)을 제시하는 시스템을 제안한다. 각각의 데이터베이스 튜닝 이론들은 지식 도매인의 지식으로 활용되며, 성능에 영향을 미치는 요소들을 개체(Object)와 콘셉트 (Concept)로 구성하고 추론 시스템을 통해 튜닝 원칙을 추론하여 쉽고 빠르게 현재 상황에 맞는 튜닝 방법론을 적용시킬 수 있다. 자동화된 데이터베이스 튜닝에 대해 여러 분야에 걸쳐 학문적인 연구가 이루어지고 있다. 그 예로써 Microsoft의 AutoAdmin Project[2], Oracle의 SQL 튜닝 아키텍처[3], COLT[4], DBA Companion[5], SQUASH[6] 등을 들 수 있다. 이러한 최적화 기법들을 각각의 기능적인 방법론에 따라 다시 분류하면 크게 Design Tuning, Logical Structure Tuning, Sentence Tuning, SQL Tuning, Server Tuning, System/Network Tuning으로 나누어 볼 수 있다. 이 중 SQL Tuning 등은 수치적으로 결정되어 이미 존재하는 정보를 이용하기 때문에 구조화된 모델로 표현하기 쉽고 사용자의 다양한 요구에 의해 변화하는 조건들을 수용하기 쉽기 때문에 이에 중점을 두고 성능 문제를 해결하는 데 초점을 맞추었다. 데이터베이스 시스템의 일련의 처리 과정에 따라 DBMS를 구성하는 개체들과 속성, 그리고 연관 관계들이 모델링된다. 데이터베이스 시스템은 Application / Query / DBMS Level의 3개 레벨에 따라 구조화되며, 본 논문에서는 개체, 속성, 연관 관계 및 데이터베이스 튜닝에 사용되는 Rule of thumb들을 분석하여 튜닝 원칙을 포함한 지식의 형태로 변환하였다. 튜닝 원칙은 데이터베이스 시스템에서 발생하는 문제를 해결할 수 있게 하는 일종의 황금률로써 지식 도매인의 바탕이 되는 사실(Fact)과 룰(Rule) 로써 표현된다. Fact는 모델링된 시스템을 지식 도매인의 하나의 지식 개체로 표현하는 방식이고, Rule 은 Fact에 기반을 두어 튜닝 원칙을 지식의 형태로 표현한 것이다. Rule은 다시 시스템 모델링을 통해 사전에 정의되는 Rule와 튜닝 원칙을 추론하기 위해 사용되는 Rule의 두 가지 타업으로 나뉘며, 대부분의 Rule은 입력되는 값에 따라 다른 솔루션을 취하게 하는 분기의 역할을 수행한다. 사용자는 제한적으로 자동 생성된 Fact와 Rule을 통해 튜닝 원칙을 추론하여 데이터베이스 시스템에 적용할 수 있으며, 요구나 필요에 따라 GUI를 통해 상황에 맞는 Fact와 Rule을 수동으로 추가할 수도 었다. 지식 도매인에서 튜닝 원칙을 추론하기 위해 JAVA 기반의 추론 엔진인 JESS가 사용된다. JESS는 스크립트 언어를 사용하는 전문가 시스템[7]으로 선언적 룰(Declarative Rule)을 이용하여 지식을 표현 하고 추론을 수행하는 추론 엔진의 한 종류이다. JESS의 지식 표현 방식은 튜닝 원칙을 쉽게 표현하고 수용할 수 있는 구조를 가지고 있으며 작은 크기와 빠른 추론 성능을 가지기 때문에 실시간으로 처리 되는 어플리케이션 튜닝에 적합하다. 지식 기반 모률의 가장 큰 역할은 주어진 데이터베이스 시스템의 모델을 통하여 필요한 새로운 지식을 생성하고 저장하는 것이다. 이를 위하여 Fact와 Rule은 지식 표현 의 기본 단위인 트리플(Triple)의 형태로 표현된다, 트리플은 Subject, Property, Object의 3가지 요소로 구성되며, 대부분의 Fact와 Rule들은 트리플의 기본 형태 또는 트리플의 조합으로 이루어진 C Condition과 Action의 두 부분의 결합으로 구성된다. 이와 같이 데이터베이스 시스템 모델의 개체들과 속성, 그리고 연관 관계들을 표현함으로써 지식들이 추론 엔진의 Fact와 Rule로 기능할 수 있다. 본 시스템에서는 이를 구현 및 실험하기 위하여 웹 기반 서버-클라이언트 시스템을 가정하였다. 서버는 Process Controller, Parser, Rule Database, JESS Reasoning Engine으로 구성 되 어 있으며, 클라이 언트는 Rule Manager Interface와 Result Viewer로 구성되어 었다. 실험을 통해 얻어지는 튜닝 원칙 적용 전후의 실행 시간 측정 등 데이터베이스 시스템 성능 척도를 비교함으로써 시스템의 효용을 판단하였으며, 실험 결과 적용 전에 비하여 튜닝 원칙을 적용한 경우 최대 1초 미만의 전처리에 따른 부하 시간 추가와 최소 약 1.5배에서 최대 약 3배까지의 처리 시간 개선을 확인하였다. 본 논문에서 제안하는 시스템은 튜닝 원칙을 자동으로 생성하고 지식 형태로 변형시킴으로써 새로운 튜닝 원칙을 파생하여 제공하고, 성능에 영향을 미치는 요소와 함께 직접 Fact과 Rule을 추가함으로써 커스터마이정된 튜닝을 수행할 수 있게 하는 장점을 가진다. 추후 쿼리 자체의 튜닝 및 인텍스 최적화 등의 프로세스 자동화와 Rule을 효율적으로 정의하고 추가하는 방법 그리고 시스템 모델링을 효과적으로 구성하는 방법에 대한 연구를 통해 본 연구를 더욱 개선시킬 수 있을 것이다.

  • PDF

Meta-Validation for Consistency between UML Structural Diagram and Behavioral Diagram (UML 구조 다이어그램과 행위 다이어그램의 일관성 메타검증)

  • 하일규;강병욱
    • Journal of KIISE:Software and Applications
    • /
    • v.30 no.12
    • /
    • pp.1158-1171
    • /
    • 2003
  • The UML is a widely accepted standard in object-oriented modeling. As the UML is semantically rich, we can describe in detail the system that will be developed, but we cannot guarantee the correctness and consistency of the designed model. Therefore, it is important to minimize the error by verifying user models in an early stage. In this paper, we propose a method for verifying the consistency of UML structural diagrams and behavioral diagrams using OCL verification rules and meta-metamodel. The consistency is a nature for checking whether the structural diagrams and behavioral diagrams are coherently designed according to a specific requirement. First we build meta-metamodels of the structural diagram and behavioral diagram that are described with the UML diagrams and the related elements, we derive rules for verifying the consistency from each meta-metamodels, and then formally specify with the language such as OCL for automatic verification. Finally, we verify the usefulness of the rule through a case study.

ODYSSEUS/XMLStore: An XML Storage System for the ODYSSEUS Object-Relational DBMS (ODYSSEUS/XMLStore : 오디세우스 객체관계형 DBMS를 위한 XML 저장 시스템)

  • 이기훈;한욱신;김민수;이종학;황규영
    • Journal of KIISE:Computing Practices and Letters
    • /
    • v.9 no.2
    • /
    • pp.109-122
    • /
    • 2003
  • As XML documents become popular in the World Wide Web, a lot of research is being done on XML storage systems that store and manage XML documents using existing DBMSS. However, most of them have been done in the context of relational DBMSS rather than object-relational DBMSS, which have more powerful modeling capability than relational ones. In this paper, we design and implement an XML storage system, ODYSSEUS/XMLStore, for the ODYSSEUS object-relational DBMS that has been under development at KAIST. First, we analyze the mapping from the structure of XML documents to the relational or object-relational database schema. Second, we propose a method for describing the mapping analyzed using a standard language, XML Schema. Third, we propose a storage structure for storing the mapping information specified by the users in the database. Fourth, we propose detailed algorithms for storing XML documents in the relational or object-relational database based on the mapping information provided by the users.