• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.42 no.12
• /
• pp.1051-1056
• /
• 2014

A Fuel Feeding Unit of electric propulsion system has been developed for the small-satellite applications. The fuel feeding unit stores the xenon gas with high pressure and density as a fuel. Xenon can affect to system stability since xenon has the transient condition under the critical point which is in ambient temperature on the launch environment. The functional and structural stability on the launch environment needs verification through the ground tests. The design points and verification tests of the system were discussed and test results were described on this text. The system stability on the launch environment was verified through these verification tests.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.49 no.10
• /
• pp.871-877
• /
• 2021

Aircraft defects are important matters directly related to the operation of the aircraft and the life of the pilot. The defects in the mission software that occur during aircraft control seriously affect the pilot's mission performance and safety. Therefore, the organization in charge of aircraft development or software defects are reinforced in the process to identify and eliminate defects in the early stages of development, and a lot of labor and time are spent, but due to the nature of the mission software, strong functional coupling with other avionics and high complexity, so there are restrictions on the identification and removal of software defects through the existing test method. This study analyzes the effect of securing mission software integrity and reducing test cost through data integrity verification by developing a tool that automates the verification of expected value of feedback data among communication data of mission computer interlocking equipment.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.29 no.4
• /
• pp.835-845
• /
• 2019

File Carving is a technique for attempting to recover a file without metadata, such as a formated storage media or a damaged file system, and generally looks for a specific header / footer signature and data structure of the file. However, file carving is faced with the problem of recovering fragmented files for a long time, and it is very important to propose a solution for digital forensics because important files are relatively fragmented. To overcome these limitations, various carving techniques and tools are continuously being developed, and data sets from various researches and institutions are provided for functional verification. However, existing data sets are ineffective in verifying tools because of their limited environmental conditions. Therefore, this paper refers to the importance of fragmented file carving and develops 16 images for carving tool verification based on scenarios. The developed images' carving rate and accuracy of each media is shown through Foremost which is well known as a commercial carving tool.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.17 no.9
• /
• pp.308-313
• /
• 2016

Modern systems have become more and more complex due to the ever-increasing user requirements and rapid advance of technology. As such, the frequency of accidents due to system design errors or failure has been increasing. When the damage incurred by accidents to human beings or property is serious, the underlying systems are referred to as safety-critical systems. The development of such systems requires special efforts to ensure the safety of the human beings operating them. To cope with such a requirement, in this paper an approach is employed in which we consider safety starting from the conceptual design phase of the systems. Specifically, a systems design method that can detect functional failure is proposed by utilizing meta-models and M&S methods. To accomplish this, the safety design data from international safety standards are first extracted and also a meta-model is generated using SysML (systems modeling language). Then, a SysML-based system design method is proposed based on the use of the developed meta-model. We also discuss how the safety requirements can be created and verified using a simulation method. Finally, through a case study in automotive design, it is demonstrated that the detection of a functional failure and the verification of a safety requirement can be accomplished using the SysML-based M&S method. This study indicates that the use of meta-models can be useful for collecting and managing safety data and that the meta-model based M&S method can make it possible to satisfy the system requirements by reducing the design errors.

• Proceedings of the KSRS Conference
• /
• 2005.10a
• /
• pp.509-511
• /
• 2005

KOMPSAT -2 equipped with an optical telescope(MSC) will be launched in this year. It can take images of the earth with push-broom scanning at altitude 685Km. Its resolution is 1m in panchromatic channel with a swath width of 15 km After the MSC is tested and the performance is measured at instrument level, it is installed on satellite. The image passes through the electro-optical system, compression and storage unit and fmally downlink sub-systems. This integration procedure necessitates the functional test of all subsystems participating in the image chain. The objective of functional test at satellite level(Quick Look test) is to check the functionality of image chain by real target image. Collimated moving image is input to the EOS in order to simulate the operational environments as if KOMPSAT -2 is being operated in orbit. The image chain from EOS to data downlink subsystem will be verified through Quick Look test. This paper explains the Quick Look test of KOMPSAT -2 and compares the taken images with collimated input ones.

• ETRI Journal
• /
• v.25 no.5
• /
• pp.328-336
• /
• 2003

Bluetooth is a specification for short-range wireless communication using the 2.4 GHz ISM band. It emphasizes low complexity, low power, and low cost. This paper describes an area-efficient digital baseband module for wireless technology. For area-efficiency, we carefully consider hardware and software partitioning. We implement complex control tasks of the Bluetooth baseband layer protocols in software running on an embedded microcontroller. Hardware-efficient functions, such as low-level bitstream link control; host controller interfaces (HCIs), such as universal asynchronous receiver transmitter (UART) and universal serial bus (USB)interfaces; and audio Codec are performed by dedicated hardware blocks. Furthermore, we eliminate FIFOs for data buffering between hardware functional units. The design is done using fully synthesizable Verilog HDL to enhance the portability between process technologies so that our module can be easily integrated as an intellectual property core no system-on-a-chip (SoC) ASICs. A field programmable gate array (FPGA) prototype of this module was tested for functional verification and realtime operation of file and bitstream transfers between PCs. The module was fabricated in a $0.25-{\mu}m$ CMOS technology, the core size of which was only 2.79 $mm{\times}2.80mm$.

• Journal of Microbiology and Biotechnology
• /
• v.28 no.7
• /
• pp.1217-1224
• /
• 2018

Seaweeds produce antioxidants to counteract environmental stresses, and these antioxidant genes are regarded as important defense strategies for marine algae. In this study, the expression of Pyropia yezoensis (Bangiales, Rhodophyta) ascorbate peroxidase (PyAPX) and manganese-superoxide dismutase (PyMnSOD) was examined by qRT-PCR in P. yezoensis blades under abiotic stress conditions. Furthermore, the functional relevance of these genes was explored by overexpressing them in Chlamydomonas. A comparison of the different expression levels of PyAPX and PyMnSOD after exposure to each stress revealed that both genes were induced by high salt and UVB exposure, being increased approximately 3-fold after 12 h. The expression of the PyAPX and PyMnSOD genes also increased following exposure to $H_2O_2$. When these two genes were overexpressed in Chlamydomonas, the cells had a higher growth rate than control cells under conditions of hydrogen peroxide-induced oxidative stress, increased salinity, and UV exposure. These data suggest that Chlamydomonas is a suitable model for studying the function of stress genes, and that PyAPX and PyMnSOD genes are involved in the adaptation and defense against stresses that alter metabolism.

• Korean Journal of Remote Sensing
• /
• v.36 no.4
• /
• pp.645-652
• /
• 2020

GK2A(GEO-KOMPSAT-2A)satellite has been operating excellently since its launch in Dec 2018. The secondary payload called KSEM (Korean Space Environment Monitor) was equipped into the GK2A satellite along with AMI (Advanced Meteorological Imager) sensor. KSEM is the Korea's first operational geostationary space weather sensor and has been developed collaboratively by KHU (Kyung Hee University) and KARI (Korea Aerospace Research Institute). The interface works between KSEM and GK2A were conducted by KARI. Various interface tests, which aim for evaluating effective functionality of KSEM with the spacecraft, were intensively conducted at KARI facilities. Main tests consisted of mechanical and electrical check-up activities between the KSEM and GK2A. Interface tests of KSEM, which involve pre-launch tests such as ETB and GK2A system level tests, were conducted to evaluate functional and performance of KSEM before the launch. The tests carried out during the GK2A LEOP (Launch and Early Orbit Phase) and IOT (In Orbit Test) period (Dec 2018 ~ June 2019) showed excellent in-orbit performance of KSEM data.

• Nuclear Engineering and Technology
• /
• v.44 no.6
• /
• pp.697-708
• /
• 2012

The majority of instrumentation and control (I&C) systems in today's nuclear power plants (NPPs) are based on analog technology. Thus, most existing I&C systems now face obsolescence problems. Existing NPPs have difficulty in repairing and replacing devices and boards during maintenance because manufacturers no longer produce the analog devices and boards used in the implemented I&C systems. Therefore, existing NPPs are replacing the obsolete analog I&C systems with advanced digital systems. New NPPs are also adopting digital I&C systems because the economic efficiencies and usability of the systems are higher than the analog I&C systems. Digital I&C systems are based on two technologies: a microprocessor based system in which software programs manage the required functions and a programmable logic device (PLD) based system in which programmable logic devices, such as field programmable gate arrays, manage the required functions. PLD based systems provide higher levels of performance compared with microprocessor based systems because PLD systems can process the data in parallel while microprocessor based systems process the data sequentially. In this research, a bistable trip logic in a reactor protection system (RPS) was developed using very high speed integrated circuits hardware description language (VHDL), which is a hardware description language used in electronic design to describe the behavior of the digital system. Functional verifications were also performed in order to verify that the bistable trip logic was designed correctly and satisfied the required specifications. For the functional verification, a random testing technique was adopted to generate test inputs for the bistable trip logic.

• Journal of Fashion Business
• /
• v.19 no.3
• /
• pp.121-129
• /
• 2015

Aloe is a popular and effective agent used to cosmetic ingredient. It could replace artificial pigment on make-up base product and it is highly probable that might be useful as ingredients of multi-functional color cosmetic. In this study, we made a makeup base containing aloe extract and tested the effectiveness, safety and stability. Contents of polyphenol and flavonoid from the aloe extract were measured. To determine the antimicrobial effect from the aloe we used the paper disc diffusion method. We assessed the safety of make-up base containing aloe to cultured macrophage RAW 264.7 cells by MTT assay. Polyphenol contents of aloe extract and flavonoid respectively were 48 mg/g and 10 mg/g, in the 10 % concentration aloe extract. In case of aloe make-up base, the clear zone against Stapylococcus epidermidis was 9~11 mm and Stapylococcus aureus was also 9~11 mm. Growth activity of macrophage RAW 264.7 cells was over 80% in all concentration of make-up base containing aloe and general make base product. In conclusion aloe extract may be able to substitute the synthetic pigments and considered to be uses for ingredients multi-functional color cosmetic's ingredient.