• Title/Summary/Keyword: 검증 소프트웨어

Search Result 2,336, Processing Time 0.033 seconds

An IDOL teaching and learning model for software education of elementary students (초등학생들의 소프트웨어 교육을 위한 아이돌 교수 학습 모델)

  • Kim, Kapsu
    • Journal of The Korean Association of Information Education
    • /
    • v.22 no.6
    • /
    • pp.701-710
    • /
    • 2018
  • In the 4th Industrial Revolution, it is a time when all the devices and people interact to create new added value. Software education is necessary in elementary school because what is more important is software. However, until now there is a lack of teaching and learning methods for software education in elementary school. In this paper, IDOL model is proposed as a method to solve this problem. statements for elementary students. The idol model is learning through observe, to implement, to diversify. In the implementation, the elementary students are to make it quickly, In the diversification, it is variously changing the things that have been made, and observation how the changed things are different. A model is verified by a group of experts consisting of elementary school teachers.

A Study on Autonomous Control for LEO Satellites using OBCP(On-Board Control Procedures) (OBCP(On-Board Control Procedures)를 이용한 저궤도 관측위성의 자율적 제어기능에 대한 연구)

  • Lee, Jae-Seung;Yang, Seung-Eun;Choi, Jong-Wook;Cheon, Yee-Jin
    • Annual Conference of KIPS
    • /
    • 2010.11a
    • /
    • pp.921-924
    • /
    • 2010
  • 정지궤도 위성을 제외한 대부분의 저궤도 위성 및 심우주 관측용 위성은 임무를 수행하면서 하루동안에도 제한된 시간동안만 지상국과의 통신이 가능하다. 따라서 위성 운영에 고수준의 자율적 제어기능이 요구된다. OBCP(On-Board Control Procedures)는 별도로 개발된 언어로 작성한 작은 용량의 스크립트 프로그램을 통해 위성을 제어하는 기능을 제공한다. 이러한 방법을 통해 지상관제 시에 위성의 임무수행동안 수행되어야 하는 다양하고 복잡한 운영 시퀀스를 용이하게 준비하고 업로드할 수 있다. OBCP는 위성비행소프트웨어와는 분리된 별도의 서브시스템으로 수행되기 때문에 새로운 위성운영 프로시져의 생성을 위해 위성비행소프트웨어의 수정, 재검증, 코드업로드 등의 절차가 요구되지 않으며 지상에서 개발 및 검증시험을 완벽하게 수행할 수 있다. 본 논문에서는 기존의 저궤도 관측위성에서 사용되었던 위성의 자율적 제어 시퀀스 기능과 OBCP의 기능을 비교하여 설명하고, 실제 Herschel and Plank 위성에 활용된 예를 통해 OBCP의 개념 및 설계 방안에 대하여 소개한다.

Deep Learning for Automatic Change Detection: Real-Time Image Analysis for Cherry Blossom State Classification (자동 변화 감지를 위한 딥러닝: 벚꽃 상태 분류를 위한 실시간 이미지 분석)

  • Seung-Bo Park;Min-Jun Kim;Guen-Mi Kim;Jeong-Tae Kim;Da-Ye Kim;Dong-Gyun Ham
    • Proceedings of the Korean Society of Computer Information Conference
    • /
    • 2023.07a
    • /
    • pp.493-494
    • /
    • 2023
  • 본 논문은 벚꽃나무 영상 데이터를 활용하여 벚꽃의 상태(개화, 만개, 낙화)를 실시간으로 분류하는 연구를 소개한다. 이 연구의 목적은, 실시간으로 취득되는 벚꽃나무의 영상 데이터를 사전에 학습된 CNN 기반 이미지 분류 모델을 통해 벚꽃의 상태에 따라 분류하는 것이다. 약 1,000장의 벚꽃나무 이미지를 활용하여 CNN 모델을 학습시키고, 모델이 새로운 이미지에 대해 얼마나 정확하게 벚꽃의 상태를 분류하는지를 평가하였다. 학습데이터는 훈련 데이터와 검증 데이터로 나누었으며, 개화, 만개, 낙화 등의 상태별로 폴더를 구분하여 관리하였다. 또한, ImageNet 데이터셋에서 사전 학습된 ResNet50 가중치를 사용하는 전이학습 방법을 적용하여 학습 과정을 더 효율적으로 수행하고, 모델의 성능을 향상시켰다.

  • PDF

Experimental Comparison of Software for Real-time GPS Precision Positioning (실시간 GPS 정밀측위를 위한 소프트웨어의 실험적 비교)

  • Lee, Ki-Do;Choi, Yun-Soo;Lee, Im-Pyeong;Sa, Seok-Jae
    • 한국공간정보시스템학회:학술대회논문집
    • /
    • 2005.05a
    • /
    • pp.299-304
    • /
    • 2005
  • GPS 기술의 빠른 발전에 힘입어 정밀 측위 분야에도 GPS의 활용은 증가하고 있다. GPS로부터 정밀한 좌표를 획득하기 위해서 GPS 신호에서 모호 정수 값을 정확하게 결정하는 것이 중요하다. 이를 위해 기존에는 다중시점(multi-epoch) 데이터를 사용한 방법이 일반적이었으나 최근에 단일시점(single-epoch) 데이터를 이용한 방법이 개발되었다. 이에 본 연구는 각각의 방법이 구현된 세 가지 소프트웨어를 활용하여 GPS 기선해석과 관련된 다양한 실험을 수행하여 결과를 분석하였다. 이를 통해 실시간 정밀 측위에 대한 이용 가능성을 검증하였다.

  • PDF

Safety-critical 소프트웨어 개발을 위한 V&V 독립성 구현 방안

  • 엄흥섭;이장수;김장열;최유락;권기춘
    • Proceedings of the Korean Nuclear Society Conference
    • /
    • 1997.05a
    • /
    • pp.172-177
    • /
    • 1997
  • 검증 및 확인(V&V)의 속성상 Independent V&V는 반드시 필요 한 것으로 인식되고 실제로 규제 기준이나 여러 표준(Standard)들에서 그 요구사항들이 기술되고 있으나 그 기술 내용이 너무 단순, 추상적인 경우가 많아 구체적인 실현 방법에 있어서는 합의된 해결책이 제시되지 못하고 있는 실정이다. 이러한 문제점들을 해결하기 위해 본 논문에서는 원자력분야는 물론 프로세스와 군사 분야의 표준들과 기타 기술기준 자료들을 조사 분석하고 이를 기반으로 하여 원자력 분야, 특히 계측제어 계통의 Safety-critical 소프트웨어 개발에 따른 안전성과 경제성 문제가 고려되고 기술적, 관리적 측면에서 균형을 갖춘 V&V의 독립성 구현 방안에 대한 가이드를 제시하였다.

  • PDF

A Study about a simulation system for software components development of an intelligent robot (지능형 로봇의 소프트웨어 컴포넌트 개발을 위한 시뮬레이션 시스템에 관한 연구)

  • Nam, Sang-Yep;Lee, Hyo-Young;Kim, Ju-Won;Kim, Suk-Joong
    • Proceedings of the KIEE Conference
    • /
    • 2008.10b
    • /
    • pp.361-362
    • /
    • 2008
  • 본 논문은 지능형 로봇의 소프트웨어 컴포넌트의 개발을 위한 시뮬레이션 시스템을 위한 개발 환경을 구현하고자 한다. 개발 환경 설계는 지능형 로봇 시스템에 적합한 컨포넌트를 전문지식 없이도 쉽고 편리하게 작성하고 작성된 컴포넌트의 서비스를 빠르고 쉽게 검증 할 수 있도록 설계하였다.

  • PDF

A Study on the Searching Model for Class Reuse (클래스 재사용을 위한 검색 모델 연구)

  • 허종오;박만곤
    • Proceedings of the Korea Multimedia Society Conference
    • /
    • 2002.11b
    • /
    • pp.796-801
    • /
    • 2002
  • 최근의 소프트웨어 개발은 객체지향 프로그램 개발 기법을 사용하여 소프트웨어를 개발하고 있다. 초보 개발자에게는 적절한 객체를 식별하고 정확한 속성과 행위를 부여하는 객체 지향 기법은 상당히 힘든 문제이다. 객체의 집합, 즉 클래스 모델링 기법에도 재사용 기법을 사용한다면 이미 작성된 모델을 참조하여 객체 지향 개발 기법을 처음 접하는 초보 개발자에게는 학습의 기회를 제공하고, 숙련된 개발자에게는 검증된 모델을 통해 모델링 실패를 방지할 수 있는 안전성을 제공할 수 있다. 본 논문에서는 유사성(Similarity) 측정 기법을 적용하여 클래스간의 유사도를 판단하고, 관계 일치여부를 분석하여, 재사용 가능한 클래스를 검색하는 모델을 제안한다.

  • PDF

Progress on the development of an integrated robotic painting system (통합 로보틱페인팅 시스템 개발에 관한 연구)

  • 서석환;이성권;이정재;최용종
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 1991.10a
    • /
    • pp.1052-1056
    • /
    • 1991
  • 페인팅작업에의 로보트응용은 열악환경의 극복, 자동화, 품질의 향상수단으로서 강력한 대안책이며 이에 관한 관심이 국내외에 고조되고 있다. 본 논문에서는 이전에 제시한 바있는 자동동작계획의 개념을 확장하여 통합페인팅시스템을 위한 Extended ATPS(Automatic Trajectory Planning System)를 개발하고, 이의 구현 및 검증을 위한 하드웨어 시스템의 개발현황을 소개한다. 개발될 시스템은 하드웨어 및 소프트웨어가 일식화된 로보틱페인팅 시스템으로서 동작계획의 자동화 뿐만아니라 측정 및 제어기능을 소프트웨어에서 일관처리하는 새로운 방식이다.

  • PDF

A Study on the software testing of network management system(NMS) (네트워크 관리시스템(NMS) 소프트웨어 시험사례 연구)

  • Jung, Kwang-Lak;Kim, Jae-Woong;Shin, Seok-Kyoo
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2012.06b
    • /
    • pp.167-168
    • /
    • 2012
  • 최근 들어 생활 전반이 인터넷을 사용하지 않고는 이루어질 수 없는 상황이 되면서 네트워크 관리의 중요성이 날로 부각되고 있다. 네트워크 관리시스템(NMS)은 이러한 네트워크를 효율적이고 안정적으로 관리, 운영하기 위하여 매우 중요하다. 본 논문은 네트워크 관리시스템에 대한 소프트웨어 품질검증 사례를 통해 그 중요성을 살펴보고자 한다.

A CORBA Component Modeling Method based on Software Architecture (소프트웨어 아키텍쳐에 기반한 코바 컴포넌트 모델링 기법)

  • 문창주;이선정;박성공;백두권
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 1998.10b
    • /
    • pp.614-616
    • /
    • 1998
  • 현재의 코바 컴포넌트를 개발하는 방법은 대상 시스템 분석 후, IDL로 인터페이스와 시스템을 명세 한 다음 언어를 선택하여 구현을 한다. 하지만 시스템분석에서 IDL로 전환은 어려운 작업이며 아직까지 진행된 연구가 부족하다. 따라서 본 논문에서는 IDL작성 전의 시스템 분석과 검증 단계를 소프트웨어 아키텍쳐 접근 방법을 이용한 SACM(Software Architecture-based Component Modeling) 기법을 제안하였다. SACM은 정확한 IDL을 작성뿐만 아니라 구현 단계까지 청사진을 제시한다. SACM 기법을 따르는 경우 효과적으로 컴포넌트 개발이 가능하며, 코드의 재사용 측면도 효과적으로 지원해 준다.