• 한국수학사학회지
• /
• 제13권1호
• /
• pp.137-141
• /
• 2000

This paper discusses Godel's Disjunctive Conclusion in terms of cognitive science and his Incompleteness Theorems from a metamathematical perspective.

• 한국문헌정보학회지
• /
• 제22권
• /
• pp.331-360
• /
• 1992

This research presents author co-citation analysis of the subject area in the humanities - Korean history. Three approaches to multivariate analyses were used to display the inter-author relationships in the similarity matrix. Data on co-citation of sixty seven authors for the period of 1980­1989 were extracted from the database constructed by author. The author's name, here refers to a body of writings by a person, is the unit of analysis. The data were subjected to non-metric multidimensional scaling program create two-dimensional map of authors. Authors with similarity are clustered using hierarchical agglomerative procedure and it is found that five clusters in Korean history represent primarily research specializations. Author map of Korean history reveals the first dimension corresponding to subject orientation of authors and the second dimension corresponds to research method or research style. In factor analysis, each factor reflects research specialty made up of authors, and factor locadings demonstrate the breadth or concentration of sixty seven authors' scholarly contributions on Korean history. It is demonstrated that the· specific methodology employed by this research, author co-citation analysis, is useful to represent the intellectual structure of Korean history.

• Structural Engineering and Mechanics
• /
• 제44권3호
• /
• pp.379-403
• /
• 2012

In recent years, the need for optimal design of structures under time-history loading aroused great attention in researchers. The main problem in this field is the extremely high computational demand of time-history analyses, which may convert the solution algorithm to an illogical one. In this paper, a new framework is developed to solve the size optimization problem of steel truss structures subjected to ground motions. In order to solve this problem, the covariance matrix adaptation evolution strategy algorithm is employed for the optimization procedure, while a generalized regression neural network is utilized as a meta-model for fitness approximation. Moreover, the computational cost of time-history analysis is decreased through a wavelet analysis. Capability and efficiency of the proposed framework is investigated via two design examples, comprising of a tower truss and a footbridge truss.

• Journal of Mechanical Science and Technology
• /
• 제17권2호
• /
• pp.197-206
• /
• 2003

It is intended to retrieve the time history of displacement from measured acceleration signal. In this study, the word retrieving means reconstructing the time history of original displacement signal from already measured acceleration signal not just extracting various information using relevant signal processing techniques. Unlike extracting required information from the signal, there are not many options to apply to retrieve the time history of displacement signal, once the acceleration signal is measured and recorded with given sampling rate. There are two methods, in general, to convert measured acceleration signal into displacement signal. One is directly integrating the acceleration signal in time domain. The other is dividing the Fourier transformed acceleration signal by the scale factor of - $\omega$$^2$and taking the inverse Fourier transform of it. It turned out both the methods produced a significant amount of errors depending on the sampling resolution in time and frequency domain when digitizing the acceleration signals. A simple and effective way to convert the time history of acceleration signal into the time history of displacement signal without significant errors is studied here with the analysis on the errors involved in the conversion process.

• 한국문헌정보학회지
• /
• 제50권2호
• /
• pp.5-23
• /
• 2016

본 연구의 목적은 중학교 "역사" 교과서에 포함된 공통 탐구 과제를 분석하고, 사서교사의 교육정보서비스에 주는 시사점을 알아보는 것이다. 16종의 중학교 "역사" 교과서에 포함된 세계사 영역의 탐구 과제를 조사한 결과 84개의 공통 탐구 과제가 발견되었다. 이를 탐구 절차에 해당하는 정보활용과정을 기준으로 분석한 결과, 대부분의 탐구 과제는 학생들이 개별적으로 교과서에 수록된 사진 자료와 도서(읽기) 자료를 조사한 후에 그 결과를 말하기 형태로 표현하도록 구성되어 있는 것으로 나타났다. 이러한 특징을 중학교 "도서관과 정보생활" 교육과정에서 지도하는 정보활용과정과 비교하면, 1단계(정보과제 정하기와 정보 요구 파악하기)와 3단계(정보 종합과 표현)의 정보 표현하기를 충족하는 것이다. 따라서 사서교사가 역사 교사의 수업 부담을 줄여주고, 역사 수업에서 학생들의 탐구 활동을 촉진하는데 기여하기 위해서는 정보 해석과 분석하기, 정보 종합 및 조직하기 그리고 정보 활동 평가하기에 대한 교육정보서비스를 제공할 수 있다.

• 대한지구과학교육학회지
• /
• 제7권1호
• /
• pp.75-90
• /
• 2014

The purpose of this study was to explore the characteristics of STEAM program developed and implemented by two docents and its educational impact for the use of natural history museum. Two docents developed this program with the help of science educators who ran five times of workshop during five months. The STEAM program implemented in the natural history museum demonstrated the following characteristics. The exhibitions in museum were reached by visitors only for learning science concepts (S) out of five components in STEAM. The other components, T (technology) and E (engineering), were delivered through lectures in the room, not exhibition hall. M (Mathematics)was achieved by guessing the animal's size, or calculating the walking or running speed with the clue of foot prints. The three phases of STEAM program (presentation of context, creatively design the investigation, and emotional touch) were explicitly implemented but partially successful. Two docents participating in this study responded that they formed new or extended the understandings about STEAM education, but they had the difficulties in implementing STEAM program for various type of visitors. All visitors who participated in this study displayed the favorable responses in educational impact by STEAM program in natural history museum. The heavier emphasis on E and T of STEAM program is recommended through community-based learning. In addition, educator professional program through which docents can bridge theory into practice is suggested for revitalization of STEAM education.

• 한국초등과학교육학회지:초등과학교육
• /
• 제24권2호
• /
• pp.145-159
• /
• 2005

Students' alternative concepts of evolution are similar to misconcepts and disputes which scientists had in science history. The aims of this study are to analyze the elementary children's concept in evolution based on science history. Lee (2004)'s two tests were applied to 6th grade to investigate the children's evolution concepts and genetic concepts related to the historical development of the evolution concepts. The test results were analyzed in accordance with 4 stages of science history based on Lee (2004)'s method. These stages are divided to stage 1 (Before Lamarck), stage 2 (Lamarck), stage 3 (Darwin), stage 4 (After Darwin). The major results are as follows. Most of elementary school children are fixed to the stage 2. They usually do not show the consistency of evolution concepts in the three dimensional aspects such as mechanism, time, and subjects. Many children do not have concrete meaning of gene, inheritance, sexual reproduction, mutation and could not connect these concetps and process of evolution. Also, they believe the inheritance of acquired traits and spontaneous generation. Therefore it is confirmed that they still have similar misconcepts and disputes which scientists had in transition time between stage 2 and 3 and most of children already have strong Lamarckian thought acquired from daily life experience before learning about natural selection and evolution.

• 한국도서관정보학회지
• /
• 제44권3호
• /
• pp.29-49
• /
• 2013

KDC 제5판의 역사보조학 중 고고학, 고문서학, 기록학, 계보학, 전기(傳記) 분야는 분류체계상의 문제점이 발견되어 개선할 필요가 있다. 이에 이 연구에서는 첫째, LCC, DDC, KDC, NDC, UDC, CLC를 대상으로 역사보조학 분야를 비교 분석하여 KDC의 개선을 위한 착안점을 파악하고, 둘째, 도서관현장에서의 KDC를 사용한 분류실태를 조사하여 적용상의 문제점을 도출하며, 셋째, 파악된 착안점을 참작하여 KDC의 개선방안을 제시하였다.

• 한국문화재보존과학회:학술대회논문집
• /
• 한국문화재보존과학회 2007년도 제26회 추계학술대회
• /
• pp.61-64
• /
• 2007

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제12권2호
• /
• pp.662-675
• /
• 2018

Compression history detection plays an important role in digital multimedia forensics. Most existing works, however, mainly focus on digital image and video. Additionally, the existed audio compression detection algorithms aim to detect the trace of double compression. In real forgery scenario, multiple compression is more likely to happen. In this paper, we proposed a detection algorithm to reveal the compression history for MP3 audio. The statistics of the scale factor and Huffman table index which are the parameters of MP3 codec have been extracted as the detecting features. The experimental results have shown that the proposed method can effectively identify whether the testing audio has been previously treated with single/double/triple compression.