• Korean Journal of Clinical Laboratory Science
• /
• v.55 no.4
• /
• pp.244-252
• /
• 2023

The timeliness and accuracy of test results are crucial factors for clinicians to decide and promptly administer effective and targeted antimicrobial therapy, especially in life-threatening infections or when vital organs and functions, such as sight, are at risk. Further research is needed to refine and optimize matrix-assisted laser desorption/ionization time-of-flight mass spectrometry (MALDI-TOF MS)-based assays to obtain accurate and reliable results in the shortest time possible. MALDI-TOF MS-based bacterial identification focuses primarily on techniques for isolating and purifying pathogens from clinical samples, the expansion of spectral libraries, and the upgrading of software. As technology advances, many MALDI-based microbial identification databases and systems have been licensed and put into clinical use. Nevertheless, it is still necessary to develop MALDI-TOF MS-based antimicrobial-resistance analysis for comprehensive clinical microbiology characterization. The important applications of MALDI-TOF MS in clinical research include specific application categories, common analytes, main methods, limitations, and solutions. In order to utilize clinical microbiology laboratories, it is essential to secure expertise through education and training of clinical laboratory scientists, and database construction and experience must be maximized. In the future, MALDI-TOF mass spectrometry is expected to be applied in various fields through the use of more powerful databases.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.50 no.6
• /
• pp.385-391
• /
• 2022

This paper presents to develop a path planning algorithm combining gradient descent-based path planning (GBPP) and particle swarm optimization (PSO) for considering prohibited flight areas, terrain information, and characteristics of fixed-wing unmmaned aerial vehicle (UAV) in 3D space. Path can be generated fast using GBPP, but it is often happened that an unsafe path can be generated by converging to a local minimum depending on the initial path. Bio-inspired swarm intelligence algorithms, such as Genetic algorithm (GA) and PSO, can avoid the local minima problem by sampling several paths. However, if the number of optimal variable increases due to an increase in the number of UAVs and waypoints, it requires heavy computation time and efforts due to increasing the number of particles accordingly. To solve the disadvantages of the two algorithms, hierarchical path planning algorithm associated with hierarchical particle swarm optimization (HPSO) is developed by defining the initial path, which is the input of GBPP, as two variables including particles variables. Feasibility of the proposed algorithm is verified by software-in-the-loop simulation (SILS) of flight control computer (FCC) for UAVs.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.37 no.4
• /
• pp.359-366
• /
• 2009

MATLAB Autocode generation is a feature that converts a block diagram model in Simulink to a c program. Utilizing this function makes MATLAB/Simulink an integrated developing environment, from controller design to implementation. It can reduce development cost and time significantly. However, this automated process requires high reliability on the software, especially the original Simulink block diagram model. And thus, the verification of the codes becomes important. In this study, a UAV flight program which is generated with Simulink is validated and modified according to DO-178B. As a result of applying the procedures, the final program not only satisfied the functional requirement but is also verified with structural point of view with Decision Coverage 93%, Condition Coverage 95% and MC/DC 90%.

• Journal of Astronomy and Space Sciences
• /
• v.34 no.3
• /
• pp.213-223
• /
• 2017

The deep space orbit determination software (DSODS) is a part of a flight dynamic subsystem (FDS) for the Korean Pathfinder Lunar Orbiter (KPLO), a lunar exploration mission expected to launch after 2018. The DSODS consists of several sub modules, of which the orbit determination (OD) module employs a weighted least squares algorithm for estimating the parameters related to the motion and the tracking system of the spacecraft, and subroutines for performance improvement and detailed analysis of the orbit solution. In this research, DSODS is demonstrated and validated at lunar orbit at an altitude of 100 km using actual Lunar Prospector tracking data. A set of a priori states are generated, and the robustness of DSODS to the a priori error is confirmed by the NASA planetary data system (PDS) orbit solutions. Furthermore, the accuracy of the orbit solutions is determined by solution comparison and overlap analysis as about tens of meters. Through these analyses, the ability of the DSODS to provide proper orbit solutions for the KPLO are proved.

• Aerospace Engineering and Technology
• /
• v.12 no.2
• /
• pp.91-98
• /
• 2013

Computing environment of space explorer including LEO (Low Earth Orbit), GEO (Geosynchronous Earth Orbit) satellite may be considered as the same category of embedded system on the ground. But with comparison with personal computing environment it is widely accepted that the space computing is outdated and behind of state of the art. Especially file system which is nearly essential item in all ground computing environment including personal computer, workstation and server is rarely used in space explorer till lately. In this paper, a study of ESA PUS (Packet Utilization Standard) and CCSDS (Consultative Committee for Space Data Systems) community's activity, international trend, and applicable technical application for applying file system in oder to use these standards for utilizing the file system to deep space explorer is described.

• Journal of Communications and Networks
• /
• v.17 no.3
• /
• pp.286-295
• /
• 2015

Avionic databuses fulfill a critical function in the connection and communication of aircraft components and functions such as flight-control, navigation, and monitoring. Ethernet-based avionic databuses have become the mainstream for large aircraft owning to their advantages of full-duplex communication with high bandwidth, low latency, low packet-loss, and low cost. As a new generation aviation network communication standard, avionics full-duplex switched ethernet (AFDX) adopted concepts from the telecom standard, asynchronous transfer mode (ATM). In this technology, the switches are the key devices influencing the overall performance. This paper reviews the avionic databus with emphasis on the switch architecture classifications. Based on a comparison, analysis, and discussion of the different switch architectures, we propose a new avionic switch design based on a time-division switch fabric for high flexibility and scalability. This also merges the design concept of space-partition switch fabric to achieve reliability and predictability. The new switch architecture, called space partitioned shared memory switch (SPSMS), isolates the memory space for each output port. This can reduce the competition for resources and avoid conflicts, decrease the packet forwarding latency through the switch, and reduce the packet loss rate. A simulation of the architecture with optimized network engineering tools (OPNET) confirms the efficiency and significant performance improvement over a classic shared memory switch, in terms of overall packet latency, queuing delay, and queue size.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.15 no.4
• /
• pp.177-187
• /
• 2020

Virtualization with hypervisors is one of emerging topics in multicore processors for space. Hypervisors are software layers to make several independent virtualized environments on one processor. Since all hardware resources are virtualized and distributed only by hypervisors, overall performance of processors can be improved by fully utilizing the resources. However at the same time, there are overheads for virtualizing and distributing hardware resources. Satellites are one of hard real time systems, and performance degradation with overheads should be analyzed thoroughly. Previous research on the overheads focused on single core systems. Even the overheads were analyzed in multicore systems, SMP environment was not fully included. This paper builds SMP environment with XtratuM, one of hypervisors for space missions, and analyzes performance degradation with overheads. Two boards of GR712RC with 2 LEON3FT CPUs and GR740 with 4 LEON4 CPUs are used in experiments. On each board, SMP benchmark functions are executed on SMP environment with XtratuM and on that without XtratuM respectively. Results are analyzed to find timing characteristics including overheads. Finally, applicability of the XtratuM to flight software in SMP is also reviewed.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.42 no.5
• /
• pp.398-405
• /
• 2014

Recently the embedded software has been widely applied to the safety-critical systems in aviation and defense industries, therefore, the higher level of reliability, availability and fault tolerance has become a key factor for its implementation into the systems. The integrity of the software can be verified using the static analysis tools. And recent developed static analysis tool can evaluate code integrity through the mathematical analysis method. In this paper we detect the autocode error and violation of coding rules using the formal verification tool, Polyspace(R). And the fundamental errors on the flight control law model have been detected and corrected using the formal verification results. As a result of verification process, FBW helicopter control law autocode can ensure code integrity.

• Journal of Astronomy and Space Sciences
• /
• v.34 no.2
• /
• pp.139-151
• /
• 2017

This paper presents an overview of deep space orbit determination software (DSODS), as well as validation and verification results on its event prediction capabilities. DSODS was developed in the MATLAB object-oriented programming environment to support the Korea Pathfinder Lunar Orbiter (KPLO) mission. DSODS has three major capabilities: celestial event prediction for spacecraft, orbit determination with deep space network (DSN) tracking data, and DSN tracking data simulation. To achieve its functionality requirements, DSODS consists of four modules: orbit propagation (OP), event prediction (EP), data simulation (DS), and orbit determination (OD) modules. This paper explains the highest-level data flows between modules in event prediction, orbit determination, and tracking data simulation processes. Furthermore, to address the event prediction capability of DSODS, this paper introduces OP and EP modules. The role of the OP module is to handle time and coordinate system conversions, to propagate spacecraft trajectories, and to handle the ephemerides of spacecraft and celestial bodies. Currently, the OP module utilizes the General Mission Analysis Tool (GMAT) as a third-party software component for high-fidelity deep space propagation, as well as time and coordinate system conversions. The role of the EP module is to predict celestial events, including eclipses, and ground station visibilities, and this paper presents the functionality requirements of the EP module. The validation and verification results show that, for most cases, event prediction errors were less than 10 millisec when compared with flight proven mission analysis tools such as GMAT and Systems Tool Kit (STK). Thus, we conclude that DSODS is capable of predicting events for the KPLO in real mission applications.

• Spatial Information Research
• /
• v.23 no.3
• /
• pp.91-100
• /
• 2015

We developed a micro UAV based rapid mapping system that provides geospatial information of target areas in a rapid and automatic way. Users can operate the system easily although they are inexperienced in UAV operation and photogrammetric processes. For the aerial data acquisition, we constructed a micro UAV system mounted with a digital camera, a GPS/IMU, and a control board for the sensor integration and synchronization. We also developed a flight planning software and data processing software for the generation of geo-spatial information. The processing software operates automatically with a high speed to perform data quality control, image matching, georeferencing, and orthoimage generation. With the system, we have generated individual ortho-images within 30 minutes from 57 images of 3cm resolution acquired from a target area of $400m{\times}300m$.