• Journal of radiological science and technology
• /
• v.22 no.1
• /
• pp.13-20
• /
• 1999

This study is to calculate the exposed radiation dose using Bit method, NDD calculation method and monogram method without dosimeter. In addition, we can calculate the radiation dose from x-ray film density as a film badge. The authors examined the entrance skin dose from $2{\sim}3$ intercostal chest x-ray film density. We also studied the relationship between film density and equivalent dose in the each screen film system under the different radiation quality and the poor geometry condition of grid ratio. As results, we established the deductive method to define the entrance skindose from chest x-ray film density. The error range was found in the range $-13%{\sim}+l7%$ for between deductive entrance skindose and the $2{\sim}3$ intercostal chest x-ray film density to actual detective radiation dose with dosimeter.

• Journal of Korean Elementary Science Education
• /
• v.25 no.spc5
• /
• pp.567-581
• /
• 2007

This study examined patterns of reasoning of both the scientifically-gifted and children of average ability as witnessed in their science problem solving skills. Science problem solving skills are one of the significant characteristics of scientifically gifted children, and by using methods such as individual interviews, inductive reasoning, abductive reasoning, and deductive reasoning, the characteristics of these children can be to be further explored and categorized. The study also compared the findings with those of average children. This study sought to determine efficient guidelines fur teaching the scientifically-gifted, to come up with basic materials for developing relevant programs, and to find suggestions for identifying such students. The results of the study are as follows: Firstly, the creative science problem solving skills of the scientifically-gifted were better than that of the average students. Secondly, all of the three reasoning patterns used revealed in creative science solving processes were different between the gifted and the average, especially in terms of abductive reasoning, which was proved to reveal the greatest distinction between the two groups.

• Journal for History of Mathematics
• /
• v.31 no.2
• /
• pp.55-72
• /
• 2018

Matteo Ricci and Xu Gwangqi translated the first six Books of Euclid's Elements and published it with the title Jihe Yuanben, or Giha Wonbon in Korean in 1607. It was brought into Joseon as a part of Tianxue Chuhan in the late 17th century. Recognizing that Jihe Yuanben deals with universal statements under deductive reasoning, Jo Tae-gu completed his Juseo Gwan-gyeon to associate the traditional mathematics and the deductive inferences in Jihe Yuanben. Since Jo served as a minister of Hojo and head of Gwansang-gam, Jo had a comprehensive understanding of Song-Yuan mathematics, and hence he could successfully achieve his objective, although it is the first treatise of Jihe Yuanben in Joseon. We also show that he extended the results of Jihe Yuanben with his algebraic and geometric reasoning.

• Journal of Mechanical Science and Technology
• /
• v.18 no.2
• /
• pp.272-285
• /
• 2004

The losses at off-design points from a compressor cascade occur due to the deviation from a design incidence angle at the inlet of the cascade. The self-noise from the blade cascade at off-design points comes from a separated boundary layer and vortex sheddings. If the incidence angle to the cascade increases, stalling in blades may occur and the noise level increases significantly. This study applied Large-Eddy Simulations (LES) using deductive and deductive dynamic SGS models to low Mach-number, turbulent flow with each incidence angle to the cascade ranging from -40$^{\circ}$ to +20$^{\circ}$ and compared numerical predictions with measured data. It was observed that the oscillating separation bubbles attached to the suction surface do not modify wake flows dynamically for cases of negative incidence angles. However, an incidence angle greater than 8$^{\circ}$ caused a separated vortex near the leading edge to be shed downstream and created stalling. The computed performance parameters such as drag coefficient and total pressure loss coefficient showed good agreement with experimental results. Noise from the cascade of the compressor is summarized as sound generated by a structure interacting with unsteady, turbulent flows. The hybrid method using acoustic analogy was observed to closely predict the measured overall sound powers and directivity patterns at design and off-design points of blade cascade.

• The Proceeding of the Korean Institute of Electromagnetic Engineering and Science
• /
• v.4 no.1
• /
• pp.28-37
• /
• 1993

The future Personal Communication Service(PCS) is the total personal information communication service to satisfy the importance of information in a highly information - oriented society. Compared with the conventional communication method, it is necessary to provide considerable intelligence to the commu- nication network in order to implement the PCS which guarantees the mobility of each individual. Consequen- tly, the PCS needs a fast large database system which stores the information of each individual. To achieve this goal, this paper presents the parallel implementation of deductive database systems as a main - memory database system.

• Korean Journal of Logic
• /
• v.12 no.2
• /
• pp.59-88
• /
• 2009

According to David Hume, a deductive demonstration for inductive inference is not possible, because inductive inference is not deductive; and an inductive demonstration for inductive inference is not possible either, because such a demonstration is circular. Thus, on his view, there is no way of justifying inductive inference. Ever since Hume raised this problem of induction, a fair number of philosophers have tried to solve it. Nevertheless there is still no solution which is plausible enough to receive wide endorsement. According to Wilfrid Sellars, we cannot justify inductive inference by any theoretical reasoning; we can vindicate it only by a certain sort of practical reasoning. In this paper, I defend this Sellarsian proposal by developing and explaining it.

• Journal of the Korean School Mathematics Society
• /
• v.16 no.4
• /
• pp.821-840
• /
• 2013

Definition of geometric figure in middle school geometry seems to mere meaning of the term which could be perceived visually through its shape. However, Much research reported the low achievements of definitions of basic geometric figures. It suggested the limitation of instrumental understanding. In this research, I guided gifted middle school students to reinvent definitions of basic geometric figure by the deductive organization of its properties as Freudenthal pointed. These students understood relationally about why some geometric figure can be defined this way and how it could be defined equally via other properties. This analysis of reinventing of definitions will be a stepping stone to reflect on the pedagogical problems in teaching geometry and to search the new alternatives.

• Journal of KIISE:Software and Applications
• /
• v.34 no.6
• /
• pp.530-538
• /
• 2007

Most existing deductive engines study for optimization of TBox based on Tableaux algorithm. However, in order to deduce mass-storing ABox in reality, it can't be decided in finite time. Therefore, for the efficiency of the deductive engine, there needs to be reasoning technique optimized for ABox. This paper uses the method that changes OWL-DL based Ontology to the form of Rule like Datalog in order to interlock store device such as RDBMS. Ultimately, it tries to in circumstance of real world. Therefor, using Axiom that OWL holds, it suggests reasoning method that applies rules including datatype.

• Korean Journal of Logic
• /
• v.23 no.1
• /
• pp.25-53
• /
• 2020

Hong and Yeo choose the intention criterion instead of the realization criterion for distinguishing deductive and inductive argument in their paper. This study aims to criticize their argument. I contend that their argument confuses argument reconstruction and argument classification[evaluation], and is making the mistake of utilizing the realization criterion when attempting to make up for the difficulties of the intention criterion. Also, most logicians, including Hong and Yeo, support the division of the argument into deductions, inductions, and bad arguments. Here I insist on a binary division of only deduction and induction. Finally, I argue that there is no need to teach the distinction between deduction and induction when teaching logic.

• Journal of Korean Society of Water and Wastewater
• /
• v.35 no.5
• /
• pp.351-365
• /
• 2021

Water treatment process simulator is the tool for predicting sequential changes of water quality in a train of unit processes. This predicts the changes through governing equations that represent physicochemical performance of each unit processes with an initial and boundary conditions. Since there is no operational data for the design of a water treatment facility, there is no choice but to predict the performance of the facility by assuming initial and boundary conditions in virtual reality. Therefore, a simulator that can be applied in the design stage of a water treatment facility has no choice but to be built as a numerical analysis model of a deductive technique. In this study, we had conducted basic research on governing equations, inter-process data-flow, and simulator algorithms for the development of simulators. Lastly, this study will contribute to design engineering tool development research in the future by establishing the water treatment theory so that it can be programmed in a virtual world and suggesting a method for digital transformation of the water treatment process.