• Communications of Mathematical Education
• /
• v.33 no.1
• /
• pp.1-19
• /
• 2019

This study deals with the case of student-centered discrete mathematics class with cyber lab. First, we provided lecture notes and cyber labs we developed. In particular, discrete mathematics is a course that covers the principles of algorithms. The purpose of this study is to provide students with basic mathematics, aiming to actively participate in the learning process, to improve their abilities and to reach the ultimate goal of student success with confidence. Second, based on interactions, students were able to prepare for the lectures, review, question, answer, and discussion through an usual learning management system of the school. Third, all the students generated materials through one semester, which were reported, submitted, presented and evaluated. It was possible to improve the learning effectiveness through the discussions and implementation of using some easy open source programming language and codes. Our discrete math laboratory could be practiced without any special knowledge of coding. These lecture models allow students to develop critical thinking skills while describing and presenting their learning and problem-solving processes. We share our experience and our materials including lecture note and cyber lab as well as a possible model of student-centered mathematics class that does not give too much of work load for instructors. This study shares a model that demonstrates that any professor will be able to have an individualized, customized, and creative discrete education without spending much of extra time and assistant, unlike previous research.

• The Korean Journal of Applied Statistics
• /
• v.32 no.2
• /
• pp.213-227
• /
• 2019

In this paper, we propose an end-to-end deep learning model combining Bayesian neural network with Korean speech recognition. In the past, Korean speech recognition was a complicated task due to the excessive parameters of many intermediate steps and needs for Korean expertise knowledge. Fortunately, Korean speech recognition becomes manageable with the aid of recent breakthroughs in "End-to-end" model. The end-to-end model decodes mel-frequency cepstral coefficients directly as text without any intermediate processes. Especially, Connectionist Temporal Classification loss and Attention based model are a kind of the end-to-end. In addition, we combine Bayesian neural network to implement the end-to-end model and obtain Monte Carlo estimates. Finally, we carry out our experiments on the "WorimalSam" online dictionary dataset. We obtain 4.58% Word Error Rate showing improved results compared to Google and Naver API.

• Journal of Practical Engineering Education
• /
• v.10 no.1
• /
• pp.17-24
• /
• 2018

Through the design and production of works for the third semester as a major unit, It is proposed the process of satisfying the graduation standards with the design and production process of the drone which can be applied to various mobile environments. Using the shape of Ring Propeller, it is made to be able to play both the role of generating lift as a propeller and the role of a wheel that touches the ground through the surface of the rim. In addition, the Servo Motor is used to convert the drive shaft of the motor to the correct angle according to the command. Then, based on the idea, the 3D printing is implemented to confirm the result of the configuration, and the circuit for driving the propulsion is designed and manufactured. As a result, the conversion of the desired propulsion system during air navigation and operation failed due to the weight increase of the propellant. It is confirmed that the size of the thrust and the tolerance limit of the ring propeller are the errors. Through these processes, it has been recognized to have experience of creative thinking and cooperation through engineering approach and comprehensive design, and confirmed to satisfy the graduation criteria by writing an engineering paper on the result.

• Geophysics and Geophysical Exploration
• /
• v.24 no.2
• /
• pp.35-44
• /
• 2021

As the execution speed of Python is slower than those of other programming languages (e.g., C, C++, and FORTRAN), Python is not considered to be efficient for writing numerical geodynamic code that requires numerous iterations. Recently, many computational techniques, such as the Just-In-Time (JIT) compiler, have been developed to enhance the calculation speed of Python. Here, we developed two-dimensional (2D) numerical geodynamic code that was optimized for the JIT compiler, based on Python. Our code simulates mantle convection by combining the Particle-In-Cell (PIC) scheme and the finite element method (FEM), which are both commonly used in geodynamic modeling. We benchmarked well-known mantle convection problems to evaluate the reliability of our code, which confirmed that the root mean square velocity and Nusselt number obtained from our numerical modeling were consistent with those of the mantle convection problems. The matrix assembly and PIC processes in our code, when run with the JIT compiler, successfully achieved a speed-up 30× and 258× faster than without the JIT compiler, respectively. Our Python-based FEM-PIC code shows the high potential of Python for geodynamic modeling cases that require complex computations.

• Korean Journal of Agricultural and Forest Meteorology
• /
• v.23 no.1
• /
• pp.68-81
• /
• 2021

The agricultural ecosystem is one of the major sources of greenhouse gas (GHG) emissions. In order to search for climate change adaptation options which mitigate GHG emissions while maintaining crop yield, it is advantageous to integrate multiple models at a high spatial resolution. The objective of this study was to develop a tool to support integrated assessment of climate change impact b y coupling the DSSAT model and the DNDC model. DNDC Regional Input File Tool(DRIFT) was developed to prepare input data for the regional mode of DNDC model using input data and output data of the DSSAT model. In a case study, GHG emissions under the climate change conditions were simulated using the input data prepared b y the DRIFT. The time to prepare the input data was increased b y increasing the number of grid points. Most of the process took a relatively short time, while it took most of the time to convert the daily flood depth data of the DSSAT model to the flood period of the DNDC model. Still, processing a large amount of data would require a long time, which could be reduced by parallelizing some calculation processes. Expanding the DRIFT to other models would help reduce the time required to prepare input data for the models.

• Journal of the Korean earth science society
• /
• v.45 no.1
• /
• pp.48-71
• /
• 2024

Typhoons are representative oceanic and atmospheric phenomena that cause interactions within the Earth's system with diverse influences. In recent decades, the typhoons have tended to strengthen due to rapidly changing climate. The 2022 revised science curriculum emphasizes the importance of teaching-learning activities using advanced science and technology to cultivate digital literacy as a citizen of the future society. Therefore, it is necessary to solve the temporal and spatial limitations of textbook illustrations and to develop effective instructional materials using global-scale big data covered in the field of earth science. In this study, according to the procedure of the PDIE (Preparation, Development, Implementation, Evaluation) model, the inquiry activity data was developed to visualize the track of the typhoon using the image data of GK-2A. In the preparatory stage, the 2015 and 2022 revised curriculum and the contents of the inquiry activities of the current textbooks were analyzed. In the development stage, inquiry activities were organized into a series of processes that can collect, process, visualize, and analyze observational data, and a GUI (Graphic User Interface)-based visualization program that can derive results with a simple operation was created. In the implementation and evaluation stage, classes were conducted with students, and classes using code and GUI programs were conducted respectively to compare the characteristics of each activity and confirm its applicability in the school field. The class materials presented in this study enable exploratory activities using actual observation data without professional programming knowledge which is expected to contribute to students' understanding and digital literacy in the field of earth science.

• Journal of Intelligence and Information Systems
• /
• v.19 no.4
• /
• pp.55-79
• /
• 2013

In this paper, we propose a hybrid genetic algorithm (HGA) approach to effectively solve the reverse logistics network with centralized centers (RLNCC). For the proposed HGA approach, genetic algorithm (GA) is used as a main algorithm. For implementing GA, a new bit-string representation scheme using 0 and 1 values is suggested, which can easily make initial population of GA. As genetic operators, the elitist strategy in enlarged sampling space developed by Gen and Chang (1997), a new two-point crossover operator, and a new random mutation operator are used for selection, crossover and mutation, respectively. For hybrid concept of GA, an iterative hill climbing method (IHCM) developed by Michalewicz (1994) is inserted into HGA search loop. The IHCM is one of local search techniques and precisely explores the space converged by GA search. The RLNCC is composed of collection centers, remanufacturing centers, redistribution centers, and secondary markets in reverse logistics networks. Of the centers and secondary markets, only one collection center, remanufacturing center, redistribution center, and secondary market should be opened in reverse logistics networks. Some assumptions are considered for effectively implementing the RLNCC The RLNCC is represented by a mixed integer programming (MIP) model using indexes, parameters and decision variables. The objective function of the MIP model is to minimize the total cost which is consisted of transportation cost, fixed cost, and handling cost. The transportation cost is obtained by transporting the returned products between each centers and secondary markets. The fixed cost is calculated by opening or closing decision at each center and secondary markets. That is, if there are three collection centers (the opening costs of collection center 1 2, and 3 are 10.5, 12.1, 8.9, respectively), and the collection center 1 is opened and the remainders are all closed, then the fixed cost is 10.5. The handling cost means the cost of treating the products returned from customers at each center and secondary markets which are opened at each RLNCC stage. The RLNCC is solved by the proposed HGA approach. In numerical experiment, the proposed HGA and a conventional competing approach is compared with each other using various measures of performance. For the conventional competing approach, the GA approach by Yun (2013) is used. The GA approach has not any local search technique such as the IHCM proposed the HGA approach. As measures of performance, CPU time, optimal solution, and optimal setting are used. Two types of the RLNCC with different numbers of customers, collection centers, remanufacturing centers, redistribution centers and secondary markets are presented for comparing the performances of the HGA and GA approaches. The MIP models using the two types of the RLNCC are programmed by Visual Basic Version 6.0, and the computer implementing environment is the IBM compatible PC with 3.06Ghz CPU speed and 1GB RAM on Windows XP. The parameters used in the HGA and GA approaches are that the total number of generations is 10,000, population size 20, crossover rate 0.5, mutation rate 0.1, and the search range for the IHCM is 2.0. Total 20 iterations are made for eliminating the randomness of the searches of the HGA and GA approaches. With performance comparisons, network representations by opening/closing decision, and convergence processes using two types of the RLNCCs, the experimental result shows that the HGA has significantly better performance in terms of the optimal solution than the GA, though the GA is slightly quicker than the HGA in terms of the CPU time. Finally, it has been proved that the proposed HGA approach is more efficient than conventional GA approach in two types of the RLNCC since the former has a GA search process as well as a local search process for additional search scheme, while the latter has a GA search process alone. For a future study, much more large-sized RLNCCs will be tested for robustness of our approach.

• Journal of the Korean BIBLIA Society for library and Information Science
• /
• v.2 no.1
• /
• pp.178-210
• /
• 1974

It needs to put into practice the systems analysis in the analysis of some operations and status of library for the purpose of systematizing the work of reforming in the new easier form to process, to storage, to retrieve and to make use of the increasing informations and data of library. In this study, some of systems which are generally using in every library was caught in the case study of K university library. Having analyzed them with the two methods of the flowcharting and mathematical analysis, we found the obstructive factors in operation. As the result of this research, it was gained the new system as the alternative one. A. Alternative System B. Advantages of alternative systems 1. In the reference room When it converts the present system into the new system, it can profit 6.771 won/user (13.815won-7.044won=6.771 won). Therefore, a half the average required cost of the present system can be saved. If this saving would be alloted for the cost 33,000won required to make the cataloging cards, it would be taken for 94 days (33,000 won ${\div}$ 6,771 won/user=4,874users. 4,874users ${\div}$ 52users/day=94days) to get it. The saving cost/year by the new system will be 95,417 won, and in the first year the initial cost (33,000won) reduces the saving cost to 62,417won. 2. In the periodical room The average required time for using the materials of the present system is 17 minutes/user and the average required cost/user is 23.775won, while the average required time of the new system is 4 minutes and the average required cost/user is 5.33won. Therefore, the new system has profit 4 times of the present system. Accordingly, it occurs when the dispersed periodical materials get together. 3. In the classification and cataloging When one processes - the oriental books - by the Linear Programming Technique, the maximum of the process can be increased from 11.6 volumes per librarian of the present system to 12 volumes per librarian of the new system increased 0.4 volume in a day, and cataloging by the manual printer can be shorten from 3 minutes per card of the present system to 1.5 minutes per card of the new system. Consequently, we can complete the other operations (books equipment, updating of cataloging cards, etc.) with 141 minutes which are saved in the course of the afore-mentioned works. 4. In the status of collections The average growth rate of 4 years from 1968 to 1971 is 9.825 %, and that of the purchased materials is 6.2% similar to the advanced nations, but it has the different position from 215,000 volumes by the Standard Degree for Establishment of College and University, and the difference between the total collections 151,671 volumes and Dunns' growth model ($N_t=N_oe^{-at}$) claimed by Leimkuhler 155,297 volumes in 1971 is 3,626 volumes, and for the purpose of compensation the difference, we found the fact that it needs to have the increased budget of 24~30% per year, Thus, if the budget of 24~30 % per year. Thus, if the budget would be increased per year as the rate of the afore-mentioned figure, it would be reached at the Standard Degree for Establishment of College and University in 1975, and thereafter, it can be decreased to the lebel which is able to maintain the growth rate of 5~6% per year.

• Proceedings of the Korean Institute Of Construction Engineering and Management
• /
• autumn
• /
• pp.99-106
• /
• 2002

Researches on integration of design and construction information from earlier era focused on the conceptual data models. Development and prevalent use of commercial database management system led many researchers to design database schemas for enlightening of relationship between non-graphic data items. Although these researches became the foundation fur the proceeding researches. they did not utilize the graphic data providable from CAD system which is already widely used. 4D CAD concept suggests a way of integrating graphic data with schedule data. Although this integration provided a new possibility for integration, there exists a limitation in data dependency on a specific application. This research suggests a new approach on integration for design and construction information, 'Product Model Centered Integration Methodology'. This methodology achieves integration by preliminary research on existing methodology using 4D CAD concept. and by development and application of new integration methodology, 'Product Model Centered Integration Methodology'. 'Design Component' can be converted into digital format by object based CAD system. 'Unified Object-based Graphic Modeling' shows how to model graphic product model using CAD system. Possibility of reusing design information in latter stage depends on the ways of creating CAD model, so modeling guidelines and specifications are suggested. Then prototype system for integration management, and exchange are presented, using 'Product Frameworker', and 'Product Database' which also supports multiple-viewpoints. 'Product Data Model' is designed, and main data workflows are represented using 'Activity Diagram', one of UML diagrams. These can be used for writing programming codes and developing prototype in order to automatically create activity items in actual schedule management system. Through validation processes, 'Product Model Centered Integration Methodology' is suggested as the new approach for integration of design and construction information.