• 한국과학교육학회지
• /
• 제15권2호
• /
• pp.233-240
• /
• 1995

The purpose of the study is to certify the validity and effectiveness of the learning hierarchy and to define the effective teaching order in life continuity. To achieve this purpose, two experimental groups which were instructed varying the sequence of the instructional units. Teaching order based on the learning hierarchy was given to experimental group and descriptive order of current text was given to control group. The findings of the study are as follows: 1. Learning Hierarchy before learning had differ with order of the textbook, but hierarchy of both group has showed similar to the sequence of textbook, after learning. 2. The effect of learning hierarchy represented no significant different between control and experimental group.

• Journal of applied mathematics & informatics
• /
• 제42권3호
• /
• pp.709-723
• /
• 2024

We study the distributions of waiting times in variations of the geometric distribution of order k. Variation imposes length on the runs of successes and failures. We study two types of waiting time random variables. First, we consider the waiting time for a run of k consecutive successes the first time no sequence of consecutive k failures occurs prior, denoted by T^(k). Next, we consider the waiting time for a run of k consecutive failures the first time no sequence of k consecutive successes occurred prior, denoted by J^(k). In addition, we study the distribution of the weighted average. The exact formulae of the probability mass function, mean, and variance of distributions are also obtained.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권6호
• /
• pp.443-450
• /
• 2009

시스템 개발 초기 단계에 시스템의 기능적 요구사항이 제대로 반영되었는지를 검사하기 위해 시뮬레이션 기법을 이용한다. 일반적으로 시뮬레이션은 순차도에 나타난 추상적 시나리오를 바탕으로 상태머신을 직접 또는 랜덤으로 수행하는 행태로 진행된다. 시뮬레이션은 분석자가 직접 수행해야 하므로 많은 시간과 노력이 소요된다. 이 논문에서는 순차도 기반의 상태 머신의 시뮬레이션의 자동화 기법을 제공한다. 일반적으로 순차도와 상태머신의 추상화 레벨이 달라서 순차도에서 상세 시뮬레이션 트레이스를 추출하기가 쉽지 않다. 이 연구에서는 상태 머신을 LTS 모델로 변환하여 합성적 분석, 트랜지션 축약 등의 분석 방법을 적용하여 순차도와 동일한 추상화 레벨로 변환한 다음, 시나리오 포함여부를 검사한 후 해당 시나리오의 상세 시뮬레이션 트레이스를 생성한다. 이러한 시뮬레이션 트레이스는 순차도에 기술된 시나리오를 기반으로 시뮬레이션을 자동으로 수행할 뿐만 아니라, 특정 시스템 상태까지 자동 시뮬레이션할 수 있으므로 시뮬레이션을 효율적으로 진행할 수 있다.

• 한국제4기학회지
• /
• 제18권2호통권23호
• /
• pp.33-42
• /
• 2004

In South Korea a Pedo-sedimentary Sequence(PS) indicating the Last Glacial Maximun(LGM) is typified y a brown to dark brown, relatively stiff paleosol layers formed by repetitive freezing and thawing processes which in turn left characteristi glossic textures in soil-solum, polygolnal structures with a flagipans, vertical soil wedges or freezing cracks, and horizontal foliations, As a pre-LGM sedimentary sequences (older than 25Ka), the Old Fluvial Sequence(OFS) overlain by the Slope Sedimentary Sequence(SS) are distributed commonly at the base level higher than 14-15m above present river-bed along the major river basin. After the LGM (ca. 18Ka), the Young Fluvial Sequence(YFS) appears at an altitude ascending order of sedimentary profiles. In this fluvial organic muds of Jangheungri site(Jinju), Sorori site(Cheonwon), and Youngsan estruarine rivermouth(Mokpo) were exemplified in order to interpret their formation ages and environments. As result of $^{14}C$ datings, the formation ages of te organic muds are Boelling to Alleroed (MIS-1). These organic muds were fomed in fluvial backswamp or local pond/bog in response to shifting fluvial system. On the basis of palynological production dominant with Abies/Picea-Betula and Ranunculaceae, Compositae, Cyperaceae, and Graminae, it was interpreted that more boreal to subboreal condition was prevailed rather than temperate like today during the formation of organic muds and soil moisture condition was a repetition of wet and dry condition.

• 창의정보문화연구
• /
• 제5권2호
• /
• pp.105-116
• /
• 2019

본 연구에서는 보다 체계적이고 연계성 있는 소프트웨어(정보) 교육의 구현 및 정착을 위해 2015 개정 교육과정의 초·중등 소프트웨어 교육에서 제시하고 있는 내용체계 중, 내용 요소의 학교급별 계열성을 교육부 고시 제2017-126호에서 제시하고 있는 정보·컴퓨터 교사의 기본이수분야의 관점에서 분석하였으며, 전문가 검토를 통해 계열성 분석에 관한 타당도를 확보하여, 그 결과를 초·중등 교사가 현장에서의 교육과정 설계 및 수업 설계 과정에서 교육 내용에 관한 계열성을 고려하는데 참고할 수 있는 자료가 될 수 있도록 표로 구조화하여 제시하였다. 또한 각 계열성 분야의 교육내용에 관한 학교급별 위계성을 탐색하기 위하여 내용 요소와 연계된 성취기준의 핵심어인 학습요소를 분석하였으며, 이를 바탕으로 학교급별 소프트웨어 교육의 연계 방안을 제언하였다.

• Journal of Power Electronics
• /
• 제13권3호
• /
• pp.469-478
• /
• 2013

This paper proposes a novel scheme for the current controller for the grid-side converter (GSC) of permanent-magnet synchronous generator (PMSG) wind turbines to eliminate the high-order harmonics in the grid currents under grid voltage disturbances. The voltage unbalance and harmonics in three-phase systems cause grid current distortions. In order to mitigate the input current distortions, multi-loop current controllers are applied, where the positive-sequence component is regulated by proportional-integral (PI) controllers, and the negative-sequence and high-order harmonic components are regulated by proportional-resonance (PR) controllers. For extracting the positive/negative-sequence and harmonic components of the grid voltages and currents without a phase delay or magnitude reduction, composite observers are applied, which give faster and more precise estimation results. In addition, an active damping method using PR controllers to damp the grid current component of the resonant frequency is employed to improve the operating stability of VSCs with inductor-capacitor-inductor (LCL) filters. The validity of the proposed method is verified by simulation and experimental results.

• Steel and Composite Structures
• /
• 제29권6호
• /
• pp.749-758
• /
• 2018

This article derived a hybrid coupling technique using the higher-order displacement polynomial and three soft computing techniques (teaching learning-based optimization, particle swarm optimization, and artificial bee colony) to predict the optimal stacking sequence of the layered structure and the corresponding frequency values. The higher-order displacement kinematics is adopted for the mathematical model derivation considering the necessary stress and stain continuity and the elimination of shear correction factor. A nine noded isoparametric Lagrangian element (eighty-one degrees of freedom at each node) is engaged for the discretisation and the desired model equation derived via the classical Hamilton's principle. Subsequently, three soft computing techniques are employed to predict the maximum natural frequency values corresponding to their optimum layer sequences via a suitable home-made computer code. The finite element convergence rate including the optimal solution stability is established through the iterative solutions. Further, the predicted optimal stacking sequence including the accuracy of the frequency values are verified with adequate comparison studies. Lastly, the derived hybrid models are explored further to by solving different numerical examples for the combined structural parameters (length to width ratio, length to thickness ratio and orthotropicity on frequency and layer-sequence) and the implicit behavior discuss in details.

• 한국시뮬레이션학회논문지
• /
• 제25권3호
• /
• pp.133-146
• /
• 2016

단일 발사대에 탑재된 다수의 유도탄이 다수의 표적과 순차적으로 교전하는 상황에서 발사대는 유도탄이 해당 표적을 타격할 수 있도록 적절한 발사각을 설정하여 구동하게 된다. 이 때, 개별 표적에 대해 할당된 순서대로 교전을 수행하게 되면 전체 교전 시간이 길어지며, 이동하는 표적이 교전 가능 영역을 벗어나게 되어 부분적으로 교전에 실패할 가능성이 있다. 따라서 다양한 표적 배치 상황에서 최적 교전을 수행할 수 있는 발사각 시퀀스(Sequence)에 대한 연구가 필수적이다. 본 연구에서는 다수의 이동하는 표적이 있는 전장 시나리오에서 시뮬레이션을 통해 모든 발사각 시퀀스에 대한 결과를 계산하고, 이 중 전체 교전 시간을 최소화 하는 최적의 발사각 시퀀스를 추출하는 과정을 통해 표적 시나리오에 따른 시퀀스 결정 논리를 모델링하였다. 그리고 그 모델링 결과를 통해 나온 교전 시퀀스와 시뮬레이션을 통해 획득한 최적 혹은 준최적 발사각 시퀀스를 비교함으로써 본 연구에서 제안한 최적 발사각 시퀀스 결정 개념을 검증하였다.

• International Journal of Industrial Entomology and Biomaterials
• /
• 제23권1호
• /
• pp.155-166
• /
• 2011

The leaf beetle, $Chrysolina$ $aurichalcea$ (Coleoptera: Chysomelidae), is a pest damaging plants of Compositae. In order to understand the genetic diversity and geographic variation we sequenced a portion of mitochondrial COI gene (658 bp) and complete nuclear internal transcribed spacer 2 (ITS2) of the species collected from seven Korean localities. A total of 17 haplotypes (CACOI01~CACOI17), with the maximum sequence divergence of 3.04% (20 bp) were obtained from COI gene sequence, whereas 16 sequence types (ITS2CA01~ITS2CA16), with the maximum sequence divergence of 2.013% (9 bp) were obtained from ITS2, indicating substantially larger sequence divergence in COI gene sequence. Phylogenetically, the COI gene provided two haplotype groups with a high nodal support (${\geq}87%$), whereas ITS2 provided only one sequence type group with a high nodal support (${\geq}92%$). The result of COI gene sequence may suggest the presence of historical biogeographic barriers that bolstered genetic subdivision in the species. Different grouping pattern between COI gene and ITS2 sequences were interpreted in terms of recent dispersal, reflected in the ITS2 sequence. Finding of unique haplotypes and sequence types only from Beakryeng-Islet population was interpreted as an intact remnant of ancient polymorphism. As more samples are analyzed using further hyper-variable marker, further fruitful inference on the geographic contour of the species might be available.

• Genomics & Informatics
• /
• 제10권1호
• /
• pp.51-57
• /
• 2012

Mining interesting patterns from DNA sequences is one of the most challenging tasks in bioinformatics and computational biology. Maximal contiguous frequent patterns are preferable for expressing the function and structure of DNA sequences and hence can capture the common data characteristics among related sequences. Biologists are interested in finding frequent orderly arrangements of motifs that are responsible for similar expression of a group of genes. In order to reduce mining time and complexity, however, most existing sequence mining algorithms either focus on finding short DNA sequences or require explicit specification of sequence lengths in advance. The challenge is to find longer sequences without specifying sequence lengths in advance. In this paper, we propose an efficient approach to mining maximal contiguous frequent patterns from large DNA sequence datasets. The experimental results show that our proposed approach is memory-efficient and mines maximal contiguous frequent patterns within a reasonable time.