• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.11 no.3
• /
• pp.619-626
• /
• 2007

Constructive induction is a technique to draw useful attributes from given primitive attributes to classify given examples more efficiently. Useful attributes are obtained from given primitive attributes by applying appropriate operators to them. The paper proposes a constructive induction approach for a GA-based inductive learning environment that learns classification rules that ate similar to rules used in PROSPECTOR from given examples. The paper explains our constructive induction approach in details, centering on operators to combine primitive attributes and methods to evaluate the usefulness of derived attributes, and presents the results of various experiments performed to evaluate the effect of our constructive induction approach on the GA-based learning environment.

• Research in Mathematical Education
• /
• v.7 no.1
• /
• pp.1-10
• /
• 2003

This research reviewed literatures on proof in mathematics education. Several views of proof can be classified (and identified) such as psychological approach (Platonism, empiricism), structural approach (logicism, formalism, intuitionism) and social approach (ontology, axiomatic systems). All these views of proof are valuable in mathematics education society. The concept of proof can be found in the form of analytic knowledge not of constructive knowledge. Human beings developed their knowledge in the sequence of constructive knowledge to analytic knowledge. Therefore, in mathematics education, the curriculum of mathematics should involve the process of cognitive knowledge development.

• Journal of Science and Technology Studies
• /
• v.2 no.2 s.4
• /
• pp.1-23
• /
• 2002

This Article examines the main approaches to the public understanding of science(PUS) in light of the changing relation of science and public. Traditional approach called deficit model recognizes scientific knowledge as a entity, unidirectionally diffusing to public. This View basically presupposes the gap between science and public. Meanwhile, this approach has an aspiration to reduce the gap. So there is a paradoxical situation in the traditional PUS. Public perception of environmental crisis and risk of science has been risen since late 1980's. And the science technology studies (STS) have criticized traditional approach. STS proposes new approach of constructive PUS. Constructive PUS conceives the public to have heterogeneous, local characteristic. This approach has been very fertile both in theory and practice. But most recently, newly proposed approach, so called heterogeneous PUS, criticizes constructive PUS. Main point of criticism is that constructive PUS has dichotomy between science and public, and romanticizes the public. It is uncertain whether heterogeneous PUS can take place of constructive PUS. But this trend has the implication that the relation of science and public is constantly changing.

• Korean Journal of Logic
• /
• v.17 no.3
• /
• pp.461-484
• /
• 2014

This essay suggests a constructive interpretation of probabilities by diagnosing problems of the objective and the epistemic interpretations of probability. According to this interpretation, attributions of the mathematical structure of probability to a given system can be understood as positing constructive theoretical hypotheses showing the relationship among empirical data. The constructive interpretation is applied to comprehend probability claims in the explanation of temporal asymmetrical behaviour of our universe. A new approach interpreting probabilities as constructive theoretical terms enables us to circumvent shortcomings of both objective and subjective interpretation of probability, and appreciate why these interpretations nevertheless appear to be convincing in our case.

• Korean Journal of Computational Design and Engineering
• /
• v.6 no.2
• /
• pp.78-88
• /
• 2001

In order to adopt feature-based parametric modeling, CAD/CAM applications must have a geometric constraint solver that can handle a large set of geometric configurations efficiently and robustly. In this paper, we describe a graph constructive approach to solving geometric constraint problems. Usually, a graph constructive approach is efficient, however it has its limitation in scope; it cannot handle ruler-and-compass non-constructible configurations and under-constrained problems. To overcome these limitations. we propose an algorithm that isolates ruler-and-compass non-constructible configurations from ruler-and-compass constructible configurations and applies numerical calculation methods to solve them separately. This separation can maximize the efficiency and robustness of a geometric constraint solver. Moreover, the solver can handle under-constrained problems by classifying under-constrained subgraphs to simplified cases by applying classification rules. Then, it decides the calculating sequence of geometric entities in each classified case and calculates geometric entities by adding appropriate assumptions or constraints. By extending the clustering types and defining several rules, the proposed approach can overcome limitations of previous graph constructive approaches which makes it possible to develop an efficient and robust geometric constraint solver.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.19 no.6
• /
• pp.769-778
• /
• 2016

Technical approach on the modeling, simulation and experimentation methods, which are applied for developing a constructive simulation and engagement experimentation software for supporting light weight torpedo operational tactics study, is introduced. Conceptual modeling for the weapon engagement and simulation entities, mathematical models for the simulation elements, approach for the design of experimentations are described, and screen shots of the software are also presented as some example results of experimentation and analysis. It is found that the simulation and experimentation results are useful to support and fulfill the mission needs and requests. As a consequence, the technical approach is rated to be appropriate to accomplish the dedicated purpose of the simulation and experiments.

• Proceedings of the KIEE Conference
• /
• 1998.11b
• /
• pp.648-650
• /
• 1998

This paper proposes a constructive algorithm for generating the Takagi-Sugeno type fuzzy model through the sequential learning from training data set. The proposed algorithm has a two-stage learning scheme that performs both structure and parameter learning simultaneously. The structure learning constructs fuzzy model using two growth criteria to assign new fuzzy rules for given observation data. The parameter learning adjusts the parameters of existing fuzzy rules using the LMS rule. To evaluate the performance of the proposed fuzzy modeling approach, well-known benchmark is used in simulation and compares it with other modeling approaches.

• Journal of the Korea Society for Simulation
• /
• v.21 no.1
• /
• pp.81-88
• /
• 2012

In the M&S filed, The Battle Lab is available for acquisition, design, development tool, validation test, and training in the weapon system of development process. Recently, the Battle Lab in the military of Korea is still in an early stage, in spite of importance of battle lab construction. In the environment of network centric warfare, a practical use of the M&S which is connecting live, virtual and constructive model can be applied to all field of System Engineering process. It is necessary thar the Battle Lab is not restricted by time and space, and is possible for the technical implementation. In this paper, to guarantee the interoperability of live and virtual simulation, virtual simulators connect live simulators by using the tactical data link. To guarantee the interoperability of virtual and constructive simulation, both virtual simulators and constructive simulators use the RTI which is the standard tool of M&S. We propose the System that constructed the Air Defence Battle Lab. In case of the approach of target tracks, The Air Defence Battle Lab is the system for the engagement based on a command of an upper system in the engagement weapon system. Constructive simulators which are target track, missile, radar, and launcher simulator connect virtual simulators which are MCRC, battalion, and fire control center simulators using the RPR-FOM 1.0 that is a kind of RTI FOM. The interoperability of virtual simulators and live simulators can be guaranteed by the connection of the tactical data links which are Link-11B and ATDL-1.

• Journal of the Korean institute of surface engineering
• /
• v.55 no.4
• /
• pp.231-235
• /
• 2022

As environmental pollution becomes more serious, the demand for electric vehicles (EVs) and lithium-ion batteries for electric vehicles is rapidly increasing worldwide. Accordingly, the amount of waste batteries is also increasing, and a technology for recycling and reusing them is required. In order to reuse a used battery, it is necessary to non-destructively diagnose the deterioration condition of the battery. Therefore, in this study, we investigate the diagnosis of degradation for parallel-connected lithium-ion battery cells through non-constructive electrochemical approach. As the number of parallel-connected cells increased, in addition to linear degradation, abrupt step-like degradation occurred, which is attributed to the predominant degradation of specific cells. In addition, it is confirmed that deteriorated cells among multiple cells can be distinguished through a simple measurement of open circuit voltage (OCV).

• Proceedings of the IEEK Conference
• /
• 2002.07c
• /
• pp.1626-1629
• /
• 2002

This paper describes novel methods to construct fuzzy inference rules with gradient descent. The present methods have a constructive mechanism of the rule unit that is applicable in two parameters: the central value and the width of the membership function in the antecedent part. The first approach is to create the rule unit at the nearest position from the input space, for the central value of the membership function in the antecedent part. The second is to create the rule unit which has the minimum width, for the width of the membership function in the antecedent part. Experimental results are presented in order to show that the proposed methods are effective in difference on the inference error and the number of learning iterations.