• 한국통신학회논문지
• /
• 제38C권2호
• /
• pp.172-180
• /
• 2013

본 논문에서는 DSRC(Dedicated Short Range Communication)를 이용한 감시 대상의 검출을 통해 동작하는 카메라 기반의 감시 시스템 환경에서 저장 공간과 운영 전력 등 소비되는 자원을 절약하면서도 더 높은 사건 보고율을 달성할 수 있는 에너지 효율적 감시 카메라 운영 방법을 제시한다. 제안하는 감시 카메라 운영 방법은 입/출(入/出) 특성을 포함한 도로 환경과 카메라의 시야각을 추상화한 모델 정보와 감시 대상에 부착된 DSRC 단말로부터 수집되는 차량의 속도 벡터 정보를 고려하여 해당 감시 대상을 완벽하게 촬영하기 위해 사용되어야 할 카메라의 개수를 계산하고, 순차적으로 작동/종료함으로써 감시 시스템에서 사용되는 자원을 절약한다. 또한, 기존 감시 시스템의 운영 방식과 제안 방식의 성능 비교를 위한 모의실험을 수행하여 감시 시스템 운영비용의 절감 효과를 보였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2015년도 추계학술발표대회
• /
• pp.24-26
• /
• 2015

최근 많이 활용되고 있는 라즈베리파이에 기반한 임베디드 시스템을 구축함에 있어서 사용자는 회로에 대한 이해와 하드웨어 비용이라는 측면에서 어려움을 갖게 되는 경우가 많다. 본 논문에서는 이러한 시스템을 가상으로 테스트할 수 있는 솔루션을 제안하고자 한다. 개발된 프로그램은 사용자가 실제 회로를 구성하는 것과 같이 가상의 공간에서 모듈을 배치하고 모듈 간에 선을 연결하는 것으로 회로를 구성하고 동작을 테스트할 수 있다 프로그램은 회로편집기, 인터프리터, 시뮬레이터의 세 가지 요소로 구성되어 있으며 전체 9개의 모듈을 제공하고 있다. 각각의 모듈은 제조사에서 제공하는 데이터 시트와 제원을 바탕으로 실제 회로 테스트를 거쳐 추상화하는 작업을 수행하였다. 개발된 프로그램의 품질수준을 한층 끌어올린다면 비용절감과 학습, 교육 측면에서 유용하게 이용될 수 있으며, 전기물리엔진의 구현, 실제 보드로 포팅이 가능한 수준의 인터프리터, 시뮬레이션 로직의 일반화가 필요할 것으로 판단된다.

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

클라우드 컴퓨팅은 IT 자원의 효율적인 관리와 비용 대비 양질의 서비스 제공을 위한 새로운 패러다임으로써, 국내외의 기업뿐만 아니라 많은 사용자들에게 주목 받고 있다. 하지만 관련 시장의 빠른 성장과 함께 다양한 사이버 범죄에 노출될 수 있는 위험이 높아졌음에도 불구하고, 클라우드 컴퓨팅에 대한 디지털 포렌식은 실질적인 역할을 수행하기에 아직 미비한 실정이다. 클라우드 컴퓨팅은 증거 데이터가 물리적으로 분산되어 있고, 자원이 가상공간에 존재할 수 있기 때문에 기존의 디지털 포렌식 수사와는 다르게 접근해야 한다. 이에, 본 논문에서는 추상화된 클라우드 계층에 따른 기존 포렌식 절차 상의 데이터 수집 방법에 관한 한계를 분석하고, 확보한 증거 데이터의 신뢰성 보장 및 다양한 클라우드 환경에 보다 유연하게 적용할 수 있는 디지털 증거 수집 절차를 제안한다. 해당 절차는 클라우드 구성 요소들 중 물리적인 자원들을 가상화하여 논리적으로 구성할 수 있도록 하며, 가상화된 자원들을 서비스 목적에 따라 폭넓게 활용할 수 있도록 관리 체계를 제공해주는 클라우드 플랫폼을 기반으로 한다.

• 한국콘텐츠학회논문지
• /
• 제3권2호
• /
• pp.39-45
• /
• 2003

자바의 동적인 클래스 로딩은 자바 플랫폼에서 실행시간에 소프트웨어 컴포넌트를 동적으로 로딩하기 위한 강력한 메커니즘이다. 다른 시스템에서도 동적 로딩과 링킹을 제공하지만 지연 로딩, 타입안전 링크, 사용자 정의 로딩정책, 다중 이름 공간 등은 자바가 가진 중요한 특징들이다. 클래스 로딩에서 핵심은 타입 안전을 보장하는 것이다. 타입 안전은 자바 보안에서 아주 중요한 부분을 차지한다. 하지만 자바 가상 머신에서 타입 안전에 대한 메커니즘은 매우 복잡하고, 접근이 명확하지 않아서 지금 까지 많은 버그가 발생하여 타입 안전에 문제가 되었다. 본 논문은 자바 가상 머신에서 동적인 클래스 로더의 동작을 분석하고, 연산적 의미론(operational semantics)으로 추상화하고 현재 로드되어진 클래스와 추가된 제한 등을 이용하여 이전에 제시되었던 타입 안전에 대한 문제를 분석한다.

• 한국정보통신학회논문지
• /
• 제12권1호
• /
• pp.53-58
• /
• 2008

내포 병렬성을 가지는 병렬 프로그램은 동기화 없이 병행적으로 수행되는 양상으로 인하여 비결정적인 결과를 초래하는 경향이 있다. 이러한 오류를 탐지하기 위하여 다양한 시각화 기법이 이용되고 있지만, 공간의 제한성과 과다한 추상화로 인하여 직관성이 매우 저하되는 실정이다. 본 논문에서는 내포 병렬성을 가지는 복잡한 병렬 프로그램의 전역적 구조를 사용자에게 제공하는3차원 시각화 엔진을 제안한다. 제안된 시각화 엔진은 전역적 구조를 사용자에게 제공함으로서 프로그램의 이해를 용이하게 하고 효과적인 디버깅 환경을 제공한다.

• 정보보호학회논문지
• /
• 제18권3호
• /
• pp.51-59
• /
• 2008

생체 정보 인식은 사용자의 인증을 위한 수단으로써 많은 연구가 진행 되어 오고 있다. 그 중 얼굴 인식 분야에서 특성벡터를 이용한 사용자의 얼굴 인식 기법이 존재한다. 이 기법은 전체 얼굴 데이터 집합에서 벡터 공간을 만들어 내고 생체정보 템플릿을 사상시켜 추상화된 데이터를 생성하는 기법이다. 그러나 생체 정보의 보안성을 일컫는 개념인 취소 가능한 특성(Cancelable Feature)을 기대 할 수 는 없다. 이 논문에서는 특성 벡터를 이용한 얼굴 인증 시스템에서 변환된 생체정보 데이터의 복원에 대한 보안 문제를 지적하고, 예상 가능한 공격 시나리오를 실험을 통해 보인다.

• 대한수학교육학회지:학교수학
• /
• 제15권4호
• /
• pp.785-799
• /
• 2013

본 연구는 수학적 모델링 수업이 수학 영재 학생들에게 문제해결의 기회를 제공하고 수학적 모델링 활동을 통해 다양한 수학적 사고력을 발전시킬 수 있다는 가정 하에 중학교 3학년 수학 영재 학생들을 위한 수학적 모델링 교수 학습 자료를 개발하였다. 개발된 교수 학습 자료를 적용하여 사례연구를 통해 수학적 모델링의 단계별 활동과정을 살펴보고 각 단계에서 어떠한 수학적 사고능력이 나타나는지 분석하였다. 수학적 모델링 과정에서 다양한 수학적 사고능력이 나타났는데 문제를 이해하는 실세계 탐구과정에서는 정보의 조직화 능력이, 상황모델을 개발하는 과정에서는 직관적 통찰능력, 공간화/시각화 능력, 수학적 추론 능력, 반성적 사고 능력이 나타났다. 수학모델 개발과정에서는 수학적 추상화 능력, 공간화/시각화 능력, 수학적 추론 능력, 반성적 사고가 나타났으며 모델적용 과정에서는 일반화 및 적용 능력과 반성적 사고가 나타났다. 모델링 수업이 진행됨에 따라 반성적 사고능력이 더 많이 나타나는 것을 확인할 수 있었다.

• 한국공간정보시스템학회 논문지
• /
• 제7권2호
• /
• pp.57-66
• /
• 2005

고속도로 연결문제(Interconnecting Highways problem)는 VLSI 설계, 광 또는 유선 네트워크의 설계, 도로 건설 계획 등의 분야에서 도출되는 여러 가지 배치문제들을 대표하는 추상화 된 문제이다. 도로 건설에 있어 기존의 지점들을 가장 짧은 거리로 상호 연결하는 도로망은 다른 도로망들에 비해 경제적인 면에서 많은 이익을 가져다준다. 즉, 기존의 도로나 도시들을 상호 연결하는 새로운 도로망을 찾는 문제는 중요한 이슈가 된다. 본 논문에서는 NP-hard 문제인 고속도로 연결문제에 대해 '최적에 점근하는 결과치'를 내는 근사방법을 제안한다. 이 방법은 컴퓨팅 자원이 지원되는 한 최적치에 점근하는 근사-결과치를 구할 수 있도록 한다. 따라서 실제 응용에서는 제안된 근사방법에서 산출되는 근사치를 사실상의 최적치로 간주할 수 있게 된다. 선행연구에서의 근사방법과 달리 본 논문에서 제안된 방법은 주어진 문제 인스턴스의 속성에 부합하는 알고리즘을 만들어 낼 수 있도록 하는 큰 장점을 가진다.

• Spatial Information Research
• /
• 제18권1호
• /
• pp.57-67
• /
• 2010

최근까지 도시시설물 관리를 위해 활용된 GIS 기술은 주로 2차원 기반의 GIS 기술이었다. 하지만 도시시설물은 3차원 공간상에 존재하며 이를 2차원으로 추상화시키면 정보의 손실이 일어나게 된다. 또한 도시 공간 내에 점차 시설물의 수가 증가하고 있고 대부분의 도시시설물이 지하공간에 위치하기 때문에 2차원 기반의 시스템에서 도시 내 모든 시설물의 정보를 통시에 파악하고 관리하는 것이 어려워지고 있다 본 논문에서는 멀티 텍스처 기법을 이용한 다차원 도시시설물 관리 시스템을 제안한다. 제안된 시스템은 3차원 상에서 도시시설물을 가시화하여 데이터의 손실을 줄이고 정보의 가독성을 높이며, 2차원 벡터 데이터의 3차원 라스터 변환을 통한 가시화 기법을 개발하여 다양한 2차원 GIS 의 공간분석 결과를 3차원 데이터와 동시에 활용할 수 있도록 한다. 또한 3차원 데이터를 처리하는 경우에 시스템의 속도 및 성능이 저하되어 활용 효율성이 떨어지는 문제를 해결하기 위하여 다중 스레드 프로세스를 적용하였다. 본 논문에서 제안한 기술은 기존에 텍스처를 통해 보여주던 센서의 상태정보를 3차원 영상, 시설물 데이터와 함께 시각정보로 표출함으로써 직관적인 시설물 모니터링이 가능해졌다는데 의의가 있다.

• 정보과학회 논문지
• /
• 제43권12호
• /
• pp.1404-1411
• /
• 2016

네트워크 가상화는 물리 네트워크를 추상화하여 다수의 가상 네트워크 형태로 사용자에게 제공하는 기술로써 자원 활용률을 높이고 서비스를 유연하게 제공할 수 있다는 장점이 있다. SDN 구조에서는 네트워크 하이퍼바이저가 주소 가상화, 토폴로지 가상화, 정책 가상화를 통해 네트워크를 가상화 하는 역할을 수행한다. 이 중 주소 가상화는 가상 네트워크 사용자(Tenant) 별로 독립적인 주소 공간을 제공하는 기술을 의미한다. 기존 연구에서는 물리 주소 공간을 분할하여 각 가상 네트워크에 할당하고, 물리 주소와 가상 주소를 일대일로 맵핑하는 방식을 사용하였다. 하지만 이러한 방식은 물리 주소의 집적이 불가능하여 플로우 엔트리를 많이 필요로 한다는 단점이 있다. SDN 네트워크의 스위치는 플로우 테이블 구성을 위해 TCAM(Ternary Contents Addressable Memory)를 사용하는데, 이는 비용 및 확장성의 면에서 한계를 가지므로 플로우 엔트리 수를 절약하는 것이 매우 중요하다. 본 논문에서는 이를 해결하기 위해 가상 주소의 주소공간과 물리 네트워크 내에서의 전송을 위한 주소 공간을 분리하고, 터널링 기법을 통해 패킷의 전송을 수행하는 LISP(Locator/ID Separation Protocol) 기반 주소 가상화 방식을 제안한다. 마지막으로, 이를 실제 프로토타입 형태로 구현하여 더 나은 확장성을 제공함을 보인다.