• 제목/요약/키워드: 편리한 수정

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

모델체킹을 이용한 RFID 시스템 보안분석 (Cryptanalysis of RFID System using Model Checking)

  • 김현석;오정현;최진영
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2007년도 한국컴퓨터종합학술대회논문집 Vol.34 No.1 (D)
    • /
    • pp.109-114
    • /
    • 2007
  • RFID 기술은 유비쿼터스 환경의 편리성을 위한 목적을 쉽게 이룰 수 있는 기술로 현재 주목 받고 있으며 많은 장점을 가지고 있다. 이러한 RFID 환경에서 가장 보안적인 문제를 갖는 것은 RFID 태그에 저장 관리되어지는 식별 정보에 대한 프라이버시 침해 문제의 보호이다. 본 논문에서는 정형검증 방법인 모델 체킹을 이용하여 RFID 태그와 리더기간의 상호 인증 및 태그의 식별 정보에 대한 안전성을 분석하기 위해 RFID 보안 프로토콜의 취약성 분석 및 수정된 프로토콜을 제안함으로써 안전한 유비쿼터스 네트워크 환경을 구축하고자 한다.

  • PDF

프롤로그에서 증명의 수를 효과적으로 제어하기 위한 방법 (An Efficient Method for Controlling the Number of Proofs in Prolog)

  • 남영광
    • 한국정보처리학회논문지
    • /
    • 제4권6호
    • /
    • pp.1557-1564
    • /
    • 1997
  • 본 논문에서는 프롤로그 프로그램의 수행을 제어하기 위한 하나의 기능으로서 수항목(count term)이라는 새로운 기능을 제안한다. 그 목적은 사용자와 프로그래머에게 답 또는 증명의 수를 제한하는 기능과 프롤로그 프로그램의 수행을 제어하는 데 편리함을 주기 위한 것이다. 따라서 그를 위한 구문과 작동적 의미를 제시하였으며 WAM(Warren Abstract Machine)에서 백트랙킹시 관련된 명령어를 수정하여 수항목의 구현 방법을 제시한다.

  • PDF

TRELSS를 이용한 한전계통의 확률론적 공급신뢰도 평가 및 분석 (A Study on Probabilistic Reliability Evaluation of KEPCO System Using TRELSS)

  • 한경남;이종순;김호표;전동훈;김건중
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2006년도 제37회 하계학술대회 논문집 A
    • /
    • pp.42-43
    • /
    • 2006
  • 본 논문에서는 대규모 송전계통의 확률론적 공급신뢰도 평가 프로그램인 TRELSS를 이용하여 우리나라 전력계통에의 적용가능성을 검증하고, 2006년${\sim}$2013년 및 2017년 첨두부하 계통에 대한 공급신뢰도를 확률론적으로 평가 분석함으로써 미래의 선진국형 계획기법으로의 도약을 모색하고자 하였다. 분석결과, 시기적절한 계통보강으로 연차별 공급지장발생확률(LOLP) 및 공급지장전력량(EUE)이 감소하는 경향을 보였으나, 효율적인 설비투자 및 계통계획의 일관성 유지로 공급신뢰도 지수의 연도별 편차는 상대적으로 크지 않았다. 향후 보다 정확한 공급신뢰도 평가지수를 확보하기 위하여 송전선로별 고장발생건수, 평균 고장지속 시간 등과 같은 상세 송전선로 고장발생확률 Data의 확보방안을 강구할 예정이며, 사용자 편리를 고려한 TRELSS 프로그램의 수정 및 보완도 지속적으로 추진할 예정이다.

  • PDF

AOP를 이용하여 진화된 프로그램의 회귀 테스트 기법 (A Regression Test Method for Program Evolving by Using AOP)

  • 이미진;최은만
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2007년도 춘계학술발표대회
    • /
    • pp.263-266
    • /
    • 2007
  • 이미 개발된 소프트웨어를 확장, 진화시킬 때 AOP 기법을 이용하면 모듈화뿐만 아니라 동적으로 플러그인 시킬 수 있어 편리하다. 즉 객체 지향 방식으로 개발된 프로그램에 AOP 를 적용하여 확장하면 여러 모듈에 걸쳐 나타나는 횡단 관심사를 기존 프로그램의 수정 없이 기능을 추가할 수 있다. 이미 테스트까지 마친 소프트웨어에 AOP 를 적용하여 확장한 경우 AOP 특성에 맞는 회귀 테스트 방법이 필요하다. 본 논문에서는 AOP 를 이용하여 진화된 프로그램의 회귀 테스트 방법을 제안하였으며 사례 연구에 의하여 그 효용성을 보였다.

  • PDF

시각적 관계형 데이터베이스 질의어 처리기의 설계 및 구현 (Design and Implementation of Visual Relational Database Query Processor)

  • 한효수;이석균
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2002년도 춘계학술발표논문집 (상)
    • /
    • pp.71-74
    • /
    • 2002
  • 본 논문에서는 관계형 데이터베이스를 위한 시각 질의어 VRQL 을 소개하고 이를 구현한 프로토타입 시스템 VRQPS(Visual Relational Query Processor System)를 소개한다. VRQL(Visual Relational Qurey Language)은 기존의 객체지향 데이터베이스를 위한 시각질의어 VOQL 을 수정, 보완하여 설계된 시각질의어로 벤 다이어그램과 그래프를 기반으로 하여 직관적이며 관계적으로 완전하다는 특성이 있다. 한편 투플 관계 해석 기반의 형식 시맨틱을 가지고 있어 이론적 기반이 확실한 시각질의어이다. VRQPS 는 VRQL로 정의된 질의문을 SQL로 변환하고 이를 실행하여 그 결과를 화면에 보여 주어 사용에 편리하고 직관적이다.

  • PDF

레이저 가공을 위한 CAM 시스템의 개발 (Development of CAM system for laser process)

  • 백동기;한유희;김기대;정철
    • Journal of Welding and Joining
    • /
    • 제9권2호
    • /
    • pp.11-19
    • /
    • 1991
  • 1. 16bit 개인용 컴퓨터인 IBM-PC/AT수준에서 레이저 가공을 위한 임의의 도형을 입력하여 DXF File로 출력하고, External명령인 AutoCAM을 추가하여 AutoCAM의 실행이 가능하였으며 AutoCAM의 종료후에는 다시 AutoCAD로 작업이 가능하다. 2. 개발한 AutoCAM은 AutoCAD Ver 2.6i로부터 Release 10까지의 DXF File을 읽어 Graphic 출력이 가능하다. 3. 가공 경로를 NC프로그램이 임의로 선정가능하면서, 가장 능률적인 가공작업이 수행될 수 있 도록 연속 또는 최인접 도형요소를 자동 선정하고 이의 조건에 따른 Auto Mode의 NC프로그램 생성이 가능하다. 4. 생성된 NC프로그램을 레이저 가공기에 전송하여 가공실험을 실시한 결과, 생성된 NC 프로 그램은 거의 수정하지 않아도 작동이 가능한 정도의 만족할 만한 결과를 얻었으므로 실용화에 큰 문제가 없는 것으로 사료된다. 이상과 같이 레이저 가공을 위한 CAD/CAM시스템은 초심자등의 이용상의 편리를 위하여 대화식으로 하였으며 사용된 언어도 Quick BASIC으로 자체 개발하 였으므로 앞으로 이 분야의 연구 및 실용화를 위한 기초자료로 활용될 수 있을 것으로 사료된다.

  • PDF

웹 콘텐츠 재활용을 위한 스케치기반의 콘텐츠 제작 시스템 (A Sketch-based Content Creation System for Web Content Recycling)

  • 김효우;이하영;전재웅;최윤철
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(C)
    • /
    • pp.439-441
    • /
    • 2012
  • 오늘날 소셜미디어를 통한 일반인들의 콘텐츠 제작 및 공유가 활발해지면서 콘텐츠 재활용이나 재구성을 통한 콘텐츠 제작의 필요성이 늘어나고 있다. 하지만 필요한 다른 콘텐츠를 수집하고 재구성 할 때, 사용자가 직접 웹에서 반복적으로 복사하고 컴퓨터에서 직접 관리 및 수정해야 하는 등 콘텐츠의 수집, 재활용 작업은 모두 사용자의 부담으로 남겨져 있다. 따라서 본 논문에서는 사용자에게 자율성과 편리성을 동시에 제공해주는 웹 콘텐츠 재활용에 적합한 콘텐츠 제작 시스템을 제안한다. 시스템은 스케치 기법을 활용한 웹 콘텐츠 수집 모듈과 레이아웃 생성을 통한 콘텐츠 제작 모듈로 구성되어 있다.

XML을 이용한 온라인 원서 접수 시스템의 설계 및 구현 (Design and Implementation of an On-line Application Receive System using XML)

  • 이정선;최황규
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (1)
    • /
    • pp.58-60
    • /
    • 2002
  • 온라인 원서 접수는 기존의 오프라인에서 가지고 있던 대학 입시 지원시의 여러 가지 폐단과 이에 따른 사회적 비용 절감, 입시 지원의 효율성을 극대화하기 위해서 새로운 paradigm인 인터넷 정보망을 이용하여 온라인 상에서 수험생들과 대학 입시 관계자들이 안전하고, 편리하게 원서접수를 하는 모든 행위를 의미한다. 온라인 원서 접수는 각 대학에서 요구하는 형태에 맞게 이루어져 있어야 한다. 하지만 각 대학에서 요구하는 형태가 각각 다르기 때문에 여러 번 데이터를 수정해야 하는 어려움이 있다. 본 논문에서는 원서 공고 및 접수 등 모든 관련 데이터를 XML로 작성하기 때문에 데이터의 재활용성을 극대화 할 뿐만 아니라 모든 원서 접수 관련 데이터가 처음부터 XML로 만들어져 저장되기 때문에, 향후 어떠한 시스템의 변화에도 원본 데이터의 호환성이 보장될 수 있다.

  • PDF

스톡사진 어플리케이션의 설계 및 구현 (Design and Implementation of Stock Photography Application)

  • 배호곤;박세희;신진섭;문봉관;박은주;임한규
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2019년도 추계학술발표대회
    • /
    • pp.521-524
    • /
    • 2019
  • 온라인상의 사진 저작물들은 쉬운 복제와 수정으로 인하여 지적재산권에 많은 침해를 입히고 있다. 본 논문에서는 사진가들의 저작권을 보호하고 사용자의 편리성을 제공하는 스톡사진 어플리케이션을 설계하고 구현하였다. 본 논문에서 설계하고 개발한 어플리케이션은 사진을 업로드/다운로드 할 수 있으며, 사진의 저작권을 인정할 수 있도록 사진의 정보를 담아 사용자의 거래 간에 사진의 정보도 같이 전송한다.

강판 설계 및 제작을 위한 도면관리 시스템 및 데이터베이스 모델 연구 (A Study on Drawing Management System and Database Model for Design and Constructing of Steel Plates)

  • 신윤호;이준환;신예호
    • 한국컴퓨터산업학회논문지
    • /
    • 제10권1호
    • /
    • pp.1-12
    • /
    • 2009
  • 이 논문은 설계자동화로 강판절단 과정에 필요한 도면과 도면정보를 데이터베이스로 구축함으로써 도면을 효율적으로 관리하고, 검색함으로써 기존의 설계방식에 비해 경제성과 생산성 측면에서 보다 효율적이고 사용자의 편리성에서 매우 유리하며, 또한 수정도 용이하게 수행할 수 있다. 본 논문에서는 이러한 필요성에 기반을 두고 관계 데이터 모델의 개념을 정립하여 강판 제작에 따른 도면 정보를 위한 미디어 데이터 형식을 설계하였고, 사용자 인터페이스를 위한 질의 환경을 설계하였으며, 도면 관리시스템을 이용하여 실제 구현되는 과정을 자세히 소개하였다.

  • PDF