• Magazine of the Korea Institute for Structural Maintenance and Inspection
• /
• 제17권1호
• /
• pp.48-59
• /
• 2013

응력파의 기반한 비파괴 검사법은 비교적 실험 절차 및 실험에 필요한 장비가 단순하고, 인체에 해가 없으며, 비용이 저렴한 특성을 갖고있다. 따라서 건축/토목 구조물의 비파괴 검사에 매우 효과적인 방법으로 알려져 있다. 하지만 기존의 가속도계, 변위계, 지오폰과 같은 부착 센서를 사용할 경우 표면 처리, 센서의 부착 및 이동에 따른 추가적인 시간이 소요되고, 센서와 구조물의 불완전한 커플링으로 인한 측정 결과의 신뢰성 및 일관성을 유지하지 어렵다는 문제를 발생시킨다. 최근 이러한 문제의 해결책으로 Air-coupled sensor (ACS)의 사용이 각광받고 있으며, 여러 연구자들에 의해 ACS의 가능성 및 실용성이 증명되고 있다. 기존의 접촉센서와 비교하여 ACS를 사용했을 때 얻을 수 있는 가장 큰 장점은 센서의 커플링 문제를 근본적으로 해결하여 신뢰도가 높고 일관적인 측정이 가능하고, 대형 건축/토목 구조물의 표면을 음향스캔하여 결과를 신속하게 처리하여 실시간으로 시각화 할 수 있다는 점이다. 이론적으로 ACS를 이용하여 측정하는 물리값은 콘크리트 내부에서 발생된 응력파의 일부가 공기중으로 전파된 누설파 (Leaky wave)이다. 콘크리트 비파괴 검사에 주로 사용하는 100 kHz이하의 저주파를 측정할 경우 일반적으로 콘텐서마이크가 ACS로 사용될 수 있다. 기존 연구자들은 실험 및 이론적 연구를 통하여 응력파에 기반한 비파괴 방법에서 ACS가 기존의 접촉 센서를 대체할 수 있다는 점을 보여주고 있다. 현재 미국에서는 연방 도로청 (FHWA) 및 국가표준기술연구소 (NIST)의 연구비 지원으로 ACS의 실용성을 높이기 위하여 최적화된 음향반사판의 설계를 통한 ACS 의 민감도를 높이기 위한 연구, 다채널 센서 배열 및 데이터 통합을 위한 새로운 알로리즘 개발, 자동화 및 로봇 기술과 융합과 같은 연구가 활발히 진행되고 있다. 멀지 않은 미래에는 ACS를 장착한 무인 로봇이 다양한 종류의 건축/토목 구조물의 건전도를 평가하기 위하여 종횡무진 활약하는 모습을 현실 속에서 볼 수 있을 것이라 기대한다.

• Journal of KIISE:Computer Systems and Theory
• /
• 제26권12호
• /
• pp.1485-1492
• /
• 1999

대규모 시스템 명세의 올바름을 검증하기 위한 유한 상태 LTS에 기반을 둔 CTL논리 적용에 있어 가장 큰 문제점은, 시스템 내부의 병렬 프로세스간의 상호작용으로 인한 상태폭발이다. 그러나 Modal mu-calculus 논리를 시스템 안전성 및 필연성 특성 명세에 사용하면, 행위에 의한 순환적 정의가 가능하므로 상태폭발 문제가 해결 가능하다. 본 논문에서는 LTS로 명세화된 통신 프로토콜 시스템 모델의 안전성 및 필연성 특성을 모형 검사 기법에 의해 검증함에 있어, 시제 논리로 사용된 Modal mu-calculus 안전성 및 필연성 논리식과 CTL 의 안전성 및 필연성 논리식의 극한값이 동일함을 두 논리식을 만족하는 상태 집합이 같다는 것을 보임으로써 증명한다. 증명된 결과는 I/O FSM 모델로 표현된 통신 프로토콜의 안전성 및 필연성 검사를 위해 이론적인 기반으로서, 컴퓨터를 이용한 모형검사 기법에 효과적인 방법으로 응용이 가능하다.Abstract In applying CTL-based model checking approach to correctness verification of large state transition system specifications, the major obstacle is the combinational explosion of the state space arising due to interaction of many loosely coupled parallel processes. If, however, the modal mu-calculus viewed as a CTL-based logic with recursion, is used to specify the safety and liveness property of a given system, it is possible to resolve this problem. In this paper, we discuss the problem of verifying communication protocol system specified in LTS, and prove that a logic expression specifying safety and liveness in modal mu-calculus is semantically identical to the maximum value of the expression in CTL. This relation is verified by the proof that the sets of states satisfying the two logic expressions are equivalent. The proof can be used as a theoretical basis for verifying safety and liveness of communication protocols represented as I/O FSM model.

• Korean Journal of Cognitive Science
• /
• 제13권4호
• /
• pp.9-21
• /
• 2002

Four experiments were conducted to examine whether maintaining the same conceptual context across study and test would affect performance on a perceptual implicit memory task. The sense-specific theory of priming (Lewandowsky et al., 1989) predicts greater priming from a match in conceptual context across study and test compared with a condition in which the conceptual context is mismatched, whereas the transfer-appropriate-processing view (e.g., Blaxton, 1989) predicts no difference. In experiment 1 and 2, little or no effect of varying context was observed on a implicit task. In experiment 3 and 4, a process-dissociation procedure (proposed by Jacoby, 1991) was used to separate automatic influences from consciously controlled influence in implicit memory, which was measured by Korean word completion task. The results showed that conceptual context effect was observed in consciously controlled parts of implicit memory. These results suggest that only consciously controlled processing parts of implicit memory is sensitive to conceptual context.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• 제19권7호
• /
• pp.325-336
• /
• 2018

The aim of this study was to provide fundamental information on the validity and credibility of the Korean geometric psychological assessment (GEOPIA) by investigating the degree of relation between the GEOPIA and the MBTI. Data was collected from 331 subjects aged 19 to 70, residing in Seoul, Gyeonggi Province, Jeolla Province, or Gyeongsang Province. Participants completed the GEOPIA and the MBTI during the period of May to September 2017. The study calculated Cronbach's ${\alpha}$ to verify the tests' validity and reliability through SPSS. For the relational analysis between the results of the tests, we conducted a one-way analysis of variance on the first group of the GEOPIA's personality types, and the Scheffe Test if significant relationship was found. The study found that the circle type was predisposed to ESFJ, the triangle type to ESTJ, the rectangle type to ISTJ, and S type to INFP. Higher scores of feeling (F) and perceiving (P) corresponded to circle and S types, thinking (T) and judging (J) for triangle and rectangle types, extroversion (E) for circle and triangle types, and introversion (I) for rectangle and S types. These confirmed the substantial relations between the GEOPIA and the MBTI.

• Journal of the Korean Society for Nondestructive Testing
• /
• 제24권5호
• /
• pp.465-475
• /
• 2004

This paper is the first part of the study on the development of a smart active layer (SAL) sensor, which consists of two parts. In this first part, the theory and concept of the SAL sensor is investigated, which is designed for the detection of elastic waves caused by internal cracks and damages in structures. For the development SAL sensor, (i) the basic theory of elastic waves was studied, (ii) the feasible study of the SAL as an elastic waves detection sensor using the finite element analysis (FEA) with respect to a piezoceramic disc was performed. (iii) the comparison of performances between some piezoceramic sensors and a commercial acoustic emission (AE) sensor was accomplished to ensure the applicability by the experimental means, such as a pencil lead break test. Also, the conceptional study for the SAL sensor, which can be utilized for the effective detection and locating of defects by the arrangement of regularly distributed sensors, was discussed.

• Journal of Elementary Mathematics Education in Korea
• /
• 제16권2호
• /
• pp.253-267
• /
• 2012

In this paper, we primarily focus on the perspectives about creative process, which is how mathematical creativity emerged, as one aspect of mathematical creativity and then present a desirable task characteristic to measure and program characteristics to develop mathematical creativity. At first, we describe domain-generality perspective and domain-specificity perspective on creativity. The former regard divergent thinking skill as a key cognitive process embedded in creativity of various discipline domain involving language, science, mathematics, art and so on. In contrast the researchers supporting later perspective insist that the mechanism of creativity is different in each discipline. We understand that the issue on this two perspective effect on task and program to foster and measure creativity in mathematics education beyond theoretical discussion. And then, based on previous theoretical review, we draw a desirable characteristic on instruction program and task to facilitate and test mathematical creativity, and present an applicable task and instruction cases based on Geneplor model at the mathematics class in elementary school. In conclusion, divergent thinking is necessary but sufficient to develop mathematical creativity and need to consider various mathematical reasoning such as generalization, ion and mathematical knowledge.

• Journal of the Korean Society for Nondestructive Testing
• /
• 제26권5호
• /
• pp.336-342
• /
• 2006

Uniaxial stress in ail axisymmetric body is the simplest example of ultrasonic stress measurement. However, the birefringence theory cannot be applied for axisymmetric solids because the axisymmetric stress field in the body does not make shy velocity difference in SH waves propagating in the axisymmetric direction. Conventional ultrasonic technique using the time-of-flight method also needs ultrasonic lengths of the unstressed and stressed body, which is very impractical. In this paper, the birefringence effect in axisymmetric solids under uniaxial stress is formulated to evaluate the axial stress inside the solid without measuring tile ultrasonic length. Theoretical derivation for the birefringence characteristics in the axisymmetric solids is made using the longitudinal and shear waves instead of two horizontally polarized shear waves. Tension test is conducted for carbon-steel specimen to measure the birefringence coefficient and investigate the validity of the theory. It is observed from experimental results that the velocity difference in two differently polarized acoustic waves is proportional to the uniaxial stress in the axisymmetric solid with a good agreement with the theoretical value.

• School Mathematics
• /
• 제19권4호
• /
• pp.775-793
• /
• 2017

In this study, instruments were developed to measure of mathematics attitudes by conceptualization of epistemological beliefs as a cognitive dimension, mindfulness as a conative dimension, affect as an affective dimension. Perry's epistemological development scheme and Langer's mindfulness theory was noticed as a theoretical approach. Exploratory factor and confirmatory factor analyses, and a reliability test were assessed. This article suggest a new framework for analysing attitudes toward mathematics and changes in attitudes toward mathematics.

• Journal of Aerospace System Engineering
• /
• 제15권1호
• /
• pp.63-71
• /
• 2021

The South Korean Navy has operated Harpoon guided missiles through step-by-step acquisition after adopting them for the first time in 1978. As Harpoon guided missiles have been operated for a long time, it is necessary to make an active follow-up logistics support to guarantee their performance. Inspection of guided missiles is a basic activity to check the status of missiles. This study was conducted to check if the existing inspection interval of Harpoon guided missiles that have been operated for a long time was appropriate. Regarding research methods, based on the Navy's field operation materials, this study analyzed and presented inspection interval by section according to the period of operation, utilizing the Martinez's theory and a non-parametric MCF technique.

• Journal of Gifted/Talented Education
• /
• 제19권3호
• /
• pp.565-583
• /
• 2009

We studied what kind of science-contents problems can also give information on one's creativity for use in the selection of scientifically gifted. 383 7th and 8th graders as subjects, we first analyzed the corelation between the results of creative thinking, scientific attitude, science inquiry, logical thinking and the scientific creativity problem solving skill test. The corelation analysis indicated that science inquiry test could represent other tests except TTCT. We then tested 532 6th graders with TTCT and science inquiry tests concomitantly with the contents- related problems made in such types as naming 20 scientists, writing about a scientist, imagination to overcome a problem, understanding of theory and application and understanding of science laws and application. The results indicated that writing and imagination were most efficient in assessing both the contents and the creativity.