• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.35 no.3
• /
• pp.183-195
• /
• 2007

Comprehensive mathematical comparison of numerical dissipation vector was made for a compressible and the preconditioned version Roe's Riemann solvers. Choi and Merkle type preconditioning method was selected from the investigation of the convergence characteristics of the various preconditioning methods for the flows over a two-dimensional bump. The investigation suggests a way of migration from a compressible code to a preconditioning code with a minor changes in Eigenvalues while maintaining the same code structure. Von Neumann stability condition and viscous Jacobian were considered additionally to improve the stability and accuracy for the viscous flow analysis. The developed code was validated through the applications to the standard validation problems.

• Proceedings of the KIEE Conference
• /
• 2006.07b
• /
• pp.1136-1137
• /
• 2006

통합항해시스템이라 함은 자동화된 선박의 운용에 관한 것으로, 다양한 항해 센서(GPS, Gyro, Speed Log, echo sounder)를 이용하여 선박의 항해에 필요한 각종 정보를 입수하여 최적의 항로를 설정해주고, 운항의 안정성과 효율을 극대화시키는 시스템을 지칭한다. 즉, 선박의 운항에 필요한 다수의 모듈들을 독립적으로 운용하는 것이 아니라 이를 통합된 형태로 운용하여 효율을 극대화시키는 시스템이 통합항해시스템이라 할 수 있다. 통합항해시스템은 다양한 항해 센서들과 항해 시스템으로 구성되며, 다양한 항해 데이터들은 항해 센서로부터 수신하여 처리하는 동작을 수행한다. 즉, 통합항해시스템은 다수의 센서들로부터 수신된 정보를 평가하고 잠재적 위험과 무결성 저하에 대해서는 적절한 경고를 제공하여야한다. 따라서, 항해센서 데이터의 유효성(Validity) 및 모호성(Plausibility) 검사와 무결성 감시(Integrity Monitoring)는 통합항해시스템의 필수적 기능이라 할 수 있다. 본 연구에서는 IEC 61924 규격에 의한 항해센서로부터 수신된 항해데이터가 정확하고 유효함을 가지는 지에 대한 가치평가의 척도와 독립적인 데이터 소스로부터 데이터를 비교하여 검증하는 무결성, 정확도 이내의 정보를 완전하고 명확한 방법으로 사용자에게 제공하는 무결성 감시의 방법을 제시하며, 항해센서들에 의해 취득되는 항해 데이터의 무결성 검사를 통한 유효성, 적용가능성, 무결성의 평가방법을 기술한다.

• Review of KIISC
• /
• v.27 no.2
• /
• pp.34-40
• /
• 2017

제어시스템(발전시설, 전력시설, 교통시설 등)은 생산성, 가용성, 안전성을 목적으로 다양한 제어기기들로 구성되며, 물리적으로 다양한 위치에 분산되어 운영되고 있다. 그리고 안전성과 가용성을 유지하기 위해 시스템 도입 시 기존 시스템에 영향을 미치지 않는지 검증을 수행 후 시스템을 도입한다. 이러한 이유로 신규 기술의 도입이나, 기기의 변경이 자유롭지 않다. 이와 같은 제어시스템의 특성으로 인해 현재 증가되고 있는 제어시스템 사이버공격에 대한 보안대책 또는 기술들의 적용이 쉽지 않아 사이버공격에 취약한 상황이다. 제어시스템은 상위 시스템의 제어 명령을 통해 하위 제어기기 또는 필드기기를 제어하는 형태로 제어 명령의 무결성 유지가 특히 중요하다. 이는 곧 제어시스템에 환경에 접근한 공격자가 인가되지 않은 장비를 제어시스템에 연결하고, 악성 제어명령을 전송하게 된다면 제어기기는 이를 인지하지 못하고 정지되거나 오작동을 유발 할 수 있다는 것을 의미한다. 본 논문에서는 제어시스템 내 제어명령의 무결성 유지를 위해 임베디드 Add-on 단말을 통해 OTP 값을 생성, 전달, 검증하는 방안을 제안한다. 해당 방안은 상위노드와 하위노드 사이에 Add-on 장치를 두어 상위노드에서 제어명령 발생 시, 제어명령에 OTP값을 통해 캡슐화하고 하위노드로 전달한다. Add-on 장비는 일반 IT시스템과 상이한 제어시스템의 특성에 맞게 고안되었으며 제어시스템 내에 발생되는 제어명령 위변조, 제어명령 재사용 공격 등을 차단 할 수 있다.

• Journal of the Korean Society of Hazard Mitigation
• /
• v.9 no.5
• /
• pp.9-13
• /
• 2009

Modal parameters including resonant frequencies and mode shapes are heavily utililized in most damage identification throries for structural health monitoring. However, extracting modal parameters from dynamic responses needs postprocessing which inevitably involves errors in curve-fitting resonants as well as transforming the domain of responses. In this paper, the applicability of a damage identification method based on free vibration responses to the in-sevice responses is experimentally verified. The experiment is performed via applying periodic and nonperiodic moving loads to a simply supported beam and displacement responses are measured. The moving load is simulated using steel balls and a downhill device. The damage identification results show that the in-service response may be applicable to identifying damage in the beam.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2021.06a
• /
• pp.439-439
• /
• 2021

하천에서는 물리적 및 생태적 측면에서 종횡적 연결성이 매우 중요하며 이를 통해 물리적 환경 변화에 따라 변화하는 생물의 종도 연속적으로 변화하여 이어진다. 하천에서 안정적으로 물이 흐르고 거기서 서식하는 어류들의 보호 및 생태계 보전을 위해 어류의 이동이 가능하도록 보 혹은 댐 등과 같은 하천 횡단구조물 설계 시 어도를 추가적으로 설치하고 있다. 어도는 어류의 이동이 차단 혹은 곤란한 경우 이동이 가능하도록 만들어진 수로를 의미한다. 국내에 설치된 보는 35,000개 이상으로 이 중 어도는 5,081개가 설치되어 있다. 우리나라의 하천설계기준의 어도설계기준은 2002년에 개정되었으며 보의 부대시설로 어도의 형식에 대해서 다루어졌다. 그러나 어도의 기능을 평가하고 효율성을 증대시키기 위하여 어도 내의 수리 특성을 정확히 파악하여야 하며 또한 어류거동 및 이동에 대한 특성을 고려하여 적절한 어도의 위치선정 및 설계유량을 선정해야한다. 이를 위해 본 연구에서는 2차원 수리해석모형(Kim et al., 2018)에 Lagrangian기반 어류이동모형을 결합한 수치모형을 개발하고 이를 수리실험결과(Tan et al., 2018)와 비교하여 검증을 수행하였다. 어류의 운동 및 생물학적 특성을 반영하기는 매우 어렵기 때문에 현장조사 및 실험실 테스트로 통하여 획득한 주요 특성만을 반영하였다. 이러한 시도는 최근 기후변화 및 하천의 자연성 회복을 위한 종횡적 연결성을 검토하고 어도기능을 평가할 수 있는 기술로 활용이 가능할 것으로 보인다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.34 no.4
• /
• pp.693-706
• /
• 2024

The browser is utilized to render web pages in programs that perform tasks such as data extraction, format conversion, and development testing on web pages. Online services that utilize browsers can cause security issues if browser information is exposed or used in an unsafe manner. This paper presents security requirements for the safe use of browsers and explains the security threats that arise if these requirements are not met. Through evaluation, the security verification of commercial web applications is conducted, and the vulnerabilities that allow browsers to be exploited as attack tools are analyzed.

• Journal of KIISE
• /
• v.44 no.9
• /
• pp.992-1004
• /
• 2017

To assess image quality accurately, an image quality assessment (IQA) metric is required to reflect the human visual system (HVS) properly. In other words, the structure, color, and contrast ratio of the image should be evaluated in consideration of various factors. In addition, as mobile embedded devices such as smartphone become popular, a fast computing speed is important. In this paper, the proposed IQA metric combines color similarity, gradient similarity, and phase similarity synergistically to satisfy the HVS and is designed by using optimized pooling and quantization for fast computation. The proposed IQA metric is compared against existing 13 methods using 4 kinds of evaluation methods. The experimental results show that the proposed IQA metric ranks the first on 3 evaluation methods and the first on the remaining method, next to VSI which is the most remarkable IQA metric. Its computing speed is on average about 20% faster than VSI's. In addition, we find that the proposed IQA metric has a bigger amount of correlation with the HVS than existing IQA metrics.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.25 no.3
• /
• pp.311-318
• /
• 2014

Electromagnetic compatibility(EMC) performance of the first Korea space launch vehicle(KSLV-I) should be ensured and verified in order to guarantee the normal operation among the spacecraft, ground facilities which are installed in the space center, and other wireless communication networks. For the purpose of the EMC performance verification, pertinent EMC test specifications, methods, and procedures for both the subsystems and the system should be established in consideration of operational properties and electromagnetic environmental effects. And it is required to maintain and control the EMC properties consistently in accordance with the determined specifications up to the program closing phase. In this paper, sequential management work conducted during the overall development process of the KSLV-I is explained, and not only the phased EMC test plan for each model of the KSLV-I and its subsystem but also test method, specification, and results of the verification tests are presented. And also, multipaction analysis results are presented.

• The KIPS Transactions:PartD
• /
• v.15D no.1
• /
• pp.99-106
• /
• 2008

Recently developed compilers perform some optimizations in order to speed up the execution time of source program. These optimizations require the reordering of the sequence of program statements. This reordering does not give any problems in a single-threaded program. However, the reordering gives some significant errors in a multi-threaded program. State-of-the-art model checkers such as JavaPathfinder do not consider the reordering resulted in the optimization step in a compiler since they just consider a single memory model. In this paper, we develop a new verification tool to verify Java source program based on Java Memory Model. And our tool is capable of handling the reordering in verifying Java programs. As a result, our tool finds an error in the test program which is not revealed with the traditional model checker JavaPathFinder.

• The Journal of the Korea Contents Association
• /
• v.21 no.1
• /
• pp.603-614
• /
• 2021

In this study, the relationships between father's maternal attitude and infant's self-efficacy and peer ability was verified, and in this process, the mediated effect of infant's self-efficacy was verified. The subjects of this study were 256 fathers of infants who were enrolled in a kindergarten located in Seoul, and the data was acquired by questionnaire survey. Verification of research questions was carried out through structural equation model analysis. As a result of the verification, the father's affectional attitude and autonomic attitude showed a significant positive effect on the infant's self-efficacy, and the affectional attitude showed a significant positive effect on the infant's peer competence. And it was shown that the infant's self-efficacy has a significant positive effect on their peer competence. On the other hand, the father's maternal was shown to have a positive effect on the infant's peer competence through the mediating of the infant's self-efficacy. The results of this study will be meaningful in that they have derived factors of the father's maternal attitude toward improving peer competence as well as the self-efficacy in terms of infant development.