• Journal of the Korea Society of Computer and Information
• /
• v.12 no.6
• /
• pp.123-130
• /
• 2007

In this paper, We define convert rules from objects and relation presented in object model to the state and operation domain in formal specification. Namely, object and relation in information model converted to state domain in formal specification. State, event and behavior converted to operation domain. And that way informal object model change to formal language, it can be verify through formal method. Verification process make an offer convenience and confidence in software development early phase. And we implement simulation tool in order to verification method of formal specification and to consistency verified model between user's requirement. It is possible to select the suitable model and reduce the costs and efforts on software development.

• Journal of Elementary Mathematics Education in Korea
• /
• v.19 no.4
• /
• pp.457-484
• /
• 2015

This study aims to investigate an approach to teach proportional reasoning in elementary mathematics class by analyzing the proportional strategies the students use to solve the proportional reasoning tasks and their percentages of correct answers. For this research 174 sixth graders are examined. The instrument test consists of various questions types in reference to the previous study; the proportional reasoning tasks are divided into algebraic-geometric, quantitative-qualitative and missing value-comparisons tasks. Comparing the percentages of correct answers according to the task types, the algebraic tasks are higher than the geometric tasks, quantitative tasks are higher than the qualitative tasks, and missing value tasks are higher than the comparisons tasks. As to the strategies that students employed, the percentage of using the informal strategy such as factor strategy and unit rate strategy is relatively higher than that of using the formal strategy, even after learning the cross product strategy. As an insightful approach for teaching proportional reasoning, based on the study results, it is suggested to teach the informal strategy explicitly instead of the informal strategy, reinforce the qualitative reasoning while combining the qualitative with the quantitative reasoning, and balance the various task types in the mathematics classroom.

• 한국지구과학회:학술대회논문집
• /
• 2005.09a
• /
• pp.318-318
• /
• 2005

• 한국지구과학회:학술대회논문집
• /
• 2005.09a
• /
• pp.319-319
• /
• 2005

• 한국과학교육학회:학술대회논문집
• /
• 2008.01a
• /
• pp.137-137
• /
• 2008

• Education of Primary School Mathematics
• /
• v.23 no.3
• /
• pp.135-156
• /
• 2020

The purpose of this study is to analyze the effect of average unit learning on the knowledge of the representative value of 5th grade elementary school students. In the information-oriented society, the ability to organize and summarize the data has become an essential resource. In the process of correctly analyzing statistical data and making reasonable decisions, the summary of the data plays an important role, and it is necessary to learn the concept of representative values in order to describe the center of the data in a series of numbers. For research, an informal knowledge type possessed by a fifth grade elementary school student with respect to a representative value before learning an average unit is examined and compared with the representative value after learning the average unit. A suggestion point for representative value guidance in school mathematics is provided while examining the change in knowledge with respect to the representative value. Seeing the informal types of elementary school students' representative values will help them learn how to formalize the concept of representative values in middle and high schools. It will give suggestions about the concept of representative values and the method of instruction that should be dealt with in elementary schools. The informal knowledge about the representative value can help with formal representative value that will be learned later. Therefore, This study's discussions on statistical learning of elementary school students are expected to present meaningful implications for statistical education.

• School Mathematics
• /
• v.19 no.3
• /
• pp.533-551
• /
• 2017

The statistical education researchers advise instructors to educate informal statistical inference and they are paying close attention to the progress of the statistical inference in general. This study was conducted by analyzing the levels and the traits of each levels of the informal statistical inference of the middle and high school students for comparing the samples of data and estimating the graph of a population. Research has shown that five levels of the informal statistical inference were identified for comparing the samples of data: responses that are distracted or misled by an irrelevant aspect, responses that focus on frequencies of individual data points and hold a local view of the sample data sets, responses that the student's view of the data is transitioning from local to global, responses that hold a global view but do not clearly integrate multiple aspects of the distribution, and responses that integrate multiple aspects of the distribution. Another five levels of the informal statistical inference were identified for estimating the graph of a population: responses that are distracted or misled by an irrelevant aspect, responses that focus only on representativeness, responses that consider both representativeness and variability and focus on one particular aspect of the distribution, responses that focus on multiple aspects of distribution but do not clearly integrate them, and responses that integrate multiple aspects of the distribution.

• The Journal of the Korea Contents Association
• /
• v.21 no.8
• /
• pp.60-68
• /
• 2021

The purpose of this paper is to examine the formal characteristics of , which has been screened on Netflix since 2018. This film can be considered an interactive narrative because it gives viewers the opportunity to select their own narrative forks which lead to various endings. However, it also limits viewers' freedom of interactions in many ways, resulting in the pessimistic narrative world of series. In this contradictory situation, the conflict between the user's selectability and the narrator's authoriality emerges. And this collision gives rise to a complex form in which nonlinear interactive and linear narrative forms blend together. It can be understood as a form of self-reflection, such as forms of the metalepsis and breaking the fourth wall. In this paper, this particular form will be regarded as a sort of reflexive intermediality, i. e. the form for media reflexion.

• 한국어정보학회:학술대회논문집
• /
• 2016.10a
• /
• pp.257-262
• /
• 2016

본 논문은 비구조적인 자연어 문장으로부터 두 개체 사이의 관계를 표현하는 구조적인 트리플을 밝히는 관계추출에 관한 연구를 기술한다. 사람이 직접 언어적 분석을 통해 트리플이 표현되는 형식을 입력하여 관계를 추출하는 규칙 기반 접근법에 비해 기계가 데이터로부터 표현 형식을 학습하는 기계학습 기반 접근법은 더 다양한 표현 형식을 확보할 수 있다. 기계학습을 이용하려면 모델을 훈련하기 위한 학습 데이터가 필요한데 학습 데이터가 수집되는 방식에 따라 지도 학습, 원격지도 학습 등으로 구분할 수 있다. 지도 학습은 사람이 학습 데이터를 만들어야하므로 사람의 노력이 많이 필요한 단점이 있지만 양질의 데이터를 사용하는 만큼 고성능의 관계추출 모델을 만들기 용이하다. 원격지도 학습은 사람의 노력을 필요로 하지 않고 학습 데이터를 만들 수 있지만 데이터의 질이 떨어지는 만큼 높은 관계추출 모델의 성능을 기대하기 어렵다. 본 연구는 기계학습을 통해 관계추출 모델을 훈련하는데 있어 지도 학습과 원격지도 학습이 가지는 단점을 서로 보완하여 타협점을 제시하는 학습 방법을 제안한다.

• Journal of Korean Society of Steel Construction
• /
• v.12 no.1 s.44
• /
• pp.103-110
• /
• 2000

The suspension bridge is divided by an earth anchor and a self-anchor type according to the anchorage type. This study is to evaluate the dynamic effect of moving vehicles to suspension bridges. The results were presented with the dynamic magnification factor (DMF) by the effect of vehicle speed and weight according to the anchorage type. The vehicle model has 6 degrees of freedom to idealize nonlinear multi-leaf suspensions and elastic tires of tractor-trailer. The bridge was modelled with the 3-dimensional frame element and 3-dimensional elastic catenary cable element. The condition of deck surface is considered using the actual road spectra.