• Journal of the Society of Disaster Information
• /
• v.14 no.2
• /
• pp.203-210
• /
• 2018

Purpose: The purpose of this study is to build a model for the meta - evaluation of the national infrastructure system and to improve the evaluation system of the national infrastructure system using the model. Method: For the study, the disaster-related laws and regulations, the evaluation report of the national infrastructure system published by the government, the guideline for the establishment of the national infrastructure protection plan, the meta-evaluation previous research data, To analyze the actual state of the evaluation. Results: Among the indices of evaluation of the current national infrastructure system, the supplementary requirements were derived from seven indicators such as appropriateness of education and training plan and implementation of disaster response, evaluation and communication with stakeholders, and evaluation committee training time. Conclusion: It is expected that the improvement plan derived from this study can be used to improve the evaluation index of the national infrastructure system.

• Tribology and Lubricants
• /
• v.36 no.1
• /
• pp.1-10
• /
• 2020

Large-area two-dimensional (2D) materials synthesized by chemical vapor deposition on donor substrates are promising functional materials for conductors, semiconductors, and insulators in flexible and transparent devices. In most cases, 2D materials should be transferred from a donor substrate to a target substrate; however, 2D materials are prone to damage during the transfer process. The damages to 2D materials during transfer are caused by contamination, tearing, and chemical doping. For the commercialization of 2D materials, a damage-free, large-area, and productive transfer process is needed. However, a transfer process that meets all three requirements has yet to be developed. In this paper, we review the recent progress in the development of transfer processes for 2D materials, and discuss the principles, advantages, and limitations of each process. The future prospects of transfer processes are also discussed. To simplify the discussion, the transfer processes are classified into four categories: wet transfer, dry transfer, mechanical transfer, and electro-chemical transfer. Finally, the "roll-to-roll" and "roll-to-plate" dry transfer process is proposed as the most promising method for the commercialization of 2D materials. Moreover, for successful dry transfer of 2D materials, it is necessary to clearly understand the adhesion properties, viscoelastic behaviors, and mechanical deformation of the transfer film used as a medium in the transfer process.

• Proceedings of the KSRS Conference
• /
• 1999.11a
• /
• pp.375-380
• /
• 1999

Ocean Scanning Multispectral Imager (OSMI) is a payload on the KOMPSAT satellite to perform worldwide ocean color monitoring for the study of biological oceanography. The instrument images the ocean surface using a wisk-broom motion with a swath width of 800 km and a ground sample distance (GSD) of<1km over the entire field of view (FOV). The instrument is designed to have an on-orbit operation duty cycle of 20% over the mission lifetime of 3 years with the functions of programmable gain/offset and on-board image data compression/storage. The instrument also performs sun and dark calibration for on-board instrument calibration. The OSMI instrument is a multi-spectral imager covering the spectral range from 400nm to 900nm using CCD Focal Plane Array (FPA). The ocean colors are monitored using 6 spectral channels that can be selected via ground commands. KOMPSAT satellite with OSMI was integrated and the satellite level environment tests and instrument aliveness/functional test as well, such as launch environment, on-orbit environment (Thermal/vacuum) and EMl/EMC test were performed at KARI. Test results met the requirements and the OSMI data were collected and analyzed during each test phase. The instrument is launched on the KOMPSAT satellite in the late 1999 and the image is scheduled to start collecting ocean color data in the early 2000 upon completion of on-orbit instrument checkout.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.26 no.1
• /
• pp.69-79
• /
• 2016

Biometric authentication is considered as being an efficient authentication method, since a user is not required to possess or memorize any other information other than biometrics. However, since biometric information is sensitive and could be permanently unavailable in case of revealing that information just once, it is essential to preserve privacy of biometrics. In addition, since noise is inherent in the user of biometric recognition technologies, the biometric authentication needs to handle the noise. Recently, biometric authentication protocols using fuzzy extractor have been actively researched, but the fuzzy extractor-based authentication has a problem that a user should memorize an additional information, called helper data, to deal with their noisy biometric information. In this paper, we propose a novel biometric authentication protocol using Hidden Vector Key Encapsulation Mechanism(HV-KEM) which is one of functional encryption schemes. A primary advantage of our protocol is that a user does not need to possess or memorize any additional information. We propose security requirements of HV-KEM necessary for constructing biometric authentication protocols, and analyze our proposed protocol in terms of correctness, security, and efficiency.

• Strategy21
• /
• s.39
• /
• pp.47-81
• /
• 2016

This paper has attempted to examine the political and operational contexts within which North Korea's latest acts of nuclear blackmail, its test-firing of an SLBM on April 23rd 2016 and its fourth nuclear test on January 6^th 2016, should be understood. Analysis of the KN-11 SLBM and the Sinpo-class SSB is based on official South Korean, US and others sources, especially the ROK MND, as well as other resources from South Korea, US and others. Unfortunately, the results of this exploration are inconclusive: there is simply not enough evidence available at present to either confirm or refute the existence of a functional North Korean SLBM and SSB. Nevertheless, the North Korean determination to possess such assets should not be taken lightly. But even accepting North Korea's claims about its SLBMs at face value, which is undermined by news of apparently unsuccessful follow-up test-firings in November, and probably December 2015, there is little proof that North Korea has yet succeeded in miniaturizing its nuclear warhead, so the most extravagant fears are not yet justified. Taken together with North Korea's latest announcement of a supposed successful SLBM ejection-test, on March 23^th 2016, the KN-11 SLBM claims should probably be seen as primarily about proving North Korea's status as a nuclear power, both to exert external political pressure and to bolster internal political support for Kim Jong-un's rule. In conclusion, this paper recommends formulating a preemptive anti-access strategy for the ROKN, proposes acquiring an ASW CV and SSNs to implement submarine strategic deterrent patrols, and urges extending the existing limited AORs to facilitate the preemptive anti-access strategy. Other deterrence options may be suggested, but it is surely significant that the ROKN has recently publically referred to the deployment of an ASW CV and SSNs for the first time.

• The KIPS Transactions:PartD
• /
• v.11D no.1
• /
• pp.115-122
• /
• 2004

Software system modeling has a goal for finding and solving system's problems by describing and analyzing system model in formal notations. Petri nets, as graphical formalism, have been used in describing and analyzing the software systems such as parallel systems, real-time system, and protocols. In the analysis of Petri nets, general system properties such as deadlock and liveness are analyzed by the reachability analysis. On the other side, specific properties such as functional requirements and constraints are checked by model-checking. However, since these analysis methods are based on enumeration of ail possible states, there nay be state explosion problem, which means that system states exponentially increase as the size of system is larger. In this paper, we propose a new method for mechanically checking system properties with avoiding state explosion problem. At first, system properties are described in property nets then the system model and the property net are composed and analyzed. In the compositional analysis, system parts irrelevant to the specific property are reduced to minimize the analysis domain of the system. And it is possible to mechanically check whether a specific property is satisfied or not.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.41 no.6
• /
• pp.488-494
• /
• 2013

The control law design and analysis environment of the FBW helicopter system have been developed using model base design method. The model based design is generally used in a aircraft, unmanned aerial system and automobile as well as rotorcraft development. The model based design provides many advantages such as development risk and schedule reduction using simulation and autocode generation. This paper describes a development of process for verification and validation of auto generated code for FBW helicopter flight control law. And this process is applied for Fly-By-Wire Helicopter Development Project. The results of functional test for auto generated code meet several specific requirements.

• Journal of Broadcast Engineering
• /
• v.12 no.1 s.34
• /
• pp.53-60
• /
• 2007

A Digital Broadcasting Satellite (DBS) receiver converts digital A/V streams received from a satellite to analog NTSC A/V signals in real-time. Multi-tasking is an efficient way to improve the utilization of the processor core in real-time applications. In this paper, we propose a hybrid approach with a balanced trade-off between hardware kernel and multi-tasking programming to increase a system throughput. First, the schedulability of the critical hard real-time tasks in the DBS receiver is verified by using a simple feasibility test. Then, several soft real-time tasks are thoughtfully programmed to satisfy functional requirements of the system.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.6 no.2
• /
• pp.71-75
• /
• 2013

Recently proliferating heterogeneous multimedia service environments should be able to deal with many different transmission speeds, image sizes, or qualities of video. However, not many existing video compression standards satisfy those necessities. To satisfy the functional requirements, the standardization of the H.264/AVC Scalable Extension (SE) technique has been recently completed. It is an extension of the H.264/AVC which can encode several image sizes and qualities at the same time as a single bitstream. To perform optimum mode decision, motion estimation is performed for all MB modes, and the RD costs are compared to identify an MB mode with the smallest RD cost. This increases computational complexity of H.264/AVC SE encoding. In this paper, we propose an early skip mode detection scheme to reduce candidate modes and suggest an algorithm of fast mode decision utilizing reference modes according to the mode history.

• Journal of the Korean Society for Precision Engineering
• /
• v.28 no.11
• /
• pp.1227-1233
• /
• 2011

Cellulose Electro-Active Paper (EAPap) has been known as a new smart material that is attractive for a bio-mimetic actuator due to its merits in terms of lightweight, dry condition, large displacement output, low actuation voltage and low power consumption. Cellulose EAPap is made by regenerating cellulose and aligning its micro-fibrils. This paper introduces several EAPap materials, which are based on natural cellulose and its hybrid nanocomposites mixed/blended with inorganic functional materials. By chemically bonding and mixing with carbon nanotubes and inorganic nanoparticles, the cellulose EAPap can be a hybrid nanocomposite that has versatile properties and can meet material requirements for many applications. Recent research trend of the cellulose EAPap is introduced in terms of material preparations as well as application devices including actuators, temperature and humidity sensors, biosensors, chemical sensors, and so on. This paper also explains wirelessly driving technology for the cellulose EAPap, which is attractive for bio-mimetic robotics, surveillance and micro-aerial vehicles.