• 제목/요약/키워드: 특화 프로그램

검색결과 186건 처리시간 0.026초

요약해석을 이용한 버퍼오버런 분석에서 루프 분석결과의 정교화 (Refinement for Loops in Buffer-Overrun Abstract Interpretation)

  • 오학주;이광근
    • 한국정보과학회논문지:컴퓨팅의 실제 및 레터
    • /
    • 제14권1호
    • /
    • pp.111-115
    • /
    • 2008
  • 버퍼오버런 분석기가 루프안에서 발생시키는 허위경보를 간편하고도 효율적으로 줄이는 방법과 경험을 소개한다. 버퍼오버런 분석기는 루프와 배열을 많이 사용하는 프로그램을 분석할 때 많은 허위경보를 발생시킨다. 우리는 먼저 루프를 많이 사용하는 프로그램인 임베디드 프로그램과 암호화 관련 프로그램들에서 발생하는 허위경보를 조사하여 허위경보를 일으키는 루프의 패턴을 조사했다. 그 다음에 그 루프에 특화된 간단하고 효율적인 재분석기를 고안하였다. 우리가 제안하는 재분석기는 분석기가 분석을 끝낸 후 내 놓는 분석결과를 보고 재분석할 목표가 되는 루프만을 찾아서 초벌분석보다 더 정교한 분석을 하여 허위경보를 안전하게 제거한다. 버퍼오버런 분석기인 아이락에 구현하여 실험해본 결과 전체 루프 관련 허위경보 중 32% 가량이 제거되었다.

출연연 연구원 창업 활성화를 위한 발전 방향 연구: 한국전자통신연구원(ETRI)의 창업지원 프로그램 사례를 중심으로

  • 권진욱;길운규;노두환
    • 한국벤처창업학회:학술대회논문집
    • /
    • 한국벤처창업학회 2024년도 춘계학술대회
    • /
    • pp.143-149
    • /
    • 2024
  • 딥테크, 딥사이언스 창업의 중요성이 강조되고 있는 현재, 연구자원이 풍부하고 대형기술·기초연구에 특화된 정부출연연구기관의 연구원 창업에 주목할 필요가 있다. 그간 연구원 창업은 정출연의 연구생산성 제고를 위한 기술사업화 방식 중 하나로 여겨져왔으나, 발생 시점에서 기술료 등의 대가를 수신하는 실시권 허여(라이센싱)와는 달리 아직 연구원을 포함한 지원기관에 대한 대가 수신이 제도화 되어 있지 않고 기업의 시장진입과 정착이 창업가의 역량에 크게 의존하는 특성으로 인해 아직 많은 정출연이 창업기업의 보육에 소극적이며, 단순 창업 승인 및 초기 보육 수준에 머무르고 있다. 대다수(92%)의 정출연이 창업 관리 규정을 보유한 것에 비해 아직도 절반에 가까운(44%) 정출연이 누적 연구원 창업기업 수가 10개 미만일 정도로 아직 양적, 질적 성장을 이루지 못한 현실에서, 적극적인 연구원 창업 활성화 방안을 모색하기 위해서는 우선 현황 파악과 더불어 벤치마킹이 가능한 사례 탐색이 필요할 것으로 여겨진다. 본 연구에서는 창업 및 출자관리규정이 신설된 1990년 이래 다수의 창업기업을 탄생시켰으며, 현재 연구원 창업기업 중 33.2%의 비중을 차지하고 있는 한국전자통신연구원(ETRI)의 사례를 통해 단순 창업승인에서 예비창업가 역량 강화 및 인큐베이팅으로 이어지는 연구원 창업지원 프로그램의 역사를 살펴보고, 파급력이 높은 고성장 스타기업을 탄생시키기 위해 시도되고 있는 ETRI 창업지원 플랫폼과 앞으로 정출연 창업지원 프로그램이 나아가야 할 방향에 대해 살펴보았다.

  • PDF

HTML5 기반 스마트 TV 플랫폼을 위한 확장 API의 설계와 구현 (Extended API Design and Implementation for HTML5 based Smart TV Platform)

  • 이동훈;김호년;박동영;이은향
    • 한국방송∙미디어공학회:학술대회논문집
    • /
    • 한국방송공학회 2013년도 하계학술대회
    • /
    • pp.185-188
    • /
    • 2013
  • 본 논문은 스마트 TV 플랫폼에서 실행되는 앱이 TV 에 특화된 기능을 수행하기 위해서 필요한 스마트 TV확장 API 의 정의와 그 구현에 대한 내용을 소개한다. 2013 년 3 월 TTA 에서 제정된 "HTML5 기반 스마트 TV 플랫폼" 표준은 스마트 TV 용으로 제작된 하나의 앱이 다양한 TV 수신기에서 동일한 사용자 경험(UX)을 바탕으로 실행될 수 있는 TV 플랫폼 표준이며, 이는 HTML5 를 포함하는 최신 W3C 기술 규격을 기반으로 하고 있다. 본 논문에서는 표준에 기술된 사항 중 채널과 프로그램과 같이 TV 에 특화된 기능으로 W3C 에 규격범위에 포함되지 않아 새롭게 정의된 확장 API 의 구조 및 기능에 대해서 설명한다. 확장 API 는 앱, 방송, 수신기의 세가지 항목으로 분류되어 상세한 인터페이스 기능을 정의하고 있으며 스마트 TV 플랫폼의 window 객체 아래에 전역 속성으로 계층 구조를 이루도록 설계되었다. 스마트 TV 앱은 이러한 확장 API 를 호출하여 방송과 연계된 다양한 서비스를 실현할 수 있다. 또한 본 논문은 확장 API 의 유효성 검증을 위하여 표준을 준수하여 구현된 수신기 플랫폼과 앱의 구현과 동작 사례를 제시하고 있으며, 유럽의 스마트 TV 방송 규격인 HbbTV 와의 비교를 통해서 API 의 장단점과 지원 범위를 확인하고 개선 방향을 모색한다.

  • PDF

지역특화 IT 인력양성 프로그램 성과분석 사례연구 (A Case Study on Performance Evaluation of IT Human Resource Program in Regional Industry)

  • 박정환;김국보
    • 한국전자거래학회지
    • /
    • 제19권1호
    • /
    • pp.79-93
    • /
    • 2014
  • 미래 신 성장동력이며 융합산업의 핵심 도메인인 IT 산업은 타 산업과의 융합을 통하여 국가 발전의 기반이 되는 산업이지만, IT 고급인력의 부족 현상은 지방과 수도권에 한정되지 않고 지속되고 있다. 그러나, 그간의 연구들은 포괄적인 인력양성에 대한 연구가 주를 이루고 있으며, 사업수행 지역의 특성화를 이룰 수 있는 인력양성 정책에 대한 성과분석에 대한 연구들은 미흡한 실정이다. 이에 따라, 지역의 IT 고급 인력을 양성하여 IT 융합을 기반으로 지역산업을 활성화하고 이를 통하여 지역을 발전시키기 위한 제도적 개선방안에 대한 필요성이 나타나고 있다. 따라서 본 연구에서는 지역의 IT 인력양성 활성화를 위하여 지역 기반 인력양성사업의 IT 분야 성과분석을 통하여 제도개선방안을 설계하고자 한다.

레이저 발사기를 활용한 전술훈련 통제용 프로그램 개발 (Development of tactical training control program using laser launcher)

  • 강창훈;안우영
    • 한국컴퓨터정보학회:학술대회논문집
    • /
    • 한국컴퓨터정보학회 2017년도 제56차 하계학술대회논문집 25권2호
    • /
    • pp.427-428
    • /
    • 2017
  • 현재 사격 및 전술훈련에 반드시 필요한 실전적인 소대급 이하에 적용 가능한 범용의 특화된 레이저 발사기를 활용한 사격 및 전술훈련 시스템의 개발이 필요하다고 볼 수 있다. 본 연구에서는 사격 및 전술훈련에 필요한 개발 규격 및 사양은 군부대 표준규격을 적용하고, 개발 제품에 대한 성능평가는 군부대 및 경찰사격장 및 전술훈련장에 설치하여 사용자 요구사항을 기준으로 테스트 및 평가하여, 소대급 이하 전문 사격 및 전술훈련용 장비를 개발한다. 실질적인 소대급 이하 사격 및 전술훈련용으로 레이저 발사기, 격발장치, 감적장치, 각종 제어모듈 개발을 통하여 유 무선 송수신을 체계화하여 통합 제어 시스템을 구축함으로써, 실제 총기에 레이저 발사기를 부착하여 사격 및 전술훈련용으로 다양한 기술 확보를 통하여 관련 시장 선점 및 관련 산업활성화에 기대할 것으로 전망된다.

  • PDF

글로버스를 이용한 분산 웹 크롤러의 설계 및 구현 (Design and Implementation of Distributed Web Crawler Using Globus Environment)

  • 이지선;김양우;이필우
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (A)
    • /
    • pp.712-714
    • /
    • 2004
  • 대부분의 웹 검색 엔진들과 많은 특화된 검색 도구들은 웹 페이지의 색인화와 분석을 위한 전처리 단계로 대규모 웹 페이지들을 수집하기 위해 웹 크롤러에 의존한다. 일반적인 웹 크롤러는 몇 주 또는 몇 달의 주기에 걸쳐 수백만 개의 호스트들과 상호작용을 통해 웹 페이지 정보를 수집한다. 본 논문에서는 이러한 크롤러의 성능향상과 효율적인 실행을 위해 그리드 미들웨어인 글로버스 툴킷을 이용하여 분산된 크롤러를 제안한다. 본 웹 크롤러의 실행은 그 기능의 분산처리를 위한 각 호스트 서버들을 글로버스로 연결하고, 인증하여, 작업을 할당하는 단계와, 크롤러 프로그램이 실행되어 자료를 수집하는 단계. 마지막으로 이렇게 수집된 웹 페이지 정보들을 처음 명령한 시스템으로 반환하는 단계로 나누어진다. 결과 수집 작업을 보다 분산화 할 수 있게 하였으며 여러 대의 저 비용의 시스템에서 고 비용, 고 사양의 서버의 성능을 얻을 수 있었으며, 확장이 용이하고, 견고한 크롤러 프로그램 및 시스템 환경을 구축할 수 있었다.

  • PDF

액티브 네트워크 환경에서의 에이전트 기반 침입탐지 시스템 (Agent-based IDS in the Active Network Environment)

  • 최진우;우종우
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2003년도 춘계학술발표논문집 (하)
    • /
    • pp.2213-2216
    • /
    • 2003
  • 단일 호스트 환경에 특화되어 설계되어온 기존 침입탐지 시스템(Intrusion Detection System: IDS)은 침입 시 도메인의 보호만을 그 목적으로 하는 수동적인 성격으로써, 새로운 공격 기법에 대한 탐지 및 대응, 그리고 보다 그 규모가 큰 네트워크로의 확장 면에서 구조적인 결함을 가지고 있다. 이러한 IDS의 구조적 문제점의 해결방안으로 액티브 네트워크 기반의 IDS 에 관한 연구가 진행되고 있다. 액티브 네트워크(Active network)란 패킷 스위칭 네트워크 상에 프로그램 가능한 라우터 등인 액티브 노드들을 배치하고, 사용자의 요구에 상응하는 적절한 연산을 위한 데이터와 프로그램으로 구성된 스마트 패킷(smart packet)에 대하여 수행 가능하게 하는 접근 방법이다. 본 논문에서는 이를 기반으로 자율적이며 지능적인 에이전트로 구성된 멀티 에이전트 기술을 액티브 노드에 적용함으로써 기존 IDS 보안메커니즘에서 보다 러 진보된 능동적이고 적극적인 대응을 위한 보안 메커니즘을 제공하여 네트워크 공격에 의한 피해 최소화와 신속한 대응이 가능한 멀티 에이전트 기반 공격 대응 메커니즘을 제시하고, 이를 적용 가능한 액티브 네트워크 기반 프레임 설계를 제안한다.

  • PDF

공공도서관과 지역사회기관의 문화프로그램 비교 연구 (A Comparative Study of Cultural Programs Offered by Public Libraries and Other Regional Public Service Institutions)

  • 감미아;이지연
    • 한국비블리아학회지
    • /
    • 제24권4호
    • /
    • pp.197-215
    • /
    • 2013
  • 본 연구는 공공도서관과 지역사회기관 간의 문화프로그램의 중복 현황을 파악해보고, 이러한 중복을 최대한 줄이고 제한된 지역 자원을 활용하여 문화프로그램 제공을 위한 효율적 협력 방안을 제시하고자 하였다. 통계 및 현황 데이터 분석, 설문지 분석 등 다양한 조사방법을 통한 연구결과를 요약하면 다음과 같다. 공공도서관은 다른 기관과는 다르게 인문교양교육 관련 프로그램에 치중하여 운영하고 있었고, 설문결과 이용자들은 '독서 및 문예' 프로그램에 대한 높은 기대감을 가지고 있었다. 또한 사회복지기관의 경우, 특정 연령대인 노년층을 대상으로 프로그램을 집중 운영하고 있어 그 연령대의 만족도 및 선호도가 전반적으로 높았다. 이러한 결과를 통하여 각 기관은 이용자의 선호도나 특정 연령대에 따라 최대의 만족을 이끌어낼 수 있는 특화된 프로그램을 구성해야 함을 알 수 있었다. 특히 공공도서관은 독서, 문예 등의 인문교양교육 분야와 정보화교육 분야에 특성화시킨 프로그램을 제공하는 것이 필요한 것으로 나타났다.

VOD 서비스 플랫폼에서 협력 필터링을 이용한 TV 프로그램 개인화 추천 (Personalized TV Program Recommendation in VOD Service Platform Using Collaborative Filtering)

  • 한성희;오연희;김희정
    • 방송공학회논문지
    • /
    • 제18권1호
    • /
    • pp.88-97
    • /
    • 2013
  • 개인화된 추천을 제공하기 위한 협력 필터링은 추천 시스템에서 성공적으로 활용되어 온 기법이다. 그러나 협력 필터링이 주로 연구 및 적용된 분야들은 사용자로부터의 명시적 피드백이 존재하는 독립된 아이템들을 추천하는 것에 초점을 두고 있다. VOD 서비스 플랫폼에서 개인화된 TV 프로그램을 추천하기 위해서는 해당 도메인의 특성과 제한들을 고려하는 것이 필요하다. 본 논문에서는 TV 프로그램의 시리즈 속성을 이용하여, 선호를 판단하기 힘든 비명시적 피드백인 회별 프로그램 시청기록을 명시적이고 지속적인 프로그램 선호도로 변환하는 방법을 고안하였다. 데이터 수집과 최종 추천은 회별 프로그램 단위로 이루어지면서 협력 필터링 처리 단위는 프로그램으로 변경되어 TV 프로그램 VOD 추천 환경에 가장 적당한 형태로 협력 필터링을 변형 적용하였다. 실험 결과는 고안된 추천 시스템이 단순히 협력 필터링을 적용했을 때보다 높은 정확도와 더 적은 계산량을 가지는 것을 보여준다. 도메인 특화된 이러한 변형은 추천 시스템의 알고리즘 모듈로 구성되어 기존에 알려진 다양한 협력 필터링 기법과 결합하여 사용될 수 있다.

이용자를 위한 공공도서관 빅데이터 플랫폼 구축 방안 연구 - 문화프로그램 및 커뮤니티 서비스 정보를 중심으로 - (Big Data Platform for Public Library Users: Focusing on the Cultural Programs and Community Service)

  • 윤소영
    • 한국비블리아학회지
    • /
    • 제33권3호
    • /
    • pp.347-370
    • /
    • 2022
  • 공공도서관 웹사이트를 통해 제공되는 도서관 프로그램 정보는 대부분 비정형 데이터로 서지정보와 같이 체계적으로 생산하고 활용할 수 없어 기존의 도서관 빅데이터 연구나 사례에서 충분히 활용하지 못하고 있으며 웹사이트 개편이나 담당자 변경 시 사라질 위험도 있다. 이 연구에서는 비정형으로 생산되는 공공도서관 문화프로그램 및 커뮤니티 서비스 데이터를 수집, 분석하여 서지데이터와 연계하여 활용할 수 있는 데이터 스키마를 개발하고, 공공도서관 문화프로그램과 커뮤니티 서비스 데이터의 공유 및 활용, 그리고 문화프로그램 기획자인 사서간의 정보 채널로서 역할을 할 수 있는 도서관 빅데이터 플랫폼 구축안을 제시하였다. 이를 통해 서지데이터에 문화프로그램과 커뮤니티 서비스 정보를 연계함으로써 장서 기반 서비스를 확충할 수 있고 도서관 웹사이트에 게재되는 도서관 프로그램 데이터를 도서관 빅데이터 플랫폼으로 통합 관리함으로써 업무의 연속성을 확보하고, 개별 도서관의 특화된 서비스 이력을 체계적으로 관리·보존할 수 있다.