• 한국인터넷방송통신학회논문지
• /
• 제10권3호
• /
• pp.111-119
• /
• 2010

오늘날 무선 기술의 급속한 발전으로 인해 복수개의 액세스 인터페이스를 갖는 이동단말들이 나타나고 있다. 최근 WLAN이 근거리 통신을 위해 많은 가정과 기업에서 사용되고 있으며, WiMAX 또한 장거리 데이터 전달을 위한 무선 표준으로 부각되고 있다. 따라서 이기종 무선망간에 멀티미디어 데이터를 전달하기 위한 효율적인 접속 방안 연구가 필요하다. 본 논문에서는 WiMAX와 WLAN 인터페이스를 갖고 모바일 IP를 이용해 두 망사이를 이동할 수 있는 멀티홈드 노드의 시뮬레이션 모델과 환경을 개발하였다. 개발된 모델을 검증하기 위해 단방향/양방향 UDP 패킷, FTP 트래픽, SIP 프로토콜을 이용한 음성 전송 등과 같은 다양한 트래픽 환경하에서 여러가지 시뮬레이션 시나리오 즉, WiMAX와 WLAN 망간 이동, 그룹 이동성, MANET, 중첩 모바일 IP 등을 설계하고 구성하였으며, 시뮬레이션 결과를 분석함으로써 개발된 모델이 다양한 무선망 접속 시나리오에서의 이동성 연구에 효율적임을 보였다.

• 한국정보과학회논문지:정보통신
• /
• 제28권3호
• /
• pp.321-335
• /
• 2001

무선 네트워크의 사용이 증가함에 따라 IETF에서는 Mobile-IP 프로토콜을 이용하여 이동성을 제공하기 위한 방안을 제시하고 있는데, 무선 환경은 외부에 노출되기 쉽기 때문에 안전한 통신을 보장할 수 있어야 한다. IETF의 워킹 그룹은 비밀키 기반 인증 메커니즘, 공개키 기반 인증 메커니즘, 최소 공개키 기반 인증 메커니즘을 제안하고 있으나 각각 확장성, 효율성, 부인방지 서비스 문제로 실제 적용되기에 어려운 상황이다. 본 논문에서는 인증을 위하여 공개키를 사용하되 공개키를 최소로 사용하여 전체 인증 시간을 줄였으며, 이동 노드에게 전자서명을 함으로써 전자상거래와 같이 보안이 중요한 시스템이 있는 네트워크에서 위치 등록에 대한 부인방지 서비스를 제공하였다. 시뮬레이션을 위해 SDL을 이용하였으며 시뮬레이션 결과를 통해 제안된 인증 메커니즘의 전체 등록 시간이 짧다는 것을 확인할 수 있었다. 특히 이동 노드에서의 계산 비용 감소는 이동 노드가 가진 전력 제약 문제를 해결하였다. 제안된 인증 메커니즘은 Mobile-IP가 실제로 사용되는 매크로 셀 환경에서 보다 효율적으로 작동한다.

• 스마트미디어저널
• /
• 제8권4호
• /
• pp.38-45
• /
• 2019

회전익 드론의 후류에서 발생하는 강한 유동과 살포되는 농약 노즐에서의 스프레이 유동이 동반될 경우, 극심한 기체의 요동과 함께 액적 유동은 바람의 영향을 크게 받게 된다. 특히 액적은 공기역학적인 항력의 영향을 받기 때문에 단순한 제자리 비행과는 달리 전진 비행을 할 경우 또는 측풍을 받고 있을 경우, 살포 영역에 큰 변화가 발생한다. 이로 인하여 드론을 활용한 농약살포에는 보다 큰 비산의 위험성이나 위치간의 낙하분산에 차이가 커져 효율성이 떨어질 수 있는 문제가 생긴다. 따라서 적절한 수치 모델링과 이를 적용한 전산 시뮬레이션을 통하여 다양한 비행 및 대기 조건을 적용할 수 있는 예측 도구가 필요하다. 본 연구에서는 로터에서 나오는 강한 하풍과 드론의 비행속도에 따른 액적 유동 특성에 대해 실험 및 수치해석을 진행하였으며, 액적이 분포하는 확률밀도함수를 구하여 서로 비교함으로써 농약살포용 드론에서 액적을 살포할 시 효율성을 증진시킬 수 있는 분사 시스템을 구축하고자 한다.

• 한국시뮬레이션학회논문지
• /
• 제19권1호
• /
• pp.125-131
• /
• 2010

무선 센서 네트워크 응용 분야에서, 센서 노드는 광범위하고 열린 공간에 무작위로 배치된다. 센서 네트워크의 이러한 특징 때문에, 센서 네트워크는 공격자에 의한 노드의 포획과 획득한 노드를 사용하여 네트워크의 허위 보고서를 삽입하는 등, 물리적 공격에 취약하다. 이러한 네트워크 보안 위협은 삽입된 허위 보고서를 이용하여 전체 네트워크의 한정된 에너지를 고갈시킨다. 동적 여과 기법은 네트워크에 삽입된 허위 보고서를 탐지하고 제거하기 위해서 제안되었다. 이 기법에서, 센서 노드는 탐지성능을 향상시키기 위하여 배치 후 인증키를 재분배한다. 빈번한 인증키 재분배는 노드의 한정된 에너지의 소모를 유발할 수 있으므로 인증키 재분배의 결정은 매우 중요하다. 본 논문에서는 네트워크의 탐지 성능을 유지하고 에너지 효율을 높이기 위한 인증키 재분배 결정 방법을 제안한다. 각 노드는 일정한 주기에 맞추어 퍼지 시스템을 사용하여 인증키 재분배 여부를 결정한다. 제안 기법은 허위 보고서의 이른 탐지를 보장하고, 그 결과로 허위 보고서 삽입 공격에 대한 에너지 효율성을 보인다.

• 정보처리학회논문지C
• /
• 제17C권4호
• /
• pp.371-378
• /
• 2010

본 논문에서는 센서 네트워크에서 데이터 전송을 위한 경로선택 시 남아있는 에너지가 많은 노드 중에 최소 에너지를 소모하는 경로를 선택함으로써 망의 수명을 연장하고 에너지 효율을 높일 수 있는 새로운 라우팅 알고리즘을 제안한다. 제안 알고리즘의 기본 목표는 다수의 경로간에 에너지 소비를 고르게 분포시키며 에너지를 효율적으로 활용하는 것이며, 에너지 상태정보로는 각 노드의 가용에너지 양과 홉 수를 사용된다. 또한 이웃 노드의 에너지 저하로 인해 관리 노드로의 가용 정보경로가 상실된 경우 간단한 우회 경로 탐색 방안을 제안하였고 이는 에너지 효율성 개선 방안으로 활용될 수 있다. 시뮬레이션을 통해 기존에 제안된 센서 네트워크 라우팅 알고리즘보다 망의 수명이 개선되고 각 노드의 잔류에너지 분포가 더 균일하여 망의 신뢰성이 높아짐을 보였다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2009년도 제40회 하계학술대회
• /
• pp.1879_1880
• /
• 2009

본 논문에서는 제어상황에 따라 Type-1 Fuzzy Logic Controller가 선택적으로 rule을 사용하도록 rule 선택 알고리즘을 제안 한다. 그리고 이를 통해 연산 효율성을 높이는 방법에 관해 논한다. Type-1 Fuzzy Logic Controller는 기존의 제어기에 비해 설계하기 쉽고 성능이 더 뛰어나다. 그러나 제어 변수가 많아질수록 rule의 개수가 늘어나 연산량이 증가하게 된다. 연산량이 많아지면 고성능의 컴퓨터에서는 실시간 연산에 문제가 없으나 산업용 micro controller에서는 실시간 연산을 구현하는데 한계가 발생한다. 본 논문에서는 Type-1 Fuzzy Logic System의 논리구조에 근거하여 Type-1 Fuzzy Logic Controller의 연산량을 감소시킬 수 있는 알고리즘을 제안한다. 제안한 알고리즘은 제어상황에 따라 필요한 rule들만 선택적으로 제어값 도출을 위한 연산에 관여하도록 한다. Matlab 시뮬레이션을 통해 제안한 알고리즘의 유용성과 연산량을 실험하였다. 실험대상은 2륜 이동로봇으로 하였고 step 응답과 전/후진 시 결과를 관찰하였다. 실험 결과 제안한 알고리즘이 기존의 Type-1 Fuzzy Logic Controller에 비해 제어상황에 따라 필요한 rule들만 선택적으로 사용하는 것을 확인하였다. 결과적으로 연산 효율성이 향상되었다.

• 컴퓨터교육학회논문지
• /
• 제14권5호
• /
• pp.1-8
• /
• 2011

본 연구에서는 전문계 고등학교 학생들의 알고리즘 시간효율성에 관한 개념 이해 수준을 확인하고 빈번하게 발생하는 오개념 유형들을 확인하고자 하였다. 선행연구에서 확인된 세 가지 유형의 오개념들을 토대로 9개의 오개념 측정 문항을 개발하였으며, 프로그래밍 관련 과목을 이수한 51명의 전문계 고등학교 학생들을 대상으로 조사를 실시하였다. 연구결과, 알고리즘 시간효율성에 관한 개념 이해도는 매우 낮은 수준으로 나타났으며, 견고하고 반복적으로 발생되는 여러 유형의 오개념들을 확인하였다. 마지막으로, 확인된 오개념들을 과학적 개념으로 변화시키기 위한 교육적 전략인 시뮬레이션 및 알고리즘 효율성 평가 틀의 활용 방안과 함께 교육과정 개선의 필요성을 제안하였다.

• 지능정보연구
• /
• 제10권3호
• /
• pp.91-103
• /
• 2004

다중 에이전트 시스템을 바탕으로 구축되는 시맨틱 웹 응용 프로그램은 에이전트 시스템이 제공하는 적절한 수준의 추상화에서 비롯되는 융통성을 유지하면서도 개발 및 운용의 효율성이 요구된다. 본 연구에서는 에이전트 수준의 추상화를 BDI 에이전트 구조를 기반으로 제공하면서 Java 기반 시스템의 효율성을 갖춘 새로운 에이전트 응용 프레임웍인 VivAce(Vivid Agent Computing Environment)를 소개하고 그 효율성을 대규모 에이전트 기반 시뮬레이션을 통하여 보인다. Vivid 에이전트는 소프트웨어에 의해 제어되는 시스템으로서 지식(knowledge), 지각(perception), 임무(task), 의도(intention)를 중심으로 상태(state)를 표현하며 활동(action)과 반응규칙(reaction rule)으로 행위(behavior)를 나타낸다. 본 논문에서는 먼저 에이전트 응용 프레임웍에 필요한 요소를 제시하고 이에 관련된 VivAce의 기능과 특징 및 이를 이용한 실험 결과를 제시한다.

• 한국시뮬레이션학회논문지
• /
• 제25권2호
• /
• pp.41-49
• /
• 2016

대화력전이란 전장인식, 지휘통제 그리고 정밀무기에 의해 달성되어 질 수 있는 고 반응성 타격체계를 포함하는 복합체계로서 특성 되어 질 수 있다. 현재의 모델링 방법론은 복합체계를 위한 적절한 방법론을 제공하지 못하고 있으며, 시간 소모적이고 많은 비용을 요구하는 모델링 시뮬레이션 도구들을 이용하고 있다. 본 연구에서는 대화력전 효과분석을 위한 시뮬레이션 분석 방법론 및 도구 개발을 설명하고, 그를 통해 어떻게 시간과 노력의 낭비를 최소화하여 분석실험을 실시함으로서 의사 결정을 효율적으로 지원해 줄 것인가를 제시하고 있다. 개발된 대화력전 시뮬레이션 분석 도구는 Enemy 블럭, ISR 블럭, C2 블럭, Shooter 블럭으로 이루어져 있으며, 시뮬레이션 비전문가나 도메인 전문가의 사용 편의성을 위해서 모델이 가지고 있는 각 파라미터뿐만 아니라 알고리즘을 사용자에 의해서 쉽게 변경할 수 있는 환경으로 구성되어져 있다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1992년도 제2회 정기총회 및 추계학술 발표회 발표논문 초록
• /
• pp.9-9
• /
• 1992

시뮬레이션(simulation)은 실 시스템(real system)의 효과적이고 효율적인 운영을 도모하기 위하여 실 시스템의 동작을 이해하고 분석, 예측, 평가하는 과학적인 문제해결 접근방법이다. 시뮬레이션 수행단계는 실 시스템의 행위를 정확히 반영하도록 타당한 모델을 구축하는 모델링 단계와 모델에 의도하는 명령어들을 컴퓨터 프로그램으로 작성하는 구현단계로 나누어진다. 시뮬레이션 모델은 시간, 상태, 확률변수, 상호규칙 등의 여러 관점에 따라 다양하게 존재하는데, DEVS(Descrete EVent system Specification) 모델은 연속적인 시간상에서 이산적으로 발생하는 사건에 따라 시스템의 상태를 분석할 수 있고 모델링 및 시뮬레이션 방법론의 형식화를 위한 견고한 이론적 기반을 제공하고 있다. 또한, DEVS 모델은 모듈적, 계층적 특성을 제공하고 집합론에 근거한 수학적 형식구조를 제공하여 실 시스템에 대한 체계적인 분석과정을 수행하게 되어 보다 현실적인 모델링을 가능하게 한다. 그러나 타당하지 못한 DEVS 모델이 구축되면 시뮬레이션을 통한 분석결과의 신뢰성이 떨어져 아무런 효과가 없고 경제적인 손실만이 따른다. DEVS 모델에 대한 기존의 타당성 검사가 많은 시간과 노력이 요구되고, 반복적인 DEVS 모델링 과정으로 인한 전문적이고 경험적인 지식을 요구한다. 또한, 모델설계자에 의해 설정된 실험 프레임하에서 DEVS 모델의 구성요소에 속하는 상태전이함수, 시간진행함수 및 출력함수에 대하여 commutative 성질의 보전성 검사가 어렵다는 문제점을 가지고 있다. 본 연구에서는 이와 같은 문제점을 해결하기 위하여, DEVS 모델에 대한 타당성 검사를 SPN(Stochastic Petri Net) 모델로 변환하여 SPN 모델을 이용하는 간단하고 효과적인 타당성 검사 방법을 제안한다. 먼저, DEVs 모델에 대한 개념과 기존의 DEVS 모델에 대한 타당성 검사 방법을 고찰하고 그 문제점에 대하여 자세히 설명한다. DEVS 모델의 타당성 검사에 이용하는 SPN 모델에 대한 개념과 DEVS 모델과 행위적으로 동등한 SNP 모델로 변환을 위한 관점을 제조명하다. 동일한 관점에서 두 모델의 상태표현이 같도록 DEVS 모델이 SPN 모델로 표현됨을 보이는 변환이론을 제시하고 변환이론을 바탕으로 모델 변환과정을 제시한다. 모델 변환이론과 변환고정을 기본으로 타당성 검사를 위한 새로운 동질함수(homogeneous function)를 정의하고 이와 함께 SPN 모델의 특성을 이용하여 DEVS 모델에 대한 타당성 검사 방법을 새롭게 제안한다.