• 정보처리학회논문지A
• /
• 제12A권5호
• /
• pp.395-404
• /
• 2005

컴퓨터 시스템의 내/외부에 침입(attacks), 고장(failures)이 발생되더라도 적절한 방법으로 중요한 임무에(mission-critical) 해당한 역할을 수행하는 능력의 척도로 정의되는 생존성(survivability)에 대한 관심이 커지고 있다. 특히, 침입에 의해 시스템 일부가 손상(partially compromised) 되더라도, 최소한의 필수 서비스를 지속적으로 제공할 수 있게 해주는 침입감내시스템(intrusion tolerance system)의 설계시에 생존성 분석은 신뢰성(reliability), 가용도(availability)등과 같은 컴퓨터 시스템의 정량적 신인도(dependability) 분석과 함께 중요한 요소기술 중의 하나이다. 본 논문에서는 침입감내시스템의 방어능력을 평가하기 위해 자율컴퓨팅(autonomic computing)의 핵심 기술인 자가치유(self-healing) 메커니즘의 두 가지 요소(결함모델 및 시스템반응)를 활용하여, 주서버와 보조서버로 구성된 침입감내시스템의 상태천이(state transition)를 표현하였다. 또한, 침입감내시스템의 생존성, 가용도 및 다운타임 비용(downtime cost)을 정량적으로 정의한 후 시뮬레이션 실험 및 취약성(vulnerability) 공격에 대한 사례 연구를 수행하였다. 이를 통해 시스템의 신인도 향상 측면에서 초기상태에서의 침입감내능력 향상이 가장 중요한 요소임을 검증할 수 있었다.

• 정보처리학회논문지D
• /
• 제9D권6호
• /
• pp.1017-1024
• /
• 2002

무선 네트워킹 기술과 통신기기의 발달로 이동 컴퓨팅 환경이 보편화됨에 따라 제한된 대역폭의 절감과 빠른 응답시간, 그리고 확장성을 위해 이동 호스트는 지역 캐쉬를 이용한다. 이때 이동 호스트와 지구국간에 캐쉬된 데이터의 일관성 유지가 필요하며 이에 따라 많은 기법이 제안되고 있다. 기존의 일관성 기법은 탐지기반의 기법들이 수로 사용되며 잦은 접속단절을 고려해 주기적인 무효화 메시지를 브로드캐스트 하여 캐쉬 일관성을 유지한다. 하지만 이러한 기법들은 데이터의 정확성 검사에 따른 전송 메시지 수의 증가나 지연을 통한 철회 단계를 증가시키며 이동 호스트에 캐쉬된 데이터를 삭제함에 따라 자치성과 확장성이 떨어진다. 본 논문에서 제안된 기법은 이러한 문제점을 해결하기 위해 페이지 요청 또는 완료시 갱신 연산이 일어난 객체에 대해 갱신 빈도를 참조하여 수행하도록 하였다. 따라서, 갱신 연산이 이루어지는 경우 비동기적으로 갱신 빈도에 따른 갱신의도 선언 또는 갱신을 선택적으로 수행할 수 있어 응답이 빠르고 철회 단계가 감소하는 장점을 갖는다. 또한 접속단절 이후 일괄적으로 진행되는 주기적인 무효화 메시지에 대해서도 갱신 빈도에 따라 선택적으로 삭제 또는 전파를 수행함으로써 자치성과 확장성을 높였다.

• 정보처리학회논문지A
• /
• 제17A권6호
• /
• pp.265-274
• /
• 2010

공정기술 발달로 인해 칩 내부 집적도가 크게 증가하면서 내부 연결망이 멀티코어 프로세서의 성능 향상을 제약하는 주된 원인이 되고 있다. 내부 연결망에서의 지연시간으로 인한 프로세서 성능 저하 문제를 해결하기 위한 방안 중 하나로 3차원 적층 구조 설계 기법이 최신 멀티코어 프로세서를 설계하는데 있어서 큰 주목을 받고 있다. 3차원 적층 구조 멀티코어 프로세서는 코어들이 수직으로 쌓이고 각기 다른 층의 코어들은 TSV(Through-Silicon Via)를 통해 상호 연결되는 구성으로 설계된다. 2차원 구조 멀티코어 프로세서에 비해 3차원 적층 구조 멀티코어 프로세서는 내부 연결망의 길이를 감소시킴으로 인해 성능 향상과 전력소모 감소라는 장점을 가진다. 하지만, 이러한 장점에도 불구하고 3차원 적층 구조 설계 기술은 증가된 전력 밀도로 인해 발생하는 프로세서 내부 온도 상승에 대한 적절한 해결책이 마련되지 않는다면 실제로는 멀티코어 프로세서 설계에 적용되기 어렵다는 한계를 지니고 있다. 본 논문에서는 3차원 멀티코어 프로세서를 설계하는데 있어서 온도 상승 문제를 해결하기 위한 방안 중 하나인 플로어플랜 기법을 다양하게 적용해 보고, 기법 적용에 따른 프로세서의 성능, 전력효율성, 온도에 대한 상세한 분석 결과를 알아보고자 한다. 실험 결과에 따르면, 본 논문에서 제안하는 온도를 고려한 3가지 플로어플랜 기법들은 3차원 멀티코어 프로세서의 온도 상승 문제를 효과적으로 해결함과 동시에, 플로어플랜 변경으로 데이터 패스가 바뀌면서 성능이 저하될 것이라는 당초 예상과는 달리, 온도 하락으로 인해 동적 온도 제어 기법의 적용 시간이 줄어들면서 성능 또한 향상시킬 수 있음을 보여준다. 이와 함께, 온도 하락과 실행 시간 감소로 인해 시스템에서의 전력 소모 또한 줄일 수 있을 것으로 기대된다.

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

IEEE 802.15.4 표준기술[1]은 센서 네트워크에서 저전력을 위한 기술로 LR-WPANs(Low Rate-Wireless Personal Area Networks)의 물리 계층과 MAC계층을 규정한다. 이 표준은 무선 센서, 가상 선(Virtual Wire)과 같은 제한된 출력과 성능으로 간단한 단거리 무선 통신을 필요로 하는 폭넓은 응용에 활용되고 있지만 보안 측면의 연구는 현재 미비한 상태로 다양한 공격에 대한 취약점을 내포하고 있다. 본 논문에서는 802.15.4 MAC계층의 슬립거부(Denial of Sleep) 공격에 대한 취약성을 분석하고 이를 탐지하는 메커니즘을 제안한다. 분석 결과, 슈퍼프레임 구간 변경, CW(Contention Window)값 변경, 채널스캔 및 PAN 연합과정 등에서 슬립거부 공격의 가능성을 분석할 수 있었고, 이 과정 중 일부에서는 표준에서 정의한 인증과 암호화 기능이 적용되어도 공격 가능함을 알 수 있었다. 또한 본 논문에서는 분석된 취약점 중에 채널스캔 및 PAN 연합과정에서 Beacon/Association Request 메시지 위조를 통한 슬립거부 공격의 탐지 메커니즘을 제안한다. 제안된 메커니즘은 메시지 요청 간격, 요청 노드 ID, 신호 세기 등을 모니터링하여 공격을 식별하여 탐지한다. QualNet 시뮬레이션 툴을 사용하여 공격의 영향 및 제안된 탐지 메커니즘의 탐지 가능성과 성능의 우수성을 입증할 수 있었다.

• 한국측량학회지
• /
• 제34권1호
• /
• pp.53-62
• /
• 2016

최근 초경량 무인비행장치(UAS: Unmanned Aerial System)에 저가의 소형 항법장치와 카메라 등의 센서를 탑재하여 지상의 공간정보를 신속하고 정확하게 취득하는 무인항공사진측량(UAV Photogrammetry)이 크게 주목받고 있다. 특히, 무인 항공사진측량은 저가의 일반 카메라로 취득된 다량의 고해상 영상을 컴퓨터 비전기술을 접목한 영상처리 소프트웨어로 정사영상과 DEM 등을 신속히 생성할 수 있어 기존의 항공사진측량을 서서히 대체하고 있다. 따라서 무인항공사진측량의 활용분야는 정밀한 위치정보를 요구하는 대축척 지형도제작과 지적측량 등에까지 확장 적용되고 있다. 본 연구에서는 고정익 무인항공기로 지상표본거리(GSD: Ground Sample Distance) 4cm로 촬영된 영상을 이용하여 농경지 필지의 경계설정 정확도 실험 결과를 소개하였다. 연구결과, 지적현황측량 성과와 비교하여 무인항공 정사영상으로부터 추출된 필지경계점의 정확도는 8cm미만으로 축척 1:500 지적측량을 위한 연결교차의 허용범위를 만족하였다. 그리고 면적오차는 비교 기준면적인 1,969m²에 비하여 약 0.2%(3.3m²) 미만의 무시가능한 미소 오차가 발생하였다. 따라서 무인항공사진측량은 농경지의 필지경계 설정을 위하여 충분히 적용 가능한 전도유망한 기술임을 입증하였다.

• 정보화정책
• /
• 제26권4호
• /
• pp.36-61
• /
• 2019

스마트기기는 업무의 시공간적 제약을 줄이고 신속한 처리를 가능하게 함에 따라 업무 효율성 및 생산성에 긍정적인 영향을 줄 수 있는 반면에, 직장과 개인생활 간 불균형 초래로 인한 부작용이 뒤따를 수 있다. 최근 스마트기기의 업무활용이 증가하면서 그 어느때보다도 관련 현상의 이해와 원인 발견, 그에 맞는 적절한 방안들을 모색하는 것이 필요한 상황이다. 본 연구는 스마트기기의 효용성을 대표하는 기술적 특성('IT기반 업무 유연성')이 '일-삶 갈등'과 같은 부정적인 결과로 어떻게 전환되는지를 보여주는 이론적 모델을 개발하고 이를 검증하였다. 직장인을 대상으로 수집된 데이터를 분석한 결과, 주요 요인들('IT기반 업무 유연성', '근무시간 외 업무 유연성', '업무 과부하', '일-삶 갈등') 간 다양한 영향 관계, 그리고 ''일-삶 분리' 조직 지원'의 중요성과 관련하여 연구자는 물론이고 현업 종사자와 정책 입안자들에게도 의미있는 시사점이 도출되었다.

• 정보처리학회논문지A
• /
• 제11A권2호
• /
• pp.115-122
• /
• 2004

본 논문에서는 전류모드 CMOS를 사용하여 다치 가산기 및 다치 승산기를 구현하였으며, 먼저 효과적인 집적회로 설계 이용성을 갖는 전류모드 CMOS를 사용하여 3치 T-게이트와 4치 T-게이트를 구현하였다. 구현된 다치 T-게이트를 조합하여 유한체 $GF(3^2)$의 2변수 3치 가산표와 승산표를 실현하는 회로를 구현하였으며, 이들 다치 T-게이트를 사용하여 유한체 $GF(4^2)$의 2변수 4치 가산표와 승산표를 실현하는 회로를 구현하였다. 또한, Spice 시뮬레이션을 통하여 이 회로들에 대한 동자특성을 보였다. 다치 가산기 및 승산기들은 $1.5\mutextrm{m}$ CMOS 표준 기술의 MOSFET 모델 LEVEL 3을 사용하였고, 단위전류는 $15\mutextrm{A}$로 하였으며, 전원전압은 3.3V를 사용하였다. 본 논문에서 구현한 전류모드 CMOS의 3치 가산기와 승산기, 4치 가산기와 승산기는 일정한 회선경로 선택의 규칙성, 간단성, 셀 배열에 의한 모듈성의 이점을 가지며 특히 차수 m이 증가하는 유한체의 두 다항식의 가산 및 승산에서 확장성을 가지므로 VLSI화 실현에 적합한 것으로 생각된다.

• 정보처리학회논문지D
• /
• 제15D권6호
• /
• pp.767-776
• /
• 2008

마이크로어레이 기술은 최근 실험적 분자생물학 분야에서 활발히 사용되고 있는 기술이다. 마이크로어레이 데이터는 한 번의 실험으로 수 만개의 유전자에 대한 발현값을 얻을 수 있으므로, 여러 질병의 발현형질을 연구하는데 매우 유용하게 사용된다. 마이크로어레이 데이터의 문제점은 참여하는 유전자의 수에 비해 참여하는 샘플(생물조직샘플)의 수가 매우 적고, 분류분석 기법을 사용하여 얻어진 분류자의 해석이 어렵다는 점이다. 본 연구에서는 위의 문제점을 해결하고자, 샘플 내 순위를 이용하여 동일한 생물학적 목적으로 수행된 공개 마이크로어레이 데이터를 통합하고, 순위 비교를 기반으로 하는 다양한 유전자 개수로 이루어진 암 분류 결정 규칙들로 이루어진 분류자를 제안한다. 본 분류자는 k개의 규칙으로 이루어진 앙상블 방법을 기반으로 하며, 하나의 규칙은 최대N개의 유전자, 관련유전자간의 순위비교 관계식, 판별클래스로 이루어져 있다. 하나의 규칙에 참여하는 유전자의 수를 다양하게 함으로써 좀더 신뢰성 높은 분류자를 생성할 수 있다. 또한 본 분류자는 생물학적 해석이용이하며, 분류자를 구성하는 유전자를 명확히 식별할 수 있고, 총 개수가 많지 않으므로 임상환경에서의 사용가능성도 생각해 볼 수 있다.

• 한국ITS학회 논문지
• /
• 제10권6호
• /
• pp.108-117
• /
• 2011

서울시는 2001년부터 실시간 신호제어시스템(COSMOS)를 운영하고 있으며, 도시부 신호교차로의 신호운영 자료인 포화도 및 대기길이의 산출을 위하여 검지기를 설치해 차량으로부터 기초자료를 습득하고 있다. 현재 가장 보편적으로 사용하는 것은 유도성 루프검지기로 도로의 노면에 매설하는 방식이라 유지 보수가 용이하지 않고 비용이 많이 드는 단점이 있다. 또한 대기길이의 산정시 검지기를 통과하는 차량의 속도만으로 계산해야하기 때문에 속도측정 오차 발생시에 대기길이의 값에 영향을 미치게 된다. 제안하는 알고리즘은 카메라, 센서 및 이미지처리 장치와 같은 추가적인 장치 없이, VANETs(Vehicular Ad-hoc Networks)의 차량 간의 통신을 이용하고 각 방향별 그룹을 설정하여 교차로에서 원활한 교통 흐름을 가능케 하는 실시간 교통신호 제어 시스템을 제안한다. 본 연구에서 제안한 알고리즘은 GLD(Green Light District) Simulator를 기반으로 단일교차로 모델에서 AJWT(Average Junction Waiting Time)와 TQL(Total Queue Length) 에 대해서 확인하였으며 그 결과를 무작위(Random) 제어방식 및 최상우선(Best first) 제어방식과 비교하여 더 나은 결과를 보였다. 향후 VANETs를 활용한 실시간 제어방법이 보편화 될 경우 무선 통신기술을 이용한 교차로의 교통제어기술을 제안한 본 연구는 그 활용가치가 높을 것으로 판단된다.

• 한국항만경제학회지
• /
• 제30권4호
• /
• pp.199-217
• /
• 2014

항만과 도시의 경제적 연계성에 대해서는 비교적 많은 연구가 수행되었는바, 근래의 연구결과를 보면 양자의 연계성이 점차 약화되고 있다는 관점에서 이루어진 연구가 큰 비중을 차지하고 있다. 항만으로 인한 물류서비스 이용의 편의성과 비용절감 효과를 통한 도시경제 기여효과는 감소하는 반면, 환경 악화, 친수활동 제약 등 부정적 영향은 증대하고 있기 때문이다. 또한 도시의 항만 활동에대한 지원효과 즉, 항만서비스에 대한 수요 창출, 노동력 공급 기능 등도 약화되고 있다. 한국의 대표적인 항만도시인 부산시의 사례를 보면 주요 경제지표 추세 및 성장요인 분석 결과 항만과 도시발전의 연계관계가 극히 낮다는 점을 확인할 수 있다. 특히 변이할당분석에 의한 성장요인 추계 결과를 보면 부산시 지역경제는 항만물류가 포함된 운수업을 제외한 대부분의 산업부문에서 경쟁력이 상대적으로 낮은 것으로 나타났다. 따라서 부산시 지역경제는 경쟁력의 우위를 확보한 운수업(항만물류 포함)의 지원효과를 제대로 누리지 못하고 있는 것으로 판단된다. 한편, 운수업(항만물류 포함) 의 발전을 위한 연관 및 지원산업으로 정보 및 통신업, 금융 및 보험업, 가공조립형 제조업 등의 경쟁력이 낮은 것으로 나타나고 있다는 점도 향후 부산시 지역경제와 항만의 연계발전에 있어 문제점으로 지적된다.