• 제목/요약/키워드: 소프트웨어 동적 결함

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

모바일 그룹 P2P 응용 서비스를 위한 통신 플랫폼 (A Communication Platform for Mobile Group Peer-to-Peer Services)

  • 송지환;강경란;조영종
    • 한국정보과학회논문지:컴퓨팅의 실제 및 레터
    • /
    • 제14권4호
    • /
    • pp.389-400
    • /
    • 2008
  • 와이브로, HSDPA, 블루투스 등 새로 무선 네트워크 기술의 등장과 더불어 모바일 단말기의 성능이 향상되면서, 모바일 단말간 Peer-to-peer 응용 프로그램에 대한 관심과 연구가 활발하게 진행되고 있다. 본 논문에서는 그룹 사용자들 간에 P2P 서비스 개발을 지원하며 무선 네트워크 기술에 대한 투명성을 제공하는 플랫폼으로 MPCP(Mobile P2P Communication Platform)을 제안한다. MPCP는 연결 설정 부담을 줄이기 위해 단말 간의 연결에 해당하는 가상 채널과 응용 프로그램 간의 연결이라는 세션으로 연결의 개념을 구분하고, 응용 프로그램의 특성에 따라 세션을 크게 네 가지로 종류를 구분하고 서로 다른 우선 순위와 데이타 처리 정책을 적용한다. 통신 대상과의 거리에 따라 적절한 무선 네트워크 기술을 선택하여 연결을 설정하며, Session Initiation Protocol을 활용하여 동적으로 변하는 연결 대상의 주소 정보를 획득한다. 임베디드 리눅스 시뮬레이터 환경에서 MPCP를 구현하였으며, 상위 서비스 개발 플랫폼과 연동하여 모바일 그룹 P2P 서비스 개발에 적용하였다. 정량적인 성능을 평가하기 위해 동시 세션 수를 증가시켜 가면서 단순한 FTP와의 성능을 비교한 결과, 세션 수의 증가에 영향을 받지 않고 성능이 유지되는 것을 관찰하였다.

함수의 그래프 표현 및 그래프 해석 지도 가능성 탐색 - 초등학교 5학년을 중심으로 - (Investigation to Teach Graphical Representations and Their Interpretations of Functions to Fifth Graders)

  • 이화영;류현아;장경윤
    • 대한수학교육학회지:학교수학
    • /
    • 제11권1호
    • /
    • pp.131-145
    • /
    • 2009
  • 본 연구는 초등학교 학생들에게 함수의 그래프 표현 및 해석의 지도가능성을 탐색하기 위하여 설계되었다. 이를 위하여 부분적으로 역동적인 기하 소프트웨어를 이용하는 점진적인 함수 그래프 지도 방법을 고안하여, 초등학교 5학년생 4명을 대상으로 8차시의 수업을 실행하였다. 연구 결과, 아동들은 함수 관계에 대한 개념화, 1차 함수 그래프의 해석, 1차 함수 그래프 기울기의 의미를 인식하고, 기울기에 대한 논의와 실생활과의 관련성을 파악하는 것으로 나타났다. 함으로써 함수의 그래프 표현 및 해석의 지도가 가능함을 알 수 있었다. --삭제) 또한, 아동들은 GSP-선그래프를 통하여 그래프에서의 점과 선의 관계를 시각적으로 명확히 인식하였으며, 함수관계를 그래프로 정확하게 표현하는 데에 있어서 결정적인 역할을 했음을 알 수 있었다.

  • PDF

컴포넌트에 기반한 여행자정보고급화 시스템의 설계 (A Design of Advanced Traveler Information System based on Component)

  • 김진환;장재영;이봉규
    • 한국공간정보시스템학회 논문지
    • /
    • 제3권1호
    • /
    • pp.37-48
    • /
    • 2001
  • 지능형 교통 시스템(ITS)은 여행자에게 출발 전 또는 출발 후 도움이 되는 서비스와 유용한 데이터를 제공하는 여행자정보고급화 시스템을 포함하고 있다. 이 시스템은 출발전교통정보 안내 서브시스템, 운전중 교통정보제공 서브시스템, 동적주행안내 서브시스템들로 구성되어 있다. 여행자정보고급화 시스템은 표준화 작업을 총괄하는 기준 프레임워크인 국가 아키텍쳐에 따라 설계될 필요가 있다. 최근 소프트웨어 기술이 급속히 개선되고 안정화됨에 따라 미리 개발된 강력한 ITS 기술도 재사용 할 필요성이 있다. 컴포넌트와 개방형 인터페이스에 기반한 ITS 표준화는 현재 ITS 기술의 재사용성 문제를 해결하는 방법이 된다. 본 논문은 UML을 이용하여 컴포넌트에 기반한 여행자정보고급화 시스템을 설계한 결과를 제시하고 있으며 이 UML 방법은 새로 개발되는 ITS 컴포넌트를 위한 표준화된 모델을 제공할 것으로 기대된다.

  • PDF

바이트코드 최적화기 (The Bytecode Optimizer)

  • 이야리;홍경표;오세만
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제30권1_2호
    • /
    • pp.73-80
    • /
    • 2003
  • 자바언어는 인터넷 및 분산 환경 시스템에서 효과적으로 응용 프로그램을 개발할 수 있도록 설계된 프로그래밍 언어로써 객제지향 패러다임 특성 및 다양한 개발 환경을 지원하고 있다. 그러나, 자바는 클래스 파일이 이동하여 JVM 환경에서 인터프리팅 되는 시스템이므로, 성능의 저하 없이 실행되기 위해서는 효율적인 최적화와 실행 시스템이 요구된다. 본 논문은 네트워크 상에서 동적으로 다운로드 되는 클래스 파일을 바이트코드 수준에서 최적화하였다. 최적화된 바이트코드들이 인터프리팅 되는 시스템에서 적은 네트워크 로드를 가지고 실행할 수 있도록 하며, 효율적인 실행 속도를 보이도록 하는 것이다. 본 논문에서 구현된 바이트코드 최적화기에서는 내부적으로 바이트코드 최적화기와 클래스 파일 생성기를 이용하여 실행시간을 개선하고 전체 클래스 파일의 크기를 줄이게 된다. 바이트코드 최적화기는 바이트코드를 클래스사이의 계층 분석과 제어 흐름의 분석을 통하여 클래스들간의 연관 관계를 분석한 후 그래프를 구성하고, 패턴 탐색 결과 기본 블록 분리를 통하여 전역 최적화를 이루고, 기본 블록 안에서의 연산강도 경감, 그리고 도달할 수 없는 코드 블록의 제거를 수행한다. 바이트코드 최적화 단계를 수행한 클래스 파일은 부분적으로 클래스 파일의 최적화를 가져와 전체 클래스 파일의 크기를 줄이고, 인터프리터를 통하여 실행될 때 수행 속도 면에서 좀더 빠른 실행속도를 가지게 된다.

임베디드 디바이스 펌웨어의 웹 인터페이스 취약점 식별을 위한 에뮬레이션 기반 퍼징 기법 (Emulation-Based Fuzzing Techniques for Identifying Web Interface Vulnerabilities in Embedded Device Firmware)

  • 허정민;김지민;지청민;홍만표
    • 정보보호학회논문지
    • /
    • 제29권6호
    • /
    • pp.1225-1234
    • /
    • 2019
  • 임베디드 디바이스의 대중화로 인해 펌웨어의 보안은 더욱 중요해지고 있다. 유무선 공유기와 같은 네트워크 장비는 내재된 펌웨어의 웹 인터페이스 취약점을 통해 외부의 공격자로부터 피해를 받을 수 있기 때문에 빠르게 찾아내어 제거해야 한다. 이전 연구인 Firmadyne 프레임워크는 펌웨어를 에뮬레이션 한 뒤 취약점을 찾아내기 위한 동적 분석 방법을 제안한다. 그러나 이는 도구에서 정의된 분석 방법대로만 취약점 점검을 수행하므로 찾을 수 있는 취약점의 범위가 한정되어 있다. 본 논문에서는 소프트웨어 보안 테스트 기술 중 하나인 퍼징을 통해 에뮬레이션 기반 환경에서의 퍼징 테스트를 수행한다. 또한 효율적인 에뮬레이션 기반 퍼징을 위해 Fabfuzz 도구를 제안한다. 실험을 통해 확인한 결과 기존 도구에서 식별했던 취약점뿐만 아니라 다른 유형의 취약점도 발견할 수 있다.

경계변수 값의 동적인 변경을 이용한 점층적 클러스터링 알고리즘 (Incremental Clustering Algorithm by Modulating Vigilance Parameter Dynamically)

  • 신광철;한상용
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제30권11호
    • /
    • pp.1072-1079
    • /
    • 2003
  • 본 논문은 점층적으로 대규모 문서 분류를 할 수 있는 새로운 클러스터링 알고리즘에 대한 것으로, 고차원의 대규모 문서 집합에 대한 클러스터링을 수행하는 spherical k-means (SKM) 알고리즘과 점층적인 방식으로 클러스터링을 수행하는 퍼지(fuzzy) ART(adaptive resonance theory) 신경망의 특징을 이용하였다. 즉, SKM의 벡터 공간 모델과 개념벡터를 토대로 퍼지 ART의 경계변수의 개념을 결합한 것이다. 제시하는 알고리즘은 점층적 클러스터링의 지원과 함께 최적의 클러스터 수를 자동으로 결정할 뿐 아니라 이상치(outlier)와 노이즈(noise)에 의한 overfitting의 문제도 해결하였다. 또한 생성된 클러스터들의 질을 평가할 수 있는 응집도를 측정하는 목적 함수의 값에 있어서도 CLASSIC3 데이타 집합으로 실험한 결과 기존의 SKM에 비해 평균 8.04%의 향상된 응집도를 나타냈다.

기계학습 기반의 인포그래픽 자동 추천 시스템 (Automated infographic recommendation system based on machine learning)

  • 김형균;이상희
    • 디지털융복합연구
    • /
    • 제19권11호
    • /
    • pp.17-22
    • /
    • 2021
  • 본 논문에서는 기존의 인포그래픽 제작방식을 개선하기 위하여 기계학습 기반의 인포그래픽 자동 추천 시스템을 제안하였다. 이 시스템은 복수의 인포그래픽 이미지를 기계학습하는 부분과 사용자의 기초자료 입력만으로 인포그래픽을 인공지능으로 자동 추천하는 부분으로 구성된다. 추천된 인포그랙픽은 라이브러리 형태로 제공되고, 드래그 & 드롭방식으로 추가적인 자료의 입력이 가능하게 된다. 또한, 입력한 자료의 크기에 따라 인포그래픽 이미지가 동적으로 조절되도록 설계하였다. 기계학습 기반의 인포그래픽 자동 추천 과정을 분석한 결과 레이아웃과 키워드에 대한 일치 성공율은 매우 높고, 타입에 대한 일치 성공률은 다소 낮게 나타났다. 추후 인포그래픽 부분별 이미지 타입에 대한 일치 성공률을 향상시키기 위한 연구가 필요할 것이다.

만타형 UUV의 VPMM 전산해석기법 개발 (Numerical Modelling Techniques of VPMM for Manta Type UUV)

  • 이상의
    • 한국항해항만학회:학술대회논문집
    • /
    • 한국항해항만학회 2023년도 춘계학술대회
    • /
    • pp.151-151
    • /
    • 2023
  • 무인잠수정의 정밀한 제어 시스템 개발에는 높은 정도의 조종 유체력 미계수 추정이 필수적이다. 전통적으로 조종 미계수는 모형을 이용한 실험(사항, Planar Motion Mechanism, Rotating Arm)과 단순한 이론과 경험을 기반으로 개발된 경험식으로 추정하였다. 그러나 최근 크게 향상된 계산기 성능의 발전은 전산유체역학의 적용성을 크게 확대하였다. 따라서 본 논문에서는 만타형 무인잠수정의 조종 유체력 미계수 추정을 위한 전산유체역학 해석기법을 개발하고자 한다. 특히, 수직 동적 PMM 시험법에 관한 해석기법을 중점적으로 개발한다. 개발된 기법을 이용하여 만타형 무인 잠수정의 6자유도 유체력을 추정하고 그 결과를 실험과 비교하여 개발된 기법을 검증한다. 본 연구에서는 1/6 모형을 이용한다. 수치해석기법 개발은 RASN 기반 상용 해석소프트웨어인 STAR-CCM+를 사용하였다.

  • PDF

다채널 저가 GNSS 측위 모듈기반 RTK 측량의 효용성 평가 (Evaluating of the Effectiveness of RTK Surveying Performance Based on Low-cost Multi-Channel GNSS Positioning Modules)

  • 김치훈;오성종;이용창
    • 지적과 국토정보
    • /
    • 제52권2호
    • /
    • pp.53-65
    • /
    • 2022
  • GNSS 위성측위시스템의 고도화에 따라 다채널 GNSS 수신기, 다 주파 외장안테나 및 모바일 앱(App)기반 공개형 측위해석 소프트웨어 등 사용자 부문에서도 정확성과 경제성을 반영한 하드웨어 및 운용 소프웨어의 모듈(Module)화가 구현되어 사용자의 목적에 따라 능동적 구성방식(DIY, Do it yourself)의 다채널 GNSS RTK 측위가 가능하다. 특히, Multi-GNSS 위성의 활용 인프라가 확대되고 다양한 모듈의 조합에 따른 활용·확대의 잠재성이 부각되면서 다채널 저가 GNSS 수신기 모듈의 활용에 대한 관심이 점차 높아지고 있다. 본 연구의 목적은 다양한 형태로 대중시장에 등장하고 있는 다채널 저가 GNSS 수신기를 검토하고 다채널 저가 GNSS 측위 모듈 기반 RTK 측량 시스템(이하, "다채널 GNSS RTK 모듈 측위 시스템")을 구성하여 행정안전부의 "주소정보시설 조사사업"의 활용 방안을 분석하고 활용 가능성을 평가하였다. 이를 위해 U-blox사의 F9P 칩셋, 안테나, GNSS 관측자료의 Ntrip 전송 및 RTK 측위용 해석 앱(App) 등 관련 모듈을 스마트폰을 매개로 조합, 저가형 "다채널 GNSS RTK 모듈 측위 시스템"을 구성하고 원형 궤적에 대한 동적측위 실시 및 주소정보시설을 대상으로 정적측위를 수행하였다. 실험대상지 내 고정점 5점을 대상으로 측지용 수신기 정적측량성과와 비교분석한 결과 평균 ± 1.2cm의 표준편차로 양호한 정적측량성과를 획득할 수 있었다. 또한, 드론영상 해석으로 구성한 정사영상 내 원형구조물의 외곽선에 대한 검사점과 저비용 RTK GNSS 수신기의 동적측량 궤적과 비교한 결과, 평균 ± 2.5cm의 표준편차로 매우 근접한 궤적 성과를 확인할 수 있었다. 특히, 주소정보시설에 적용한 결과, 고가의 상업용 측지형 수신기 대비 저렴한 비용으로 공간정보구축의 효용성을 검증할 수 있었으므로 지적분야에서 본 연구에서 구성한 "다채널 GNSS RTK 모듈 측위 시스템"의 다양한 활용성이 기대된다.

저수지 운영률을 고려한 최적용수배분 (Optimal Water Allocation considering Reservoir Operation Rules)

  • 강재원;유승엽;차동훈;고익환
    • 한국수자원학회:학술대회논문집
    • /
    • 한국수자원학회 2005년도 학술발표회 논문집
    • /
    • pp.1430-1434
    • /
    • 2005
  • 금강 유역과 같이 복잡한 하천유역 시스템의 관리를 위해서는 시스템 요소들을 통합적으로 분석할 수 있는 효과적인 의사결정지원 도구가 필요하다. K-MODSIM 모형은 단기 물관리, 장기 운영계획, 가뭄 대비계획 및 물관련 분쟁 해결을 위해 보다 개선된 유역관리 전략을 수립하기 위한 컴퓨터 기반 도구로 개발되었으며, 본 연구에서는 K-MODSIM 모형에 저수지 운영률을 반영하여 유역의 용수배분을 평가하였다. 유역 저수지군 운영 환경 및 제약조건을 반영한 네트워크를 구성한 후, 두 단계의 모형 검정을 수행하였다. 먼저 물리적 검정을 통해서 전체 대상 수계의 상하류 물수지를 검토하고, 다음 단계인 운영 측면의 검정에서 물리적으로 나타나는 상황이 댐 운영이나 제약 조건 등에 부합하는지의 여부를 검토하였다. 대청댐과 용담댐의 통합 운영을 위한 최적 운영률의 개발은 동적계획법 소프트웨어인 CSUDP를 이용하여 수행하였으며, 여기서 사유한 접근법은 음해 추계학적 동적계획법이다. 이 접근방법은 유입량 시계열을 추계학적으로 모의발생시키고, CSUDP 모형은 모의발생시킨 유입량 시계열에 대한 최적운영률을 찾기 위해 사용하며, CSUDP의 최적화 결과에 대한 통계적인 분석을 통해 월단위 운영률을 도출하였다. K-MODSIM 모형에 저수지 운영률을 반영하여 유역의 용수배분을 평가하였다. 유역 저수지군 운영 환경 및 제약조건을 반영한 네트워크를 구성하고, 대청댐과 용담댐의 통합 운영을 위한 최적연계 운영를을 개발하여 다음과 같은 운영 시나리오들을 개발하고 평가하였다. $\cdot$ 금강수계에 대한 용당댐의 영향 평가 $\cdot$ 댐 연계운영시 수요량 변화에 따른 영향 평가 $\cdot$ 하도추적을 고려한 일별모형의 검증 개발된 운영률과 하도추적방법을 K-MODSIM 모형에서 검증하기 위해서 vb.net 스크립트 파일을 개발하여 적용하였다.L이하로 이를 유등천 상류부에 공급할 경우 유등천의 수질은 BOD 6.7mg/L, TN 9.80mg/L, TP 0.90mg/L를 나타낼 것으로 예측된다. 고도처리시설의 도입 후 금강 합류점에서 갑천의 예측 BOD는 7.4mg/L로 현재 9.0mg/L에 비하여 개선되지만 이는 금강수계 오염총량 관리계획의 시$\cdot$도 경계지점 목표수질인 5.9mg/L를 만족시키지 못하므로, 이를 만족시키기 위해서는 방류수 BOD 7.2mg/L이하로 처리해야 할 것으로 판단된다.which support only concepts or image features.방하는 것이 선계기준에 적합한 것으로 나타났다. 밸브 개폐에 따른 수압 변화를 모의한 결과 밸브 개폐도를 적절히 유지하여 필요수량의 확보 및 누수방지대책에 활용할 수 있을 것으로 판단된다.8R(mm)(r^2=0.84)$로 지수적으로 증가하는 경향을 나타내었다. 유거수량은 토성별로 양토를 1.0으로 기준할 때 사양토가 0.86으로 가장 작았고, 식양토 1.09, 식토 1.15로 평가되어 침투수에 비해 토성별 차이가 크게 나타났다. 이는 토성이 세립질일 수록 유거수의 저항이 작기 때문으로 생각된다. 경사에 따라서는 경사도가 증가할수록 증가하였으며 $10\% 경사일 때를 기준으로 $Ro(mm)=Ro_{10}{\times}0.797{\times}e^{-0.021s(\%)}$로 나타났다.천성 승모판 폐쇄 부전등을 초래하는 심각한 선천성 심질환이다. 그러나 진단 즉시 직접 좌관상동맥-대동맥 이식술로 수술적 교정을 해줌으로써 좋은 성적을 기대할 수 있음을 보여주었다.특히 교사들이 중요하게 인식하는 해방적 행동에 대한 목표를 강조하여 적용할 필요가 있음을 시사하고 있다.교하여 유의한 차이가 관찰되지 않았다. 또한 HSP 환자군에서도 $IL1RN^{*}2$ allele 빈도와

  • PDF