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

Search Result 2,336, Processing Time 0.032 seconds

Virtual Experimental Kit for Embedded System Education (임베디드 시스템 교육을 위한 가상 실습 키트)

  • Cho, Sang-Young
    • The Journal of the Korea Contents Association
    • /
    • v.10 no.1
    • /
    • pp.59-67
    • /
    • 2010
  • Laboratory works for embedded system courses are usually performed with hardware based experimental kits that equipped with an embedded board and software development tools. Hardware-based kits have demerits such as high initial setup cost, burdensome maintenance, inadaptability to industry evolution, and restricted educational outcomes. This paper proposes using virtual experimental environments to overcome the demerits of hardware-based kits and describes the design and implementation of a simulation-based virtual experimental kit. With ARM's ARMulator, we developed the kit by adding hardware IPs and user interface modules for peripherals. The developed kit is verified with an experimental program that uses all the augmented software modules. We also ported MicroC/OS-II on the virtual experimental kit for real-time OS experiments.

Design and Implementation of Remote Monitoring Technology based-on Web-Service for URC Robot (웹 서비스 기반 URC 로봇 원격 모니터링 기술의 설계 및 구현)

  • Im, Sung-Ho;Kim, Joo-Man
    • The Journal of the Korea Contents Association
    • /
    • v.6 no.11
    • /
    • pp.285-294
    • /
    • 2006
  • In this paper, we propose a new remote control and monitoring technique using web-service technology for URC robot. URC robot needs the architecture which can be applied all over the variety hardware and software platform for supporting the several interface with external world in the ubiquitous environment. In this paper, web-service technology is preferentially deliberated how to adopt into the embedded environment and the remote control and monitoring technology based on web-service technology for URC robot is designed and implemented as to support the interaction with agent programs. It has been carried out through simulating and implementing this technology into the target robot called NETTORO and proved its practical worth.

  • PDF

Endomorphic Modeling of Intelligent Systems : Intelligent Card Game Players (지능시스템의 내배엽성 모델링 : 지능적 카드 게임경기자)

  • Kim, Yeong-Gwang;Lee, Jang-Se;Ji, Seung
    • Journal of KIISE:Software and Applications
    • /
    • v.26 no.12
    • /
    • pp.1507-1518
    • /
    • 1999
  • 본 논문은 제어대상체의 지식을 이용하여 적절한 의사결정을 내리거나 또는 지속적으로 변화하는 주변환경에 적응해 나갈 수 있는 지능시스템 설계를 위한 내배엽성 모델링 방법론을 제시한다. 이러한 지능적 내배엽성 시스템은 의사결정 모델, 지식기반의 내부모델, 그리고 내부모델의 구축모델 등을 기반으로 달성될 수 있다. 학습기능의 모델링을 위하여 수정된 귀납추론 방법과 적응형 전문가 시스템 방법이 제안되었다. 제시된 방법론은 지능적 학습 및 의사결정 기능을 갖춘 지능적 카드경기자 모델링의 예를 통하여 그 가능성을 검증하였다. Abstract This paper presents an endomorphic modeling methodology for designing intelligent systems that can determine by itself using its knowledge of the world and adapt itself to continuously changing circumstances. We have developed such an intelligent endomorphic system by integrating the decision making component and knowledge based internal model with internal model construction model. Learning capabilities are established using the modified inductive reasoning and adaptive expert system techniques we developed. Proposed methodology has been successfully applied to a design of intelligent card game players capable of supporting the intelligent learning and decision making.

Implement Broker Service for Efficient Use and Security of Multiple Cloud Services (다수의 클라우드 서비스의 효율적인 사용과 보안성 향상을 위한 브로커 서비스 구현)

  • Jung, Sang-Mi;Lee, Youn-Ho;Cho, Ik-Hwan;Cho, Min-Jae;Lee, Han-Bok;Hwang, In-Won;Wi, Sun-Min
    • Annual Conference of KIPS
    • /
    • 2017.11a
    • /
    • pp.582-585
    • /
    • 2017
  • 본 논문에서는 구글 드라이브, 드롭박스 등 여러 회사에서 제공하고 있는 클라우드들을 하나의 플랫폼으로 통합하여 체계적이고 효율적으로 관리할 수 있는 시스템을 제안한다. 또한 해당 시스템을 통한 파일 업로드 및 다운로드를 진행할 경우, 파일을 여러 개의 패킷으로 분할하여 등록 된 클라우드에 각각 저장함으로써, 사용자의 데이터를 안전하게 보호할 수 있는 환경을 구축하고자 한다. 이를 위해 활용된 오픈 API와 독자적으로 구축한 파일 시스템에 대해 설명하고, 실제 구현한 소프트웨어가 정상적으로 작동하는지 실험을 통해 검증하고자 한다. 최근 클라우드 보안 문제가 대두되는 시점에서 제안한 시스템이 향후 데이터를 보호하기 위한 기술로 활용될 수 있기를 기대한다.

A Model of Storytelling Board Game based on Motif (모티프를 활용한 스토리텔링 보드 게임 개발)

  • Ahn, Jin-kyoung;Park, Hyoung-eun
    • Journal of Korea Game Society
    • /
    • v.16 no.4
    • /
    • pp.15-24
    • /
    • 2016
  • The purpose of this study is to propose a storytelling board game model using cards, focusing on motif theory illustrated at , a type of software that supports story-making. First, the study categorizes storytelling board games into 4 types, then sets a development objective. Furthermore, after creating a 205 types of motif cards according to motif categorizing system, the study presents development model of both basic and expansion mode. The study aims to verify its game characteristics and elaborate its model through focus group tests henceforth.

Multi-threaded system to support reconfigurable hardware accelerators on Zynq SoC (Zynq SoC에서 재구성 가능한 하드웨어 가속기를 지원하는 멀티쓰레딩 시스템 설계)

  • Shin, Hyeon-Jun;Lee, Joo-Heung
    • Journal of IKEEE
    • /
    • v.24 no.1
    • /
    • pp.186-193
    • /
    • 2020
  • In this paper, we propose a multi-threading system to support reconfigurable hardware accelerators on Zynq SoC. We implement high-performance JPEG decoder with reconfigurable 2D IDCT hardware accelerators to achieve maximum performance available on the platform. In this system, up to four reconfigurable hardware accelerators synchronized with SW threads can be dynamically reconfigured to provide adaptive computing capabilities according to the given image resolution and the compression ratio. JPEG decoding is operated using images with resolutions 480p, 720p, 1080p at the compression ratio of 7:1-109:1. We show that significant performance improvements are achieved as the image resolution or the compression ratio increase. For 1080p resolution, the performance improvement is up to 79.11 times with throughput speed of 99 fps at the compression ratio 17:1.

Extension of UML to Represent Components Interface Focusing on Interaction (상호작용 중심의 컴포넌트 인터페이스를 표현하기 위한 UML의 확장)

  • Park, Seong-Ho;Choe, Eun-Man
    • The KIPS Transactions:PartD
    • /
    • v.9D no.1
    • /
    • pp.65-74
    • /
    • 2002
  • This paper focuses components interactions which is important factor in designing software components. We classified several types of interaction between components and suggested appropriate graphical notation to extend UML and design process with extended method. Suggested notation and process was verified by practical experiment which is performed in travel agent component application. Representing interaction between components is not same to representing association between classes. UML in current version needs to be extended for representing this kind of components interaction. This research covers UML extension for components interaction and experiment for showing effectiveness.

Design of Core of MPEG Decoder for Object-Oriented Video on Network (네트워크 기반 객체 지향형 영상 처리를 위한 MPEG 디코더 코어 설계)

  • 박주현;김영민
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.23 no.8
    • /
    • pp.2120-2130
    • /
    • 1998
  • This paper concerns a design of programmable MPEG decoder for video processing by object unit on network. The decoder can process video data effectively by a embedded controller with stack buffers for supporting OOP (Object-Oriented Programming). The controller offers extended instructions that process several data types including 32bit integer type. In addition to that, we have a vector processor, in this decoder that can execute advanced compensation and prediction by half pixel and SA(Shape Adaptive)-IDCT of MPEG-4. Absolutors and halfers in the vector processor make this architecture extensive to a encoder. We verified the decoder with $0.6\mu\textrm{m}$ 5-Volt CMOS COMPASS library.

  • PDF

Power flow control and Input voltage Sag compensation Analysis of Bidirectional Intelligent Semiconductor Transformer (양방향 지능형 반도체 변압기의 조류제어와 입력전압 Sag 보상 특성분석)

  • Kim, Do-Hyun;Lee, Byung-Kwon;Han, Byung-Moon;Lee, Jun-Young;Yoon, Young-Doo;Choi, Nam-Sup
    • Proceedings of the KIPE Conference
    • /
    • 2013.07a
    • /
    • pp.345-346
    • /
    • 2013
  • 본 논문에서는 단상 1.9kV/127V, 2kVA 용량의 양방향 지능형 반도체 변압기의 시작품을 제작하고 그 동작특성을 실험적으로 분석한 내용을 기술하고 있다. 제작한 반도체 변압기는 3대의 LLC 컨버터를 입력 측은 직렬로 결합하고 출력 측은 병렬로 결합한 AC-DC 컨버터와 1대의 하드스위칭 양방향 2-Stage DC-AC 컨버터가 직렬로 결합되어 있다. 제안하는 반도체변압기의 회로적인 특성을 분석하기 위해 PSCAD/EMTDC 소프트웨어를 이용한 시뮬레이션을 실시하였고 분석을 통해 얻은 결과를 바탕으로 하드웨어 시작품을 제작하고 다양한 실험을 통해 그 동작과 성능을 검증하였다. 먼저 1차적으로는 정상동작에 대해 실험을 실시하고 얻은 결과를 시뮬레이션 결과와 비교 분석하였다. 2차적으로는 전력의 흐름에 따른 동작을 실험적으로 분석하였다. 그 후에는 입력전압에 외란이 발생하였을 때 보상성능을 순방향 조류와 역방향 조류 2가지 경우로 나누어 실험을 실시하고 그 결과를 실험결과와 비교 분석하였다. 분석한 결과 제안하는 반도체변압기는 양방향 전력흐름이 가능하고 입력전압에 Sag가 발생한 경우에도 이를 보상하여 수전단이나 부하에 전력공급이 가능함을 알 수 있었다. 향후 단상 반도체 변압기 2대를 더 제작하여 3상 3.3kV/380V, 6kVA 용량으로 확대하여 실험을 실시할 예정이다.

  • PDF

Survey on Quantitative Performance Evaluation Methods of Image Dehazing (안개 제거 기술의 정량적인 성능 평가 기법 조사)

  • Lee, Sungmin;Yu, Jae Taeg;Jung, Seung-Won;Ra, Sung Woong
    • KIPS Transactions on Software and Data Engineering
    • /
    • v.4 no.12
    • /
    • pp.571-576
    • /
    • 2015
  • Image dehazing has been extensively studied, but the performance evaluation method for dehazing techniques has not attracted significant interest. This paper surveys many existing performance evaluation methods of image dehazing. In order to analyze the reliability of the evaluation methods, synthetic hazy images are first reconstructed using the ground-truth color and depth image pairs, and the dehazed images are then compared with the original haze-free images. Meanwhile we also evaluate dehazing algorithms not by the dehazed images' quality but by the performance of computer vision algorithms before/after applying image dehazing. All the aforementioned evaluation methods are analyzed and compared, and research direction for improving the existing methods is discussed.