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

Search Result 2,336, Processing Time 0.032 seconds

Dynamic Timed Multimedia Synchronization Model for Efficient Quality of Service (효율적인 서비스 품질을 위한 동적 시간형 멀티미디어 동기화 모델)

  • 이근왕;오해석
    • Journal of the Korean Institute of Telematics and Electronics C
    • /
    • v.36C no.10
    • /
    • pp.75-80
    • /
    • 1999
  • Multimedia synchronization model for distributed, continuous or discrete media that was guaranteed high quality of service is requited in developing multimedia application software. In this paper we have specific object controller which is called dynamic key media that is changed by user event generation. This becomes media whose event occurrence and periods can't be predicted. For event occurrence not only audio but also text and image can be chosen for key media and performs its role. Object controller transfers information for next transition. The proposed model offers high qualify of services by permitting maximum allowed jitter and skew in playout time and verified its effectiveness by simulation.

  • PDF

Play-based SW Education Teaching-Learning Strategy to Improve Computational Thinking (컴퓨팅 사고 신장을 위한 놀이중심 SW교육 교수학습 전략)

  • Han, SeonKwan
    • Journal of The Korean Association of Information Education
    • /
    • v.21 no.6
    • /
    • pp.657-664
    • /
    • 2017
  • This study investigates the effect of play-based software education instruction strategy for improving computational thinking as a method of software education. The play-based instruction strategy is a teaching-learning strategy in which the presented code is navigated through play, and the functions are revised and newly reconstructed. We designed an education program with the play-based instruction strategy and applied the program to elementary students. In order to verify the effectiveness of the research, we examined the competence of computing thinking concept and computing thinking practice. As a result, the computing thinking concept and computational thinking practice were that the proposed teaching-learning model is higher than the direct teaching method.

무인이동체 드론의 취약점분석 및 대응기술 연구 동향

  • Kim, Myoungsu;You, Ilsun;Yim, Kangbin
    • Review of KIISC
    • /
    • v.30 no.2
    • /
    • pp.49-57
    • /
    • 2020
  • 군사 등의 특수 목적으로만 사용되었던 무인비행체 드론이 최근 상용 수준의 간결한 구조와 저가화가 가능해지면서 여러 제조업체를 통하여 민간분야의 다양한 응용에 활용 가능함을 증명하고 있다. 그러나 제조업체들 간의 시장 우위 선점을 위한 과열 경쟁으로 인하여 보안 안전성 검증 단계를 거치지 않은 드론과 이에 수반되는 애플리케이션이 시장에 바로 출시되면서 이들이 우리 사회를 향한 공격도구로 활용될 수 있다는 새로운 잠재적 위협이 우려되고 있다, 이와 관련하여 현재 드론과 애플리케이션과의 연결 및 데이터 통신 과정에서 완성도가 낮은 접근제어 기술이나 암호화되지 않은 통신방식을 비롯하여 드론 내부 소프트웨어의 코딩 상의 문제점 등에 의하여 다양한 취약점이 노출되고 있는 상태이다. 이러한 취약점들로 인하여 드론의 인증 해제 및 하이재킹을 통한 불법 영상촬영이나 개인정보의 유출 등을 비롯하여 특정 목표물을 향한 드론의 고의적 추락 등이 발생할 경우 재산 피해뿐만 아니라 인명 피해까지 발생할 수 있다. 특히, 현재의 드론 응용은 초기단계여서 향후 다양한 응용과 유관 기술들이 폭넓게 전개되어야 하는 시점에서 이러한 사고 가능성은 매우 심각하게 인식되어야 할 것이다. 더구나 제4차 산업혁명 시대의 드론은 비상시를 위한 다이나믹 모바일 게이트웨이 역할까지도 수행하여야 하는 환경에서 악의적인 행위는 전체 사회로 확산될 우려도 있으므로 미래 사회의 드론을 위한 안전문제는 매우 시급하고 중대하다고 할 수 있다. 이에 본 고에서는 현재까지 발표된 드론에 대한 다양한 보안위협을 조사하고 이러한 보안 위협을 요소별로 분류하여 정리하였다. 본 기고가 간단하게나마 정리한 내용을 통하여 다양한 보안위협에 대한 대응기술을 준비하기 위한 시발점이 되었으면 한다.

The Specification Techniques of Component Interactions (컴포넌트 상호작용 명세기법)

  • Lee, Chang-Hoon
    • The KIPS Transactions:PartD
    • /
    • v.11D no.4
    • /
    • pp.929-936
    • /
    • 2004
  • A major limitation of available component-based platforms Is that they do not provide suitable means for describing and reasoning on the concurrent behaviour of interacting component-based system. Indeed while these platforms provide convenient ways to describe the typed signatures of components, e.g. like CORBA's IDL, they offer a quite low-level support to describe the concurrent behaviour of component. The ability to describe and verify the concurrent behaviour of interacting components is key aspect In the development of large component-based software system. This study propose a component interface specification using process algebra and configuration's role which allows one to prove correctness of software architecture generated at design level as well as to define compatibility relations by our evolution rule and $\pi$-graph. Also, we shown on an appropriateness of a specification techniques and definitions proposed in this paper by case-study.

Two-dimensional Coupled Moisture and Heat Flow Model and Sensitivity Analysis (이차원 복합적 습기와 열흐름의 분석모델과 민감도 분석)

  • Kim, Suk-Nam
    • Journal of the Korean Geotechnical Society
    • /
    • v.19 no.5
    • /
    • pp.99-107
    • /
    • 2003
  • Moisture flow and heat flow within pavement systems have been recognized as coupled processes with complex interactions between them. The distribution of moisture and temperature within pavement due to the moisture flow and heat flow varies not only seasonally but also vertically and horizontally. This paper presents an analysis model by the finite element method for the two-dimensional coupled moisture and heat flow in unsaturated soils. To test the model the analysis result by the model is compared with the analysis result by the software, GEO-SLOPE developed by GEO-SLOPE International Ltd. in Alberta, Canada. And a sensitivity analysis using ASTM method is performed to identify how model inputs affect the modeling analysis.

Design of a Shader Based on the OpenGL ES 2.0 (OpenGL ES 2.0 기반 셰이더 설계)

  • Kim, Jong-Ho;Choi, Wan;Kim, Sung-Jin;Kim, Tae-Young
    • Journal of the Korea Computer Graphics Society
    • /
    • v.12 no.3
    • /
    • pp.13-20
    • /
    • 2006
  • 모바일 환경에서 고급 그래픽스 기술을 적용하고자 하는 시도로 최근 3D 그래픽 엔진을 탑재한 단말기가 출시되고 있다. 이 단말기는 OpenGL ES 1.x을 기준으로 고정된 파이프라인을 통해 그래픽 연산을 처리하고 있으므로 사용자가 다양한 그래픽 표현을 수행하는데 제약이 따른다. 최근 PC 환경의 그래픽 엔진에서는 고정 기능의 파이프라인이 아닌 프로그래밍 가능한 파이프라인을 제공하여 기존 고정 파이프라인에서 불가능했던 유연한 그래픽스 기술을 제공하고 있다. PC환경의 프로그래밍 가능한 파이프라인은 DirectX와 OpenGL 그래픽 라이브러리에 의해 제공되고 있지만, 모바일 환경에서는 이를 지원하기 위한 관련 제품이 아직 출시되지 않고 있는 상태이다. 본 논문에서는 2005년 9원에 발표된 프로그레밍 가능한 그래픽스 파이프라인에 대한 표준인 OpenGL ES 2.0에 기반한 효율적인 셰이더 구조와 이 의 구동방식을 제시한다. 본 연구는 PC상에서 소프트웨어로 개발되었고, 연구 결과는 그래픽스 하드웨어 설계를 위한 검증용으로 사용될 수 있을 뿐 아니라 응용 프로그래머의 모바일 콘텐츠 제작을 위하여 활용될 수 있다.

  • PDF

Path Planning and Control of an Articulated Robot for Polishing Large Aspherical Surface (대구경 비구면 연마를 위한 다관절 로봇의 경로 계획 및 제어)

  • Kim, Ji-Su;Lee, Won-Chang
    • Journal of IKEEE
    • /
    • v.23 no.4
    • /
    • pp.1387-1392
    • /
    • 2019
  • Aspherical mirrors have lighter weight and better performance than spherical mirrors, but it is difficult to process their shape and measure the processing precision. Especially, large aperture aspherical mirrors mounted on satellites need high processing precision and long processing time. The computerized numerically controlled machine of gantry type has been used in polishing process, but it has difficulties in processing the complex shapes due to the lack of degrees of freedom. In order to overcome this problem we developed a polishing system using an articulated industrial robot. The system consists of tool path generating program, real-time robot monitoring, and control program. We show the performance of the developed system through the computer simulation and actual robot operation.

An Implementation of Security System Using Speaker Recognition Algorithm (화자인식 알고리즘을 이용한 보안 시스템 구축)

  • Shin, You-Shik;Park, Kee-Young;Kim, Chong-Kyo
    • Journal of the Korean Institute of Telematics and Electronics T
    • /
    • v.36T no.4
    • /
    • pp.17-23
    • /
    • 1999
  • This paper described a security system using text-independent speaker recognition algorithm. Security system is based on PIC16F84 and sound card. Speaker recognition algorithm applied a k-means based model and weighted cepstrum for speech features. As the experimental results, recognition rate of the training data is 100%, non-training data is 99%. Also false rejection rate is 1%, false acceptance rate is 0% and verification mean error rate is 0.5% for registered 5 persons.

  • PDF

로켓엔진용 연료펌프 전산유동해석

  • Noh, Jun-Gu;Choi, Chang-Ho;Kim, Jin-Han
    • Aerospace Engineering and Technology
    • /
    • v.3 no.2
    • /
    • pp.183-190
    • /
    • 2004
  • The performance analysis of a fuel pump for a liquid rocket engine has been performed numerically on its design condition. A commercial three-dimensional Navier-Stokes flow solver has been used for the computation. All of the fuel pump components - inducer, impeller, volute and secondary flow passages - are included in computation for the accurate estimation of the leakage flow rate which affects the performance and axial thrust. A pitchwise-averaged mixing plane method was used on the boundaries among the fuel pump components to save computational time. The predicted overall performance satisfied the design requirement. However, the axial thrust exceeded a permissible limit. In order to reduce the axial thrust, the secondary flow passage design has been changed. With this change, the axial thrust level has been reduced to 30% as compared with the original value.

  • PDF

The Developement of Smart TV and Smart Home Platform based on HTML5 (HTML5를 기반으로 한 스마트 TV와 스마트 홈용 플랫폼 개발)

  • Kim, Gwang-Jun;Kang, Ki-Woong;Han, Kyu-Cheol;Jang, Seung-Jin;Yoon, Chan-Ho
    • The Journal of the Korea institute of electronic communication sciences
    • /
    • v.9 no.9
    • /
    • pp.991-998
    • /
    • 2014
  • Embedded System operates hardware installed like processor, memory device, various input/output devices and software to control them. This thesis presents MPU module and Base board which are efficient industrial control through design and manufacture as developing S5PV210 CPU of SAMSUNG used by ARM Cortex-A8 based on Android which is Open mobile platform is installed to embedded system. Data for temperature and humidity which are received by CAN communication module proved the suitability and validity for the embedded platform design as implementing application program employed the native App with Linux Kernel based on the Android OS and application of HTML5.