• Proceedings of the Korea Society for Simulation Conference
• /
• 2000.11a
• /
• pp.118-124
• /
• 2000

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

• Proceedings of the Korean Nuclear Society Conference
• /
• 1996.05b
• /
• pp.610-615
• /
• 1996

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

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.19 no.4
• /
• pp.91-103
• /
• 2009

A cryptographic module (CM) is an implementation of various cryptographic algorithms and functions by means of hardware or software, When a CM is validated or certified under the CM validation program(CMVP), a finite state model(FSM) of the CM should be developed and provided, However, guides or methods of modeling and analysis of a FSM is not well-known, because the guide is occasionally regarded as a proprietary know-how by developers as well as verifiers of the CM. In this paper, we propose a set of guides on modeling and analysis of a FSM, which is needed for validation of a CM under CMVP, and a transition test path generation algorithm, as well as implement a simple modeling tool (CM-Statecharter). A FSM of a CM is modeled by using the Statechart of UML 2.0, Statechart, overcoming weakness of a FSM, is a formal and easy specification model for finite state modeling of a CM.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.41 no.8
• /
• pp.537-544
• /
• 2017

The purpose of this study is to analyze the flow characteristics when a staggered hollow fiber membrane module is modeled as a porous medium. The pressure-velocity equation was used for modeling the porous medium, using pressure drop data. In terms of flow characteristics, we compared the case of the "porous medium" when the membrane module was modeled as a porous medium with the case of the "membrane module" when considering the original shape of the membrane module. The difference in pressure drop between the "porous medium" and "membrane module" was less than 0.6%. However, the maximum flow velocity and mean turbulent kinetic energy of the "porous medium" were 2.5 and 95 times larger than those of the "membrane module," respectively. Our results indicate that modeling the hollow fiber module as a porous medium is useful for predicting pressure drop, but not sufficient for predicting the maximum flow velocity and mean turbulent kinetic energy.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.6 no.5
• /
• pp.768-776
• /
• 2002

According as practical use of server system is generalized in multimedia and internet environment, the security of all data that is stored to system is actuality that security mechanism of high level such as competence grant or access control is required. Also, standardization of informations that is stored in system in scattered environment protection technology of more complicated system by absence of done schema, non-systemicity etc. Therefore in this paper. General access control way explained basic modeling because enough investigate and analyze general access control way. And assigning role about each modules separating module of RBAC(Role-Based Access Control) modeling, existent access control modeling and RBAC modeling using mixing new access control modeling present.

• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.4
• /
• pp.227-238
• /
• 2013

The business based existing BPMN model is a lack of service oriented modeling techniques. Therefore, it requires a layered technique of service oriented business modeling so that can meet the design for a complex application system, developing a system based on SOA. In order to enhance reusability and modularity of BPMN business model, this paper proposes a metamodel and business modeling process based on this metamodel that can hierarchically build a BPMN model. Towards this end, the XL-BPMN metamodel hierarchically established based on MDA and MVS styles are first defined. Then a BPMN service modeling process is constructed based on modeling elements of this metamodel according to the modeling phases. Finally, the result of a case study in which the proposed method is applied to an online shopping mall system is discussed. With the use of well-defined metamodel and modeling process, it is hoped that it can be shown that a service dominated and layered BPMN business model can be established, and that the modularity and reusability of the constructed BPMN business model can be maximized.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1995.04a
• /
• pp.565-570
• /
• 1995

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

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2000.10a
• /
• pp.517-521
• /
• 2000

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

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.28 no.4
• /
• pp.393-400
• /
• 2015

This study proposes a method to create and combine a superstructure module by parametric modeling, in order to improve the production efficiency of information model for modular steel bridge superstructure that can be used in planning, design and construction phase. Compound classification was performed in order to derive elements to apply the parametric modeling, and according to assembly condition, the classified elements were grouped into 13 types. In addition, three assembly conditions were derived for production of stable superstructure through combination of superstructure module, which is a production unit for modular steel bridge factory. Parameter that reflects assembly condition in compound shape when producing superstructure module through parametric modeling was deducted. Superstructure module compounds were produced according to type and parameter using interface generation based on Building Information Model(BIM) software that was developed in this study. The superstructure module produced reflects information to combine into a superstructure. To verify this, information model based on Industry Foundation Classes(IFC) was built and confirmed the application in production of superstructure by identifying the reflected property information.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2011.04a
• /
• pp.107-110
• /
• 2011

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