• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제1권3호
• /
• pp.205-218
• /
• 2012

차세대 무선 네트워크에서 MN의 글로벌 로밍을 효율적으로 지원하기 위해서는 원활한 핸드오버와 MN의 이동성관리는 매우 중요하다. IETF가 모바일 IPv6와 보다 확장된 IP 계층에서의 이동성관리를 제안하였지만 트래픽 특성 및 사용자의 MN에 따라 크게 좌우된다. 그러므로 이러한 요인에 관해 심도있는 성능을 평가하는 것이 중요하다. 일반적으로 IPv6 기반 이동성관리 프로토콜의 성능은 시뮬레이션을 통해 평가하는데 본 논문에서는 IPv6 기반 이동성관리 프로토콜의 성능을 평가하는 분석 프레임워크를 제안한다. 서브넷 체류 시간, 패킷 도착률과 무선연결 지연 등 시스템 매개변수들의 수학적 분석을 이용하여 핸드오프 지연, 패킷 손실에 대한 성능평가를 수행하고, 분석 결과를 통해 네트워크 매개변수와 성능분석 수치간의 상관관계를 제시한다.

• 정보교육학회논문지
• /
• 제12권2호
• /
• pp.195-202
• /
• 2008

로봇을 이용한 프로그래밍 학습은 획일적이고 정형화된 기존 교육환경에서 벗어나 미래사회의 창의적 학습을 미리 경험할 수 있으며 수학 및 과학의 가장 기초가 되는 알고리즘을 이해하고 향상시키는데 가장 적절한 학습방법이다. 본 연구에서는 초등학생들이 로봇프로그래밍 시 나타날 수 있는 오류의 유형들을 제안하였으며 학습을 위한 교육과정을 개발한 후 초등학생 5, 6학생들을 대상으로 로봇프로그래밍 학습을 시켰다. 학습과정에서 발생한 오류들을 수집하고 분류하였으며 또한, 기존 연구된 컴퓨터기반 프로그래밍언어와 비교 분석하였다. 본 연구에서의 로봇프로그래밍 실행경험을 통해 컴퓨터기반 프로그래밍에서 창의성학습에 큰 장애요소로 평가된 오류요소들 즉, 프로그램사용 미숙으로 인한 오류, 단순한 오타, 문법오류 그리고 코딩실수 등을 전체 오류의 약 21%로 나타나 기존 컴퓨터기반 프로그래밍언어 학습에서 조사된 오류비율(약 53%)에 비해 현저하게 줄어드는 것으로 분석되었다. 이러한 오류의 감소는 초등학생들의 흥미도와 성취도 향상을 위한 주요요소로 판단된다. 따라서, 학습과정에서 보다 많은 논리 및 문제해결을 위한 요소들에 노출되어 있어 창의성 알고리즘 학습에 매우 효과적임을 알 수 있다.

• 대한교통학회지
• /
• 제17권2호
• /
• pp.83-90
• /
• 1999

신호화 간선도로에서 연동신호계획의 효율성이 간선도로 교통운영의 핵심사안이다. 본 논문에서는 연동화 신호시간계획의 우수성을 평가하는 컴퓨터 알고리즘을 제시한다. 링크내에서 이동하는 차량군의 동적 특성과 옾셑값의 변화에 민감한 지체도의 산정이 수학모형의 중요부분이다. 개발되는 알고리즘의 이론적인 배경은 Michalopoulos의 해석적 모형에 기반을 두고 있는데, 이 모형을 다양한 교통조건이나 신호조건에 적용되도록 하는 실용화 과정이 본 논문에 기술되어 있다. 제시된 알고리즘에 대하여 옾셑값의 변화에 따른 지체도의 민감도 평가를 실시하였다. 평가를 통하여 본 알고리즘은 교통수요, 링크길이, 회전교통량비율과 같은 교통조건의 변화에 따라 적절한 민감도와 추정력을 보이는 것으로 판단되었다.

• 산업융합연구
• /
• 제21권8호
• /
• pp.51-58
• /
• 2023

최근 블록체인은 트릴레마를 해결하기 위해 이상적인 분산 신뢰 네트워크를 설계하려고 노력했다. 그러나 일부 국가간 분쟁으로 에너지 분배의 불균형이 발생했고, 현재 비트코인과 같은 블록체인 네트워크가 거래와 채굴을 위해 엄청난 에너지를 소비하고 있다. 기존 연구인 데이터 볼륨 기반 신뢰 모델은 루빈 방식의 신뢰 모델보다 증가하는 블록체인 크기를 더 잘 평가했다. 본 논문에서는 성장하는 블록체인 네트워크의 존속시간, 블록체인 크기 및 거래를 위해 소모된 에너지를 고려하여 블록체인 네트워크의 지속 가능성을 평가하는 확장성 기반 에너지 모델을 제안한다. 또한 수학적 분석을 통해 제안 모델과 기존 모델에 대한 만족도와 최적의 블록체인 크기를 비교한다. 그러므로 제안된 확장성 기반 에너지 모델은 트릴레마를 해결하고 지속 가능성을 검증하는 적절한 블록체인 네트워크를 선택할 수 있는 평가 툴을 제공할 것이다.

• 한국전자통신학회논문지
• /
• 제15권6호
• /
• pp.1105-1112
• /
• 2020

1차원 3-이웃 셀룰라 오토마타(Cellular Automata, 이하 CA) 기반의 의사난수 생성기는 시스템의 성능을 평가하기 위한 테스트 패턴 생성과 암호 시스템의 키수열 생성기 등에 많이 응용되고 있다. 본 논문에서는 더 복잡하고 혼돈스러운 수열을 생성할 수 있는 CA기반의 키 수열 생성기를 설계하기 위해 각 셀의 상태전이에 영향을 주는 이웃을 5개로 확장한 1차원 대칭 5-이웃 CA에 대해 연구한다. 특히 대칭 5-이웃 CA를 합성하기 위해 Krylov 행렬을 이용하는 대수적인 방법과 Cho et al.의 알고리즘을 기반으로 한 1차원 n셀 대칭 5-이웃 CA 합성 알고리즘을 제안한다.

• 정보교육학회논문지
• /
• 제20권3호
• /
• pp.243-254
• /
• 2016

본 연구는 PISA 2012 문제해결력 평가 문항 중 이산수학의 그래프 이론이 적용된 'TRAFFIC' 문항을 바탕으로 총 19문항의 최단경로 탐색 검사 도구를 제작했고, 웹기반 컴퓨터 평가로 정보영재학생과 일반학생을 대상으로 실시했다. 컴퓨터는 일상의 문제를 해결하는 과정에서 없어서는 안 될 중요한 기기이자 평가의 기반이 되는 매체로 자리 잡았고, 정보영재학생은 컴퓨터를 통해 문제를 해결할 수 있어야 하고, 컴퓨터가 절차를 수행할 수 있는 분명한 명령을 내려줄 수 있어야 한다. 또한, 컴퓨팅 사고가 어느 분야든 영향을 미치는 시대이기 때문에 학생들에게 새로운 교육적 자극을 줘야 한다. 최단경로 탐색 과정을 통해 문제해결에 걸린 시간과 정답률 간의 상관관계를 찾을 수 있었고, 노드와 엣지의 증가로 문항의 곤란도가 높아짐에 따라 노드가 문제해결에 영향을 크게 미치는 것을 찾을 수 있었다. 또한, 정보영재학생의 문제해결 과정에서 알고리즘적 사고 과정을 볼 수 있었고, 정보영재학생의 인지적 특성인 '효율화 능력'과 '정보구조 기억력'을 확인할 수 있었다.

• 한국항해학회지
• /
• 제25권4호
• /
• pp.443-453
• /
• 2001

선박조종시뮬레이터는 해기사의 교육 훈련, 항만 수로 설계 시 안전성 평가, 선박설계시 조종성능의 검토등으로 널리 활용되고 있다. 본 논문은 최근 한국해양대학교에서 개발한 선박조종시뮬레이터를 소개하고 개발 과정과 활용에 대하여 논의한다. 본 시뮬레이터는 Operation Panel, Instructor's Console, Ship Dynamics Calculation, 3D Bridge View, 2D Bird's Eye View 및 Navigational Indicators의 6구성요소로 이루어져 있으며, 이를 위해 8대의 퍼스널 컴퓨터가 배치되어 있다. 모든 구성요소들은 효율적인 정보 교환을 위하여 분산처리네트워크 방식으로 연결되어 있다. 또한, 본 논문은 항만내에서의 저속 시 조종운동 수학모델과 가상현실 모델링에 대해서도 논의한다. 마지막으로, 부산항에 대한 2축2타선박의 접안 조종 시뮬레이션 예를 보여주고 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2008년도 춘계학술발표대회
• /
• pp.991-994
• /
• 2008

네트워크 이동성(Network Mobility: NEMO)은 하나 이상의 서브넷으로 이루어진 전체 네트워크가 인터넷 접속점을 동적으로 변화하여 네트워크 접근성도 변화하는 환경을 말한다. 이러한 환경에서 경로 최적화를 위한 여러 프로토콜들이 존재하지만 그중 Prefix Delegation 기법은 다른 기법들에 비해 다방면에서 우수하다. 그러나 본질적으로 바인딩 갱신 스톰(storm) 문제를 수반하기에 NEMO 환경에서의 바인딩 갱신 비용을 최소화 하기위한 연구가 대두하였다. 본 논문에서는 바인딩 갱신 비용의 최소화를 위하여 바인딩 갱신 시 멀티캐스트 기법을 적용하였으며, 경로 최적화 프로토콜은 Prefix Delegation 기법 중 바인딩 갱신 비용을 효율적으로 고려한 IPD[1]를 가정하였다. 성능평가를 위해서 수학적 모델링을 적용하였으며, 본 모델을 통하여 기존 방법들에 비하여 상당한 비용절감 효과를 얻을 수 있음을 보인다.

• 한국컴퓨터정보학회논문지
• /
• 제19권5호
• /
• pp.1-10
• /
• 2014

제시된 기법은 실시간 태스크들의 데드라인들을 만족하고 또한 기본-백업 태스크 모델을 사용하여 영구 결함을 포용하면서 멀티코어 프로세서의 에너지 소모량을 최소화하도록 태스크들을 스케줄링한다. 기존의 방법들이 기본 태스크와 백업 태스크의 중복 수행 시간을 최소화하도록 태스크들을 스케줄링했지만, 제시된 기법에서는 코어 속도를 최대한 줄이기 위해서 기본 태스크와 백업 태스크의 중복 수행 시간을 최대화하여 에너지 소모량을 감소시켰다. 제시된 기법이 에너지 소모량을 최소화시킴을 수학적으로 분석하였고, 또한 성능평가 실험을 통해서 제시된 기법이 기존 방법의 에너지 소모량을 최대 77%까지 감소시킴을 보였다.

• 정보보호학회논문지
• /
• 제33권3호
• /
• pp.383-389
• /
• 2023

양자 컴퓨터의 발전 및 Shor 알고리즘, Grover 알고리즘과 같은 양자 알고리즘의 등장으로 인해 기존 암호의 안전성은 큰 위협을 받고 있다. 양자 알고리즘은 기존 컴퓨터에서 오랜 시간이 걸리는 수학적 작업을 효율적으로 할 수 있게 해준다. 이 특성은 수학적 문제에 의존하는 현대 암호 시스템이 깨지는 시간을 단축시킬 수 있다. 이러한 알고리즘을 기반으로 하는 양자 공격에 대비하기 위해서는 기존 암호를 양자회로로 구현해야 한다. 이미 많은 암호들은 양자회로로 구현되어 공격에 필요한 양자 자원을 분석하고 암호에 대한 양자 강도를 확인하였다. 본 논문에서는 LED 경량 블록암호에 대한 양자회로를 제시하고 양자회로의 각 함수에 대한 설명을 진행한다. 이후LED 양자회로에 대한 자원을 추정하고 다른 경량 블록암호와 비교하여 평가해보도록 한다.