• 한국수학사학회지
• /
• 제17권4호
• /
• pp.27-36
• /
• 2004

이 논문에서는 튜링의 기계주의에 대한 괴델의 비평을 다룬다. 여기에서 튜링의 기계주의란 튜링기계의 기호배열이 인간의 마음의 각 상태에 대응된다는 것을 의미한다. 첫째 부분에서는 계산으로서의 인지과정에 대한 튜링의 분석을 검토한다. 두 번째 부분에서는 튜링기계의 개념을 살펴보고, 세 번째 부분에서는 인지적 체계로서의 튜링기계가 갖는 계산적 한계를 설명한다. 네 번째 부분에서는 괴델이 튜링의 기계주의에 동의하지 않았음을 보이고, 마지막으로 오라클 튜링기계과 그 함의에 대하여 논의한다.

• 한국과학교육학회지
• /
• 제22권5호
• /
• pp.957-969
• /
• 2002

Theoretical benefits and research findings on the use of Microcomputer-based Laboratory (MBL) are considered for using MBL in a way that will be of benefit to students and teachers, and discussed as a whole for further synthesis, including the formulation of a research agenda for future consensus-based action. Based on the findings obtained from a comprehensive review of the literature, using a systematic approach, the uses of MBL were compared and contrasted for advancing understanding of the teaching and learning processes in science and mathematics. A number of benefits were proposed by MBL developers but not investigated by educational researchers. A few research studies considered the following practical aspects raised by classroom science teachers: technical problems of MBL equipment; inaccuracy or incompleteness of presentation; efficient ways for handling class time with MBL instruction; and development of MBL curriculum materials for their own instruction. This lack of research related to the use of MBL in science classrooms resulted in educational research that was neither respected nor utilized by science teachers. Setting a research agenda based on the theoretical benefits and research findings is necessary for the effective use of MBL in science classrooms can help to maximize the prospects for successful school improvement projects while minimizing the innovation-related frustrations of individuals.

• Nuclear Engineering and Technology
• /
• 제33권1호
• /
• pp.83-92
• /
• 2001

The properties of off-gas generated from vitrification process of ion-exchange resin were characterized. Theoretical composition and flow rate of the off-gas were calculated based on chemical composition of resin and it＇s burning condition inside CCM. The calculated off-gas flow rate was 67.9Nm$^3$/h at the burning rate of 40kg/h. And the composition of off-gas was avaluated as $CO_2$(41.4%), steam(40.0%), $O_2$(13.3%), NO(3.6%), and SO$_2$(1.6%) in order. Then, actual flow rate and composition of off-gas were measured during pilot-scale demonstration tests and the results were compared with theoretical values. The actual flow rate of off-gas was about 1.6 times higher than theoretical one. The difference between theoretical and actual flow rates was caused by the in-leakage of air to the system, and the in-leakage rate was evaluated as 36.3Nm$^3$/h. Because of continuous change in the combustion parameters inside CCM, during demonstration tests, the concentration of toxic gases showed wide fluctuation. However, the concentration of CO, a barometer of incompleteness of combustion inside CCM, was stabilized soon. The result showed quasi-equilibrium state was achieved two hours after feeding of resin.

• 한국사회복지학
• /
• 제49권
• /
• pp.296-318
• /
• 2002

The purpose of this study is to empirically analyze whether or not, if a community social service center was affiliated with a governing body running other community social service centers, the center would have better organizational performance in comparing to an independently running center. Data was collected from a nationwide mailed and self-administered survey, which 237 centers out of 343 community social service centers responded. Even if, the response rate was 72%, 218 centers were finally analyzed due to the weakness of reliability and incompleteness. By the way, measurement of organizational performance as the dependent variable has been substituted of the results of nationwide organizational evaluation project as the secondary data. One of findings is that 68% of 218 responding centers appeared to be affiliated with a governing body which running more than three other centers, while 41% being affiliated with a body which running more than five other centers. However, a logistic regression analysis which using organizational performance as the dependent variable, has failed to verify the hypothesis that a center which affiliated with a governing body running other centers has better organizational performance when comparing to an independent center. The researcher assumes that a part of governing bodies has better performance and improves competitiveness while the other larger part of them pursues simple organizational growth. Thus, this situation made that the overall evaluation of being affiliated with a large governing body was not positive.

• ETRI Journal
• /
• 제40권1호
• /
• pp.111-121
• /
• 2018

To find the emerging patterns (EPs) in streaming transaction data, the streaming is first divided into some time windows containing a number of transactions. Itemsets are generated from transactions in each window, and then the emergence of itemsets is evaluated between two windows. In the tilted-time windows model (TTWM), it is assumed that people need support data with finer accuracy from the most recent windows, while accepting coarser accuracy from older windows. Therefore, a limited array's elements are used to maintain all support data in a way that condenses old windows by merging them inside one element. The capacity of elements that accommodates the windows inside is modeled using a particular number sequence. However, in a stream, as new data arrives, the current array updating mechanisms lead to many null elements in the array and cause data incompleteness and inaccuracy problems. Two models derived from TTWM, logarithmic TTWM and Fibonacci windows model, also inherit the same problems. This article proposes a novel push-front Fibonacci windows model as a solution, and experiments are conducted to demonstrate its superiority in finding more EPs compared to other models.

• 천문학회지
• /
• 제36권3호
• /
• pp.213-222
• /
• 2003

We review recent observational results on early type galaxies obtained with high spatial resolution Chandra data. With its unprecedented high spatial resolution, Chandra reveals many intriguing features in early type galaxies which were not identified with the previous X-ray missions. In particular, various fine structures of the hot ISM in early type galaxies are detected, for example, X-ray cavities which are spatially coincident with radio jets/lobes, indicating the interaction between the hot ISM and radio jets. Also point sources (mostly LMXBs) are individually resolved down to Lx = a few x $10^{37}\;erg\;sec^{-1}$ and it is for the first time possible to unequivocally investigate their properties and the X-ray luminosity function. After correcting for incompleteness, the XLF of LMXBs is well reproduced by a single power law with a slope of -1.0 - -1.5, which is in contrast to the previous report on the existence of the XLF break at Lx, Eddington = 2 x $10^{38}\;erg\;sec^{-1}$ (i.e., Eddington luminosity of a neutron star binary). Carefully considering both detected and undetected, hidden populations of point sources we further discuss the XLF of LMXBs and the metal abundance of the hot ISM and their impact on the properties of early type galaxies.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제6권12호
• /
• pp.3046-3060
• /
• 2012

Low power listening (LPL) MAC protocols based on duty-cycling mechanism have been studied extensively to achieve ultra low energy consumption in wireless sensor networks (WSNs). Especially, recent ACK-based LPL schemes such as X-MAC employ strobe preambles and an early ACK, and show fair performances in communications and energy efficiencies. However, the state-of-the-art ACK-based LPL scheme still suffers from collision problems due to the protocol incompleteness. These collision effects are not trivial and make WSNs unstable, aggravate energy consumptions. In this paper, we propose two novel schemes; (i) ${\tau}$-duration CCA to mitigate the collision problem in ACK-based LPL MAC protocols. (ii) Short Preamble Counter (SPC) to conserve more energy by reducing unnecessary overhearing. We demonstrate the performance improvement of our scheme via a mathematical analysis and real-time experiments. Both analysis and experimental results confirm that our proposed scheme saves energy by up to 36% compared to the naive ACK-based LPL MAC protocol thanks to ${\tau}$-duration CCA and SPC.

• 보건의료산업학회지
• /
• 제7권1호
• /
• pp.119-131
• /
• 2013

The purpose of this study is to analyze contents on media about the problems of long-term care facilities. For achieving this purpose, we reviewed 'KINDS(http://www.kinds.or.kr/)' from July, 2008 to May, 2012 which was an synthetic newspaper and TV news searching system. Among 320 articles, we finally analyzed 72 articles: 218 articles were duplicated and 30 articles did not directly related or were not objective. The results were divided with seven parts: 'long-term care facilities', 'employee' 'health care and accidents', 'providing and management of service', 'meals related problems', 'maltreatment of client', 'disorders & unfairness long-term care benefit. Among these seven parts, we could confirm specific and major problems, which were lack of safety management, incompleteness facilities & equipments, shortage of long-term care manpower, insufficient service providing low quality of service, hiding money from elderly's accounts, and providing some money to get national subsidies. For resolving these problems, the long-term service guidelines must be prepared and the related facilities must cooperate each other for providing high quality of service. In addition, the efficient systems must be made to find out long-term care problems and unfairness of service providing and strict management rules or sanctions must be needed.

• Steel and Composite Structures
• /
• 제36권1호
• /
• pp.31-45
• /
• 2020

The purpose of this study is to develop an effective iterative two-stage method (ITSM) for structural damage identification of offshore platform structures. In each iteration, a new damage index, Modal Energy-Based Damage Index (MEBI), is proposed to help effectively locate the potential damage elements in the first stage. Then, in the second stage, the beetle antenna search (BAS) algorithm is used to estimate the damage severity of these elements. Compared with the well-known particle swarm optimization (PSO) algorithm and genetic algorithm (GA), this algorithm has lower computational cost. A modal energy based objective function for the optimization process is proposed. Using numerical and experimental data, the efficiency and accuracy of the ITSM are studied. The effects of measurement noise and spatial incompleteness of mode shape are both considered. All the obtained results show that under these influences, the ITSM can accurately identify the true location and severity of damage. The results also show that the objective function based on modal energy is most suitable for the ITSM compared with that based on flexibility and weighted natural frequency-mode shape.

• 대한원격탐사학회지
• /
• 제22권1호
• /
• pp.75-85
• /
• 2006

This paper has dealt with a data fusion for the problem of land-cover classification using multisensor imagery. Dempster-Shafer evidence theory has been employed to combine the information extracted from the multiple data of same site. The Dempster-Shafer's approach has two important advantages for remote sensing application: one is that it enables to consider a compound class which consists of several land-cover types and the other is that the incompleteness of each sensor data due to cloud-cover can be modeled for the fusion process. The image classification based on the Dempster-Shafer theory usually assumes that each sensor is represented by a single channel. The evidential approach to image classification, which utilizes a mass function obtained under the assumption of class-independent beta distribution, has been discussed for the multiple sets of mutichannel data acquired from different sensors. The proposed method has applied to the KOMPSAT-1 EOC panchromatic imagery and LANDSAT ETM+ data, which were acquired over Yongin/Nuengpyung area of Korean peninsula. The experiment has shown that it is greatly effective on the applications in which it is hard to find homogeneous regions represented by a single land-cover type in training process.