• Proceedings of the Korea Water Resources Association Conference
• /
• 2019.05a
• /
• pp.126-126
• /
• 2019

과거부터 수자원분야는 공학적인 측면을 주로 강조하였으며, 따라서 인문사회학적 요소(예, 토지이용, 인구, 생태 환경, 경제발전 등)가 종종 배제된 채 시설물 계획이 이루어졌다. 그러나, 경제가 발전하고 사회의 모습이 복잡해짐에 따라, 수자원 관련 시설물의 계획에 있어 다양한 인문사회학적 요소를 고려할 필요성이 높아지고 있다. 본 연구에서는 사회-수문 모델링 기법을 이용하여 사회-수문 상호 간 순환적 관계를 파악하고, 특히 다목적댐이 인문사회에 미치는 영향을 정략적으로 파악하고자 하였다. 우리나라는 기후변화에 의한 극한가뭄과 홍수발생 빈도가 증가하고 있다. 이에 대한 대책으로, 다목적댐을 건설하여 효율적인 수자원 관리를 하고 있다. 본 연구에서는 대상지역으로 국내 강원도의 횡성댐을 선정하였다. 횡성댐은 하류에 위치한 횡성군과 원주시에 생 공 농업용수를 공급하는 용수원의 역할과 섬강 하류지역에 발생하는 홍수를 방어하는 역할을 하고 있다. 횡성댐 유역의 사회-수문학적 관계를 이해하기 위해 인과지도를 이용한 시스템 요소간의 상호연관성을 파악하였고, 이를 바탕으로 수문학적 요소와 인문사회학적 요소 사이의 관계식을 구성하였다. 수자원 분야에 해당하는 요소로는 생 공 농업용수 이용량 및 댐 저수량과 방류량을 선정하였으며, 인문사회학적 요소는 인구, 공업지역 농경지 주거지역의 면적 및 지역 내 총생산액을 선정하였다. 이와 같은 사회-수문학 요소를 바탕으로 해당 지역의 사회-수문 전체의 동태적 변화를 이해하기 위해 시스템 동적모의(System Dynamics) 모형을 이용한 모델링을 진행하였다. 다목적댐 건설 전 후로 대상지역의 용수 이용량과 인구 및 지역 총생산액 등의 데이터를 수집하여 모델을 검증하였다. 나아가 구현한 모형을 활용하여 향후 기후변화 발생 시 다목적댐이 대상지역의 용수이용 및 인구변화, 지역경제에 미치는 영향을 정량적으로 분석하였다. 본 연구는 인문사회분야와 수자원분야 사이의 영향관계를 이해하고, 모델을 이용한 정량적인 분석을 통해 향후 수자원 시설물 계획 및 정책마련을 위한 의사결정도구로 활용될 수 있을 것으로 기대한다.

• The Mathematical Education
• /
• v.61 no.1
• /
• pp.157-178
• /
• 2022

Mathematics teachers' content knowledge is an important asset for effective teaching. To enhance this asset, teacher's knowledge is required to be diagnosed and developed. In this study, we employed problem-posing and problem-solving tasks to diagnose preservice teachers' understanding of fraction multiplication. We recruited 41 elementary preservice teachers who were taking elementary mathematics methods courses in Korea and the United States and gave the tasks in their final exam. The collected data was analyzed in terms of interpreting, understanding, model, and representing of fraction multiplication. The results of the study show that preservice teachers tended to interpret (fraction)×(fraction) more correctly than (whole number)×(fraction). Especially, all US preservice teachers reversed the meanings of the fraction multiplier as well as the whole number multiplicand. In addition, preservice teachers frequently used 'part of part' for posing problems and solving posed problems for (fraction)×(fraction) problems. While preservice teachers preferred to a area model to solve (fraction)×(fraction) problems, many Korean preservice teachers selected a length model for (whole number)×(fraction). Lastly, preservice teachers showed their ability to make a conceptual connection between their models and the process of fraction multiplication. This study provided specific implications for preservice teacher education in relation to the meaning of fraction multiplication, visual representations, and the purposes of using representations.

• Journal of Internet of Things and Convergence
• /
• v.9 no.6
• /
• pp.45-50
• /
• 2023

In software development, the elicitation and analysis of requirements is a crucial phase, and it involves considerable time and effort due to the involvement of various stakeholders. ChatGPT, having been trained on a diverse array of documents, is a large language model that possesses not only the ability to generate code and perform debugging but also the capability to be utilized in the domain of software analysis and design. This paper proposes a method of requirements engineering that leverages ChatGPT's capabilities for eliciting software requirements, analyzing them to align with system goals, and documenting them in the form of use cases. In software requirements engineering, it suggests that stakeholders, analysts, and ChatGPT should engage in a collaborative model. The process should involve using the outputs of ChatGPT as initial requirements, which are then reviewed and augmented by analysts and stakeholders. As ChatGPT's capability improves, it is anticipated that the accuracy of requirements elicitation and analysis will increase, leading to time and cost savings in the field of software requirements engineering.

• Journal for History of Mathematics
• /
• v.24 no.2
• /
• pp.47-59
• /
• 2011

Various mathematical models have been widely studied recently in both fields of mathematics and ecology since they help us understand the dynamical process of population changes in biological species living in a certain habitat and give useful predictions. The world population model proposed by Malthus, a British economist, in his work 'An Essay on the Principle of Population' published in the period of 1789~1826 is one of the early mathematical models on population changes. Malthus' models and the carrying capacity models of Verhulst in 1845 were based on exponential type functions. The independent research field of mathematical ecology has been started from Lotka's works in 1920's. Since then various different mathematical models has been proposed and examined. This article mainly deals with single species population change models expressed in terms of ordinary differential equations.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.7
• /
• pp.1665-1680
• /
• 1997

The Entity-Relationship (E-R) model is widely used not only to increase understanding between user and designer, but also to model the relationship of real world data appropriately when designing database system in many application areas. It should be then transformed into an Object-Oriented database model which gives good merits to represent and manipulate data efficiently. Therefore, a method of transforming an E-R model into an Object-Oriented database model should be studied, but without losing any semantics of concept for the E-R model. This paper not only deals with transformation rules taking as input the elements of E-R model and delivering the elements of an Object-Oriented database model, but also improves the concept of generalization and aggregation inheritance. The paper also presents a method of transformation of relationship depending on these rules. The proposed method that obtains Object-Oriented database schema from an E-R model with preserving the properties of the E-R model is shown with examples. The method presented is able to be used to the logical database design.

• Education of Primary School Mathematics
• /
• v.22 no.1
• /
• pp.29-48
• /
• 2019

Previous studies on double scale models, visual models with two different scales (Chong, 2015), have focused on double number line and little research has been conducted on how to employ double scale models in the elementary mathematics textbooks series. Given this, we analyzed the characteristics of double scale models in the Japanese elementary mathematics textbooks in the following aspects: (a) the contents of units where double scale models were used; (b) the purposes of using such models; (c) the types of such models tailored to the contents and grade levels; and (d) the characteristics of problem contexts dealing with the models. The results of this study showed that double scale models were effectively used to connect the contents related to multiplication, specifically for the contexts of ratio. Such models were addressed for students in a systematic and gradual way as the grade levels went up. Based on these results, this paper describes implications on how to use double scale models in mathematics textbooks.

• Journal of the Korea Society of Computer and Information
• /
• v.27 no.5
• /
• pp.109-116
• /
• 2022

Recently, a model-based development method centered on highly readable and standardized UML (Unified Modeling Language) models has been applied to solve unclear communications in large-scale software development. However, it is difficult to apply consistent UML models depending on software developers' proficiency, understanding of models and modeling tools. In this paper, we propose a method for developing a Model Verification System to apply an consistent UML model to software development. Then, the developed Model Verification System is partially applied to the Naval Combat System Software development to prove its function. The Model Verification System provides automatic verification of models created by developers according to domain characteristics. If the Model Verification System proposed in this paper is used, It has the advantage of being able to apply the consistent UML model more easily to Naval Combat System Software Development.

• Journal of Educational Research in Mathematics
• /
• v.15 no.1
• /
• pp.75-105
• /
• 2005

This study explored a mathematical modeling flow and the effect of interactions among students and between a student and Excel on modeling in a small group modeling environment with Excel. This is a case study of three 8th graders' modeling activity using Excel during their extra lessons. The conclusions drawn from this study are as follows: First, small group modeling using Excel was formed by formulating 4∼10 modeling cycles in each task. Students mainly formed tables and graphs and refined and simplified these models. Second, students mainly formed tables, algebraic formulas and graphs and refined tables considering each variable in detail by obtaining new data with inserting rows. In tables, students mainly explored many expected cases by changing the values of the parameters. In Graphs, students mainly identified a solution or confirmed the solution founded in a table. Meanwhile, students sometimes constructed graphs without a purpose and explored the problem situations by graphs mainly as related with searching a solution, identifying solutions that are found in the tables. Thus, the teacher's intervention is needed to help students use diverse representations properly in problem situations and explore floatingly and interactively using multi-representations that are connected numerically, symbolically and graphically. Sometimes students also perform unnecessary activities in producing data by dragging, searching a solution by 'trial and error' and exploring 'what if' modeling. It is considered that these unnecessary activities were caused by over-reliance on the Excel environment. Thus, the teacher's intervention is needed to complement the Excel environment and the paper-and-pencil environment properly.

• Journal of Digital Convergence
• /
• v.15 no.4
• /
• pp.233-242
• /
• 2017

It is to provide the basic materials for the development of a cadaver practice program, the anatomical, educational programs, etc. by confirming the experiences by the nursing college students of the human body anatomy observations using the Cadaver Model. It was intended to understand the meaning and the essence of the experiences by the nursing college students of the human body anatomy observations using the Cadaver Model by selecting the Colaizzi Analysis Method with the materials collected from the interviews with 2 focus group teams. Regarding the essential structure, 6 categories were arrived at, including 'The ambivalence regarding the cadaver practice', 'Running into the true reality', 'Learning a valuable thing', 'The mind for facing the human beings has become deep', 'The feeling that I am gradually becoming a person who tends the sick', and 'The deliberations regarding the sound giving. It was confirmed that, not only with the understanding of anatomy through the cadaver practices, but, also by experiencing and worrying about the understanding, the life and the respect, the death, the ethics regarding the job, etc. the nursing college students were gradually becoming the persons tending the sick.

• KIPS Transactions on Computer and Communication Systems
• /
• v.12 no.3
• /
• pp.103-110
• /
• 2023

With the spread of the Internet, anonymous communities emerged along with the activation of communities for communication between people, and many users are doing harm to others, such as posting aggressive posts and leaving comments using anonymity. In the past, administrators directly checked posts and comments, then deleted and blocked them, but as the number of community users increased, they reached a level that managers could not continue to monitor. Initially, word filtering techniques were used to prevent malicious writing from being posted in a form that could not post or comment if a specific word was included, but they avoided filtering in a bypassed form, such as using similar words. As a way to solve this problem, deep learning was used to monitor posts posted by users in real-time, but recently, the community uses words that can only be understood by the community or from a human perspective, not from a general Korean word. There are various types and forms of characters, making it difficult to learn everything in the artificial intelligence model. Therefore, in this paper, we proposes a preprocessing technique in which each character of a sentence is imaged using a CNN model that learns the consonants, vowel and spacing images of Korean word and converts characters that can only be understood from a human perspective into characters predicted by the CNN model. As a result of the experiment, it was confirmed that the performance of the LSTM, BiLSTM and CNN-BiLSTM models increased by 3.2%, 3.3%, and 4.88%, respectively, through the proposed preprocessing technique.