• Title/Summary/Keyword: 수학적 속성

Search Result 80, Processing Time 0.036 seconds

Formal Modeling for Security System and the Development of Formal Verification Tool for Safety Property (보안시스템의 정형화설계 및 안전성 검증 도구 개발)

  • ;;;;;Dmitry P. Zegzhda
    • Proceedings of the Korea Institutes of Information Security and Cryptology Conference
    • /
    • 2003.12a
    • /
    • pp.533-537
    • /
    • 2003
  • 보안 시스템의 안전성을 분석하기 위해서는, 정형적 방법론을 사용하여 보안 시스템에 대한 이론적인 수학적 모델을 정형적으로 설계하고, 보안 속성을 정확히 기술해야만 한다. 본 논문에서는 보안 시스템의 안전성을 검증하기 위한 보안모델의 구성요소와 안전성 검증방법을 설명한다. 그리고 보안모델을 설계하고 안전성을 분석하기 위한 SEW(Safety Evaluation Workshop)의 전체 구조와 SPR(Safety Problem Resolver) 정형검증도구의 검증방법 및 기능에 대해 소개하고자 한다.

  • PDF

Attention and Attention Shifts of 5th General and Mathematically Gifted Students Based on the Types of Mathematical Patterns (수학 패턴 유형에 따른 5학년 일반학생과 수학영재학생의 주의집중과 주의전환)

  • Yi, Seulgi;Lee, Kwangho
    • Education of Primary School Mathematics
    • /
    • v.22 no.1
    • /
    • pp.1-12
    • /
    • 2019
  • This study examined the attention and attention shift of general students and mathematically gifted students about pattern by the types of mathematical patterns. For this purpose, we analyzed eye movements during the problem solving process of 5th general and mathematically gifted students using eye tracker. The results were as follows: first, there was no significant difference in attentional style between the two groups. Second, there was no significant difference in attention according to the generation method between the two groups. The diversion was more frequent in the incremental strain generation method in both groups. Third, general students focused more on the comparison between non-contiguous terms in both attributes. Unlike general students, mathematically gifted students showed more diversion from geometric attributes. In order to effectively guide the various types of mathematical patterns, we must consider the distinction between attention and attention shift between the two groups.

A design of teaching units for experiencing mathematising of elementary gifted students: inquiry into the isoperimetric problem of triangle and quadrilateral (초등영재 학생의 수학화 학습을 위한 교수단원 설계: 삼·사각형의 등주문제 탐구)

  • Choi, Keunbae
    • Communications of Mathematical Education
    • /
    • v.31 no.2
    • /
    • pp.223-239
    • /
    • 2017
  • In this paper, it is aimed to design the teaching units 'Inquiry into the isoperimetric problem of triangle and quadrilateral' to give elementary gifted students experience of mathematization. For this purpose, the teacher and the class observer (researcher) made a discussion about the design of the teaching unit through the analysis of the class based on the thought processes appearing during the problem solving process of each group of students. The following is a summary of the discussions that can give educational implications. First, it is necessary to use mathematical materials to reduce students' cognitive gap. Second, it is necessary to deeply study the relationship between the concept of side, which is an attribute of the triangle, and the abstract concept of height, which is not an attribute of the triangle. Third, we need a low-level deductive logic to justify reasoning, starting from inductive reasoning. Finally, there is a need to examine conceptual images related to geometric figure.

Elementary Math Textbooks and Real Life Comparative Analysis of Representations for Length and Time (초등 수학 교과서와 실생활에서 나타나는 길이와 시간에 대한 표현 비교 분석)

  • Kang, Yunji
    • Education of Primary School Mathematics
    • /
    • v.25 no.3
    • /
    • pp.233-249
    • /
    • 2022
  • Measurement plays an important role in both school mathematics and real life. Among the measurement areas, length is the first to learn and is the basis for measurement. Time is measured in its own way and is characterized by being the most abstract. This study attempted to analyze elementary mathematics textbooks and representations in real life to examine how the length and time of learning in school mathematics differ from those represented in real life. Based on this, we tried to derive implications for the direction of measurement education and elementary math textbooks. As a result of the analysis, the concept of length was used the same in real life and school mathematics. However, terms such as distance, depth, and height were not defined, and the representation of the approximate value was presented in a fragmentary form. In addition, there were parts where students were likely to feel confused in school mathematics and real life, such as the same units such as 'minutes and seconds' were used in time. Therefore, considering these differences, it is necessary to consider the direction of composition of math textbooks and teaching and learning so that students can connect school mathematics and real life and understand widely about measurement concepts.

Region Analysis of Takbon Images (탁본영상의 영역분석)

  • Hwang, Jae-Ho
    • Proceedings of the KIEE Conference
    • /
    • 2006.04a
    • /
    • pp.141-143
    • /
    • 2006
  • 한국을 비롯한 동양 금석학 정보 인식의 중요한 매체인 탁본을 디지털 영상데이터로 변환하여 영상 특성을 분석하고 수학적 모델을 구현한다. 이를 위해 역사적으로 유명한 대표적 탁본을 포함한 50여개의 탁본영상 샘플을 작위로 선택하였고, 샘플영상 속에 내재되어 있는 영역특성을 중심으로 통계분석을 시도하였다. 탁본 원영상은 흑백의 두 영역으로 분할되는 완벽한 이진영상인데 반하여, 관측영상은 탁본뜨기 수작업과정을 거치면서 영역간 색도의 혼재와 얼룩무늬와 문양이 전체 영상에 분포한다. 본래의 두 영역은 정보영역과 바탕영역으로 구분되나 이들 얼룩무늬들은 또 다른 영역들로 치부되어 주로 바탕영역에 산발적으로 분포되어 영상인식을 저해하는 요인으로 작용한다. 관측영상 속에 내재되어 있는 영역 본래의 특성과 본뜨기 수작업 과정에서 새로 생성되는 영역들 사이의 기하학적 차이를 통계적으로 분류 처리함으로 관측 탁본영상의 영역 특성의 추이를 추론할 수 있다. 분석 결과, 탁본영상은 영역간 극단적인 확률적 차이를 보였으며, 이 양극성은 곧 탁본 원영상의 속성이 수작업과 관측이라는 훼손 과정을 거치면서도 보존됨을 의미한다. 이를 근거로 영역 특성과 훼손 과정을 수학적으로 모델링하였고 정보영역 추출의 일차적 개연성을 제시하였다.

  • PDF

Analysis of Problem-Solving Protocol of Mathematical Gifted Children from Cognitive Linguistic and Meta-affect Viewpoint (인지언어 및 메타정의의 관점에서 수학 영재아의 문제해결 프로토콜 분석)

  • Do, Joowon;Paik, Suckyoon
    • Education of Primary School Mathematics
    • /
    • v.22 no.4
    • /
    • pp.223-237
    • /
    • 2019
  • There is a close interaction between the linguistic-syntactic representation system and the affective representation system that appear in the mathematical process. On the other hand, since the mathematical conceptual system is fundamentally metaphoric, the analysis of the mathematical concept structure through linguistic representation can help to identify the source of cognitive and affective obstacles that interfere with mathematics learning. In this study, we analyzed the problem-solving protocols of mathematical gifted children from the perspective of cognitive language and meta-affect to identify the relationship between the functional characteristics of the text and metaphor they use and the functional characteristics of meta-affect. As a result, the behavior of the cognitive and affective characteristics of mathematically gifted children differed according to the success of problem solving. In the case of unsuccessful problem-solving, the use of metaphor as an internal representation system was relatively more frequent than in the successful case. In addition, while the cognitive linguistic aspects of metaphors play an important role in problem-solving, meta-affective attributes are closely related to the external representation of metaphors.

A Design and Implementaion on the Trading system employing Gibbs Effect at Market Opening Time (Gibbs Effect를 이용한 시초가 매매System에 대한 설계 및 구현)

  • Lee, Jung-Youn;Hwang, Sun-Myung
    • Annual Conference of KIPS
    • /
    • 2014.04a
    • /
    • pp.612-614
    • /
    • 2014
  • 급격한 가격변동에 대한 다양한 속성을 갖는 주가 기대치가 상이하여 기대치 가격을 중심으로 주가가 오르고 내리는 현상이 항상 발생한다. 이 현상은 Gibbs Effect와 매우 흡사한 성격을 갖고 있다. 장이 시작할때와 끝날때의 변동성을 수학적으로 모델링하고 이를 기반으로 한 거래기법을 연구 할 필요성을 갖게되어 시스템구현을 통해 매매기법을 분석하게 되었다.

An Analysis of Pre-Service Teachers' Understanding of the real number e (예비교사들의 실수 e에 대한 이해)

  • Choi, Eunah;Lee, Hong-Youl
    • Journal of the Korean School Mathematics Society
    • /
    • v.20 no.4
    • /
    • pp.495-519
    • /
    • 2017
  • The purpose of this study is to analyze the concept of the real number e and to investigate the understanding of pre-service teachers about the real number e. 28 pre-service teachers were asked to take a test based on the various ideas of the real number e and 8 pre-service teachers were interviewed. The results of this study are as follows. First, a large number of pre-service teachers couldn't recognize relation between the formal definition and the representations of the real number e. Secondly, pre-service teachers judged appropriately for the irrationality and the construction impossibility of the real number e, but they couldn't provide reasonable evidence. Lastly, pre-service teachers understood the continuous compounding context and exponential function context of the real number e, but they had a difficulty in understanding the geometric context and natural logarithm context of the real number e.

  • PDF

A Comparative Analysis of Elementary Mathematics Textbooks of Korea and Singapore: Focused on the Geometry and Measurement Strand (한국과 싱가포르의 초등 수학 교과서 비교 분석 -도형과 측정 영역을 중심으로-)

  • Choi Byoung-Hoon;Pang Jeong-Suk;Song Keun-Young;Hwang Hyun-Mi;Gu Mi-Jin;Lee Sung-Mi
    • School Mathematics
    • /
    • v.8 no.1
    • /
    • pp.45-68
    • /
    • 2006
  • Singaporean students have demonstrated their superior mathematical achievement and positive mathematical dispositions. Against this background, this study compared Korean elementary mathematics textbooks with Singaporean counterparts focusing on the geometry and measurement strand. The analysis was conducted in many aspects, including an overall unit structure, the contents to be covered in each grade, and the methods of introducing essential learning themes. The textbooks were also compared and contrasted with regard to the main characteristics of constructing mathematical contents. Whereas Korean textbooks used block teaming, Singaporean textbooks used repeated teaming. The latter also employed the activity of classifying multiple figures as the main method of introducing concepts. Whereas Korean textbooks consist of typical examples of figures, Singaporean counterparts include various examples consistent with the principle of mathematical variability.

  • PDF

Different Views of the US and Korea about Mathematical Terminologies, 'Ratio' and 'Rate' (수학용어에 대한 논쟁을 통해 본 비(比)에 대한 미국과 한국의 관점차)

  • Kim, Soo Mi
    • Journal of Educational Research in Mathematics
    • /
    • v.25 no.3
    • /
    • pp.431-448
    • /
    • 2015
  • This study is conducted to understand the real shape of confusion surrounding mathematical terminologies, 'ratio' and 'rate' in both the US and Korea and to get some implications for Korean education. For this, various materials including textbooks and materials for kids and teachers, dictionaries, educational internet web sites, the past Korean elementary mathematics curriculums and etc are reviewed with respect to the terminologies related to 'ratio' and 'rate'. As a result, the findings are as follows. Firstly, the US and Korea have different views with ratio and rate. Secondly, Korean terminologies related to ratio and rate are not enough to treat the essentials of the concept of ratio and rate.