• 한국항공우주학회지
• /
• 제34권1호
• /
• pp.110-115
• /
• 2006

과학기술위성2호(STSAT-2)는 우리기술에 의해 만들어지는 KSLV 발사체에 실리는 첫 위성이다. 현재 STSAT-2의 관제를 위한 지상관제용 제어시스템(GBC)은 EM(Engineering Model)개발이 완료되어 성능검증 까지 마친 상태이며 최종 납품모델을 제작 중에 있다. GBC는 크게 2가지 기능을 가지는데 하나는 지상 수신안테나들(1.5M, 3.7M, 13M)과 관제컴퓨터들 사이에 연결패스를 자동으로 만들어 주는 것과 다른 하나는 위성과 데이터를 송수신 하는 것이다. GBC는 거의 모든 기능 (MODEM, PROTOCOL, GBC system control)을 FPGA에 담고 있다. GBC의 FPGA에 구현되어있는 MODEM은 두 개의 uplink FSK modulators(1.2[kbps], 9.6[kbps])와 여섯개의 downlink FSK demodulators(9.6[kbps], 38.4[kbps])로 구성되어있다. 과학기술위성 2호의 GBC는 물리적으로 과학기술위성 1호의 관제 시스템보다 매우 작아졌으며 기능은 더 풍부해진 특징을 가지고 있다. 이 논문은 GBC의 구조, 성능, 실험결과에 관한 것이다.

• 한국지능시스템학회논문지
• /
• 제22권5호
• /
• pp.617-623
• /
• 2012

본 논문에서는 4족 로봇의 허리 관절을 이용하여 효율적인 경사면 보행을 위한 걸음새 생성 방법을 제안한다. 허리 관절을 갖는 4족 로봇의 기구학적 모델은 Denavit-Hartenberg 표현 방법과 대수적 방법을 이용하여 유도하고, 다리 이동 순서는 물결 걸음새(wave gait)를 사용한다. 한편 제안한 걸음새 생성 방법에서는 기구적 제한과 보폭의 감소를 완화하기 위해 경사면의 경사도에 따라 적절한 상체 및 하체의 허리 관절각을 결정하고, 에너지 안정도 여유(energy stability margin)를 증가시키기 위해 도달 영역(workspace)의 탐색을 통해 발끝 위치를 결정한다. 마지막으로, 컴퓨터 모의 실험을 통해 본 논문에서 제안한 알고리듬의 효용성 및 실제 적용 가능성을 검증한다.

• 정보보호학회논문지
• /
• 제27권5호
• /
• pp.1001-1011
• /
• 2017

격자 기반 암호는 양자 컴퓨터 공격에 대응 가능한 포스트 양자 암호 중 하나로 알려져 있다. 그 중 ring-LWE 문제는 LWE의 대수적 변종으로 벡터 대신 환(ring)의 원소를 이용한다. 포스트 양자 암호라 할지라도 실제 디바이스에 이를 적용 할 때 부채널 분석 취약점이 존재한다는 것은 이미 알려져 있다. 실제 2016년 Park 등은 Roy 등이 제안한 NTT를 이용한 ring-LWE 기반 공개키 암호시스템의 SPA 취약점을 보고했으며, Reparaz 등은 Roy 암호에 대한 DPA 공격 및 대응법을 2015년과 2016년에 제안하였다. 본 논문에서는 Roy 암호에 대하여 Park 등이 제안한 선택 암호문 SPA 공격이 NTT를 적용하지 않은 Lyubashevsky 암호의 경우에도 동일하게 적용 가능함을 보인다. 또한 선택 암호문 SPA 공격에 안전한 대응기법을 제안한고 실험적으로 안전성을 검증한다.

• 정보보호학회논문지
• /
• 제31권3호
• /
• pp.517-526
• /
• 2021

최근 양자 컴퓨터의 개발이 가속화되면서 기존 인터넷 환경에서 사용되고 있는 인수분해 및 이산대수 기반의 전자서명 기법들의 안전성에 대한 문제가 제기되고 있다. 이에 대응하기 위해 미국 국립표준기술연구원(NIST)의 표준화 작업을 비롯하여 양자 컴퓨팅 환경에서 안전한 여러 가지 전자서명 기법들이 제시되고 있다. 본 논문에서는 2018년 Behnia 등이 CCS 컨퍼런스에서 발표한 TACHYON 전자서명 기법을 이용한 다중 서명 기법을 설계하여 제시하고, 안전성을 증명하고자 한다. 다중 서명 기법은 최근 많은 관심을 받고 있는 암호화폐 분야에서 전자지갑의 개인키 의존도를 분산하여 보다 안전한 전자지갑 시스템을 구성할 수 있는 핵심 기술로, 최근 많은 연구자들과 개발자들이 관심을 갖고 있는 전자서명 응용 분야이다. 본 논문에서 제시하는 다중 서명 기법은 일반 공개키 모델(plain public key model)에서 공개키 결합(public key aggregation)이 가능한 기법으로, 부가적인 영지식 증명(zero-knowledge proof) 기법이 필요하지 않으며, 결합 된 단일 공개키만으로 효율적인 시스템을 구성할 수 있는 기법이다.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제3권9호
• /
• pp.279-292
• /
• 2014

에너지 절감형 서버 클러스터에서는 에너지절감을 고려하지 않는 기존 환경에서만큼의 서비스 품질을 보장하면서 전력소비를 최대로 절감하는 것이 목표이다. 에너지 절감형 서버 클러스터에 관한 기존 연구에서는 현재의 사용자요청을 처리하는데 필요한 최소한의 서버 대수를 계산하여 해당 서버만을 활성화하도록 서버 전원 모드를 일정주기마다 제어한다. 부하가 급격하게 변하는 상황에서는 서버 수를 빨리 증가하지 못하기 때문에 기존 연구에서는 서비스품질이 떨어진다. 이 문제를 해결하기 위해, 본 논문에서는 부하추세를 급증, 증가, 완만, 감소, 급감하는 5가지 상황으로 분류하여 필요한 서버 대수를 계산할 때 각 상황에 맞는 다중 임계치를 적용한다. 또한 부하추세를 5등급으로 나누는 기준을 서버가 부하를 추가로 감당할 수 있는 잔여용량에 따라 유연하게 조정하는 방법을 추가로 사용한다. 실험은 서버 15대로 클러스터를 구성하여 수행하였다. SPECweb이라는 전문 벤치마킹 툴을 이용하여 부하가 급격하게 변화하는 패턴들을 생성하여 사용하였다. 실험 결과는 서비스품질은 에너지절감을 고려하지 않는 기존의 클러스터링 방식 수준으로 향상되었으며, 소비전력은 부하 패턴에 따라 최대 약 50% 절감되었음을 보여준다.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제4권2호
• /
• pp.47-56
• /
• 2015

에너지 절감형 서버 클러스터 환경에서는 서버 전원 모드가 부하상황에 따라 제어된다. 다시 말하면 현재 부하를 처리하는 데 필요한 대수의 서버들만 ON하고 나머지 서버들은 OFF한다. 이 알고리즘은 정상적인 상황에서는 잘 동작하지만 부하가 급증 또는 급감하는 비정상적인 상황에서는 QoS를 보장할 수 없다. 왜냐하면 서버가 OFF에서 ON으로 바뀌는 데 필요한 지연시간 때문에 ON 서버 대수를 당장 증가시킬 수 없기 때문이다. 본 논문에서는 정상적인 상황뿐만 아니라 비정상적인 상황에서도 QoS를 향상시키는 새로운 소비 전력 예측 알고리즘을 제안한다. 제안된 예측 알고리즘은 기존 시계열 분석에 기반한 예측과 추세를 반영한 예측 조정의 두 부분으로 구성된다. 15대의 서버 클러스터를 이용하여 실험이 수행되었고, 4가지 유형의 기존의 시계열 예측 모델과 본 논문에서 제안하는 4가지 유형의 수정된 모델에 대해 성능을 비교하였다. 실험 결과 4가지 유형 중 추세조정 지수평활법(ESTA)과 본 논문에서 제안된 ESTA(MESTA)가 표준화된 QoS 및 단위전력당 좋은 응답수 측면에서 가장 우수한 성능을 보였으며, 또한 본 논문에서 제안한 MESTA 알고리즘이 기존의 ESTA 알고리즘에 비해 가상 부하패턴과 실제 부하패턴에 대해 QoS가 7.5%, 3.3% 각각 향상됨을 보여주었다.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제5권10호
• /
• pp.327-330
• /
• 2016

다수의 차량이 주행하는 도로 환경에서 차량들을 플라툰(platoon) 단위로 형성하면 도로의 수용 가능 차량 대수(도로 용량)가 증가할 뿐만 아니라 운전자의 운전 편의성이 제고될 수 있다. 기존 차량 플라툰 방식에서는 일부 한정된 차량들로 플라툰을 형성하고 그 중에서 특정 차량을 플라툰 리더(leader)로 지정한다. 이와 같은 플라툰 방법의 경우 플라툰에 참여 가능한 차량이 제한적이기 때문에 플라툰이 도로 용량 증가에 기여하는 것이 제한적이다. 따라서 본 논문에서는 임의의 차량이 플라툰 리더가 될 수 있도록 허용하며, 플라툰 리더로 선정된 차량을 기준으로 플라툰을 적응적으로 형성하는 방법을 제안한다. 제안 방식에서는 차량 간 주기적인 비콘(beacon) 메시지 교환을 통해 획득한 주변 차량의 상대 속도 및 위치 정보를 이용해서 플라툰 리더를 선정한다. 도로 용량 증대 측면에서 제안 방식의 성능을 NS-3 기반의 시뮬레이션을 통해 입증한다.

• 한국산학기술학회논문지
• /
• 제11권8호
• /
• pp.3045-3052
• /
• 2010

국제 표준 디지털 서명 알고리즘인 DSA(Digital Signature Algorithm)는 이산 대수 문제에 기반하여 이론적 안전성을 보장하지만 최근 서명 시스템 구동시 오류가 주입되면 디바이스 내부에 있는 비밀키를 노출시킬 수 있는 물리적 공격이 제시되었다. 본 논문에서는 Bao 등이 제시한 DSA의 비밀키 비트에 오류를 주입하는 오류 공격법을 소개하고, 서명에 사용되는 랜덤 수에 오류를 주입하는 새로운 공격 모델을 제안한다. 또한, 오류 확산 기법을 이용하여 두 가지 오류주입 공격을 모두 방어할 수 있는 대응책을 제시하고 컴퓨터 시뮬레이션을 통해 그 안전성과 효율성을 검증한다.

• 한국학교수학회논문집
• /
• 제18권2호
• /
• pp.223-240
• /
• 2015

본 논문의 목적은 미적분에 관한 보충학습을 요하는 이공계 대학생들을 위하여 공업수학의 벡터미적분 교육을 중심으로 개념적 이해와 계산 과정의 단계별 풀이를 보여주는 웹 기반 이러닝 콘텐츠를 설계 및 개발하는 것이다. 이를 위하여 먼저 수학교육용 소프트웨어에 관한 고찰을 하였으며 학교 수학에서 등장하는 문제해결의 과정을 규칙 재작성으로 처리함으로써 화이트박스 형태의 콘텐츠 제작에 관한 이론적 토대를 살펴보았다. 구체적으로 Mathematica의 패턴 매칭을 이용하여 미분과 적분 연산자를 구현하였고, 이를 벡터미적분에서 등장하는 매개변수화된 곡선에 대한 길이 구하기 문제에 적용함으로써 콘텐츠 개발의 예를 제시하였다. 튜토리얼 형태로 개발된 이러닝 콘텐츠는 단계별 풀이 과정이 나오는 실습하기 콘텐츠와 퀴즈 문제를 통하여 학습자의 과정을 진단해 주는 형성평가 모듈로 구성되었다. 끝으로 개발된 이러닝 콘텐츠의 특징과 이공계 대학생들의 수학에 관한 기초학력을 증진하는데 활용될 수 있는 장점을 살펴보았으며 향후 연구 방향을 제시하였다.

• 한국정보통신학회논문지
• /
• 제12권9호
• /
• pp.1539-1546
• /
• 2008

현대 사회에서 차량은 사람과 물류를 이동시키는 주요한 역할을 담당하고 경제활동에서 필수적인 매체로 사용되고 있으며 그 대수와 이용가치가 날로 증가하는 추세에 있다. 하지만 차량 이용자의 편의성과 관리체계는 기술발전에 비해 아주 미흡한 실정이다. 본 논문에서는 현재 세대 당 1대 정도로 보유하고 있는 차량 이용자가 경유하는 행정 프로세스의 여러 경로를 우선 탐색하고 분산되어 있는 정보이용 체계를 구체화 한다. 또한, RFID를 활용한 Ubiquitous 기술과 자가 광통신망을 활용하여 각종 차량등록정보시스템을 구축한다. 특히, 차량을 관리하는 각종 행정기관 등의 중간 이용과정에서 폐차까지의 활용주기 전체를 일원화하고 첨단방식으로 관리 할 수 있는 차량정보 공동관리 모델을 개발한다. 아울러 자동차와 관련되어 다양하게 출시되고 있는RFID 활용분야의 중복 투자 방지와 표준화 추진을 위한 차량문화 선진화 정책 방안을 제시한다.