• Journal of Gifted/Talented Education
• /
• v.18 no.1
• /
• pp.111-137
• /
• 2008

The purpose of this study is to develop learning materials and teaching model for the gifted, and to examine the improvement of creativity of them in middle schools. Subjects were 126 gifted students, who were the 7th or 8th graders and have been taught in gifted classes of the adjacent Education Institute for the gifted of Boryeong Education Districts, Chungnam Province Office Of Education. Divisions of gifted Classes were logical reasoning, mathematics, foreign language, science. After the instruction of project-based task, gifted students had improved creativity. Especially, instruction using project-based task was more effective on scientifically gifted students. Most gifted students were satisfied with the instruction using project-based task, and attractive in it. Finally, it was suggested that the instruction using project-based task should be actively used for the gifted students.

• Journal for History of Mathematics
• /
• v.24 no.3
• /
• pp.37-58
• /
• 2011

The development of recent Mathematical Logic is mostly originated in Hilbert's Proof Theory. The purpose of the plan so called Hilbert's Program lies in the formalization of mathematics by formal axiomatic method, rescuing classical mathematics by means of verifying completeness and consistency of the formal system and solidifying the foundations of mathematics. In 1931, the completeness encounters crisis by the existence of undecidable proposition through the 1st Theorem of G?del, and the establishment of consistency faces a risk of invalidation by the 2nd Theorem. However, relative of partial realization of Hilbert's Program still exists as a fruitful research program. We have tried to bring into relief through Curry-Howard Correspondence the fact that Hilbert's program serves as source of power for the growth of mathematical constructivism today. That proof in natural deduction is in truth equivalent to computer program has allowed the formalization of mathematics to be seen in new light. In other words, Hilbert's program conforms best to the concept of algorithm, the central idea in computer science.

• Science of Emotion and Sensibility
• /
• v.8 no.1
• /
• pp.55-61
• /
• 2005

The purpose of the study was to examine any difference in academic achievement, self-concept and achievement motivation by the types of hemispheric dominance. 189 high school students participated in the study. They were taken three kinds of different psychological tests i.e., the brain hemispheric preference (dominance), the self-concept and the achievement motivation tests. Three types of hemispheric dominance were classified as the left hemispheric, the right hemispheric and whole brain dominances. The results showed that students with the right hemispheric dominance showed lower academic achievement and self concept than the other groups students. Those who had left hemisphere dominance showed higher achievement motivation than the right hemispheric students. These results could be interpreted that education in the high school in Korea mainly focuses left hemisphere related topics or subjects.

• Journal of the Korea Society for Simulation
• /
• v.24 no.2
• /
• pp.19-29
• /
• 2015

M&S techniques are utilized for various purposes on the national defense, and its importance is increasing than ever. For analyzing RAM (Reliability, Availability and Maintainability) of weapon system, using M&S techniques can be more effective and practical way than deterministic approach, because M&S approach can consider uncertain variables and various constraints in the ILS (Integrated Logistics support) field. For design of ILS M&S, we first set up a purpose of M&S, attributes of real system and other similar ILS M&S tool. Then, we convert real system into model which consists of mathematical formula and logical expression. In this thesis, we introduce modeling procedures of M&S that describes total life cycle of 'OO guided weapon system' and the contents proposed in this paper can provide references for developing other M&S tool.

• Journal of Educational Research in Mathematics
• /
• v.24 no.3
• /
• pp.443-465
• /
• 2014

Mathematics subject has been recognized as a subject in which we resolve some problematic situations through the logical and mathematical thinking according to mathematical concepts, principles, and rules. So we has focused on cultivating logical and mathematical thinking abilities when teaching and learning mathematics. However according to Bruner, we can use the narrative mode of thought which supplements the logical and scientific mode of thought when we think about logical and scientific matters, and we could make meanings by doing so. On the other hand, the Ministry of Education has announced recently that it would develope the textbooks of storytelling type of mathematics, and then many people have been interested in using stories in mathematics subject. The purposes of this article are to investigate the effects and the defects of using stories in mathematics subject, to probe the narrative characteristics of mathematics, and to inquire how using mathematics narrative can make students to make meaning about mathematics which compensates the defects of using stories in mathematics subject. And the main purpose is to inquire the implications of using mathematics narrative in teaching and learning mathematics.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.15 no.5
• /
• pp.2724-2731
• /
• 2014

As the future national defense plan of government focus on advanced weapon system, military maintenance facility becomes more important. However, military maintenance facility has been managed by director's experience and simple mathematical calculation until now. Thus, the optimization for the management of military maintenance facility is suggested by more scientistic and logical methods in this study. The study follows the procedure below. First, simulation is designed according to the analysis of military maintenance facility. Second, independent variable and dependent variable are defined for optimization. Independent Variable includes the number of maintenance machine, transportation machine, worker in the details of military maintenance facility operation, and dependent variable involves total maintenance time affected by independent variable. Third, warmup analysis is performed to get warmup period, based on the simulation model. Fourth, the optimal combination is computed with evolution strategy, meta-heuristic, to enhance military maintenance management. By the optimal combination, the management of military maintenance facility can gain the biggest effect against the limited cost. In the future, the multipurpose study, to analyze the military maintenance facility covering various weapon system equipments, will be performed.

• Journal of Aerospace System Engineering
• /
• v.18 no.1
• /
• pp.72-78
• /
• 2024

It is essential to coincide with moving target planet at future arrival changing point during space flight time in an interplanetary orbit design. Transition orbit elements can be obtained from traditional Lambert solutions by adjusting initial and final positions include flight time. Two-point boundary values of orbits can be selected in the design process. From this point of view, interplanetary orbits are infinite if they can be acquired from departure velocity without limit. However, appropriate and optimized procedures are needed to obtain an optimum interplanetary orbit to meet given conditions. The departure velocity is highly dependent on space launch vehicle's ability up to now. In this paper, algorithms of professor Howard Curtis at Embry-Riddle Aeronautical University were applied to obtain Lambert solution and orbit elements.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.47 no.8
• /
• pp.582-589
• /
• 2019

The dynamic balancing test of helicopter main rotor blades is a blade rotation test conducted on the ground to make the track of each blade and the load on each pitch rod to a similar level before the flight tests. The purpose of the test is to reduce the vibration occurring on main rotor system as a result of dissimilarity of each blade. The RTB test has been performed for a long period at Whirl Tower Test Facility located in Goheung Flight Centre, accumulating its data. As the amount of the results has become increasingly enormous the needs for the development of database system has been raised to manage the data with effective method. This research aimed to describe the development of Dynamic-Balancing Database System for the RTB test results. For the design of the database system the informations of RTB test results have been categorized into properties, connecting each others according to its logical meaning, and comprised into a database system with relational elements. It has been shown in this paper that the Dynamic Balancing database system enables to effectively accumulate the RTB test data and to be utilized for the data analysis.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.19 no.3
• /
• pp.301-308
• /
• 2018

This study explores an analytical mathematical model designed to estimate the optimal debt ratio of the Korean automobile industry, which has a more significant effect on the national economy than that of other industries, and attempts to estimate the optimal debt ratio based on objective data. The analytical model is based on ROA and ROE which uses the debt ratio as an independent variable and employs ROS, TAT, and NFCL as the related parameters. Regarding the NFCL, the optimal debt ratio is usually defined as the debt ratio that maximizes the ROA and ROE and is calculated using analytical procedures, such as by adding an equation that considers the debt ratio and the linearity relationship to the analytical model. This is because the optimal debt ratio can be calculated reliably by making use of an estimated value within a certain range, which is derived from more than two calculations rather than a single estimation starting from one calculation formula. In this study, for the estimation of the optimal debt ratio, the ROA and ROE are expressed as a quadratic equation with the debt ratio as the independent variable. Using this analysis procedure, the optimal debt ratio obtained using the data from the Korean automobile industry over a sixteen year period, which would optimize the profitability of the Korean automobile industry, was found to be 188% of the debt ratio in the ROA and 213% of the debt ratio in the ROE. This result was obtained by overcoming the problem of the reliability of the estimation value in spite of the limitations of the logical theory of this study, and can be interpreted as meaning that maintaining a debt ratio of 188% to 213% can enhance the profitability and reduce the risks in the Korean automobile industry. Furthermore, this indicates that the existing debt ratio of the Korean automobile industry is lower than the optimal value within the estimated range. Consequently, it is necessary for corporations to change their future debt ratio policies, given that the purpose of debt ratio management is to maintain safety and increase profitability, and to take into account the characteristics of the specific industry.