• 한국멀티미디어학회논문지
• /
• 제8권2호
• /
• pp.233-248
• /
• 2005

알려지지 않은 취약점이나 공격 방법에 대한 침해 사고를 방지하기 위해 침입 감내 기술(Intrusion Tolerance Technology)이 이에 대한 한 가지 해결책으로 제시되고 있다. 그러나 실제 침입 감내 기술을 기반으로 한 침입 감내 기반의 응용 소프트웨어를 설계하고 개발하는 데 있어서는 아직도 체계적인 모델링 기법을 적용하고 있지 못하고 있다 특히 가용성, 무결성, 신뢰성, 기밀성 등과 같은 항목들은 침입 감내 기반 응용소프트웨 어 에 있어서 중요한 요구사항들이 다. 그럼 에도 불구하고 현재 대부분의 UML 기반의 모델링 기법에서 는 이러한 요구사항들을 반영하여 설계하는 기법을 제시하고 있지 못하고 있다. 따라서 본 논문에서 이러한 취약점들을 인지하고 침입 감내 소프트웨어 개발에 있어서 침입 감내와 관련된 요구사항들을 체계적으로 반영하여 적용할 수 있는 프로파일과 설계 기법을 제시하고자 한다. 이는 침입 감내 기반의 응용 소프트웨어 개발을 위한 UML의 확장뿐만 아니라 품질 향상을 가져올 수 있다.

• 한국건축시공학회지
• /
• 제14권3호
• /
• pp.216-222
• /
• 2014

단면수복 보수를 실시한 RC조 부재의 내하성능 회복을 예측 평가하기 위하여 FEM해석이 빈도 높게 사용되고 있으나 부착에 대한 정보가 부족하여 정확도 있는 예측이 힘든 실정이다. 수치해석의 입력데이터가 되는 철근과 폴리머 시멘트 모르타르의 부착특성을 평가하기 위하여 폴리머 시멘트 모르타르를 이용한 일련의 인발실험을 실시하였다. 동시에 범용성있는 해석결과 활용을 위하여 부착특성을 부착강성과 부착강도로 정의하고 비선형 FEM 감도 역해석을 실시하였다. 결과를 요약하면 보수재료의 화학적 부착보다 물리적 부착이 지배적이며 폴리머 분말수지의 함유에 의해 다소 부착계면의 성능이 저하하는 것을 알 수 있었다. 부착계면의 물성은 강성과 강도로 구분하여 모델화하는 것이 합리적인 것으로 사료된다.

• 인터넷정보학회논문지
• /
• 제21권1호
• /
• pp.237-246
• /
• 2020

본 논문에서는 의사결심 지원체계인 전장관리체계의 지능화를 위해 의사결심 조건에 기초한 데이터 모델링 방안을 제시하였다. 인간처럼 보고 식별도 하고, 자유롭게 움직임을 통해 원하는 위치에 도달하는 모습은 쉽게 이해되거나 실생활에서 체감하고 있는데 비해, 원하는 위치에 도달한 이후 인간 인지 행위 중 가장 중요한 하나인 의사 결심 판단을 구현했다거나 혹은 그러한 예제를 아직은 찾아 볼 수 없는 실정이다. 도착을 원했던 회의실에 인간을 대신해 에이전트가 오기는 했지만 판단을 도와주거나 대신 해주어야 할 임무인 예컨대, 가격 정책을 올릴 것인지 내릴 것인지, 지휘관이 심사숙고하고 있는 예컨대, 역습을 하는 것이 현명한지 아닌지에 대한 판단을 지원해 주지 못하고 있다. 군 지휘 통제의 현상과 현안을 고찰하였고, 각 상황에 대한 판단을 내릴 때 기계참모의 조언이 가능하게하기 위한 많은 양의 데이터 확보가 가능하도록, 현 지휘통제 체계를 변경시킬 방안으로 의사결심 조건에 기초한 데이터 모델링 방안을 제시하였다. 또한 제시한 방안에 대해 기계가 하는 의사결정의 한 예시로써 의사결정 트리 방법론을 적용하였다. 이를 통해 향후 AI 상황 판단 참모가 어떠한 모습으로 우리에게 다가올지에 대한 혜안을 제공하고자 하였다.

• 인터넷정보학회논문지
• /
• 제23권6호
• /
• pp.27-37
• /
• 2022

디지털 통신 환경 기술이 다양화되고 네트워크 이용 접근성이 높아지고 있으며 보안이 중요한 방산업체, 국방 관련 기관 등 국가의 안보에 관련된 다양한 환경에서 가상 사설망 서비스를 사용한다. 하지만 기술에 발전에 따라 매년 가상 사설망의 취약점을 통한 공격이 증가하고 있다. 본 논문은 가상 사설망에서 발생 가능한 잠재적 취약점 및 신규 취약점에 대해 대비하기 위해 STRIDE 위협 모델링을 통해 보안 요구사항을 도출하였다. STRIDE 위협 모델링은 위협을 총 6가지 범주로 그룹화 위협을 체계적으로 식별한다. 이를 적용하기 위해 가상 사설망의 기능을 분석하고 가상 사설망 서비스가 이루어지는 동안의 자료 흐름도를 생성하였다. 그 후, 가상 사설망에서 발생 가능한 위협을 수집하고 이를 기반으로 STRIDE 위협 모델링을 분석했다. 생성한 가상 사설망의 자료 흐름도는 총 96개의 STRIDE 위협으로 분류되며, 실제 취약점 리스트와 비교 분석하여 분류 결과를 구체화했다. 그 후 위협들의 공격 루트를 파악하기 위해 위협 시나리오를 작성했다. 본 논문은 작성된 시나리오를 기반으로 가상 사설망의 구성요소에 따른 총 30개의 보안 요구사항을 도출했다. 본 논문을 통해 국방부와 같이 보안이 중요한 시설에서 사용하는 가상 사설망의 보안 안정성을 높일 수 있는 보안요구사항을 제시한다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2004년도 ICCAS
• /
• pp.383-388
• /
• 2004

This paper presents the aerodynamic coefficient modeling with a new model structure explored by Least Squares using Modulating Function Technique (LS/MFT) for an F-16XL airplane using wind tunnel data supplied by NASA/LRC. A new model structure for aerodynamic coefficient was proposed, one that considered all possible combination terms of angle of attack ${\alpha}$(t) and ${\alpha}$(t) given number of harmonics K, and was compared with Pearson's model, which has the same number of parameters as the new model. Our new model harmonic results show better agreement with the physical data than Pearson's model. The number of harmonics in the model was extended to 6 and its parameters were estimated by LS/MFT. The model output of lift coefficient with K=6 correspond reasonably well with the physical data. In particular, the estimation performances of four aerodynamic coefficients were greatly improved at high frequency by considering all harmonics included in the input${\alpha}$(t), and by using the new model. In addition, the importance of each parameter in the model was analyzed by parameter reduction errors. Moreover, the estimation of three parameters, i.e., amplitude, phase and frequency, for a pure sinusoid and a finite sum of sinusoids- using LS/MFT is investigated.

• 한국시뮬레이션학회논문지
• /
• 제17권3호
• /
• pp.45-51
• /
• 2008

개전 초,적군은 다양한 화력지원수단을 이용하여 아군의 핵심시설 파괴를 기도할 것이다. 이러한 화력지원수단 중 포병은 가장 큰 비중을 차지하고 있다. 갱도포병은 생존성 측면에서 아군에 비해 월등한 우세를 점하고 있어 아군에게 큰 위협요소로 판단된다. 갱도포병을 타격하는 연구는 지금까지 군 내부의 연구를 통해서 발전해 왔다. 그러나 이러한 연구의 대부분이 정성적인 분석방법으로 이루어져 객관적이지 못하고 다양하지 못한 방법이라는 한계를 지니고 있다. 이에 본 연구에서는 아군이 생존성의 약점을 극복하기 위하여 갱도포병이 갱도 출구를 개방하고 사격을 개시하기 전에 타격하는데 초점을 맞추고 갱도 포병을 타격하기 위한 정량적인 분석 방법으로 DEVS를 이용한 시뮬레이션 연구를 수행하고자 한다.

• 대한기계학회논문집A
• /
• 제32권1호
• /
• pp.83-90
• /
• 2008

Taekwondo is a martial art form and sport that uses the hands and foot for attack and defense. Taekwondo basic motion is composed of the breaking, competition and poomsea motion. In the side kick among the competition motion, the impact force is larger than other kinds of kicks. The side kick with the front foot can be made in two steps. In the first step, the front foot is stretched forward from back stance free-fighting position. For the second step, the rear foot is followed simultaneously. Then, the kick is executed while entire body weight rests on the rear foot. In this paper, impact analysis of the human model for hitting posture is carried out. The ADAMS/LifeMOD is used in hitting modeling and simulation. The simulation model creates the human model to hit the opponent. As the results, the dynamic analysis of human muscle were presented.

• Wind and Structures
• /
• 제29권6호
• /
• pp.471-488
• /
• 2019

Wind pressure is a critical argument for the wind-resistant design of structures. The attempt, however, to explore the wind pressure field on buildings still encounters challenges though a large body of researches utilizing wind tunnel tests and wind field simulations were carried out, due to the difficulty in logical treatments on the scale effect and the modeling error. The full-scale measurement has not yet received sufficient attention. By performing a field measurement, the present paper systematically addresses wind pressures on the rectangular attic of a double-tower building. The spatial and temporal correlations among wind speed and wind pressures at measured points are discussed. In order to better understand the wind pressure distribution on the attic facades and its relationship against the approaching flow, a full-scale CFD simulation on the similar rectangular attic is conducted as well. Comparative studies between wind pressure coefficients and those provided in wind-load codes are carried out. It is revealed that in the case of wind attack angle being zero, the wind pressure coefficient of the cross-wind facades exposes remarkable variations along both horizontal and vertical directions; while the wind pressure coefficient of the windward facade remains stable along horizontal direction but exposes remarkable variations along vertical direction. The pattern of wind pressure coefficients, however, is not properly described in the existing wind-load codes.

• 한국통신학회논문지
• /
• 제28권5B호
• /
• pp.489-499
• /
• 2003

본 논문은 CPN(Colored Petri Nets)을 이용한 Honypot 모델의 설계 및 구현에 관한 것이다. 제안된 Honeypot 모델은 해커의 침입을 능동적으로 유도하고 침입을 탐지 및 행동패턴의 파악을 위해 보안커널 모듈과 유도된 해커의 활동을 위한 가상 모듈로 구성되어 있으며, CPN을 이용한 모델과 기존의 Denning 모델 및 Shieh 모델과 비교 분석하였다. 본 논문에서 제안된 CPN을 이용한 Honeypot 모델은 침입패턴의 특성에 대한 분류가 가능하고, 침입패턴의 모델링과 패턴매칭 과정의 모델링이 가능하며. 다중 호스트를 통한 DDoS 공격의 탐지가 가능하고, 마지막으로 침입패턴의 분석을 위한 학습모델의 기반 제공이 가능하다.

• 한국추진공학회:학술대회논문집
• /
• 한국추진공학회 2017년도 제48회 춘계학술대회논문집
• /
• pp.266-267
• /
• 2017

본 연구에서는 중첩된 두 비행물체에서 단분리 시 일어나는 주위 유동장 해석에 초점을 맞춰 해석을 수행하였다. 수치적인 해석을 위하여 정지된 비행체에서 분리되는 실린더 형태의 부스터를 중첩격자를 이용하여 모델링 하였으며 상용해석코드인 CFD-FASTRAN$^{TM}$을 사용하여 계산하였다. 실제 현상을 모사하기 위하여 경계조건 및 외력을 도출하였으며 각 비행조건에 따른 부스터 분리 시 주위 유동장 해석을 수행하였다. 단분리 시의 비행속도와 받음각 조건에 대한 해석결과를 이용하여 실제 분리 현상을 모사할 수 있는 수치적인 경계조건을 파악하고 안전한 단분리 예측에 본 연구결과를 활용하고자 한다.