• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2015.10a
• /
• pp.187-189
• /
• 2015

해양사고를 야기하는 위기(risk) 또는 해저드(hazard)는 세계 경제 및 물류, 기상환경, 금융, 선종개발, 기술개발 등 다양한 요소에 의해서 수시로 변한다. 변한 위기에 대해서 사전에 대응방안을 수립하지 못한 경우 대규모 해양사고로 연계될 가능성이 크다. 그 이유는 대응방안을 사전에 고려하지 못했거나 준비하지 못한 해양사고는 사전대응책이 마련된 사고와 비교하여 대응하는 방법과 대응속도 등이 다르기 때문이다. 본 연구에서는 현재까지 새로 창출된 다양한 위기를 각종 보고서, 논문 등을 통해서 식별하고 분류하여 현재까지 식별하지 못한 위기를 구분하고, 식별하였더라도 새로운 사고를 유발한 위기를 식별하여 사전에 예방책을 강구하는 것이 목적이다. 연구 대상이 방대하기 때문에 본 연구에서는 일단, 알리안츠 보험회사 자료에서 획득한 위기분석 결과를 토대로 위기를 식별하고, 이에 대한 시나리오를 전개하였다. 이를 통해서 추후 연구방법을 검토하고자 한다.

• Proceedings of the KIEE Conference
• /
• 2007.10a
• /
• pp.79-80
• /
• 2007

This paper deals with generating multi-ped mobile robot's optimal path and its simulation. The multi-ped robot has six-legs which make it possible to move actively by attached driving wheel at the end of legs. The simulation environment is created similarly to the indoor environment as simple obstacles and walls. Also simulator can reconstruct an simulation environment. In this paper, the suggested simulator can generate the optimal path from starting point to destination by applying the A* algorithm and Bug2 algorithm. Then it is possible to check algorithms as 3D screen and we can simulate under the generated path.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.9 no.4
• /
• pp.245-251
• /
• 2014

Wireless Sensor Networks(WSNs) are applied to many monitoring applications. Present sensor nodes can perform many functions at the same time and contain complex software. During the lifetime of sensor nodes, they are required to reprogram their software because of their new functions, software, software bug fixes. The nodes are inaccessible physically or it is very difficult to upgrade their software by one by one. To upgrade the software of sensor nodes in WSNs remotely, this paper presents an energy efficient method by selecting an optimal relay node. The CHR(Cluster Head Relay) method is compared with SPIN and RANDOM method. Three methods are simulated in NS-2 with the same environmental parameters. Simulation results show that CHR shows faster update time and less power consumption compared with other two methods.

• Journal of Life Science
• /
• v.10 no.2
• /
• pp.164-168
• /
• 2000

To understand the biological characteristics of Corythucha ciliata occurring in Korea, developmental periods and its susceptibility to several insecticides were examined under growth chamber condition at $25^{\circ}C$. It took 11.1 day from egg to hatch. And duration of each stage up to the 5th nymph after hatching was 4.0, 2.1, 2.0, 2.9, and 4.0 days, respectively. Total duration from egg to adult was 26.1 days, preoviposition period was 12.2 days, and average number of eggs laid by a female was 83.0. Sex ratio of female was 51.6% and lifespan of female adult was 43.2% days. LC50 value of deltamethrin and esfenvalerate were 0.8 and 0.9 ppm, respectively. Insecticidal effects were better in pyrethroids than organophosphates and carbamates.

• Annual Conference of KIPS
• /
• 2018.10a
• /
• pp.517-520
• /
• 2018

보안 버그는 소프트웨어의 치명적인 취약점을 노출해 제품의 질 저하 및 정보유출을 일으킨다. 위 상황을 최소화하기 위해 보안 버그 추적 기술이 필요하다. 본 논문에서는 보안 버그가 발생한 소스 파일의 특징을 분석하여 보안 버그 추적을 위한 정보를 제공한다. 우리는 보안이 중요하게 다루어져야 하는 안드로이드와 블록체인 오픈소스를 대상으로 보안 버그 리포트를 수집해 보안 버그가 나타난 소스 파일의 텍스트를 분석했다. 분석 결과, 안드로이드의 경우 통신 관련 패키지에 포함된 파일에서 보안 버그가 발생했다. 블록체인의 경우 계정, 키 저장 관련 파일들에서 보안 버그가 주로 발생했다. 보안 버그 추적 시 본 연구의 분석 결과를 반영한다면 빠르고 정확하게 보안 버그 파일을 찾을 수 있을 것으로 보인다.

• Journal of the Korea Society of Computer and Information
• /
• v.24 no.4
• /
• pp.107-112
• /
• 2019

Failure testing is a test that verifies that the system is operating in accordance with failure response requirements. A typical failure test approaches the operating system by identifying and testing system problems caused by unexpected errors during the operational phase. In this paper, we study how to evaluate these Failure at the software development stage. Evaluate the probability of failure due to code changes through the complexity and duplication of the code, and evaluate the probability of failure due to exceptional situations with bugs and test coverage extracted from static analysis. This paper studies the possibility of failure based on the code quality of software development stage.

• Annual Conference of KIPS
• /
• 2008.05a
• /
• pp.841-844
• /
• 2008

본 논문은 공개 네트워크 시뮬레이터 ns-2.31(Network Simulator 2.31)의 802.11 DCF 모듈에서 버그(bug)를 소개하고 이의 영향 결과를 분석한다. ns의 802.11 DCF 모듈은 다음과 같은 문제점을 가지고 있다. 첫째, 백오프(backoff) 알고리즘은 표준안에서 명시한 알고리즘대로 작성되지 않았다. 둘째, 특정조건에 해당되는 충돌에 대하여 트레이스 파일에 출력하지 않는다. 셋째, 전파 오류 모듈을 삽입하여도 전파 오류 결과를 트레이스 파일에 출력하지 않는다. 넷째, MAC(Medium Access Control) 알고리즘만을 평가할 수 있는 기법을 제공하지 않는다. 이러한 문제점을 수정한 ns-2와 수정전의 ns-2와 평균4.6%의 충돌률 차이를 보인다.

• Annual Conference of KIPS
• /
• 2024.05a
• /
• pp.279-282
• /
• 2024

The Use-after-free (UAF) bug is a long-standing temporal memory safety issue. To prevent UAF attacks, two commonly used approaches are lock-and-key and pointer nullification. Recently, ARM architecture supports the Memory Tagging Extension (MTE) that implemented a lock-and-key mechanism using a 4-bit tag during memory access. Previous research proposed a virtual address tagging scheme utilizing MTE to prevent UAF attacks. In this paper, we aimed to measure a simplified version of the previously proposed virtual address tagging scheme on real machines supporting MTE by implementing a simple module and conducting experiments.

• Annual Conference of KIPS
• /
• 2024.05a
• /
• pp.222-225
• /
• 2024

전통적 프로그래밍 언어인 C/C++는 시스템 프로그래밍 언어로 널리 사용되고 있으며, 이는 저수준 메모리 제어와 하드웨어 상호작용 등의 특성 때문이다. 하지만 C/C++가 가지고 있는 특성중 하나인 저수준 메모리 제어는 프로그래머가 직접 메모리를 관리해야한다. 다양한 메모리 버그들중에서 특히 Use-after-free버그는 오래전부터 현재까지 해결되지 않은 버그로써 존재하고 있으며, 이는 프로그래머가 수동으로 메모리를 관리함으로써 발생한다. 이 버그를 예방 및 감지하기 위한 연구가 현재까지도 활발하게 진행되고 있다. 이 버그를 차단 및 감지하는 연구들의 동향을 분석하여 앞으로의 관련 연구의 지속적인 필요성을 제시한다.

• Monthly Notices of the Royal Astronomical Society
• /
• v.491 no.1
• /
• pp.1278-1286
• /
• 2020

We searched for isolated dark-matter-deprived galaxies within several state-of-the-art hydrodynamical simulations: Illustris, IllustrisTNG, EAGLE, and Horizon-AGN and found a handful of promising objects in all except Horizon-AGN. While our initial goal was to study their properties and evolution, we quickly noticed that all of them were located at the edge of their respective simulation boxes. After carefully investigating these objects using the full particle data, we concluded that they are not merely caused by a problem with the algorithm identifying bound structures. We provide strong evidence that these oddballs were created from regular galaxies that get torn apart due to unphysical processes when crossing the edge of the simulation box. We show that these objects are smoking guns indicating an issue with the implementation of the periodic boundary conditions of the particle data in Illustris, IllustrisTNG, and EAGLE, which was eventually traced down to be a minor bug occurring for a very rare set of conditions.