• Title/Summary/Keyword: 가상 검증

Search Result 1,164, Processing Time 0.025 seconds

Suggestion of RE and TDD-based V&V Development Process for Scientific Software Implementation (과학용 소프트웨어 구현을 위한 RE와 TDD기반 V&V 개발 프로세스 제안)

  • Lee, Jae-Hong;Kim, Duksu;Kim, Seung-Hee
    • The Journal of the Institute of Internet, Broadcasting and Communication
    • /
    • v.21 no.2
    • /
    • pp.79-88
    • /
    • 2021
  • Scientific software requires a development process different from conventional application software due to its unique characteristics, such as expert-level deep domain knowledge requirements. In this study, we proposed a V & V development process based on RE (Reverse Engineering) and TDD (Test-Driven Development) for software development for science. We also configured a virtual scenario for the actual project, applied it, checked the procedure, and refined it. The development process of this study, suggested for the purpose of developing scientific software, will contribute to the development and application of the software that can provide high quality and high reliability. And This study is expected to serve as an opportunity for the development of scientific software and the spread of research.

A Development of Traffic Safety Education Application Using Mixed Reality (혼합현실을 활용한 교통 안전교육 애플리케이션 개발)

  • Kim, Kang-Ho;Rhee, Dae-Woong
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.23 no.12
    • /
    • pp.1602-1608
    • /
    • 2019
  • In this study, we developed a "Zetton Children's Traffic Safety Education" application using mixed reality to help children experience a variety of traffic situations indirectly and to help them defend themselves from accidents. We analyze the types of high mortality child traffic accidents to set learning goal. And we developed the experience-oriented contents that players could acquire signal systems and traffic information naturally and funny in the course of playing scenarios according to designed various traffic situations. In order to verify the educational effectiveness of the developed application, children were given traffic safety education through after-school education activities. The result shows that the frequency of right answers to questions related to traffic safety awareness and learning objectives is increased.

Simulation of Fire Evacuation Induction System Using Smartphone Navigation Application

  • Shin, Dongmin;Jeon, Seongman;Lee, SungPil;Cho, Byungjun
    • Journal of the Korea Society of Computer and Information
    • /
    • v.25 no.12
    • /
    • pp.243-251
    • /
    • 2020
  • This study is intended to verify the efficiency of the information system by using the navigation application in case of fire. In the demonstration scenario simulation, it was assumed that a fire occurred 6th floor in Korea Institute of Industrial Design Promotion located in C city, K province. Eighty juniors students from K University's department of paramedics of science participated. As a result of the experiment, the demonstration simulation using the navigation application showed that the evacuation time was faster than the case of evacuation guidance in a fire situation. The need for a fire prevention system and fire prevention awareness before and after the implementation of the demonstration scenario simulation increased the need for a fire prevention system and fire prevention awareness score after the experiment.

Estimating Simulation Parameters for Kint Fabrics from Static Drapes (정적 드레이프를 이용한 니트 옷감의 시뮬레이션 파라미터 추정)

  • Ju, Eunjung;Choi, Myung Geol
    • Journal of the Korea Computer Graphics Society
    • /
    • v.26 no.5
    • /
    • pp.15-24
    • /
    • 2020
  • We present a supervised learning method that estimates the simulation parameters required to simulate the fabric from the static drape shape of a given fabric sample. The static drape shape was inspired by Cusick's drape, which is used in the apparel industry to classify fabrics according to their mechanical properties. The input vector of the training model consists of the feature vector extracted from the static drape and the density value of a fabric specimen. The output vector consists of six simulation parameters that have a significant influence on deriving the corresponding drape result. To generate a plausible and unbiased training data set, we first collect simulation parameters for 400 knit fabrics and generate a Gaussian Mixed Model (GMM) generation model from them. Next, a large number of simulation parameters are randomly sampled from the GMM model, and cloth simulation is performed for each sampled simulation parameter to create a virtual static drape. The generated training data is fitted with a log-linear regression model. To evaluate our method, we check the accuracy of the training results with a test data set and compare the visual similarity of the simulated drapes.

A study on the effective method of detecting denial of service attack to protect Guest OS in paravirtualization (반가상화 환경 Guest OS 보호를 위한 효율적인 서비스 거부 공격 탐지 방법에 관한 연구)

  • Shin, Seung-Hun;Jung, Man-Hyun;Moon, Jong-Sub
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.22 no.3
    • /
    • pp.659-666
    • /
    • 2012
  • Recently, cloud computing service has become a rising issue in terms of utilizing sources more efficiently and saving costs. However, the service still has some limitations to be popularized because it lacks the verification towards security safety. In particular, the possibility to induce Denial of service is increasing as it is used as Zombie PC with exposure to security weakness of Guest OS's. This paper suggests how cloud system, which is implemented by Xen, detects intrusion caused by Denial of service using hypercall. Through the experiment, the method suggested by K-means and EM shows that two data, collected for 2 mins, 5 mins, 10mins and 20mins each, are distinguished 90% when collected for 2mins and 5mins while collected over 10mins are distinguished 100% successfully.

Automated Construction of IndoorGML Data Using Point Cloud (포인트 클라우드를 이용한 IndoorGML 데이터의 자동적 구축)

  • Kim, Sung-Hwan;Li, Ki-Joune
    • Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
    • /
    • v.38 no.6
    • /
    • pp.611-622
    • /
    • 2020
  • As the advancement of technologies on indoor positioning systems and measuring devices such as LiDAR (Light Detection And Ranging) and cameras, the demands on analyzing and searching indoor spaces and visualization services via virtual and augmented reality have rapidly increasing. To this end, it is necessary to model 3D objects from measured data from real-world structures. In addition, it is important to store these structured data in standardized formats to improve the applicability and interoperability. In this paper, we propose a method to construct IndoorGML data, which is an international standard for indoor modeling, from point cloud data acquired from LiDAR sensors. After examining considerations that should be addressed in IndoorGML data, we present a construction method, which consists of free space extraction and connectivity detection processes. With experimental results, we demonstrate that the proposed method can effectively reconstruct the 3D model from point cloud.

Resource Allocation Method using Credit Value in 5G Core Networks (5G 코어 네트워크에서 Credit Value를 이용한 자원 할당 방안)

  • Park, Sang-Myeon;Mun, Young-Song
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.24 no.4
    • /
    • pp.515-521
    • /
    • 2020
  • Recently, data traffic has exploded due to development of various industries, which causes problems about losing of efficiency and overloaded existing networks. To solve these problems, network slicing, which uses a virtualization technology and provides a network optimized for various services, has received a lot of attention. In this paper, we propose a resource allocation method using credit value. In the method using the clustering technology, an operation for selecting a cluster is performed whenever an allocation request for various services occurs. On the other hand, in the proposed method, the credit value is set by using the residual capacity and balancing so that the slice request can be processed without performing the operation required for cluster selection. To prove proposed method, we perform processing time and balancing simulation. As a result, the processing time and the error factor of the proposed method are reduced by about 13.72% and about 7.96% compared with the clustering method.

Study on AR/VR Model Generation Techniques Using Piping Isometric Drawing Files (배관 ISO도면 파일 기반 AR/VR모델 생성 기법 연구)

  • Lee, Jung-Min;Lee, Kyung-Ho;Kim, Yang-Ouk;Han, Young-Soo
    • Journal of the Computational Structural Engineering Institute of Korea
    • /
    • v.34 no.1
    • /
    • pp.19-24
    • /
    • 2021
  • This paper presents a method to generate three-dimensional AR/VR models using the information in Isogen data files (IDFs). An IDF is an output file produced by ISOGEN that contains piping isometric drawings. A piping isometric drawing is used for pipeline installation in the shipyard; therefore, the drawing describes assembly information with symbolic features, not with detailed geometric features. An IDF specifies relationships between piping routes and components with three-dimensional points and tag information as well as the bill of the materials of a pipeline. The key idea of this paper is that AR/VR models can be generated with the piping route points data and piping components tag information in real time, without any conversion of standard data exchange file formats, such as STP, IGES, and SAT. This paper describes IDF data structure and suggests the geometry generation process with IDF data and parametric functions.

Requirements for Berth-Allocation Planning When Taking Pier-Available Resources and Submarine Support Service Request Schedules into Account (잠수함 지원업무 요구일정과 부두 가용자원을 고려한 선석할당계획)

  • Choi, Ji-Won;Choi, In-Chan
    • Journal of Navigation and Port Research
    • /
    • v.44 no.6
    • /
    • pp.501-508
    • /
    • 2020
  • His paper looks more closely at the Republic of Korea's (ROK) Navy submarine berth-allocation strategies, with the study's results ultimately resulting in the proposition of an integer programming model. Current submarine berth-allocation planning problems include the need for more minimal berth-shifting and general support service failures, as a lack of efficient submarine berth-allocation often leads to submarines unable to receive the support service they need due to the inadequacy of their assigned berths. Currently, the ROK Navy allocates berths by only taking available reserve resources and the full-capacity limits of support services into account. This paper expands upon this strategy, and proposes a model which would allow for submarine berth allocation planning to also take submarine support service scheduling into account, allowing for more efficient and timely submarine servicing. This proposed model in turn minimizes berth shifting, support service failures, and allows for full coordination with the submarine support service request schedule. The construction of this model was carried out through data gathered on the ROK Navy's fleets and forces, allowing for a more nuanced analysis of existing issues with submarine berth-allocation planning.

A Study on Speed Variable Proportional Resonant Current Controller of Single-Phase PMSM (단상 영구자석 동기전동기의 속도 가변형 비례공진 전류제어에 관한 연구)

  • Lee, Won-Seok;Hwang, Seon-Hwan;Park, Jong-Won
    • Journal of IKEEE
    • /
    • v.24 no.4
    • /
    • pp.954-960
    • /
    • 2020
  • This paper proposes a speed variable proportional resonant current control method for a single-phase permanent magnet synchronous motor(PMSM). Due to the electromagnetic characteristics of a single-phase PMSM, negative and zero torques are generated in the part corresponding to the phase difference between the stator current and the back electromotive force. In addition, overcurrent limitation is required because of the low stator resistance and inductance in sensorless operation. When using the vector control for current control of single-phase PMSM under these conditions, processes of coordinate transformation, inverse coordinate transformation, and generation of virtual dq-axis components are required. However, the proposed variable speed proportional resonant current control method does not need the coordinate transformation used for AC motors. In this paper, we have confirmed stable maneuverability by using variable proportional resonant current control algorithm, and proposed sensorless control based on a mathematical model of a single-phase PMSM without a position sensor when reaching a constant speed. The usefulness of the current control method was verified through several experiments.