• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2000년도 추계학술대회 논문집
• /
• pp.118-124
• /
• 2000

본 논문은 계층 구조적이고 모듈화 된 모델링 및 시뮬레이션 프레임워크를 이용한 네트워크 보안 모델링과 사이버 공격에 대한 시뮬레이션 기법의 연구를 주목적으로 한다. 단순한 네트워크 모델에서의 원인-결과 모델을 대상으로 시뮬레이션 하는 기존의 접근방법과는 달리, 복잡한 네트워크 보안 모델과 모델 기반의 사이버 공격에 대한 시뮬레이션 기법은 아직까지 시도된 바가 없는 실정이다. 따라서, 본 논문에서는 첫째, System Entity Structure/Model Base(SES/MB)을 통하여 계층 구조적, 모듈화, 객체지향적 설계를 하였고 둘째, 해킹 행위의 상세분석을 위해 취약성을 고려한 명령어 수준의 네트워크 보안 모델링 및 시뮬레이션 방법론을 제안하였다. 마지막으로, 사이버 공격 시나리오를 이용한 사례연구를 통하여 타당성을 검증하였다.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1996년도 춘계학술발표회논문집(2)
• /
• pp.610-615
• /
• 1996

PSA 모델링 및 데이타 관리를 효과적으로 수행하고 PSA 정량화를 자동화할 수 있도록 PSA workstation 을 개발하고 있다. Windows용 고장수목 및 사건수목 편집기, 데이타 관리 모듈 개발등의 PSA모델링 및 관리 모듈이 개발되었고, 또한 최소단절집합 생성 방법 개선, 규칙기반 회복조치 분석 및 고장수목 순환논리 분석 방법 개발등을 통한 PSA 정량화 방법의 개선이 이루어졌다. PSA workstation은 PSA 응용 소프트웨어 개발의 기초로도 사용될 수 있다.

• 정보보호학회논문지
• /
• 제19권4호
• /
• pp.91-103
• /
• 2009

암호알고리즘 및 암호함수를 하드웨어적 또는 소프트웨어적으로 구현한 암호모듈을 암호모듈검증체계 (Cryptographic Module Validation Program, CMVP) 내에서 시험 (또는 인증, 검증)을 받기 위해서는 암호모듈에 대한 유한상태모델(Finite State Model, FSM) 이 개발되고 제공되어야한다. 그러나 FSM을 체계적으로 모델링하고 분석하는 지침은 개발자와 시험자의 경험이므로 잘 알려져 있지 않다. 본 연구에서는 CMVP내에서 암호모듈의 검증을 위해 요구되는 FSM의 모델링, 분석지침, 천이시험경로 생성알고리즘을 제시하고 모델링도구인 CM-Statecharter를 개발하였다. FSM은 UML 2.0의 상태도를 이용해 모델링한다. 상태도는 FSM의 부족한 점 을 보완하고 암호모듈의 FSM을 정형적이고 쉽게 명세할 수 있는 모델이다.

• 대한기계학회논문집B
• /
• 제41권8호
• /
• pp.537-544
• /
• 2017

본 연구의 목적은 수분회수 냉각탑에 설치된 엇갈림(staggered) 형태로 배치된 중공사막 모듈을 다공성 매질(porous medium)로 모델링 시 유동특성을 수치 해석적으로 검토하는 것이다. 1단으로 설치된 중공사막 모듈의 차압 데이터를 이용하여 다공성 매질의 모델링을 위한 압력-속도 2차 식을 도출하였다. 중공사막 모듈을 다공성 매질로 모델링한 경우 ("다공성 매질")와 중공사막 모듈의 형상을 그대로 고려한 경우 ("멤브레인 모듈")에 대해 유동 특성을 비교하였다. "다공성 매질"의 경우 "멤브레인 모듈"에 비해 유동에 의한 압력 변화는 0.6 % 미만의 적은 차이를 나타냈으나, 최대 유속은 약 2.5배, 평균 난류 운동에너지는 95배로 크게 나타났다. 이를 통해 다공성 매질로의 모델링은 압력강하는 잘 구현하나, 유속 및 난류 운동에너지는 잘 모사하지 못함을 알 수 있었다.

• 한국정보통신학회논문지
• /
• 제6권5호
• /
• pp.768-776
• /
• 2002

멀티미디어, 인터넷 환경에서 서버 시스템의 활용이 일반화됨에 따라, 시스템에 저장된 모든 자료의 보안을 위한 권한 부여나 접근 제어와 같은 상위 수준의 보안 메카니즘이 요구되는 현실이다. 또한 분산 환경에서는 시스템내에 저장된 정보들의 정형화된 스키마의 부재, 비체계성 등으로 인하여 보다 복잡한 체계의 보호기술이 필요하게 되었다. 본 논문에서는 일반적인 접근제어 방식을 고찰, 분석하고 기본적인 모델링을 정리하여 설명하였고, RBAC(Role-Based Access Control) 모델링의 모듈들을 분리하고 각 모듈들에 대한 역할을 할당한 후, 기존의 접근제어 모델링과 RBAC 모델링을 혼합 사용하여 새로운 접근제어 모델링을 제시한다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제2권4호
• /
• pp.227-238
• /
• 2013

업무에 초점을 둔 BPMN 모델은 서비스 지향 비즈니스 모델링에 한계점을 안고 있다. 이에, SOA 기반의 시스템 개발을 위해 서비스 수준에서 복잡한 응용 시스템을 디자인할 수 있는 서비스 지향의 비즈니스 모델링 기법이 요구된다. 본 논문은 BPMN 비즈니스 모델의 모듈성과 재사용성을 향상시키기 위해, 서비스 지향으로 BPMN 모델을 계층적으로 구축할 수 있는 메타모델과 이에 기반한 비즈니스 모델링 프로세스를 제시한다. 이를 위해, BPMN 모델의 모델링 요소들을 MDA와 MVC 패턴에 의해 계층화하고 서비스 지향의 모델링을 위한 확장된 XL-BPMN 메타모델을 정의한다. 이 메타모델의 모델링 요소를 이용해서, 모델링 단계에 의한 BPMN 서비스 모델링 프로세스를 정립한다. 이 기법은 온라인쇼핑몰시스템의 비즈니스 모델링에 사례로서 적용되고 평가되어진다. 잘 정의된 메타모델과 모델링 프로세스를 통해, 서비스 중심의 BPMN 비즈니스 모델을 생성할 수 있고, BPMN 모델의 모듈성을 증진시킬 수 있으며, 또한 독립적으로 재사용 가능한 모델의 수를 극대화할 수 있다.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1995년도 춘계학술대회 논문집
• /
• pp.565-570
• /
• 1995

자동화 시스템이 형상모델링 시스템을 기반으로 구축된다면 형상모델링 시스템의 자료구조 및 제공되는 기능에 의존하게 된다. 따라서 형상모델링 시스템의 자료구조로 부터 각 시스템이 필요로하는 정보를 추출 하는 인터페이스 모듈 개발이 중요하다. 본 논문에서는 개방형 형상모델러를 기반으로, 설계 자동화의 대상이 되고 있는 유한 요소 모델링 방법에대해 살펴보고, 이 결과를 가시화 도구 PEX1ib와 X- window/Motif를 이용하여 가시화 하는 시스템에 대해 기술한다. 개방형 형상모델러로는 미국 Spatial Technology사의 ACIS를 이용하였다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2000년도 추계종합학술대회
• /
• pp.517-521
• /
• 2000

본 논문에서는 영상 처리 방법을 이용하여 주어진 객체의 실세계 좌표를 나타내는 특징점을 인식하는 한 방법을 제안한다. 제안된 방법에서는 육면체 형상의 객체를 대상으로 하며, 이러한 객체 영상의 주요한 특징점은 육면체를 결정짓는 꼭지점들로 이루어진다. 제안된 방법은 CCD 카메라로부터 영상을 획득하는 영상 획득 모듈, 획득된 영상에 대하여 관심 영역을 찾는 영상 분할 모듈, 분할된 관심 영역에 대하여 sobel operator등을 이용하여 경계 정보를 검출하는 영상 처리 모듈, 그리고 세선화, line fitting과정을 통하여 직선 벡터들을 검출한 후에 객체의 주요한 특징점을 인식하는 모듈로 구성된다.

• 한국전산구조공학회논문집
• /
• 제28권4호
• /
• pp.393-400
• /
• 2015

본 연구는 기획단계, 설계단계 및 시공단계에서 사용가능한, 모듈러 강교량 상부구조 정보모델 생성의 효율성을 향상하기 위하여, 파라메트릭 모델링(parametric modeling)을 통해 상부모듈을 생성하고 이들을 조합할 수 있는 방안을 제시하였다. 파라메트릭 모델링을 적용하기 위한 요소 도출을 위하여 상부구조 구성요소 분류를 수행하였고, 분류된 요소를 결합 조건에 따라 13개의 종으로 구분하였다. 또한 모듈러 강교량 공장 제작 단위인 상부모듈의 조합을 통해 안정적인 상부구조 생성을 위한 세 가지 조합조건을 도출하였다. 파라메트릭 모델링을 통한 상부모듈 생성 시 구성요소 형상에 조합조건을 반영하는 변수를 도출하였다. 이를 본 연구에서 개발한 Building Information Model(BIM) 소프트웨어기반의 생성 인터페이스를 활용하여 타입과 변수에 따른 상부모듈 구성요소들을 생성하였다. 이때 생성된 상부모듈에는 상부구조로 조합하기 위한 정보를 반영하였으며, 이를 검증하기 위하여 Industry Foundation Classes(IFC) 기반의 정보모델을 생성하고, 반영한 속성정보를 확인함으로써 상부구조 생성에 활용할 수 있음을 확인하였다.

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

본 논문에서는 토목분야에 BIM 기술을 적용하기 위해 파라메트릭 모델링 디자인 기법을 기초로 한 토목 구조물 모듈 라이브러리를 구축하고자 하였다. 국제 표준설계방법론에 부합하는 개방형 BIM을 구현하기 위해 표준정보모델은 IFC로 연동하며, 형상 분류체계는 PLIB Part 42(ISO 13584-42)로 정보 분류체계는 Omniclass와 통합건설정보 분류체계를 따른다. 토목분야에서의 BIM 기술은 토목 구조물 표준 라이브러리를 통해 동시공학적 협업설계를 이룰 수 있을 것으로 판단된다.