• Journal of the Chungcheong Mathematical Society
• /
• v.26 no.3
• /
• pp.501-516
• /
• 2013

The well-known Vlasov-Poisson equation describes plasma physics as nonlinear first-order partial differential equations. Because of the nonlinear condition from the self consistency of the Vlasov-Poisson equation, many problems occur: the existence, the numerical solution, the convergence of the numerical solution, and so on. To solve the problems, a viscosity term (a second-order partial differential equation) is added. In a viscosity term, the Vlasov-Poisson equation changes into a parabolic equation like the Fokker-Planck equation. Therefore, the Schauder fixed point theorem and the classical results on parabolic equations can be used for analyzing the Vlasov-Poisson equation. The sequence and the convergence results are obtained from linearizing the Vlasove-Poisson equation by using a fixed point theorem and Gronwall's inequality. In numerical experiments, an implicit first-order scheme is used. The numerical results are tested using the changed viscosity terms.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.13 no.4
• /
• pp.627-634
• /
• 2010

In this paper we suggest a group key agreement protocol among a group consisting more than 3 PKIs. From an 128 bit message, we produce a group key to any length size using a hash function. With a computer experiment we found that PKI's encryption/decryption time is the most dominant part of this procedure and an 160 bit ECC PKI is the most efficient system for distributing an 128 bit message in practical level. We implement this procedure over an unsecure multi user chatting system which is an open software. And we also show that this suggestion could be practically used in military business without a hardware implementation.

• Journal of Engineering Education Research
• /
• v.27 no.4
• /
• pp.21-27
• /
• 2024

This study introduces a series of processes aimed at understanding the noise characteristics generated by jet engines and devising measures to mitigate them through interdisciplinary capstone design projects. During the project execution, educational methods were applied to foster 4Cs (creativity, communication, collaboration, critical thinking) competencies. Project objectives were set through team discussions, and individual team members were assigned primary roles to act as subgroup leaders. As a result, the project was executed as follows: combustion tests were conducted using an SR-30 turbojet engine to generate noise, and the locations and characteristics of the noise sources were identified using beamforming techniques and frequency analysis applied to a 30-microphone array. Additionally, chevron nozzles were designed and fabricated to confirm their noise reduction performance.

• Journal of Magnetics
• /
• v.22 no.2
• /
• pp.203-213
• /
• 2017

Magnetically suspended control & sensitive gyroscope (MSCSG) is a novel type of gyroscope with the integration of attitude control and attitude angular measurement. To improve the precision and reduce the power consumption of Lorentz Force-type Magnetic Bearing (LFMB), the air gap flux density distribution of LFMB has been studied. The uniformity of air gap flux density is defined to qualify the uniform degree of the air gap flux density distribution. Considering the consumption, the average value of flux density is defined as well. Some optimal designs and analyses of LFMB are carried out by finite element simulation. The strength of the permanent magnet is taken into consideration during the machining process. To verify the design and simulation, a high-precision instrument is employed to measure the 3-dimensional magnetic flux density of LFMB. After measurement and calculation, the uniform degree of magnetic flux density distribution reaches 0.978 and the average value of the flux density is 0.482T. Experimental results show that the optimal design is effective and some useful advice can be obtained for further research.

• International Journal of Computer Science & Network Security
• /
• v.22 no.11
• /
• pp.184-188
• /
• 2022

The article considers the improved method and model of automated air situation assessment using a decision support system based on fuzzy networks of target installations. The advanced method of automated assessment of the air situation using the decision support system is based on the methodology of reflexive control of the first rank. With this approach, the process of assessing the air situation in the framework of the formulated task can be reduced to determining the purpose, probabilistic nature of actions and capabilities of the air target. The use of a homogeneous functional network for the formal presentation of air situation assessment processes will formally describe the process of determining classes of events during air situation assessment and the process of determining quantitative and qualitative characteristics of recognized air situation situations. To formalize the patterns of manifestation of the values of quantitative and symbolic information, it is proposed to use the mathematical apparatus of fuzzy sets.

• The Korean Journal of Air & Space Law and Policy
• /
• v.8
• /
• pp.217-230
• /
• 1996

• Journal of the Ergonomics Society of Korea
• /
• v.35 no.5
• /
• pp.371-381
• /
• 2016

Objective:This study aims to evaluate the features of heart rate variability (HRV) and respiratory signals as indices for a driver's drowsiness and waking status in order to develop the classification model for a driver's drowsiness and waking status using those features. Background: Driver's drowsiness is one of the major causal factors for traffic accidents. This study hypothesized that the application of combined bio-signals to monitor the alertness level of drivers would improve the effectiveness of the classification techniques of driver's drowsiness. Method: The features of three heart rate variability (HRV) measurements including low frequency (LF), high frequency (HF), and LF/HF ratio and two respiratory measurements including peak and rate were acquired by the monotonous car driving simulation experiments using the photoplethysmogram (PPG) and respiration sensors. The experiments were repeated a total of 50 times on five healthy male participants in their 20s to 50s. The classification model was developed by selecting the optimal measurements, applying a binary logistic regression method and performing 3-fold cross validation. Results: The power of LF, HF, and LF/HF ratio, and the respiration peak of drowsiness status were reduced by 38%, 22%, 31%, and 7%, compared to those of waking status, while respiration rate was increased by 3%. The classification sensitivity of the model using both HRV and respiratory features (91.4%) was improved, compared to that of the model using only HRV feature (89.8%) and that using only respiratory feature (83.6%). Conclusion: This study suggests that the classification of driver's drowsiness and waking status may be improved by utilizing a combination of HRV and respiratory features. Application: The results of this study can be applied to the development of driver's drowsiness prevention systems.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.45 no.3
• /
• pp.217-225
• /
• 2017

This research represents comparison and validation of static aerodynamic results in different wind tunnel organizations and EFD-CFD results. KAFA conducted wind tunnel tests with Standard Dynamics Model(SDM) which is based on the NRC model, the same configuration of KARI; and then compared and analyzed similarities and differences of the data from KARI and NRC results for verifying the accuracy of wind tunnel tests. Also, We compared the result of CFD with that of wind tunnel tests and examined strakes effect in static characteristics which are attached on the forward fuselage of SDM for investigating the cause of some discrepancies. From this analysis, there are some discrepancies in Cm tendency between EFD-CFD and it did not show the big difference of aerodynamic characteristics by strake effects. Thus, we need to research additionally for analyzing the different cause of some discrepancies such as vortex structures by the rear strut or intake of SDM and regenerating grid resolution of CFD.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.44 no.3
• /
• pp.64-72
• /
• 2021

Manned-unmanned teaming can be a very promising air-to-air combat tactic since it can maximize the advantage of combining human insight with the robustness of the machine. The rapid advances in artificial intelligence and autonomous control technology will speed up the development of manned-unmanned teaming air-to-air combat system. In this paper, we introduce a manned-unmanned teaming air-to-air combat tactic which is composed of a manned aircraft and an UAV. In this tactic, a manned aircraft equipped with radar is functioning both as a sensor to detect the hostile aircraft and as a controller to direct the UAV to engage the hostile aircraft. The UAV equipped with missiles is functioning as an actor to engage the hostile aircraft. We also developed a combat scenario of executing this tactic where the manned-unmanned teaming is engaging a hostile aircraft. The hostile aircraft is equipped with both missiles and radar. To demonstrate the efficiency of the tactic, we run the simulation of the scenario of the tactic. Using the simulation, we found the optimal formation and maneuver for the manned-unmanned teaming where the manned-unmanned teaming can survive while the hostile aircraft is shot-downed. The result of this study can provide an insight to how manned aircraft can collaborate with UAV to carry out air-to-air combat missions.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2022.10a
• /
• pp.556-558
• /
• 2022

This paper proposes a CanSat system with a vehicle tracking function based on Jetson Nano, a high-performance small computer capable of operating artificial intelligence algorithms. The CanSat system consists of a CanSat and a ground station. The CanSat falls in the atmosphere and transmits the data obtained through the installed sensors to the ground station using wireless communication. The existing CanSat is limited to the mission of simply transmitting the collected information to the ground station, and there is a limit to efficiently performing the mission due to the limited fall time and bandwidth limitation of wireless communication. The Jetson Nano based CanSat proposed in this paper uses a pre-trained neural network model to detect the location of a vehicle in each image taken from the air in real time, and then uses a 2-axis motor to move the camera to track the vehicle.