• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.36 no.7
• /
• pp.712-718
• /
• 2008

This paper deals with a development of flight control law switching system which can be used for flight test of the research control law by switching control law during flight. Through this research program, fader logic and integrator stabilization design has been introduced to minimize the transient response of aircraft caused by flight control law switching and to prevent the divergence of the integrator included in the control law in standby mode. MIL-STD-1553B communication was applied to transfer the data between the two control laws. This paper introduce the control law switching system architecture and major design concept and include the system verification and validation result performed on the flying quality simulator of the advanced trainer.

• Journal of KIISE:Software and Applications
• /
• v.34 no.5
• /
• pp.419-430
• /
• 2007

It is very important to track whether software is properly developed according to requirements. This study suggests a method to track requirements by using a tracking table. In this study, the tracking table indicates why such requirements are included by detailing the content of requests for proposals and proposals. The table also facilitates verification of the consistency between outputs and the integrity by having ID codes of each requirement mapped to each output. Furthermore, as this study was conducted, it was found that some factors were required to be added or supplemented to the outputs at the requirement gathering stage of MaRMI-Ⅲ v.4.0 methodology. Thus, this study seeks to present this additional result along with the enhanced tracking table. By verifying outputs, the tracking table presented in this study will help to reduce all kinds of risks and problems that may occur in software development due to the lack of management of requirements. In addition, the output of the requirement-gathering stage of MaRMI-Ⅲ v.4.0 methodology will be improved/supplemented according to the creation of tracking tables; this will increment the applicability of the MaRMI-III methodology.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.31 no.6A
• /
• pp.563-574
• /
• 2006

This paper implements SCM(Spatial Channel Model), a kind of ray-tracing method which has characteristics similar to realistic wave propagation environments, for link-level performance analysis of OFDM(Orthogonal Frequency Division Multiplexing) based multiple antenna systems. The SCM is proposed by 3GPP & 3GPP2 Spatial Channel AHG(Ad-hoc Group) for system-level performance validation. In this paper, we modify the system level parameters and channel coefficient of SCM to compare the link-level performances of OFDM based multiple antenna systems. Through computer simulations, we manifest the implemented SCM channel characteristics. We analyze a realistic link-level performance of OFDM based conventional MIMO(Multiple Input Multiple Output) system and smart antenna system in the implemented channel. We also include the link-level performance of OFDM based multiple antenna systems in I-METRA(Intelligent Multi Element Transmit and Receive Antenna) and independent channel environments with the same system parameters. We suggest appropriate multiple antenna system in the given environment by comparing the link-level performance in the spatial channels that have different channel correlation values.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.41 no.4
• /
• pp.321-327
• /
• 2017

In this study, to investigate the shape of the back bead as a weld quality parameter and to select the optimal condition of the root-pass TIG welding of a horizontal butt-joint, an experimental design and the response surface method (RSM) have been employed. Three parameters are used as input variables, which include the base current, peak current, and welding speed. The back bead width is selected as an output variable representing the weld quality, the target value of the width is 5.4 mm. Conducting the experiments according to the Box-Behnken experimental design, a $2^{nd}$ regression model for the back bead width was made, and the validation of the model was confirmed by using the F-test. The desirability function was designed through the nominal-the-best formula for the appropriate back bead width. Finally, the following optimal condition for welding was selected using the RSM: base current of 0.9204, peak current of 0.8676, and welding speed of 0.3776 in coded values. For verification, a test welding process under the optimal condition was executed and the result showed the back bead width of 5.38 mm that matched the target value well.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.7
• /
• pp.1789-1804
• /
• 1999

This paper presents a simulation-based system for verification and validation(V&V) of design implication of the Visual Real-time Object Model which is produced by existing object's behavior design method. This system can simulate the dynamic interactions using the executable Ada simulation machine, and can detect various logical and temporal problems in the visual real-time object model prior to the real implementation of the application systems. Also, the system can generate the Ada prototype code from the validated specification. This system is implemented by Visual C++ version 4.2. For simulation, this system is using the Ada language because Ada's real-time expression capabilities such as concurrent processes, rendezvous, temporal behavior expression, and etc, are competent compared to other languages. This work contributes to a tightly coupling of methodology-based visual models and formal-based simulation systems, and also contributes to a realization of automated specification V&V.

• Journal of The Korean Society of Agricultural Engineers
• /
• v.61 no.1
• /
• pp.1-8
• /
• 2019

Developing reliable soil moisture prediction techniques at agricultural regions is a pivotal issue for sustaining stable crop productions. In this study, a physically-based SWAP(Soil-Water-Atmosphere-Plant) model was suggested to estimate soil moisture dynamics at the study sites. ROSETTA was also integrated to derive the soil hydraulic properties(${\alpha}$, n, ${\Theta}_r$, ${\Theta}_s$, $K_s$) as the input variables to SWAP based on the soil information(Sand, Silt and Clay-SSC, %). In order to predict the soil moisture dynamics in future, the mid-term TIGGIE(THORPEX Interactive Grand Global Ensemble) and long-term S2S(Subseasonal to Seasonal) weather forecasts were used, respectively. Our proposed approach was tested at the six study sites of RDA(Rural Development Administration). The estimated soil moisture values based on the SWAP model matched the measured data with the statistics of Root Mean Square Error(RMSE: 0.034~0.069) and Temporal Correlation Coefficient(TCC: 0.735~0.869) for validation. When we predicted the mid-/long-term soil moisture values using the TIGGE(0~15 days)/S2S(16~46 days) weather forecasts, the soil moisture estimates showed less variations during the TIGGE period while uncertainties were increased for the S2S period. Although uncertainties were relatively increased based on the increased leading time of S2S compared to those of TIGGE, these results supported the potential use of TIGGE/S2S forecasts in evaluating agricultural drought. Our proposed approach can be useful for efficient water resources management plans in hydrology, agriculture, etc.

• Journal of the Korean Society of Systems Engineering
• /
• v.18 no.1
• /
• pp.66-83
• /
• 2022

Artificial Intelligence (AI) is to assumed to be one of next generation technology which determine technological competitiveness and strategic advantage of a certain country. By using the patent data, this study aims to have a comparative analysis of the technological competitiveness of evolving artificial intelligence at different stages of development among the five largest intellectual property offices in the world (IP5). For the analysis data, all AI technology patent data from 1956 to 2019 were utilized according to the classification system presented in the "WIPO 2019 Technology Trend: Artificial Intelligence" report published by the World Intellectual Property Organization (WIPO) in 2019. The results shows that China has already surpassed the United States in terms of the number of patent applications in the field of artificial intelligence technology. However, in the domains of the United States, Europe, Japan, and Korea, the technology competitiveness of the United States is far ahead of China. Interestingly, the rate of increase of Korea's technology competitiveness is also very fast, and it has been shown that the technology strength is ahead of China in non-Chinese domains. The significance of this study can be found in the fact that the temporal and spatial change process of technological competitiveness of significant countries in the field of artificial intelligence technology artificial intelligence was viewed as a macro-framework using the technology index (TS) the differences were compared.

• Journal of Industrial Convergence
• /
• v.21 no.2
• /
• pp.103-109
• /
• 2023

In Korea, software education is implemented from elementary school. As a representative software education tool for elementary schools, various chess games reconstructed based on the rules of Western chess games are being used. On the other hand, Yutnori, one of our traditional games, also includes elements of software education, so research on this is needed. Therefore, in this study, a Yutnori program based on computational thinking using an educational programming language, Entry, and a turtle robot was developed and its validity verified. As a result of the validity verification, the CVR value was higher than 0.7 in the degree of agreement with the subject achievement standard (3 questions), the appropriateness of learning materials (4 questions), and the possibility of class application (3 questions). Therefore, it could be judged that the learning program developed in this study has a high level of agreement with the subject achievement standards, appropriate learning materials, and high possibility of being applied to classes. In order to generalize this content in the future, the effectiveness will need to be verified, and experimental research will be needed to understand this.

• Journal of Korean Society for Quality Management
• /
• v.51 no.1
• /
• pp.55-65
• /
• 2023

Purpose: The purpose of this study is to propose an optimization process to improve product yield in the process using process data. Recently, research for low-cost and high-efficiency production in the manufacturing process using machine learning or deep learning has continued. Therefore, this study derives major variables that affect product defects in the manufacturing process using eXplainable Artificial Intelligence(XAI) method. After that, the optimal range of the variables is presented to propose a methodology for improving product yield. Methods: This study is conducted using the injection molding machine AI dataset released on the Korea AI Manufacturing Platform(KAMP) organized by KAIST. Using the XAI-based SHAP method, major variables affecting product defects are extracted from each process data. XGBoost and LightGBM were used as learning algorithms, 5-6 variables are extracted as the main process variables for the injection process. Subsequently, the optimal control range of each process variable is presented using the ICE method. Finally, the product yield improvement methodology of this study is proposed through a validation process using Test Data. Results: The results of this study are as follows. In the injection process data, it was confirmed that XGBoost had an improvement defect rate of 0.21% and LightGBM had an improvement defect rate of 0.29%, which were improved by 0.79%p and 0.71%p, respectively, compared to the existing defect rate of 1.00%. Conclusion: This study is a case study. A research methodology was proposed in the injection process, and it was confirmed that the product yield was improved through verification.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.45 no.7
• /
• pp.594-599
• /
• 2017

In this thesis, the development and the verification of the test-aid are described, providing various attitude errors through the electric stimulus to the Sun sensor. This test-aid for 2-axis analogue Sun sensor is used for polarity test in the assembly stage for GK2 satellite. The test-aid used for GK2 satellite is for COMS satellite and, due to the failure risk, manufactured by domestic company. The characteristics of the COMS test-aid used for GK2 satellite and the manufactured test-aid are showed with similar through the several tests. In this thesis, there are conformed the capability for replacing of test-aid because the characteristics of the manufactured test-aid is acquired same as that of the COMS test-aid using the controller tuning functions.