• Journal of The Korean Association For Science Education
• /
• v.25 no.5
• /
• pp.610-623
• /
• 2005

This was a theoretical study of which the goal was to provide a foundation for developing and implementing earth science inquiry activities based on abduction as a scientific inquiry method. Through a review of relevant literature, the study examined the nature of earth science in terms of the goals of earth science inquiry and the characteristics of what is investigated in earth science. It also explored the forms and meanings of abduction, thinking strategies used in the abductive inference, and the abductive inquiry model. Abduction is the process of inferring certain rules (e.g., scientific facts, principles, laws) and providing explanatory statements or hypotheses in order to explain some phenomena. This method was found to be well-suited to the earth science inquiry which studies the causes and processes of natural phenomena in the earth and space environment. Abduction has the nature of ampliative, selective, evaluative, and creative inference, and several thinking strategies, including reconstruction of data, heuristic generalization, analogy, existential, conceptual combination, and elimination strategies, are employed for inferring rules and suggesting hypotheses. This study found the abductive inquiry model to be adaptable to earth science classrooms, and it is therefore suggested that earth science instructions should be based on the abductive method and that research work concerning the abductive inquiry in the classroom should follow.

• Journal of Elementary Mathematics Education in Korea
• /
• v.18 no.1
• /
• pp.149-168
• /
• 2014

Growing in its size, the contents of the teaching-learning programs for mathematically gifted children from A program in Seoul Metropolitan Office of Education were examined in terms of the individual subjects provided through the courses of gifted education programs, and it was evaluated based on the revised version of the existing module. As a result, the educational objectives of teaching-learning program were clear, differentiated and obtainable. Among the program, the advanced parts were more than the selective parts, which mainly consisted of numbers and calculation, shapes, regularity and problem solving parts and had latest contents of research in balance. Additionally, every part of the program needs mathematical and creative thinking and approach and has proper evaluation index for problem solving. The presented materials in the programs are specific and appropriate, though some of them did not suggest the evaluation index for cultivating personality and value clearly and the reference books. The teaching-learning programs were focusing on problem-based learning and cooperative learning and using performance assessment for evaluation.

• Journal of Internet Computing and Services
• /
• v.22 no.6
• /
• pp.71-81
• /
• 2021

This paper examines the ongoing research on ways to improve cybersecurity during the entire life cycle of weapons systems applied in advanced countries such as the United States, analyzes restrictions on obtaining domestic weapons systems, and presents effective security evaluation measures. By consistently performing mission-based risk assessment in the cybersecurity test and evaluation plan suitable for domestic circumstances at all stages of acquisition, important information is provided to major decision-making organizations in a timely manner to support decision-making, and to respond to identified vulnerabilities in cybersecurity. It is proposed to set the rules of engagement so that the protection measures can be verified, and a simulated invasion is proposed. In addition, the proposed cybersecurity test and evaluation system was compared with the domestic weapon system test and evaluation. Through this, the mission-based risk assessment element was grafted into the cybersecurity test and evaluation system research conducted so far to identify risks in a timely manner between acquisition projects, thereby supplementing the capability to support major decision-making.

• Journal of Korean Society for Geospatial Information Science
• /
• v.4 no.2 s.8
• /
• pp.123-136
• /
• 1996

Lately, the demand for data standardization become increased to obtain various data jointly along with development of information technology and diversity of society. Thus the research on tile definition and evaluation of data quality indicating accuracy and confidence of geospatial data, is required for this standardization. In this study, by virtue of comparison of definitions and evaluation methods of data quality element being selected from representative countries, the following results were obtained: (1) Application of ISO/TC211's Draft having accepted evaluation standard to KSDTS(Korea Spatial Data Transfer Standard) is desirable for definitions of data quality elements. (2) This study presented the quality evaluation of much more resonable geospatial data accompaning with quality element. Furthermore, this study suggests that this evaluation be applicable to KSDTS and be contained in the digital map product specification of National Geography Institute with more clearness of a report form of data quality evaluation result. (3) Studies on various sampling methods, establishment of AQL(Acceptable Quality Level) suitable for our country, and computer programming which can rapidly and automatically evaluate mass much of data are required.

• Journal of Navigation and Port Research
• /
• v.29 no.6 s.102
• /
• pp.573-581
• /
• 2005

The outbound containers in a container terminal are classified into a few groups by their weights and stacked separately in a yard for easy and efficient handling. In order to maintain the balance of a ship during loading, containers of heavier weight groups should be fetched out of a yard and loaded onto the ship before those of lighter weight groups. However, the weight information used to determine the weight group is usually imprecise. Therefore stacks will actually be filled with mixture of different weight groups and rehandlings are unavoidable during loading operation. This paper presents a method for estimating the number of rehandlings caused by imprecise information and a scheme for generating a simple but efficient slot assignment rule. Experiments have shown that a rule generated by the proposed method can reduce the number of rehandlings by about $20\%$ compared to the traditional slot assignment method which stacks only the containers of the same weight group in a single stack.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• v.29 no.1
• /
• pp.391-398
• /
• 2005

The outbound containers in a container terminal are classified into a few groups by their weights and stocked separately in a yard for easy and efficient handling. In order to maintain the balance of a ship during loading, containers of heavier weight groups should be fetched out of a yard and loaded onto the ship before those of lighter weight groups. However, the weight information used to determine the weight group is usually imprecise. Therefore stacks will actually be filled with mixture of different weight groups and rehandlings are unavoidable during loading operation. This paper presents a method for estimating the number of rehandlings caused by imprecise information and a scheme for generating a simple but efficient slot assignment rule. Experiments have shown that a rule generated by the proposed method can reduce the number of rehandlings by about 20%compared to the traditional slot assignment method which stacks only the containers of the same weight group in a single stack.

• Koreanishche Zeitschrift fur Deutsche Sprachwissenschaft
• /
• v.1
• /
• pp.313-348
• /
• 1999

이 논문은 독일어의 겹자음회피현상을 설명함에 있어 어휘음운론에서의 분석이 보이는 문제들을 지적하고, 이 문제들이 제약에 바탕을 둔 이론에서는 어떻게 해결될 수 있는가를 보인다. 제약들간의 상호작용에서 특히 중요한 역할을 하는 것이 단일형태실현제약 (Uniform Exponence)으로서, 이 제약을 통해 독일어 동사의 현재시제, 단수, 2인칭 형태와 3인칭형태에서 나타나는 겹자음회피현상이 동사의 어형변화표 (Verbparadigma)와 밀접한 관련이 있음을 알 수 있다. 이는 규칙들을 통해 2인칭과 3인칭의 올바른 형태를 각각 개별적으로 찾아내는 어휘음운론의 분석과는 근본적으로 다르다. 왜냐하면 어휘음운론의 분석에 따를 때, 예를 들어 3인칭 동사 arbeitet에서 Schwa 모음의 삽입은 겹자음회피를 위해 일어난다고 설명되지만 겹자음이 없음에도 불구하고 Schwa 모음이 마찬가지로 삽입되는 2인칭동사 arbeitest는 설명되지 않기 때문이다. 이런 분석에서는 2인칭 형태와 3인칭 형태가 서로 아무런 관련 없이 각기 따로 존재하게된다. 이에 반해 단일형태제약은 이 두개의 형태를 동시에 비교하므로, 동사 굴절형태에서 마치 불필요한 것으로 보이는 모음삽입이나 자음탈락의 원인에 대해 이론적인 근거를 제시할 수 있다. 즉 2인칭 형태와 3인칭 형태는 보다 상위의 제약들이 막지 않는 한 서로 최대한 비슷한 형태를 가지려고 한다. 이 논문은 겹자음 회피를 위한 수단으로서 모음삽입이나 자음탈락은 오로지 이를 통해 동사의 어형변화표가 좋아질 때만 가능하다는 것을 보여줌으로써 규칙이론이 포착하지 못하고 있는 중요한 일반화를 제시하고 있다. 단일형태 실현제약의 중요성은 접두사 in- 과 un- 이 어간과 결합할 때 보이는 대조를 통해서도 확인된다. 여기서도 어휘음운론의 다층어휘부 구조에 의한 설명이 갖는 문제점이 제약들간의 상호작용을 통해 해결될 수 있음을 알 수 있다.VII-1 및 VII-2공의 3600 m 하부층은 건성 가스 생성 단계에까지 도달한 것으로 나타났다. JDZ VII-1, VII-2 시추공의 3500 m 하위 구간의 올리고세 퇴적층에서 유기물 함량 및 수소 지수가 급격히 감소하는 것은 매몰 심도가 깊어지면서 유기물이 열 분해되어 이미 탄화수소를 생성한 것으로 해석된다. JDZ VII-1 및 VII-2 시추공의 가스징후 및 길소나이트 (gilsonite)는 탄화수소가 생성되어 이동한 흔적을 시사한다.을 해석할 수 있음을 보여주는 것으로 평가된다. 다만 PLAYMAKER2가 보다 신뢰할 만한 퇴적환경 해석을 위한 전문가 시스템으로 구축되기 위해서는 향후 많은 퇴적학 전문가들이 추가로 참여하여 기존 규칙들을 재검증하고 새로운 규칙들을 첨가함으로써 보디 세련된 지식베이스를 개발하여야 할 것으로 판단된다.이며 세 개의 산소가 이루는 평면에서 $1.68{\AA}$ 소다라이트내로 이동하여 위치한다. 32개의 $Tl^{+}$ 이온은 결정학적 자리 II에 존재하고 있으며 산소와의 결합거리를 $2.70(1){\AA}$을 유지하면서 큰 동공속으로 $1.48{\AA}$ 이동하여 위치한다. 약 18개의 $Tl^+$ 이온은 결정학적 자리III에, 또 다른 10개의 $Tl^+$ 이온은 결정학적 자리III'에 존재하고 골조 산소와 각각 $2.86(2){\AA},\;2.96(4){\AA}$의 결합거리를 이룬다.

• Journal of Korean Society of Coastal and Ocean Engineers
• /
• v.29 no.1
• /
• pp.20-35
• /
• 2017

In the case of the seabed around and under gravity structures such as submerged breakwater is exposed to a large wave action long period, the excess pore pressure will be significantly generated due to pore volume change associated with rearrangement soil grains. This effect will lead a seabed liquefaction around and under structures as a result of the decrease in the effective stress, and eventually the possibility of structure failure will be increased. The study of liquefaction potential for regular waves had already done, and this study considered for irregular waves with the same numerical analysis method used for regular waves. Under the condition of the irregular wave field, the time and spatial series of the deformation of submerged breakwater, the pore water pressure (oscillatory and residual components) and pore water pressure ratio in the seabed were estimated and their results were compared with those of the regular wave field to evaluate the liquefaction potential on the seabed quantitatively. Although present results are based on a limited number of numerical simulations, one of the study's most important findings is that a safer design can be obtained when analyzing case with a regular wave condition corresponding to a significant wave of the irregular wave.

• Journal of The Korean Association of Information Education
• /
• v.14 no.3
• /
• pp.291-300
• /
• 2010

Group-based learning is known to be an effective means to improve scholastic achievement in online learning. Therefore, there are some previous researches for the group-based learning. A lot of previous researches define factors for grouping from the characteristics of classes, teacher's decision and students' preferences and then generate a group based on the defined factors. However, many algorithms proposed by previous researches depend on a specific class and is not a general approach since there exist several differences in terms of the need of courses, learners, and teachers. Moreover it is hard to find a automatic system for group generation. This paper proposes a grouping system which automatically generate a learner group according to characteristics of various classes. the proposed system automatically generates a learner group by using basic information for a class or additional factors inputted from a user. The proposed system defines a set of rules for learner grouping which enables automatic selection of a learner grouping algorithm tailored to the characteristics of a given class. This rule based approach allows the proposed system to accommodate various learner grouping algorithms for a later use. Also we show the usability of our system by serviceability evaluation.

• KIPS Transactions on Software and Data Engineering
• /
• v.11 no.3
• /
• pp.125-132
• /
• 2022

Sentence compression is a natural language processing task that generates concise sentences that preserves the important meaning of the original sentence. For grammatically appropriate sentence compression, early studies utilized human-defined linguistic rules. Furthermore, while the sequence-to-sequence models perform well on various natural language processing tasks, such as machine translation, there have been studies that utilize it for sentence compression. However, for the linguistic rule-based studies, all rules have to be defined by human, and for the sequence-to-sequence model based studies require a large amount of parallel data for model training. In order to address these challenges, Deleter, a sentence compression model that leverages a pre-trained language model BERT, is proposed. Because the Deleter utilizes perplexity based score computed over BERT to compress sentences, any linguistic rules and parallel dataset is not required for sentence compression. However, because Deleter compresses sentences only considering perplexity, it does not compress sentences by reflecting the linguistic information of the words in the sentences. Furthermore, since the dataset used for pre-learning BERT are far from compressed sentences, there is a problem that this can lad to incorrect sentence compression. In order to address these problems, this paper proposes a method to quantify the importance of linguistic information and reflect it in perplexity-based sentence scoring. Furthermore, by fine-tuning BERT with a corpus of news articles that often contain proper nouns and often omit the unnecessary modifiers, we allow BERT to measure the perplexity appropriate for sentence compression. The evaluations on the English and Korean dataset confirm that the sentence compression performance of sentence-scoring based models can be improved by utilizing the proposed method.