• Title/Summary/Keyword: 수행되지 않은 과학

Search Result 590, Processing Time 0.037 seconds

Exploration on the Features and Possibility of Self-Study in Science Education Research: Based on the Theoretical Background and Previous Researches (과학교육 연구에서 셀프스터디의 특징과 가능성 탐색 -이론적 배경과 기존 연구에 대한 고찰을 중심으로-)

  • Jo, Kwanghee;Kim, Heekyong;Choi, Jaehyeok;Joung, Yong Jae
    • Journal of The Korean Association For Science Education
    • /
    • v.36 no.3
    • /
    • pp.457-470
    • /
    • 2016
  • We investigated the conceptual and methodological characteristics of self-study as an innovational way with reflective research methods and explored the possibility of application of self-study in the field of science education by reviewing previous researches done in foreign countries. The results show that Self-study in education means the study of self, self-practice, self-thought, and so on in the teaching and learning context. It is a kind of new research method to pursue the improvement of teaching and learning practice with integrated perspectives on the context of instruction, identities of members, their beliefs and values, innovation agenda for better education, etc. This can be attained by collective and critical reflection in doing research. Most previous articles on the methodology of self-study suggested that the self-study should be more than just daily journals written only by her/him self. To do self-study in the academic way, they requested interaction with critical and cooperative colleagues, multiple but strict qualitative research methods, and participants' efforts for making better practice in instruction. Similar features to the above are found in the previous 14 self-study papers related to science education done in foreign countries. Based on the results, we concluded that self-study could be applied usefully into the field of science education in Korea. This paper could contribute to stimulation in the innovation of science instruction in a more practical way by increasing the attention to self-study and provoking its practice in Korea.

Progressive Residual Motion Estimation for Constructing Seamless Mosaics (이음매없는 모자이크 구성을 위한 단계적 잔여 움직임 추정)

  • Lee Cheong Woo;Choi Jae Gark;Lee Si-Woong
    • Journal of KIISE:Software and Applications
    • /
    • v.32 no.6
    • /
    • pp.512-522
    • /
    • 2005
  • In this paper an algorithm of image alignments for constructing seamless mosaics is proposed. After the global alignment has been run, there may still be localized mis-registrations present in the mosaic. Due to mis-registrations, there may be seams in the mosaic, such as breaking, blurring, and doubling of lines. To solve this problem, we need an algorithm of residual motion estimation, which minimizes mis-registrations. In the conventional algorithms of residual motion estimation, computational powers are too heavy and estimators of camera parameters are additionally needed such as focal lengths. In the proposed algorithm, residual motion vectors are estimated with the adequate size of estimation and measurement windows and with adjustment of initial vectors according to the established priority. By construction of mosaics with the proposed algorithm, we demonstrate the removal of seams by mis-registrations.

Algorithm for the Incremental Augmenting Matching of Min-Distance Max-Quantity in Random Type Quadratic Assignment Problem (랜덤형 2차원 할당문제의 최소 거리-최대 물동량 점진적 증대 매칭 알고리즘)

  • Lee, Sang-Un
    • The Journal of the Institute of Internet, Broadcasting and Communication
    • /
    • v.22 no.3
    • /
    • pp.177-183
    • /
    • 2022
  • There is no known polynomial time algorithm for QAP that is a NP-complete problem. This paper suggests O(n2) polynomial time algorithm for random type quadratic assignment problem (QAP). The proposed algorithm suggests incremental augmenting matching strategy that is to set the matching set M={(li,fj)} from li with minimum sum of distance in location matrix L and fj with maximum sum of quantity in facility matrix F, and incremental augmenting of matching set M from M to li with minimum sum of distance and to fj with maximum sum of quantity. Finally, this algorithm performs swap strategy that is to reflect the complex correlations of distances in locations and quantities in facilities. For the experimental data, this algorithm, in spite of O(n2) polynomial time algorithm, can be improve the solution than genetic algorithm a kind of metaheuristic method.

Analysis of Inundation Area in Namgang According to Flood Return Period Using HEC-geoRAS (HEC-geoRAS를 이용한 빈도 별 홍수에 따른 남강 침수면적 분석)

  • Lee, Sun Mi;Kim, Jin Hyuck;Park, Inhwan
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2022.05a
    • /
    • pp.239-239
    • /
    • 2022
  • 기후변화로 인한 홍수패턴 변화로 인해 침수피해 발생 빈도가 증가하고 있다. 특히 2020년에는 기록적인 장기간 폭우로 인해 댐 하류 지역의 수몰피해가 발생한 바 있다. 예상을 벗어난 이상 홍수 발생 시 댐 방류로 인한 하류 지역 피해예측 및 주민 안전을 위해 침수범위를 예측하고 대응하는 것이 필요하다. 남강댐은 인공방수로 운영을 통해 홍수량을 가화천과 분담하는 운영방식을 이용하고 있으나 댐 직하류에는 진주시가 위치하여 홍수방류에 따른 지역 침수구간을 예측하는 것이 중요하다. 따라서 본 연구에서는 재현기간 별 남강댐 홍수 방류량에 대해 남강댐하류~낙동강 합류부 구간의 홍수위 변화 분석 및 침수면적 계산을 수행했다. HEC-RAS를 이용한 남강 본류 수리해석을 위해 2013년 하천기본계획 단면을 이용하였으며, HEC-geoRAS를 이용한 침수면적 계산을 위해 2020년 수치지형도를 이용했다. HEC-RAS 모의를 위한 상류 경계조건은 남강댐 홍수 방류량을 적용하였으며, 하류 경계조건은 빈도 별 홍수위를 적용한 정상상태 모의를 수행했다. 빈도 별 남강댐 홍수 방류량은 남강댐 상류로 유입되는 빈도 별 홍수량에서 남강댐 저류 가능 홍수량을 제외한 유량을 방류하는 시나리오를 가정하여 결정했다. 50년, 80년, 100년, 200년 빈도 홍수량에 대한 홍수위 모의 결과, 우안 지역은 제방고를 초과하는 홍수위가 발생하지 않은 반면 좌안에서는 농경지를 중심으로 하천범람이 발생했다. 특히 80년 빈도 이상 홍수량에 대해 범람지점이 50년 빈도 홍수량에 비해 2배 이상 증가했다. 또한 침수면적을 계산한 결과, 만곡부와 지류 합류부 주변에서 주로 침수가 발생함을 확인할 수 있었다. 빈도 별 침수면적을 비교해보면 50년 빈도의 침수면적을 기준으로 80년, 100년, 200년 빈도에서 각각 9.4%, 18.7%, 53.1% 증가한 침수면적을 나타냈다.

  • PDF

On-the-fly Detection of the First Races for Reducing Bottlenecks by Summary Report Method (요약보고 방법에 의해 병목현상을 개선한 최초경합의 수행중 탐지기법)

  • Kim, Jeong-Si;Jeon, Yong-Gi
    • Journal of KIISE:Computer Systems and Theory
    • /
    • v.26 no.9
    • /
    • pp.1042-1054
    • /
    • 1999
  • 공유메모리 병렬프로그램의 오류수정에서 경합의 탐지는 중요하다. 왜냐하면 경합은 잘못된 수행 결과를 초래할 뿐만 아니라, 의도하지 않은 프로그램의 비결정적인 수행을 유발하여 오류수정을 어렵게 하기 때문이다. 특히 최초경합의 탐지는 더욱 중요하다. 그 이유는 최초경합을 제거함으로써 나머지 경합들을 방지할 수도 있기 때문이다. 기존의 수행중 경합 탐지기법들은 접근별 보고방식을 기반으로 하는데, 이 기법들은 임의 공유변수에 대한 병행 쓰레드들의 모든 접근사건들을 검사하기 위해서 접근역사라는 유일한 공유정보를 이용하므로 탐지과정에 심각한 병목현상을 유발시킨다. 그러나, 최초경합 탐지를 위한 경우 이러한 병목현상은 크게 개선될 수 있다. 본 논문에서는, 각 접근사건 검사를 위해 각 쓰레드에 공유되지 않는 독립적인 접근역사를 별개로 두고, 경합을 보고하는 시점인 쓰레드 합류시점에서만 공유되는 접근역사를 이용하도록 함으로써 병목현상을 개선하여 최초경합을 탐지할 수 있는 새로운 수행중 탐지기법을 제안한다. 그러므로 본 기법은 최초경합을 보다 효율적으로 탐지할 수 있기 때문에 수행중 경합 탐지를 더욱 효율적이고 실용적으로 할 수 있다. Abstract Detecting races is important for debugging shared-memory parallel programs, because the races lead to unintended nondeterministic executions of the programs as well as erroneous result and then make debugging programs difficult. Especially, detecting the first races is more important. The reason is that the removal of the first races can make other races disappear. Most existing on-the-fly techniques to detect the races are based on per- access reporting method incurring the serious central bottleneck, because the techniques use unique shared information called access history for checking all accesses of concurrent threads to a shared variable. Such bottleneck, however, can be improved considerably in case of detecting first races. This paper presents a new on-the-fly technique which detects the first races with reduced bottleneck through checking each accesses with private access histories and finally reporting races with shared access histories. Therefore, this technique makes on-the-fly race detection more efficient and practical.

Meaning Analysis (의미 분석)

  • 이건원
    • Proceedings of the Korean Society for Cognitive Science Conference
    • /
    • 2000.06a
    • /
    • pp.419-423
    • /
    • 2000
  • 성공적인 의사소통의 경우에 성(性)이, 이(理)와 명(命)으로 나타난 것이 같다. 진리(aletheia)가, 언어(logos)와 운명(moira)으로 나타난 것들이 일치하는 것이 성공적인 언화행위가 된다. 측정대상(melos)과 본체(ousia)가 구분되는 것은 언어와 운명의 괴리가 있을 수 있기 때문이다. 체계적인 언어처리의 지식기반을 측정대상에 한정한다. (1) 철학의 시작은 더 옳은 언어표현의 정의(definition)로 이전의 잘못 사용된 언어처리를 대체시키는 것으로 소크라테스는 보았다. [R. Crossman] (2)잘못을 지적하는 등에(Tabanidae)의 역할과 옳은 지식의 상기를 돕는 산파법(maieutics)이 소크라테스의 의미분석의 방법이다. [R. Crossman] (3) 언어를 통하여 진리를 추구한다는 입장(via language)에서 한 언어표현이 그 진리의 운명으로 나타남과 어긋날 때, 운명을 택하는 것은 조화 보다 더 안정의 우위를 인정하는 논리적인 입장으로 합리성 보다 실용(pragma)의 우위를 인정하는 것이다. [W. Quine] (4) 공동체의 공통규범의 추구는 그 언어 속의 공통의 형식 또는 법칙의 추구에 기초하는 것이 자연스럽다. 여기에서 그 언어사용은 그 기저의 법칙(underlying rule)에 개입한다는 입장에 기초한다. [J. Searle] (5) 진리의 언어표현과 운명적인 사태들 사이의 괴리를 처리하기 위하여 체계적인 언어표현의 대상(The Young Tableaux)과 실제(The continuum)의 구분을 수용한다. [AMS(2000)]언어표현의 대상은 나타난 것(顯)이고 실제에는 나타나지 않은 것도 있다. [伊川, 明道] (6) 이 나타난 것과 나타나지 않은 것에 간격이 없다는 것(顯微無間)은 그 의사소통이 성공적인 것이라는 것을 말한다. 따라서 그 언어의 표현완전성(functional completeness)은 언화행위가 성공적이라는 것이다. [J. Searle] (7) 수로 쓰인 것(象數)과 시로 쓰인 것(義理)이 하나인 것은 그 나타난 것과 나타나지 않은 것들 사이에 어떠한 틈도 없음을 말한다. [成中英] (8) 공통의 규범의 공통성 속에 규범적인 측면이 벌써 있다. 공통성에서 개인적이 아닌 공적인 규범으로의 전이는 규범, 가치, 규칙, 과정, 제도로의 전이라고 본다. [C. Morrison] (9) 우리의 언어사용에 신비적인 요소를 부인할 수가 없다. 넓은 의미의 발화의미(utterance meaning) 속에 신비적인 요소나 애정표시도 수용된다. 의미분석은 지금 한글을 연구하고, 그 결과에 의존하여서 우리의 실제의 생활에 사용하는 $\boxDr$한국어사전$\boxUl$등을 만드는 과정에서, 어떤 의미에서 실험되었다고 말할 수가 있는 언어과학의 연구의 결과에 의존하여서 수행되는 철학적인 작업이다. 여기에서는 하나의 철학적인 연구의 시작으로 받아들여지는 이 의미분석의 문제를 반성하여 본다.

  • PDF

Antiproliferative Effect of Bacillus subtilis Fermented Soy Milk in AGS Human Gastric Adenocarcinoma Cells (Bacillus subtilis 발효두유의 AGS 인체 위암세포 증식억제 효과)

  • Seo, Hae-Ree;Kim, Ji-Young;Bae, Geun-Ho;Park, Kun-Young
    • Journal of the Korean Society of Food Science and Nutrition
    • /
    • v.38 no.5
    • /
    • pp.644-648
    • /
    • 2009
  • Antiproliferative effects of soy milk fermented with Bacillus subtilis from chungkukjang was studied in AGS human gastric adenocarcinoma cells. The fermented soy milk by B. subtilis (B. subtilis-F-SM) exhibited 82% growth inhibitory effect at 2 mg/mL concentration, while non-fermented soy milk (Non-F-SM) showed 68%. B. subtilis-F-SM treated AGS cells induced more apoptotic bodies than the Non-F-SM treated cells. In mRNA expressions, B. subtilis-F-SM showed decreased expression of anti-apoptotic bcl-2 and increased expression of pro-apoptotic bax. The expressions of tumor suppressor genes of p53 and p21 were also increased. These results suggest that fermented soy milk by B. subtilis exhibited higher antiproliferative activities compared with non-fermented soy milk.

Study on Improvement of Survey on Employment Status at the Vocational High School (특성화고·마이스터고 취업실태조사 개선방안 연구)

  • Lee, Chan;Jeon, Yeung-uk;Park, Yoon-hee;Kim, Seon-geun;Jeon, Hye-rin;Jung, Ha-nul
    • Journal of Agricultural Education and Human Resource Development
    • /
    • v.49 no.4
    • /
    • pp.43-65
    • /
    • 2017
  • The purpose of this study is to identify the Issues of the survey on employment status at the vocational high school. For this, 19 chief teachers of employment department were interviewed with the validity of the concept of employment, the appropriateness of the survey period, the effectiveness of the survey method, and the usefulness of the survey output. The main results of research were as follows. First, in the survey of current employment situation, employment is a low standard to be recognized as an ordinary standard, and the employment counts not linked to DB are likely to be inaccurate. Second, regarding the period of employment, the current February survey is difficult to distinguish between field study and employment, and there is a limit to the study of full employment. Third, the present method has limitations on reliability and work efficiency in the survey method. Fourth, current output is not useful for school use in relation to survey output.

A Study on Uncovered Interest Rate Parity : Revisited (커버되지 않은 이자율평가에 대한 실증연구)

  • Lee, Jai Ki
    • International Area Studies Review
    • /
    • v.13 no.1
    • /
    • pp.3-16
    • /
    • 2009
  • This paper investigates the existence of uncovered interest rate parity between the Korea-USA as well as the Korea-Japan. We may ascertain the existence of uncovered interest rate parity by examining the empirical relationship between real exchange rates and interest rate differentials in the Korea-USA as well as in the Korea-Japan. The empirical relationship between real exchange rates and interest rate differentials in the Korean-USA and Korean-Japanese economies is investigated using cointegration tests. In the context of this study, cointegration technique is appropriate to examine the relationship between two(or more) nonstationary time series. Also, this method is useful to detect the possibility that the nonstationarity in both series can be explained by a single factor. The empirical results support the nonexistence of a long run equilibrium relation between real exchange rates and interest rate differentials. Also, the results show that the nonstationarity cannot be explained by a single factor.

Analyzing Access Histories for Detecting First Races in Shared-memory Programs (공유메모리 프로그램의 최초경합 탐지를 위한 접근역사 분석)

  • 강문혜;김영주;전용기
    • Journal of KIISE:Computer Systems and Theory
    • /
    • v.31 no.1_2
    • /
    • pp.41-50
    • /
    • 2004
  • Detecting races is important for debugging shared-memory Parallel programs, because races result in unintended nondeterministic executions of the programs. Particularly, the first races to occur in an execution of a program must be detected because they can potentially affect other races that occur later. Previous on-the-fly techniques that detect such first races based on candidate events that are likely to participate in the first races monitor access events in order to collect the candidate events during a program execution, and try to report the races only from determining the concurrency relationships of the candidates. Such races reported in this way. however, are not guaranteed to be first races, because they are not determined by taking into account how they are affected with each other. This paper presents a new post-mortem technique that analyzes, on each nesting level, candidate events collected from an execution of a shared-memory program with nested parallelism in order to report only first races. This technique is efficient, because it guarantees that first races reported by analyzing a nesting level are the races that occur first at the level, and does not require more analyses to the higher nesting levels than the current level. The Proposed technique facilitates more practical and effective debugging than the previous techniques, because it guarantees to detect first races if candidate events are collected from an execution instance of the program with nested parallelism.