• 한국통신학회논문지
• /
• 제18권11호
• /
• pp.1785-1796
• /
• 1993

본 연구는 각종 레이다로부터 얻어지는 다양한 정보를 하나의 통합된 시스템으로 처리하는 정보통합 처리시스템의 구성을 제안하였고, 제안된 시스템의 성능과 타당성 분석은 m/m/1큐 모델에 의한 시스템 시뮬레이션을 통하여 평가되었다. 또 이들 정보처리 시스템간의 연동을 위한 종합정보망을 설계하고 그 전송특성을 분석하였다. 정보통합 처리시스템의 설계에서는 정보처리 형태에 따라 단일형과 분산다중형으로 분류하려 구성하였다. 각 시스템의 구조는 실시간 처리 프로세서로서 UNIX의 메시지 큘ㄹ 사용하였으며 이들 모델 시스템의 성능 분석에는 큐잉모델을 사용하여 시스템의 정보흐름을 모델링하고 시뮬레이션을 위한 소프트웨어는 OPNET 시스템 커널과 C언어로써 작성하였다. 작성된 분석 프로세서에 의해 시스템의 지연시간과 메시지 Blocking등의 주요 큐잉요소를 관찰하고 이를 통해 분산다중형과 단일형 양모델간의 특성을 비교 검토하였다.

• 한국산학기술학회논문지
• /
• 제17권8호
• /
• pp.77-83
• /
• 2016

오늘날 다양한 산업분야에서는 시스템 안전을 확보하기 위한 표준들이 제정되었다. 해당 표준들에서는 시스템 개발 초기 단계인 개념설계 단계부터 위험원 분석 활동을 수행하고, 분석 결과를 안전을 확보하기 위한 시스템 설계 활동에 반영할 것을 제시하고 있다. 따라서 운영 목표에 부응하는 시스템의 설계와 시스템에 내재하는 위험원 분석은 밀접한 관계가 있다. 그럼에도 불구하고 기존에는 설계 결과의 검증에서 시스템 개념설계와 위험원 분석 결과를 분리하여 수행하였다. 본 논문에서는 분리 수행에 따른 문제를 개선하기 위하여 시스템 고장 모델과 시스템 아키텍처의 통합 모델에 대한 검증 방법을 연구하였다. 구체적으로, 먼저 대상시스템의 아키텍처를 시스템 모델링 언어인 SysML로 모델링 하였다. 그리고 나서 시스템 아키텍처 정보를 기반으로 위험원 분석을 수행하고, 이를 토대로 SysML 고장 모델을 생성하였다. 그 후에 시스템 고장 모델을 시스템 아키텍처에 통합하고, 이를 기반으로 고장에 대비한 안전 설계를 추가하였다. 최종적으로 시스템 운영 중 일부 고장에도 안전 설계 결과가 안전 목표를 만족하는지 검증하기 위한 시뮬레이션을 수행하였다.

• 한국과학교육학회지
• /
• 제34권6호
• /
• pp.583-592
• /
• 2014

이 연구는 글쓰기를 활용한 논의-기반 모델링 전략이 학생들의 모델링 능력에 미치는 영향을 알아보는 것을 목적으로 하였다. 또한 논의-기반 모델링 전략에서 다중표상의 적용여부가 학생들의 모델링 능력에 미치는 효과를 비교하였다. 이를 위해 남녀공학 중학교 1학년 세 개 학급(66명) 중 두 개 학급(43명)은 실험집단으로, 한 개 학급(23명)은 비교집단으로 선정하였다. 논의-기반 모델링 전략을 적용한 두 개 실험집단 중에서 한 개 학급은 AbRM집단(Argument-based multimodal Representation and Modeling, 논의-기반 다중표상 및 모델링 집단, 22명), 다른 한 개 학급은 AbM집단(Argument-based Modeling, 논의-기반 모델링 집단, 21명), 나머지 한 개 학급은 비교집단(23명)으로 선정하였다. 논의-기반 모델링 전략은 인지 과정, 해석 과정, 적용과정으로 구성되어 있다. 실험집단은 논의-기반 모델링 전략의 인지과정과 해석 과정을 공통적으로 수행하고 적용 과정에서 차이를 두었다. AbRM집단은 논의-기반 다중표상 및 모델링을 적용하였고, AbM 집단은 논의-기반 모델링을 적용했으며, 비교집단은 전통적 수업방식을 적용하였다. 논의-기반 모델링 전략이 학생들의 모델링 능력에 미치는 영향을 분석한 결과, AbRM집단의 경우 통합적 모델링 수준에서 다른 두 집단보다 통계적으로 유의미하게 높았고, AbM집단은 비교집단보다 유의미하게 높았다. 모델링 능력 검사의 하위요소인 문제인식, 과학개념 구조화, 주장-증거 적절성, 다중표상 지수에서 AbRM집단의 경우 모든 하위요소에서 AbM집단과 비교집단 보다 통계적으로 유의미하게 높았으며, 그 다음으로 AbM집단이 비교집단 보다 통계적으로 유의미하게 높았다. 이러한 결과로부터 논의-기반 모델링 전략은 모델링의 목적인 의사소통을 위해 자신이 만든 모델을 논의와 글쓰기를 통해 과학적 언어를 사용하여 스스로 정리하거나 표현하고, 다른 사람의 의견을 듣고 교환하는 과정을 통해 모델을 평가하고 수정하는 일련의 과정을 통해서 학생들의 모델링 능력의 향상에 효과적임을 보여주었다.

• 한국시뮬레이션학회논문지
• /
• 제17권4호
• /
• pp.209-218
• /
• 2008

UML(Unified Modeling Language)은 소프트웨어 설계 단계에서 디자인을 구체화하고, 가시화하여 구성하고, 문서화하는데 일반적으로 사용되고 있다. UML 대부분의 설계는 소프트웨어 시스템 구조의 설계에 초점을 맞추고 있다. 최근에는 aspect-oriented 설계와 같이 복잡한 소프트웨어 시스템을 설계하기 위한 부가적인 설계의 요구 사항들이 등장하고 있다. 본 논문에서 는 policy-driven 아키텍처의 동적인 양상을 연구한다. 다양한 어플리케이션 도메인에서 적용할 수 있는 policy-driven 관리 어플리케이션의 상단계에서의 모델링을 제안한다. 어플리케이션들의 많은 활동들을 관리하기 위해서, 같은 상황에서의 다른 자원들에게 정책(policies)과 함께 활동성과 유연성이 지원되어야 확장이 가능하다. 이러한 흐름에서, policy-driven 아키텍처의 동적인 양상을 보여주기 위해 메타 모델링 방법론을 연구하였다. 본 방법론에 기반으로 하여 본 논문에서는 policy-driven 관리 어플리케이션 영역에서의 메타모델링을 설립하였다.

• 융합신호처리학회논문지
• /
• 제11권2호
• /
• pp.177-182
• /
• 2010

시스템수준 설계방법론에서 널리 사용하고 있는 설계흐름도는 시스템명세, 시스템수준의 하드웨어/소프트웨어 분할, 하드웨어/소프트웨어 통합설계, 가상 또는 물리적 프로토타입을 이용한 통합검증, 시스템통합으로 구성된다. 시스템의 하드웨어 구성요소를 개발하는 과정에서 이전까지는 디자인단계가 많은 시간 및 노력을 요구하는 단계였지만, 현재에는 설계한 디자인의 기능적 검증단계가 중요 요소로 간주되고 있다. 본 논문에서는 시스템수준 설계언어인 SystemC 기반의 테스트벤치 구조를 이용하여 Verilog HDL로 설계된 하드웨어 구성요소의 올바른 동작여부를 판별하는 기능검증시스템을 설계하였다. 설계된 기능검증시스템에서 SystemC 모듈의 멤버 변수와 Verilog 모듈의 와이어 및 레지스터 변수간의 데이터 전달은 본 논문에서 정의되는 SystemC 사용자 정의 통신채널을 통하여 이루어진다. 제안된 기능검증시스템을 UART에 적용하여 올바른 동작여부를 판별하였다. 본 논문의 기능검증시스템 설계에 사용된 SystemC는 C++기반의 하드웨어 모델링용 클래스 라이브러리를 제공하므로 RT 수준보다 높은 추상화수준에서 소프트웨어와 하드웨어 또는 이 둘을 결합한 시스템수준의 모델링을 단일 언어와 환경에서 설계할 수 있는 이점이 있다. 또한 기능검증시스템 설계에 작성된 SystemC 모듈 코드들은 부분적인 코드 수정 후 다른 하드웨어 구성요소의 기능을 검증하는데 재사용할 수 있는 이점이 있다.

• 정보처리학회논문지D
• /
• 제9D권6호
• /
• pp.1105-1112
• /
• 2002

B2B 전자상거래와 같이 XML을 이용한 정보 교환이 확산되고 있으며 이에 따라 상호 교환되는 정보에 대하여 체계적이며 안정적인 저장관리가 요구되고 있다. 이를 위해 XML 응용과 데이터베이스 연계를 위한 다양한 연구가 관계형 데이터베이스를 중심으로 수행되었다. 그러나 계층구조를 갖는 XML 데이터를 2차원 테이블의 집합인 관계형 정보로 표현하는 관계형 데이터베이스로의 저장에는 본질적인 한계가 있어, 계층적 구조를 2차원 정보로 변환하는 방법에 의해서 각 구조화된 정보를 관계형 데이터베이스로 저장하기 위한 모델링 방안이 요구된다. 양질의 어플리케이션 시스템을 구축하기 위해서는 우선적으로 모델링이 중요하다. 1997년에 OMG는 표준 모델링 언어로 UML를 채택하였고, 이에 따라 UML은 보다 널리 사용될 것이다. 그러므로 효율적인 XML 어플리케이션을 개발하는데 UML에 기반을 둔 설계 방법론이 필요하다고 할 수 있다. 본 논문에서는 UML을 이용한, 관계형 데이터베이스기반의 XML 응용을 위한 통합 설계 방법론을 제안한다. 이를 위하여 먼저 UML을 이용하여 W3C XML schema를 설계하기 위한 XML 모델링 방안을 제시하고, 아울러 교환되는 XML 데이터를 효율적으로 저장하기 위하여 관계형 데이터베이스 스키마 설계를 위한 데이터 모델링 방법을 제안한다.

• 지능정보연구
• /
• 제21권1호
• /
• pp.99-118
• /
• 2015

정보 시스템 개발에 있어 객체지향 프로그래밍 언어가 널리 사용된다. 이와 함께 객체지향 설계를 뒷받침하는 개념적 모델링 언어에 관한 관심도 높다. 이를 배경으로 통합 모델링 언어 혹은 UML로 알려진 개념적 모델링 언어는 여러 객체 지향 프로그래밍 언어와 함께 사용되면서 사후적 표준으로 자리 잡았다. UML은 클래스를 설계의 중심에 둔다. 또한 클래스들 간의 관계를 통해 체계적인 이해를 가능하게 한다. 특히 부분에 해당하는 클래스들과 전체에 해당하는 클래스의 관계인 부분-전체 관계를 설계할 수 있는 문법 또한 UML에 포함된다. 현실 세계에 부분-전체 관계로 파악될 수 있는 여러대상들이 존재하고 비즈니스 활동에 존재하는 각종 역할들의 구조에서도 부분-전체 관계로 표현될 수 있는 대상들이 보편적으로 보인다. 따라서 UML로 클래스들 간의 부분-전체 관계를 드러내는 일은 자연스럽다. 문제는 부분-전체 관계를 파악하는 활동은 UML 2.0의 표준에 포함되었으나 실제 설계 과정에서 적극 활용하기 위한 실천적 이론화가 부족하다는 점이다. 부분-전체 관계를 집합연관과 복합연관으로 세분화한 UML 문법은 표현 양식에서 부족함은 없을지라도 어떤 대상을 부분-전체로 파악하고, 이를 어떻게 집합연관이나 복합연관으로 분류해야 할 것인지에 대한 판단이 쉽게 결여된다. 지금까지 UML의 부분-전체 관계 규명은 언어적 표현법을 활용하는 것에 치우쳤다. 이와 같은 문제에 대한 대안을 제시하기 위해 본 연구는 메타모델 형식화 이론을 기반으로 UML 사용자가 부분-전체 관계를 판단하고 이를 집합연관과 복합연관으로 분류할 수 있는 실천적 대안을 제시한다. 이를 활용한 실험의 결과 메타모델 형식화가 UML 사용자들에게 통용되어 온 언어적 구분법보다 더 나은 결과를 낳는다는 점이 밝혀졌다. 본 연구는 부분-전체의 판별과 구분에 도움을 주는 실용적인 방법을 제안하고 검증하였다는 점에서 의의가 있다.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 2009년도 정기 학술대회
• /
• pp.344-347
• /
• 2009

건축, 토목 분야의 정보 교환을 위한 표준으로 주목받고 있는 BIM 모델의 국제 표준인 IFC 표준을 위해, 소프트웨어가 IFC 표준에 맞게 유효한 정보를 입출력 하도록 도와주고, IFC 파일이 표준에 맞는지 검증할 수 있는 모듈을 개발했다. 특히, 지역별 및 국가별 상황에 맞게 BIM 모델을 수정하거나 확장해 사용하도록 권고하고 있는 상황에서 다양한 확장 IFC 표준을 효과적으로 지원할 수 있도록 IFC 표준을 정의하는 EXPRESS 언어로부터, 객체 지향 언어를 위한 소프트웨어 개발 라이브러리를 자동으로 생성하고, 해당 SDK를 활용해 IFC 모델을 검증하는 라이브러리를 자동으로 생성하며, IFC 파일을 검증할 수 있는 독립적인 실행 파일도 자동으로 생성할 수 있도록 했다. 또한 객체 지향 라이브러리를 사용함으로써 주어진 IFC 모델을 효과적으로 문서화 할 수 있도록 HTML 생성 도구를 개발하거나 3차원 형상 확인이 가능하도록 VRML 생성 도구를 개발하는 등의 작업이 쉽게 이뤄짐을 확인했다. 이렇게 자동화된 BIM 소프트웨어 개발 도구는 IFC 모델의 수정이나 확장을 고려하는 BIM 소프트웨어 개발 프로젝트의 생산성을 향상시키고, 해당 시스템의 운영에 신뢰도를 높이는 것은 물론이며, 향후 국내 실정에 맞게 운영될 BIM 인증 제도에도 활용하면 기존의 수작업 방식 인증제도에 비해 인증에 걸리는 시간과 비용을 줄이는 것은 물론 인증 자체의 객관성과 정확성, 투명성과 신뢰성을 높일 수 있을 것으로 기대된다.

• 한국정보통신학회논문지
• /
• 제26권10호
• /
• pp.1509-1516
• /
• 2022

본 논문에서는 UML 상태 다이어그램으로부터 코드 구현 모델을 생성하는 방법을 제시한다. 첫째로 상태 다이어그램의 상태를 객체화하고, 상태 디자인 패턴에 기반하여 동작 메커니즘을 구조화한다. 다음으로 이 구조에 기반하여 컨텍스트 클래스와 이의 인터페이스 역할을 하는 추상 상태 클래스, 그리고 하위 구상 클래스의 구현 코드를 생성하는 규칙들을 설정한다. 이들 규칙들은 Java의 언어 구조에 기반해서, 상태 다이어그램의 상태들과 동작들에 대한 코드 구현 모델을 생성하게 된다. 한편, 코드의 자동 생성을 위해서는 코드 모델로부터 코드 생성을 위해 구조화된 정보가 필요하다. 따라서, 코드 생성을 위한 정보를 메타 클래스 모델과 메타 행위 모델 형태로 구조화하여 구축한다. 이 메타 정보들에 기반하여 상태 다이어그램으로부터 Java 프로그래밍 언어로의 자동 코드 생성을 위한 엔진의 구축이 가능하다. 또한 코드 모델 생성 엔진은 독자적으로 또는 UML 도구의 상태 다이어그램 기능을 지원하는 도구에 통합된 모듈로서 사용될 수 있다.

• 한국지반환경공학회 논문집
• /
• 제15권3호
• /
• pp.57-63
• /
• 2014

본 연구에서는 준설매립분야의 설계자동화를 위하여 준설토 투기장 설계 시 고려되는 상부 및 하부 구조물을 대상으로 Library를 구축하고, 이를 통합 관리할 수 있는 브라우저를 개발하였다. 개발 Library는 주요 단면제원을 변수화하여 형상의 가변성 확보가 가능한 파라메트릭 모델링 방법을 이용하여 작성하였으며, 작업환경에 맞게 표준횡단 및 패밀리 Library로 구분하여 작성하였다. 작성된 Library를 특성별로 구분하여 객체를 관리하고 BIM 기반 모델링 작업 시 객체의 적용이 간편하도록 C# 언어를 이용하여 브라우저를 개발하였다. 개발된 브라우저를 BIM 기반의 3차원 캐드 프로그램에 연동함으로써 간편하게 3차원 모델링, 도면작성 및 물량산출이 가능하고 신규 Library의 작성 및 관리 또한 가능하다.