• Journal of the Korean School Mathematics Society
• /
• v.20 no.4
• /
• pp.405-422
• /
• 2017

Nim games were divided into three stages : one file, two files and three files game, and inquiry activities were conducted for middle school mathematically gifted students. In the first stage, students easily found a winning strategy through deductive reasoning. In the second stage, students found a winning strategy with deductive reasoning or inductive reasoning, but found an error in inductive reasoning. In the third stage, no students found a winning strategy with deductive reasoning and errors were found in the induction reasoning process. It is found that the tendency to unconditionally generalize the pattern that is formed in the finite number of cases is the cause of the error. As a result of visually presenting the binary boxes to students, students were able to easily identify the pattern of victory and defeat, recognize the winning strategy through game activities, and some students could reach a stage of justifying the winning strategy.

• Journal of Educational Research in Mathematics
• /
• v.13 no.2
• /
• pp.159-178
• /
• 2003

This study analyzes on the reasoning in the process of justification and mathematical problem solving in our primary mathematics textbooks. In our analyses, we found that the inductive reasoning based on the paradima-tic example whose justification is founnded en a local deductive reasoning is the most important characteristics in our textbooks. We also found that some propositions on the properties of various quadrangles impose a deductive reasoning on primary students, which is very difficult to them. The inductive reasoning based on enumeration is used in a few cases, and analogies based on the similarity between the mathematical structures and the concrete materials are frequntly found. The exposition based en a paradigmatic example, which is the most important characteristics, have a problematic aspect that the level of reasoning is relatively low In Miyazaki's or Semadeni's respects. And some propositions on quadrangles is very difficult in Piagetian respects. As a result of our study, we propose that the level of reasoning in primary mathematics is leveled up by degrees, and the increasing levels are following: empirical justification on a paradigmatic example, construction of conjecture based on the example, examination on the various examples of the conjecture's validity, construction of schema on the generality, basic experiences for the relation of implication.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.28 no.5
• /
• pp.395-400
• /
• 2008

Alternating magnetic field was used for detection of surface flaws on nonmagnetic and magnetic metallic specimens. The nondestructive sensor probe was composed of the planar coil with inductive magnetic thin film yoke as a sensing component and a single straight typed exciting coil. The planar inductive coil sensor with magnetic yoke was fabricated by sputtering, electroplating, dry etching and photolithography process. The alternative currents with the range of 0.1A to 1.0A (0.7 MHz to 1.8 MHz) were applied to the exciting coil. The specimens were prepared with the slit shaped artificial surface flaws (minimum depth and width; 0.5 mm) on metallic plate (Al; nonmagnetic metal and FeC; magnetic metal). The detected signal for the positions and shapes of surface flaws on specimens were obtained with high sensitivity and high signal to ratio. The measured output signals by the non-contacted scanning on surface of FeC specimen with micron-sized crack were converted to the images of the flaws. And these results were compared with the optical images, respectively.

• JSTS:Journal of Semiconductor Technology and Science
• /
• v.14 no.1
• /
• pp.100-108
• /
• 2014

Low noise amplifier (LNA) is an integral component of RF receiver and frequently required to operate at wide frequency bands for various wireless system applications. For wideband operation, important performance metrics such as voltage gain, return loss, noise figure and linearity have been carefully investigated and characterized for the proposed LNA. An inductive shunt feedback configuration is successfully employed in the input stage of the proposed LNA which incorporates cascaded networks with a peaking inductor in the buffer stage. Design equations for obtaining low and high impedance-matching frequencies are easily derived, leading to a relatively simple method for circuit implementation. Careful theoretical analysis explains that input impedance can be described in the form of second-order frequency response, where poles and zeros are characterized and utilized for realizing the wideband response. Linearity is significantly improved because the inductor located between the gate and the drain decreases the third-order harmonics at the output. Fabricated in $0.18{\mu}m$ CMOS process, the chip area of this wideband LNA is $0.202mm^2$, including pads. Measurement results illustrate that the input return loss shows less than -7 dB, voltage gain greater than 8 dB, and a little high noise figure around 6-8 dB over 1.5 - 13 GHz. In addition, good linearity (IIP3) of 2.5 dBm is achieved at 8 GHz and 14 mA of current is consumed from a 1.8 V supply.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.19 no.1
• /
• pp.35-40
• /
• 2015

The paper proposes a meta-learning approach for building multi-classifier systems in a GA-based inductive learning environment. In our meta-learning approach, a classifier consists of a general classifier and a meta-classifier. We obtain a meta-classifier from classification results of its general classifier by applying a learning algorithm to them. The role of the meta-classifier is to evaluate the classification result of its general classifier and decide whether to participate into a final decision-making process or not. The classification system draws a decision by combining classification results that are evaluated as correct ones by meta-classifiers. We present empirical results that evaluate the effect of our meta-learning approach on the performance of multi-classifier systems.

• International conference on construction engineering and project management
• /
• 2011.02a
• /
• pp.556-560
• /
• 2011

Players of construction projects proceed with each work process by information gathering, modification and communication. Due to the complex and long-span lifecycle projects increased, it became more important to grasp this mechanism for the successful project performance in construction project. Hence, most project information management systems or knowledge management systems equip information retrieval system. There are two logic to infer the meaning of retrieval target; inductive reasoning and deductive reasoning. The former is based on metadata explaining the target and the later is based on relation between data. To infer the information flow, it is necessary to define the correlation between players and work processes. However, most established information retrieval systems are based on index search system and it is not focused on correlation between data but data itself. Thus, this research aims to research on process of information flow retrieval system for large-scale construction projects.

• Journal of the Korean Mathematical Society
• /
• v.36 no.2
• /
• pp.267-298
• /
• 1999

A geometric construction of an exact algebraic formula for graded partition functions, of which a special one is the classical unrestricted partition function p(n), from a diophantine point of view is presented. Moreover, the involved process allows us to compute the value of a graded partition function in an inductive manner with a geometrically built-in self-error-checking ability at each step for correctness of the computed values of the partition function under consideration.

• Proceedings of the Korean Institute of IIIuminating and Electrical Installation Engineers Conference
• /
• 2003.11a
• /
• pp.237-239
• /
• 2003

Characteristics of electrodeless lamp as a load of the ballast is different compared to normal fluorescent lamp because the lamp includes the magnetics for inductive discharging process. So somewhat different modeling is necessary to make a proper power match between the lamp and ballast. Modeling of an electrodeless lamps, Endura of Osram, is presented in this paper. Simulation with a result of experiment is given for a verification of proposed model.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.8 no.12
• /
• pp.1905-1910
• /
• 2013

This paper demonstrates the result of Safety Integrity Level (SIL) allocation for IL-type Train Control System(IL-TCS), by applying the semi-quantitative approach. IL-type TCS is defined in this paper as the set of Hardware and Software ATS equipment, Track-side ATP equipment, On-board ATP equipment, Track-side ATO equipment, On-board ATO equipment. SIL allocation is performed for these constituent subsystems of TCS. Based on three principles of the semi-quantitative method, the SIL allocation process is performed for the subsystems composing TCS.

• Journal of Educational Research in Mathematics
• /
• v.16 no.2
• /
• pp.95-113
• /
• 2006

The study tries to differentiate the levels of mathematical reasoning from inductive reasoning to formal reasoning for teaching gradually. Because the formal point of view without the relation to objects has limitations in the creation of a new knowledge, our mathematics education needs consider the such characteristics. We propose an intuitive level of proof related in concrete operations and perceptual experiences as an intermediating step between inductive and formal reasoning. The key activity of the intuitive level is having insight on the generality of reasoning. The details of the process should pursuit the direction for going away from objects and near to formal reasoning. We need teach the mathematical reasoning gradually according to the appropriate level of reasoning more differentiated.