• 제목/요약/키워드: 시스템 모델링 언어

검색결과 312건 처리시간 0.036초

HiPi 버스를 사용한 멀티프로세서 시스템에서 캐쉬 코히어런스 프로토콜의 성능 평가에 관한 연구 (A Study on the Performance Analysis of Cache Coherence Protocols in a Multiprocessor System Using HiPi Bus)

  • 김영천;강인곤;황승욱;최진규
    • 한국통신학회논문지
    • /
    • 제18권1호
    • /
    • pp.57-68
    • /
    • 1993
  • 본 논문에서는 pended 프로토콜을 가지는 HiPi버스와 다중 캐쉬 메모리를 사용하는 멀티프로세서 시스템을 기술하고, 캐쉬 코히어런스 프로토콜에 따라 프로세서의 효율 측면에서 시스템의 성능을 평가하였다. HiPi 버스는 ETRI에서 개발된 행정전산망용 주전산기인 TICOMII의 공유 버스로 사용되기 위하여 개발되었다. HiPi버스는 고속의 데이타 전송 능력을 가지고 있으나, 캐쉬 간의 데이타 전송을 허용하지 못하는 단점을 가지고 있다. 캐쉬 간의 데이타 전송이 전체 시스템의 성능에 미치는 영향을 측정하고, HiPi버스에 적합한 캐쉬 코히어런스 프로토콜을 선택하기 위하여 두가지 시뮬레이션을 실시하였다. 첫째, HiPi 버스를 사용하는 멀티프로세서 시스템에 다양한 캐쉬 코히어런스 프로토콜을 적용하고 시뮬레이션을 통하여 프로세서 효율에 따른 성능 분석을 실시하였다. 각각으니 프로토콜은 상태 천이도록 나타내었으며, Markov정적 상태도를 이용하여 각 상태의 확률 갑을 구하였다. 각 상태의 확률은 시뮬레이션에서 입력 값으로 사용되었고, 모델링과 시뮬레이션은 SLAMII심볼과 언어를 사용하였다. 둘째, 캐쉬 간의 데이타 전송을 갖는 HiPi버스를 제안하였고, 제안된 HiPi버스를 사용하는 멀티프로세서 시스템에 다양한 캐쉬 코히어런스 프로토콜을 적용하고 시뮬레이션을 통하여 프로세서 효율에 따른 성능 분석을 실시하였다. 고려된 캐쉬 코히어런스 프로토콜은 Write-through, Write-once, Berkely, Synapse. Illinois, Firefly, Dragon이다.

  • PDF

데이터흐름도(DFD)의 SysML 다이어그램으로의 변환에 관한 연구 (Transformation from Data Flow Diagram to SysML Diagram)

  • 윤석인;왕지남
    • 한국산학기술학회논문지
    • /
    • 제14권11호
    • /
    • pp.5827-5833
    • /
    • 2013
  • 과학기술의 발전으로 인해서 현대의 시스템은 과거에 비해 대형화되고 복잡화되었다. 복잡한 시스템 개발에서 복잡도를 줄이기 위한 방법으로 모델기반 시스템엔지니어링(MBSE)이 다양한 분야에서 적용되고 있다. 하지만 다양한 언어를 통하여 모델링이 이루어지고 있으므로, 개발 프로세스에 따른 산출물의 일관성 및 이해관계자간의 의사소통에 문제가 발생하고 각 MBSE 도구의 지원 다이어그램의 차이에 따라 산출물의 표현이 제한되기 때문에 그 효과성이 부족하다. 본 논문에서는 전통적 다이어그램의 하나인 데이터흐름도(DFD)를 SysML의 다이어그램으로 변환하는 법칙을 연구함으로써 이미 구축된 모델들을 재사용하여 SysML로 구축될 수 있도록 한다. 특히, 각 다이어그램의 메타모델(Meta Model)을 분석하고, 이분그래프를 통해 각 구성요소의 연결 관계를 확인하여 변환의 근거를 마련하고 무결성을 확인하며 보다 효과적인 변환 법칙을 제시하고 있다. 또한 위 내용을 함정전투체계설계에 적용해 봄으로써 그 효과성을 확인한다. 본 연구의 결과를 기반으로 향후 추가연구를 수행하면, 이미 구축된 시스템 개발과정에서 산출된 모델들을 SysML 을 이용하여 일관성 있게 표현할 수 있을 것 이다. 그리하여 산출물의 일관성을 높이고 이해관계자간의 의사소통을 원활하게 함으로써, SysML을 이용한 효과적인 모델기반시스템엔지니어링(MBSE)에 도움이 될 것으로 기대된다.

IT 컨설팅 회사의 지적 자산 관리를 위한 지식관리시스템 (KMSCR: A system for managing knowledge assets of an IT consulting firm)

  • 김수연;황현석;서의호
    • 한국지능정보시스템학회:학술대회논문집
    • /
    • 한국지능정보시스템학회 2001년도 춘계정기학술대회
    • /
    • pp.233-239
    • /
    • 2001
  • 최근 대부분의 회사들은 업무를 수행하는데 필요한 지식과 노하우를 공유하고 재사용하기 위하여 지적 자산 관리의 중요성을 인식하고 있다. 특히 고도로 지식 집약적인 업종이라 할 수 있는 IT컨설팅 회사에서는 지적 자산의 관리가 다른 어떤 회사에서보다 큰 중요성을 가지게 된다. 컨설팅 회사에 있어서 검증이 완료된 지적 자산의 공유 및 지능적이면서도 신속한 검색은 컨설팅 서비스의 품질과 고객 만족에 직결되는 중요한 요소이다. 따라서 대부분의 컨설팅 회사들은 자사의 지식 자산을 관리하기 위하여 많은 노력을 기울이고 있다. 본 논문의 목적은 IT 컨설팅 회사예서 관리되는 다양한 형태의 지적 자산들을 중앙 관리하여 설친 고객 사이트에 흩어져 프로젝트를 수행하는 컨설턴트들이 공유할 수 있도록 함으로써 컨설팅 서비스의 생산성과 품질들 높이고자 하는데 있다 이를 위하여 건설팅 회사에서 관리되는 모든 지적 자산의 재고를 조사하여 모델링하고 이를 쉽게 저장하고 검색할 수 있는 시스템 아키텍처를 제안한다. 제안된 아키텍처를 NT 기반에서 Index server를 이용하여 시스템으로 구현하였다 (KMSCR: A Knowledge Management System for managing Consulting Resources). KMSCR에서는 컨설턴트가 찾고자 하는 검색어를 입력하면 다양한 포맷의 (.doc, .ppt, xls, .rtf, .txt, .html 등과 같은) 결과물을 관련성이 높은 순서대로 출력해 줌으로써 컨설팅 리소스를 효과적으로 재사용할 수 있도록 도와 준다. 또한 검색 시에는 미리 등록된 키워드 뿐 아니라 본문 내의 텍스트 검색까지 가능하게 함으로써 컨설팅 리소스에 대한 보다 효과적이고 효율적인 검색을 가능하게 한다.간을 성능 평가 인자로 하여 수행하였다. 논문에서 제한된 방법을 적용한 개선된 RICH-DP을 모의 실험을 통하여 분석한 결과 기존의 제한된 RICH-DP는 실시간 서비스에 대한 처리율이 낮아지며 서비스 시간이 보장되지 못했다. 따라서 실시간 서비스에 대한 새로운 제안된 기법을 제안하고 성능 평가한 결과 기존의 RICH-DP보다 성능이 향상됨을 확인 할 수 있었다.(actual world)에서 가상 관성 세계(possible inertia would)로 변화시켜서, 완수동사의 종결점(ending point)을 현실세계에서 가상의 미래 세계로 움직이는 역할을 한다. 결과적으로, IMP는 완수동사의 닫힌 완료 관점을 현실세계에서는 열린 미완료 관점으로 변환시키되, 가상 관성 세계에서는 그대로 닫힌 관점으로 유지 시키는 효과를 가진다. 한국어와 영어의 관점 변환 구문의 차이는 각 언어의 지속부사구의 어휘 목록의 전제(presupposition)의 차이로 설명된다. 본 논문은 영어의 지속부사구는 논항의 하위간격This paper will describe the application based on this approach developed by the authors in the FLEX EXPRIT IV n$^{\circ}$EP29158 in the Work-package "Knowledge Extraction & Data mining"where the information captured from digital newspapers is extracted and reused in tourist information context.terpolation performance of CNN was relatively

  • PDF

SystemVerilog와 SystemC 기반의 통합검증환경 설계 및 구현 (Design and Implementation of Co-Verification Environments based-on SystemVerilog & SystemC)

  • 유명근;송기용
    • 융합신호처리학회논문지
    • /
    • 제10권4호
    • /
    • pp.274-279
    • /
    • 2009
  • 시스템수준 설계방법론에서 널리 사용하고 있는 설계흐름도는 시스템명세, 시스템수준의 HW/SW 분할, HW/SW 통합설계, 가상 또는 물리적 프로토타입을 이용한 통합검증, 시스템통합으로 구성된다. 본 논문에서는 SystemVerilog와 SystemC를 기반으로 하여 신속한 기능검증이 가능한 native-code 통합검증환경과 클럭수준 검증까지 가능한 계층화 통합검증환경을 각각 구현하였다. Native-code 통합검증환경은 시스템수준 설계언어인 SystemC를 이용하여 HW/SW 분할단계를 수행한 후, SoC 설계의 HW부분과 SW부분을 각각 SystemVerilog와 SystemC로 모델링하여 상호작용을 하나의 시뮬레이션 프로세스로 검증한다. 계층화된 SystemVerilog 테스트벤치는 임의의 테스트벡터를 생성하여 DUT의 모서리 시험을 포함하는 검증환경으로 본 논문에서는 SystemC를 도입하여 다중 상속을 가지는 통합검증환경의 구성요소를 먼저 설계한 후, SystemVerilog DPI와 ModelSim 매크로를 이용하여 SystemVerilog 테스트벤치와 결합된 통합검증환경을 설계한다. 다중 상속은 여러 기초클래스를 결합한 새로운 클래스를 정의하여 코드의 재사용성을 높이는 장점을 가지므로, 본 논문의 SystemC를 도입한 통합검증환경 설계는 검증된 기존의 코드를 재사용할 수 있는 이점을 가진다.

  • PDF

조응성 정보와 중심화 이론에 기반한 영형 주어의 선행사 식별 (Antecedent Identification of Zero Subjects using Anaphoricity Information and Centering Theory)

  • 김계성;박성배;이상조
    • 정보처리학회논문지:소프트웨어 및 데이터공학
    • /
    • 제2권12호
    • /
    • pp.873-880
    • /
    • 2013
  • 본 논문은 지역적 응집성을 모델링하는 중심화 이론을 이용하여 한국어 영형대명사의 지시해결에 접근한다. 중심화 이론은 영어 대명사의 해결을 위해 널리 사용되고 있지만, 일본어, 한국어 등의 언어에서 나타나는 영형대명사 해결에 중심화의 프레임워크를 적용하는 데에는 많은 어려움이 따른다. Grosz et al.의 중심화 이론은 지시적 표현들의 비조응적 사용을 고려하지 않으므로, 문서에 나타나는 비조응적 기능의 영형 대명사가 중심화 이론을 이용한 영형대명사의 선행사 식별에 중요한 영향을 미친다. 본 논문은 이를 위해 먼저 절 간의 결속 관계를 이용하여 영형대명사, 특히 영형주어의 문장 내 조응성을 결정하고, 다음으로 중심화의 순위를 이용하여 그 영형의 선행사를 식별하는 방법을 제안한다. 실험을 통해 조응성 결정을 이용하는 제안한 방법이 이를 이용하지 않는 베이스라인 시스템보다 우수함을 알 수 있었다.

AMGA GUI Client 툴킷 구현 : AMGA Manager (Implementation of AMGA GUI Client Toolkit : AMGA Manager)

  • 허태상;황순욱;박근철
    • 한국콘텐츠학회논문지
    • /
    • 제12권3호
    • /
    • pp.421-433
    • /
    • 2012
  • EMI gLite 미들웨어 컴포넌트인 AMGA 서비스는 과학기술 연구자들에 의해 메타데이터 저장소로 분산환경의 대규모 실험 데이터 분석에 넓게 활용되고 있고 그 사용은 메타데이터 카탈로그를 필요로 하는 일반산업에까지 확대되고 있는 추세이다. 하지만, 리눅스와 그리드 사용자 인터페이스 기반의 AMGA는 다른 상용 데이터베이스 시스템과 비교해서 범용성 사용자 인터페이스의 부재라는 단점이 있으며, 기능의 우수함에도 불구하고 활용 및 확산하는데 어려움이 있다. 본 논문에서는, AMGA 사용의 제약을 최소화하고 사용자 친화적 인터페이스를 제공하기 위해 객체지향적 모델링 언어(UML)를 이용하여 AMGA GUI 툴킷을 개발하였다. 현재 Belle II, WISDOM, MDM 등과 같이 많은 사용자 커뮤니티에서 AMGA는 주요 컴포넌트로 사용되고 있지만 본 개발을 통해 AMGA 신규 사용자의 진입장벽을 낮춰줄 수 있을 뿐만 아니라 보다 많은 커뮤니티로 확대가 기대된다.

삼차원 불연속면 연결구조 해석 및 가시화 소프트웨어 모듈 개발 (Development of the 3-D Fracture Network Analysis and Visualization Software Modules)

  • 노영환;최요순;엄정기;황석연
    • 터널과지하공간
    • /
    • 제23권4호
    • /
    • pp.261-270
    • /
    • 2013
  • 본 연구는 삼차원 지질 모델링 소프트웨어 개발의 일환으로 불연속면의 구조기하형태에 대한 삼차원적 해석 및 가시화를 수행 할 수 있는 새로운 소프트웨어 모듈을 개발하는 데에 목적이 있다. 불연속면 연결구조의 삼차원 해석 및 가시화 알고리즘을 바탕으로 개발된 소프트웨어는 C++언어 기반의 MFC 및 OpenGL 라이브러리를 응용하여 Microsoft Visual Studio 상에서 제작되었다. 개발된 소프트웨어는 BOUNDARY, DISK3D, FNTWK3D, CSECT, BDM 등의 모듈을 포함하며 각각의 모듈은 해석영역 구성, 불연속면 네트워크 시스템의 가시화, 등가파이프의 산정, 단면도 작성, 시추공 자료 관리 등 절리성 암반의 삼차원 구조기하형태 해석에 관련된 다양한 기능을 수행한다. 이 연구에서 개발한 불연속면 연결구조의 삼차원 가시화 및 해석 소프트웨어는 불연속체 기반의 암반강도 및 변형성에 관한 연구, 수리지질학적 특성에 관한 연구 및 사면안정 연구를 수행함에 있어서 활용도가 높을 것으로 판단되며 국내 소프트웨어 산업의 경쟁력을 높이는데 기여할 수 있을 것으로 기대된다.

항공기내 무선 네트워크용 시뮬레이터 개발 (Simulator Development of Wireless Avionics Intra-Communications)

  • 신동성;정방철;반태원;장우혁;박판근
    • 한국정보통신학회논문지
    • /
    • 제21권10호
    • /
    • pp.1873-1878
    • /
    • 2017
  • 최근 항공기내 전자장비 간의 유선 하네스를 무선 네트워크로 대체하고자 하는 많은 연구가 항공 산업체를 중심으로 진행되고 있다. 본 논문에서는 이러한 항공기내 무선 네트워크의 핵심 기반 기술을 검증하고 각 계층 기술을 효율적으로 통합 할 수 있는 이벤트 기반 시뮬레이터(ES-WAIC; Event-Based Simulator for Wireless Avionics Intra-Communications)를 개발하였다. ES-WAIC은 상위의 실시간 제어 응용 개발자와 네트워크 계층 개발자의 코드 가독성을 증대시키기 위하여 개발되었다. 특히, 실질적인 저전력 무선 임베디드 네트워크의 이벤트 기반 언어 방식을 구현하여 임베디드 시스템에 적용 할 수 있는 이식성과 호환성을 증가시켰다. ES-WAIC은 4.4GHz대역에서의 항공기내 무선통신 채널 모델링, PHY, MAC, Network, Application을 포함한 전반전인 계층이 구현되었다.

LLRP(Low Level Reader Protocol) 서버를 위한 멀티쓰레드 구조의 설계 (Design of a Multi-Thread Architecture for an LLRP Server)

  • 이태영;김윤호;성영락;오하령
    • 정보처리학회논문지A
    • /
    • 제19A권2호
    • /
    • pp.93-100
    • /
    • 2012
  • LLRP(Low-Level Reader Protocol)는 RFID 리더(LLRP 서버)와 RFID 어플리케이션들(LLRP 클라이언트)간의 인터페이스를 기술하고 있다. LLRP 서버는 여러 기능들을 동시에 수행해야 한다. 본 논문에서는 LLRP 서버를 멀티 쓰레드 구조로 설계한다. 이를 위하여 (i) LLRP 서버와 클라이언트들 간의 동작 절차를 분석하고, (ii) LLRP 서버가 만족해야 할 기능적인 요구조건들을 제시하고, (iii) 그 요구조건들을 만족할 수 있도록 LLRP 서버의 역할을 여러 쓰레드로 나누고, (iv) 쓰레드 수준에서 LLRP 동작 절차를 세분하였다. 설계된 구조를 검증하기 위하여 이산사건 시스템을 계층적이고 모듈화된 방식으로 기술하는 언어인 DEVS 형식론을 이용하여 설계된 내용을 모델링하고 시뮬레이션 하였다. 시뮬레이션 결과, 제안된 구조는 LLRP 표준과 주어진 모든 기능적 요구 조건들을 만족함을 알 수 있었다.

텍스트 내용 지식 기반의 철학 온톨로지 구축 (Implementation a Philosophy Ontology based on Knowledge of Text Contents)

  • 김정민;최병일;김형주
    • 한국정보과학회논문지:컴퓨팅의 실제 및 레터
    • /
    • 제11권3호
    • /
    • pp.275-283
    • /
    • 2005
  • 시맨틱 웹이나 지식기반 시스템에서 지식 검색의 핵심 컴포넌트는 온톨로지이다. 하지만 현재 실용적인 온톨로지가 구축된 경우를 찾아보기는 어렴다. 실용적인 온톨로지 구축을 위해서는 특정 도메인의 지식 전문가에 의한 지식의 개념화와 온톨로지 설계자에 의한 지식의 명세화가 필요하며 이를 바탕으로 개발 팀원들 사이에 공유할 수 있는 자세한 온톨로지 생성 가이드라인이 필요하다. 그러나 기존의 온톨로지 생성 방법론은 은톨로지 구축 프로세스의 단계들을 상위 수준에서 나열하는 절차 중심의 방법론이다 본 논문에서는 철학 학문의 지식을 구조화하는 실용적인 온톨로지를 구축하는 방법으로서 텍스트 내용에 들어있는 지식을 온톨로지로 생성하는 토픽맵 기반의 덱스트 온톨로지 방법론을 제시하였다. 이 방법론은 지식 자원으로부터 지식을 분석하고 추출하는 온톨로지 모델링 단계와 형식 언어와 데이타 모델을 이용하여 온톨로지를 생성하는 온톨로지 구현 단계로 구성된다. 방법론과 함께 본 논문에서는 철학 온톨로지에 기반한 철학 지식 검색의 효율성을 보이기 위해 철학 지식 포털을 구현하였다.