• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.36 no.12
• /
• pp.1163-1170
• /
• 2008

A mission scheduling optimization algorithm according to the purpose of satellite operations is developed using genetic algorithm. Satellite mission scheduling is making a timetable of missions which are slated to be performed. It is essential to make an optimized timetable considering related conditions and parameters for effective mission performance. Thus, as important criterions and parameters related to scheduling vary with the purpose of satellite operation, those factors should be fully considered and reflected when the satellite mission scheduling algorithm is developed. The developed algorithm in this study is implemented and verified through a comprehensive simulation study. As a result, it is shown that the algorithm can be applied into various type of the satellite mission operations.

• Journal of Korean Society of Transportation
• /
• v.28 no.3
• /
• pp.39-49
• /
• 2010

Provision of in-vehicle warning information is of keen interest since it can be effectively used to prevent traffic accident on the road. This study evaluates the effectiveness of information provision modalities based on kansei engineering. Various warning information scenarios using different modalities are devised for the evaluation. Statistical data analysis techniques including factor analysis, correlation analysis, and the general linear model are used to assess the user's affect for information modalities. The evaluation result shows that the provision of visual information consisted of 'text and pictogram' leads to higher understandability. The combination of beep sound and voice message' was identified as a more effective modality for auditory warning. In addition, the red color for the blinking warning signal was preferred by users.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.14 no.5
• /
• pp.2225-2233
• /
• 2013

This study was designed to identify the extent of incident shock who are in high risk of post traumatic shock stress, and analyze the related factors that affect the extent of incident shock. The subjects are 415 rescue workers from Seoul Metropolitan Fire & Disaster Headquarters, who are in high frequency of fire outbreaks and rescue mobilization. With a reliability of Cronbach's ${\alpha}$=.975, the results show invasion, avoidance, sleep disorder and emotional paralysis, dissociative symptom, hyper arousal as foremost causes respectively. Moreover, the results imply that the extent of incident shock was higher in people with more age or being married. Also, from the occupational perspective, the number of years as fire fighters, as rescue workers, mobilization and experiences at work in proportion to incident shocks has risen exponentially. It is notable that the groups who alleviate stress by consuming liquors had higher extent of incident shock. In conclusion, to deal with groups in high risk, management system and prevention care programs for incident shocks need to be introduced immediately and put into effect.

• 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.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.35 no.3
• /
• pp.241-250
• /
• 2011

The new gerotor developed in this paper has an inner rotor in which a circular arc is inserted between the hypocycloid and epicycloid curves, whereas the outer rotor is designed using the simulation results for the rotor and a modification method. The new gerotor has no cusps and loops and no limit on the eccentricity. We increase the average flow rate by adding a new design parameter, $\gamma$, which is the inclined angle of the inner rotor at the intersection of the hypocycloid and the circular arc. A calculation method to calculate the chamber area is also developed. This method can also be used to calculate the flow rate and flow rate irregularity when the contact points are unknown. The control of eccentricity and $\gamma$ is expected to lead to an efficient rotor.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.42 no.7
• /
• pp.594-600
• /
• 2014

In modern warfare, securing communication channel by combatting opponents' electromagnetic attack is a crucial factor to win the war. Military satellite digital transponder is a communication payload of the next generation military satellite that maintains warfare networks operational in the presence of interfering signals by securely relaying signals between ground terminals. The transponder in this paper is classified as a partial processing transponder which performs cost effective secure relaying in satellite communication links. The control functions of transmission security achieve immunity to hostile interferences which may cause malicious effects on the link. In this paper, we present an efficient architecture for implementing the control mechanism. Two major ideas of pipelined processing in per-group control and software processing of blocked band information dramatically reduce the complexity of the hardware. A control code sequence showing its randomness with uniform distribution is exemplified and qualification test results are briefly presented.

• Journal of Korea Society of Industrial Information Systems
• /
• v.25 no.3
• /
• pp.31-38
• /
• 2020

In this paper, we compare and analyze smart technologies and present six obstacle detection features to help visually impaired people walk. Traditionally, visually impaired people walk with the white cane or a guide dog. With the development of IoT technology, various smart walking aids systems have been developed. Those intelligent walking aids systems have obstacle-detecting systems and route-guidance systems. Many researchers are developing the walking aids system, which detects an obstacle and provides the obstacle information by haptic feedback. Also, they are designing the database server system to share the obstacle information. Particularly the composed system can quickly give an obstacle-avoidance route using shared obstacle information. Smart walking aids systems for visually impaired people will advance more rapidly by applying machine learning and intelligent systems.

• Cartoon and Animation Studies
• /
• s.38
• /
• pp.237-258
• /
• 2015

This research aims to analyze gamer's behavior pattern on 'Blade for Kakao' RPG genre based on smart-phone. Three subjects were recruited using the concurrent protocol method to conduct ten episodes in region 1. As a result, it derived four behavior patterns according to the combination of space type affordance and the arrangement affordance of obstacle(monster). The result of this research revealed the forward attack arranged for the fixed obstacles in the wide space, the indirect attack as avoid-type arranged for scattered obstacles in the same space, the hunting up attack once arranged for the crowded obstacles in the same space, and the pulling attack arranged for obstacles in the narrow space. Moreover, it revealed the character growth and the optimization of attack method according to the attribute affordance of the obstacle(monster). This research expect to offer the design guideline for game level design to investigate the relationship between the game play and affordance in RPG genre based on smart-phone.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.48 no.7
• /
• pp.529-536
• /
• 2020

Reaction Control System of the third stage of the Korean Space Launch Vehicle II conducts roll control and 3 axis control throughout third stage engine start, satellite separation, and collision and contamination avoidance maneuver. Reaction control system consumes its propellant in each thruster operation. Hence, loading of proper amount of the propellant is important for mission success. It is needed to have a rough estimation method of propellant consumption during the flight. In this paper, we developed a energy equation using pressure and temperature data which are acquired in the on-board reaction control system. We constructed a test system which is similar with the on-board reaction control system to verify the energy equation. Test results using deionized water were compared with estimated propellant consumption. We also conducted an error analysis of the energy equation. We also presented the propellant consumption result of a system level operation test.

• Journal of KIISE:Information Networking
• /
• v.27 no.2
• /
• pp.160-174
• /
• 2000

Nowadays, most widely used transport protocol, TCP is tuned to perform well in traditional networks where packet losses occur mostly because of congestion. TCP performs reliable end-to-end packet transmission under the assumption of low packet error rate. However, networks with wireless links suffer from significant losses due to high error rate and handoffs. TCP responds to all losses by invoking congestion control and avoidance algorithms, resulting in inefficient use of network bandwidth and degraded end-to-end performance in that system. To solve this problem, several methods have been proposed. In this paper, we analyse and compare these methods and propose appropriate model for improving TCP performance in the network with wireless links. This model uses TCP selective acknowledgement (SACK) option between TCP ends, and also uses caching method at the base station. Our simulation results show that using TCP SACK option with base station caching significantly reduces unnecessary duplicate retransmissions and recover packet losses effectively.