• The Mathematical Education
• /
• v.63 no.2
• /
• pp.123-138
• /
• 2024

This study described the utilization of ChatGPT in teaching and students' learning processes for the course "Introductory Mathematics for Artificial Intelligence (Math4AI)" at 'S' University. We developed a customized ChatGPT and presented a learning model in which students supplement their knowledge of the topic at hand by utilizing this model. More specifically, first, students learn the concepts and questions of the course textbook by themselves. Then, for any question they are unsure of, students may submit any questions (keywords or open problem numbers from the textbook) to our own ChatGPT at https://math4ai.solgitmath.com/ to get help. Notably, we optimized ChatGPT and minimized inaccurate information by fully utilizing various types of data related to the subject, such as textbooks, labs, discussion records, and codes at http://matrix.skku.ac.kr/Math4AI-ChatGPT/. In this model, when students have questions while studying the textbook by themselves, they can ask mathematical concepts, keywords, theorems, examples, and problems in natural language through the ChatGPT interface. Our customized ChatGPT then provides the relevant terms, concepts, and sample answers based on previous students' discussions and/or samples of Python or R code that have been used in the discussion. Furthermore, by providing students with real-time, optimized advice based on their level, we can provide personalized education not only for the Math4AI course, but also for any other courses in college math education. The present study, which incorporates our ChatGPT model into the teaching and learning process in the course, shows promising applicability of AI technology to other college math courses (for instance, calculus, linear algebra, discrete mathematics, engineering mathematics, and basic statistics) and in K-12 math education as well as the Lifespan Learning and Continuing Education.

• Journal of Navigation and Port Research
• /
• v.39 no.6
• /
• pp.457-463
• /
• 2015

A gas turbine engine plays an important role as a prime mover that is used in the marine transportation field as well as the space/aviation and power plant fields. However, it has a complicated structure and there is a time delay element in the combustion process. Therefore, an elaborate mathematical model needs to be developed to control a gas turbine engine. In this study, a modeling technique for a gas generator, a PLA actuator, and a metering valve, which are major components of a gas turbine engine, is explained. In addition, sub-models are obtained at several operating points in a steady state based on the trial running data of a gas turbine engine, and a method for controlling the engine speed is proposed by designing an NPID controller for each sub-model. The proposed NPID controller uses three kinds of gains that are implemented with a nonlinear function. The parameters of the NPID controller are tuned using real-coded genetic algorithms in terms of minimizing the objective function. The validity of the proposed method is examined by applying to a gas turbine engine and by conducting a simulation.

• 전자공학회논문지 IE
• /
• v.43 no.4
• /
• pp.115-121
• /
• 2006

In this paper, we proposed about data error check and correction on channel transmission in the communication system. LDPC codes are used for minimizing channel errors by modeling AWGN Channel as a VDSL system. Because LDPC Codes use low density parity bit, mathematical complexity is low and relating processing time becomes shorten. Also the performance of LDPC code is better than that of turbo code in long code word on iterative decoding algorithm. This algorithm is better than conventional algorithms to correct errors, the proposed algorithm assigns weights for errors concerning parity bits. The proposed weighted Bit-flipping algorithm is better than the conventional Bit-flipping algorithm and we are recognized improve gain rate of 1 dB.

• 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 Navigation and Port Research
• /
• v.32 no.5
• /
• pp.379-385
• /
• 2008

In this paper, we presents a scheme for the parameter estimation and optimal control scheme for apparatus of container crane system. For parameter estimation, first, we construct the open loop of the container crane system and estimate its parameters based on input-output data, a real-coded genetic algorithm(RCGA) and the model adjustment technique. The RCGA plays an important role in parameter estimation as an adaptive mechanism. For controller design, state feedback gain matrix is searched by another RCGA and the estimated model. The performance of the proposed methods are demonstrated through a set of simulation and experiments of the experimental apparatus.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2007.12a
• /
• pp.304-306
• /
• 2007

In this paper, we presents a scheme for the parameter estimation and optimal control scheme for apparatus of container crane system. For parameter estimation, first, we construct the open loop of the container crane system and estimate its parameters based on input-output data, a real-coded genetic algorithm(RCGA) and the model adjustment technique. The RCGA plays an important role in parameter estimation as an adaptive mechanism. For controller design, state feedback gain matrix is searched by another RCGA and the estimated model. The performance of the proposed methods are demonstrated through a set of simulation and experiments of the experimental apparatus.

• Journal of The Korean Association of Information Education
• /
• v.12 no.2
• /
• pp.195-202
• /
• 2008

The programming learning by using a robot may be one of the most appropriate learning methods for enabling students to experience the creative learning of future society by avoiding the existing stereotyped style educational environment, and understand and improve algorithm which is the basic fundamental of mathematics and science. This study proposed four types of items of errors which may occur during robot programming by elementary school students, and made elementary school students in the fifth and sixth grades learn robot programming after developing the curriculum for the robot programming. Then, the study collected and classified errors that had occurred during the process of learning, and conducted a comparative analysis of computer-based programming language which had been previously studied. This study identified that robot programming in elementary school was shown superior to existing computer-based programming language as a creative learning method and tool through the field experience.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.19 no.4
• /
• pp.750-760
• /
• 1994

In this paper we proposed a multiplexing scheme of real time and non-real traffics in which a congestion control is embedded. Real time traffics are assumed to be nonqueuable and have preemptive priority over non-real time traffics in seizing the common output link, whereas the non-real time traffics wait in the common buffer if the output link is not available for transmission. Real time traffics are encoded according to the bandwidth reduction strategy, paticularly when congestion occurs among non-real time traffics. This scheme provides us an efficient way for utilizing the costly bandwidth resources, by accommodation as many real time traffics as possible with gauranteeing its mimimum bandwidth requirements, and also resloving the congestion encountered among non-real time traffics. We describe the system as a Markov queueing system, provide the analysis by exploiting the matrix geometric method, and present the performance for various performance measures of interest. Some numerical results are also provided.

• Journal of Practical Engineering Education
• /
• v.12 no.2
• /
• pp.363-369
• /
• 2020

This study intends to examine effects of python education for adolescents. 6 primary studies were chosen through careful search process and investigated through meta-analysis. Research findings were as follows. The total effect size was 0.684. Second, the effect sizes of dependent variables were academic achievement 0.871, cognitive domain 0.625, and affective domain 0.428 in order. Third, for cognitive domain, the effect sizes were self-efficacy 0.833, problem-solving 0.283, computing thinking 0.276, and coding competency 0.251 in order. Fourth, for affective domain, the effect sizes were learning interest 0.560 and programming interest 0.417 in order. Fifth, regarding school level, the effect sizes were middle school 0.851, high school 0.585, and college 0.435 in order. Finally, for subject areas, the effect sizes were mathematics 1.057, design 0.595, information 0.585, and software 0.28 in order.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.30 no.6
• /
• pp.1291-1300
• /
• 2020

Recently, a deep learning-based non-profiling side-channel analysis was proposed. The deep learning-based non-profiling analysis is a technique that trains a neural network model for all guessed keys and then finds the correct secret key through the difference in the training metrics. As the performance of non-profiling analysis varies greatly depending on the neural network training model design, a correct model design criterion is required. This paper describes the two types of loss functions and eight labeling methods used in the training model design. It predicts the analysis performance of each labeling method in terms of non-profiling analysis and power consumption model. Considering the characteristics of non-profiling analysis and the HW (Hamming Weight) power consumption model is assumed, we predict that the learning model applying the HW label without One-hot encoding and the Correlation Optimization (CO) loss will have the best analysis performance. And we performed actual analysis on three data sets that are Subbytes operation part of AES-128 1 round. We verified our prediction by non-profiling analyzing two data sets with a total 16 of MLP-based model, which we describe.