• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2020.11a
• /
• pp.85-86
• /
• 2020

자율운항선박을 위한 충돌회피 알고리즘은 여러 연구자들을 통해 다양한 방식으로 개발되고 있다. 본 연구에서는 한국 연안 지역 특성 및 선박운항자의 의식을 기반으로 한 해상교통위험도 평가 모델인 PARK Model을 적용하여 충돌회피 알고리즘을 개발하였다. 이렇게 개발된 충돌회피 알고리즘은 자율운항선박과 사람이 동시에 항해하는 과도기에 선박운항자의 의식을 반영한 충돌회피를 수행하여 다른 선박운항자들에게 이질감 및 부담감을 주지않을 것으로 사료된다. 본 연구의 충돌회피 알고리즘은 PARK Model 위험도를 기반으로 COLREGS 규정을 반영하여 회피동작을 수행하며, 여러 규모의 선박을 대상으로 마주치는 상황, 횡단하는 상황, 추월하는 상황과 이들이 복합적으로 발생하는 상황에 대한 시뮬레이션 결과 모두 충돌을 회피할 수 있었다. 또한, 과거 AIS Data를 이용한 실해역 시뮬레이션 실험에서도 충돌회피를 수행하여 본 충돌회피 알고리즘의 성능을 검증하였다.

• The Journal of Engineering Geology
• /
• v.18 no.1
• /
• pp.27-36
• /
• 2008

To derive easily the coefficient of permeability from several other soil properties, the estimation model of coefficient of permeability was proposed using linear regression analysis. The coefficient of permeability is one of the major factors to evaluate the soil characteristics. The study area is located in Kangwon-do Pyeongchang-gun Jinbu-Myeon. Soil samples of 45 spots were taken from the study area and various soil tests were carried out in laboratory. After selecting the soil factor influenced by the coefficient of permeability through the correlation analysis, the estimation model of coefficient of permeability was developed using the linear regression analysis between the selected soil factor and the coefficient of permeability from permeability test. Also, the estimation model of coefficient of permeability was compared with the results from permeability test and empirical equation, and the suitability of proposed model was proved. As the result of correlation analysis between various soil factors and the coefficient of permeability using SPSS(statistical package for the social sciences), the largest influence factor of coefficient of permeability were the effective grain size, porosity and dry unit weight. The coefficient of permeability calculated from the proposed model was similar to that resulted from permeability test. Therefore, the proposed model can be used in case of estimating the coefficient of permeability at the same soil condition like study area.

• The Journal of the Convergence on Culture Technology
• /
• v.9 no.1
• /
• pp.649-654
• /
• 2023

This paper proposes the design of a neural network structure search model using graph convolutional neural networks. Deep learning has a problem of not being able to verify whether the designed model has a structure with optimized performance due to the nature of learning as a black box. The neural network structure search model is composed of a recurrent neural network that creates a model and a convolutional neural network that is the generated network. Conventional neural network structure search models use recurrent neural networks, but in this paper, we propose GC-NAS, which uses graph convolutional neural networks instead of recurrent neural networks to create convolutional neural network models. The proposed GC-NAS uses the Layer Extraction Block to explore depth, and the Hyper Parameter Prediction Block to explore spatial and temporal information (hyper parameters) based on depth information in parallel. Therefore, since the depth information is reflected, the search area is wider, and the purpose of the search area of the model is clear by conducting a parallel search with depth information, so it is judged to be superior in theoretical structure compared to GC-NAS. GC-NAS is expected to solve the problem of the high-dimensional time axis and the range of spatial search of recurrent neural networks in the existing neural network structure search model through the graph convolutional neural network block and graph generation algorithm. In addition, we hope that the GC-NAS proposed in this paper will serve as an opportunity for active research on the application of graph convolutional neural networks to neural network structure search.

• Journal of Venture Innovation
• /
• v.7 no.2
• /
• pp.143-152
• /
• 2024

Recently, as a lot of software with AI functions has been developed, the number of software products with various prediction functions is increasing, and as a result, the importance of software quality has increased. In particular, as consideration for functional safety of products with AI functions increases, software quality management is being conducted at a national level. In particular, the GS Quality Certification System is a quality certification system for software products that is being implemented at the national level, and the GS Certification System is also researching quality evaluation methods for AI products. In this study, we attempt to present an evaluation model that satisfies the basic conditions of software quality based on international standards among the various quality evaluation models presented to verify software reliability. Considering the software quality characteristics of the artificial intelligence sector, we study quality evaluation models, diagnose quality, and predict failures. .In this study, we propose an international standard model for artificial intelligence based on the software reliability growth model, present an evaluation model, and present a method for quality diagnosis through the model. In this respect, this study is considered to be important in that it can predict failures in advance and find failures in advance to prevent risks by predicting the failure time that will occur in software in the future. In particular, it is believed that predicting failures will be important in various safety-related software.

• Journal of Digital Convergence
• /
• v.12 no.8
• /
• pp.229-234
• /
• 2014

Vehicular electronic communication system has continued to develop in favor of high performance and user convenience with the evolution of auto industry. Yet, due to the nature of communication system, concerns over intruder attacks in transmission sections have been raised with a need for safe and secure communication being valued. Any successful intruder attacks on vehicular operation and control systems as well as on visual equipment could result in serious safety and privacy problems. Thus, research has focused on hardware-based security and secure communication protocols. This paper proposed a safe and secure vehicular communication protocol, used the formal verification tool, Casper/FDR to test the security of the proposed protocol against different types of intruder attacks, and verified that the proposed protocol was secure and ended without problems.

• Proceedings of the KAIS Fall Conference
• /
• 2010.11b
• /
• pp.901-903
• /
• 2010

본 연구에서는 2007-2009년에 간호학과 및 스포츠과학부 해부학 강의에 있어 가상강의를 실시하였고 이에 따른 학생들의 가상강의 컨텐츠의 만족도와 가상강의실 활용빈도에 따른 학업성취도와의 상관관계를 분석하였다. 2007-2009학년도 1학기 해부학 강의를 가상강의 방식으로 수강한 2개 학과 231명을 대상으로 강의 종료 후 가상강의실 게시판 및 컨텐츠 활용 빈도, 개별 설문조사, 학기말 성적을 확보하여 상호간의 상관관계를 분석하였다. 각 학과별 일반 특성을 보기 위하여 연속 변수의 경우 평균과 표준오차를, 범주형 변수의 경우 그 분포 퍼센트를 이용하여 제시하였다. 학과별로 모든 학생들의 총점을 3분위수로 구분하여 낮음, 중간, 높음으로 분류하였으며, 조사된 모든 변수들의 일반 선형성을 GLM 모델을 이용하여 검증하였다. 사후 검증은 최소자승법을 이용하여 실시하였으며, 이를 이용하여 각각의 세부 집단별 점수 차이에 대한 유의성을 평가하였다. 관련 항목들 간 상관성 분석을 위하여 스피어만 상관계수를 이용하여 p 값 0.05를 기준으로 유의성 검증을 실시하였다. 모든 통계분석은 SAS 9.12 버전을 이용하여 분석하였다. 설문 대상자들은 학과와 해부학 성적에 상관없이 가상강의 전반에 대해 높은 만족도를 가졌다. 해부학 성적이 좋을수록 가상강의실 접속횟수가 유의하게 높았다. 아울러 해부학 성적이 좋을수록 난이도가 낮고 흥미도는 높게 나타났다. 또한 평가 요인들 간의 상관관계를 분석한 결과, 가상강의의 만족도는 흥미도와 전공과의 연계성과 밀접한 관련이 있었다. 가상강의 게시판을 통한 과제물 관리, 질의응답에 대한 적절성에 대해서는 성적에 따라 일부 유의한 차이가 나타났으나 높은 만족도를 나타내었다. 결론적으로 건강 및 의료 전공자들을 위한 해부학 강의에 있어 가상강의의 도입과 적용은 성공적이었으며, 이는 해부학 전공 교수진이 매우 부족한 현실에서 해부학 강의의 질적 저하를 막고 효율적인 교육을 위한 대안이 될 것으로 판단된다. 단, 해부학 가상강의 컨텐츠의 개선, 자료 보강 및 가상강의의 접근성 확보는 시급히 개선해야할 과제로 남아 있다.

• Journal of Digital Convergence
• /
• v.13 no.4
• /
• pp.205-210
• /
• 2015

The auto industry has significantly evolved to the extent that much attention is paid to M2M (Machine-to-Machine) communication. In M2M communication which was first used in meteorology, environment, logistics, national defense, agriculture and stockbreeding, devices automatically communicate and operate in accordance with varying situations. M2M system is applied to vehicles, specifically to device-to-device communication inside cars, vehicle-to-vehicle communication, communication between vehicles and traffic facilities and that between vehicles and surroundings. However, communication systems are characterized by potential intruders' attacks in transmission sections, which may cause serious safety problems if vehicles' operating system, control system and engine control parts are attacked. Thus, device-to-device secure communication has been actively researched. With a view to secure communication between vehicular devices, the present study drew on hash functions and complex mathematical formulae to design a protocol, which was then tested with Casper/FDR, a tool for formal verification of protocols. In brief, the proposed protocol proved to operate safely against a range of attacks and be effective in practical application.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.31 no.10
• /
• pp.97-104
• /
• 2003

This paper addresses EMC test results for the EQM Communications & Broadcasting Satellite(CBS) Ka-band Payload System. The aim of the EMC test is to verify that the payload system has no effect on the other system and is not affected by the external field. The compliance of EMC system requirements was verified by the analysis and measurement of the emission level from the payload system. The variation of performance by noise injection was measured to inspect the susceptibility of the payload system. The analysis and test results also showed that the electromagnetic interference has no serious effect on the overall payload system performance. It is confirmed that the EQM CBS Ka-band payload system can be operable in the space environment from the EMC performance's viewpoint. It is also obtained that better performance can be acquired by improving waveguide design and integration method.

• Journal of Digital Convergence
• /
• v.19 no.8
• /
• pp.205-217
• /
• 2021

Decentralized SSI(Self Sovereign Identity) has become an alternative to a new digital identity solution, but an efficient de-identification technique has not been proposed due to the unique algorithmic characteristics of data transactions. In this study, to ensure the decentralized operation of SSI, we propose a de-identification technique that does not remove identifiers by restructuring the verification results of ZKP (Zero Knowledge Proof) into a form that can be provided to the outside by the verifier. In addition, it is possible to provide restructured de-identification data without the consent of data subject by proposing the concept of differential sovereignty management for each entity participating in verification. As a result, the proposed model satisfies the domestic personal information protection law in a decnetralized SSI, in addition provides secure and efficient de-identification processing and sovereignty management.

• Journal of the Korean Society of Propulsion Engineers
• /
• v.24 no.6
• /
• pp.143-154
• /
• 2020

The mathematical modeling applying experimental coefficients to a conventional model was validated through the hydraulic test for the components and the full system of a small-sized liquid rocket engine's propellant supply system. According to the simulations, pressures difference for the fluid resistance components and the pump were mainly predicted. In order to improve the modeling accuracy, the loss coefficients obtained by the empirical method were applied to the modeling. Based on the governing equation of the flow or the well known empirical equation, the method of deriving the empirical coefficients was summarized and the coefficients were presented for the commercial products used in this study. The prediction results by modeling were in good agreement with the experimental data. Through the comparison with the experimental data, the factors affecting the accuracy of the simulation were analyzed and improving methods of the accuracy was proposed.