• 대한방사선기술학회지:방사선기술과학
• /
• 제22권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.

• 한국초등과학교육학회지:초등과학교육
• /
• 제25권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.

• 한국수학사학회지
• /
• 제31권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
• /
• 제18권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.

• 한국전자파학회지:전자파기술
• /
• 제4권1호
• /
• pp.28-37
• /
• 1993

개인 통신 서비스(PCS)는 미래의 고도 정보화 시대에서 정보 전달의 중요성에 대한 요구를 충족시키기 위한 총체적인 개인 정보 전달 서비스이다. 기폰의 통신 전달 매체를 기본으로 한 통신 방법에서 개인의 이동성을 보장하는 개인 통신 서비스의 구현을 위해서는 상당한 지능을 갖춘 지능망의 사용이 필연적이며, 이러한 정보를 처리하기 위해서는 고속 대용량의 데이타 베이스 시스템의 개발이 중요한 과제이다. 연역 데이타 베이스는 데이타의 일반적인 법칙을 연역 법칙으로 표현할 수 있으므로 지능망의 데이타 관리에 적절한 시스템으로 고려된다. 지능망 데이타 베이스는 신속한 통신 전달을 위해 빠른 시간안에 주어친 절의의 처리가 가능해야 하므로, 이논문에서는 앞으로 보편적으로 사용될 병렬 시스템 에서 연역 데이타 베이스를 주기억 장치 데이타 베이스 시스템으로 구현하는 방안을 제시한다.

• 논리연구
• /
• 제12권2호
• /
• pp.59-88
• /
• 2009

귀납추론은 연역추론이 아니기 때문에 연역적으로 정당화될 수 없다. 또한 귀납추론을 귀납적으로 정당화하는 것은 순환적이다. 따라서 흄은 귀납추론을 합리적으로 정당화할 수 없다고 주장한다. 흄이 이와 같은 귀납의 문제를 제기한 이후 오랜 동안 많은 철학자들이 이 문제를 해결하고자 시도해 왔다. 그럼에도 불구하고, 아직껏 대다수의 철학자들이 동의하는 해결책이 제시되지 않고 있다. 셀라스에 따르면 귀납의 문제는 이론추론이 아니라 오직 실천추론을 통해서만 해결할 수 있다. 이 논문은 셀라스가 제안한 실천추론에 의한 귀납의 정당화를 좀 더 명확한 형태로 발전시켜 설명함으로써 그의 해결책이 귀납의 문제에 대한 근본 해결책임을 주장한다.

• 한국학교수학회논문집
• /
• 제16권4호
• /
• pp.821-840
• /
• 2013

중학교 기하에서 등장하는 도형의 정의는 그 모양에서 시각적으로 확인할 수 있는 단순한 용어의 뜻으로만 생각하기 쉽다. 그러나 도형의 정의에 대한 낮은 이해도는 이와 같은 도형 정의에 대한 도구적 이해의 한계를 보여주고 있다. 이 연구는 영재중학생들을 대상으로, Freudenthal이 주장했던 도형 성질의 논리적 조직화에 의한 정의의 재발명과정을 구체적으로 실행하여 분석하였다. 그 결과 영재 학생 중 상당수가 도형 성질의 논리적 조직화 경험을 통하여, 도형을 왜 그렇게 정의하는 것인가, 또 다른 성질로는 정의할 수 없는가와 같은 도형 정의의 관계적 이해와 관련된 질문에 대해 깊이 이해하고 있음을 확인할 수 있었다. 이 연구에서 분석한 논리적 조직화에 의한 정의의 재발명과정은 중학교 기하교육의 문제를 반성하고 새로운 대안을 모색하는데 도움이 될 수 있을 것이다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제34권6호
• /
• pp.530-538
• /
• 2007

현존하는 추론 엔진들은 대부분 Tableaux 알고리즘 기반의 TBox의 최적화를 위한 연구를 진행하였다. 하지만 현실에서 대용량의 ABox를 추론하기 위해서는 유한한 시간 내에 결정 가능하지 못하다. 따라서 실용성 있는 추론 엔진 효율을 위해서는 대용량 데이타를 가지는 ABox를 위한 최적화된 추론 기법이 필요하다. 본 논문에서는 OWL-DL 기반의 온톨로지(Ontology)를 데이타로그(Datalog)와 같은 규칙(Rule) 형태로 변형하여 관계형 데이타베이스와 같은 저장장치와 연동하기 위한 방법을 이용한다. 최종적으로 실세계의 환경에서의 데이타타입 속성(Datatype Property)이 포함된 SHIQ(D) 구성의 실용적인 지식 표현 시스템을 수행하고자 한다. 따라서 OWL이 가지는 공리(Axiom)를 이용한 데이타타입이 포함된 규칙을 적용한 추론 방법에 대해서 제안하였다.

• 논리연구
• /
• 제23권1호
• /
• pp.25-53
• /
• 2020

홍지호·여영서는 "'부당한 연역 논증'은 형용모순인가?"라는 논문에서 연역 논증과 귀납 논증을 구분하는 기준으로 실현 기준이 아닌 의도 기준을 지지한다. 이 논문은 그들의 주장을 비판하는 것이 목표이다. 나는 그들의 주장이 논증 재구성과 논증 분류[평가]를 헷갈리고 있으며, 의도 기준의 난점을 해명하면서 실현 기준을 들여오고 있다고 주장한다. 그들을 비롯한 대부분의 논리학자들은 논증을 연역, 귀납, 그리고 나쁜 논증으로 나눈다. 나는 연역과 귀납으로 나누어야 한다고 주장한다. 마지막으로 논리 교육에서는 연역과 귀납의 구분을 굳이 가르칠 필요가 없다고 주장한다.

• 상하수도학회지
• /
• 제35권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.