• 한국수학사학회지
• /
• 제21권3호
• /
• pp.53-66
• /
• 2008

비와 비례 개념은 학생들에 게 매우 친숙하지만 어렵게 느껴지는 개념이다. 본고에서는 비와 비례 개념의 의미와 표현에 대한 역사적 발달 과정을 고찰하여 현대의 비와 비례 개념의 의미를 확인하고자 하였다. 비와 비례 개념의 의미는 처음에 산술적인 의미로 시작되었으나 통약불가능한 값의 발견으로 기하적인 의미가 산술적인 의미를 대체하게 되었고 다시 대수 표기법의 발달로 인해 산술적 의미와 기하적 의미를 모두 포함한 대수적인 의미로 확장되었다. 비와 비례 개념의 의미와 표현에 대한 역사적 발달 과정을 통해 수학 개념의 의미는 기호 발달에 영향을 주고 기호발달은 수학 개념의 의미를 확장해 가는데 도움을 줌을 알 수 있다.

• 한국컴퓨터그래픽스학회논문지
• /
• 제2권1호
• /
• pp.31-38
• /
• 1996

주어진 제약조건을 만족시키는 부드러운 곡선과 곡면을 찾으려는 많은 시도와 노력이 계속되어 왔고, 보간과 근사 이론의 발달과 컴퓨터의 등장은 이러한 요구를 충족시키기 위한 중요한 역할을 하게 되었다. 곡선과 곡면을 모델링하는 지금까지의 많은 연구가 매개변수에 의한 방법에 집중되어 왔으나 모델링 시스템에서 물체를 표현할 때, 몇가지 문제에 직면하게 되었다. 따라서 최근에는 다항 방정식의 형태로 표현되는 음대수 곡선, 곡면에 대한 연구에 많은 관심을 갖게 되었고, 상대적으로 낮은 차수를 갖는 곡면을 만들 수 있게 되었다. 본 논문에서는 음대수 함수를 이용하여 표현된 곡선 및 곡면에 대한 기하학적 성질과 수학적인 계산 과정을 정리하고 이런 기본 배경을 바탕으로 여러 가지 방법을 이용하여 사용자가 원하는 곡선과 대칭성을 갖는 회전체 곡면을 쉽게 설계할 수 있는 도구의 구현에 대해 설명한다. 이렇게 구현된 회전체는 CAD나 CAM과 같은 실용적인 분야에서 대칭성을 갖는 복잡한 물체를 설계할 때, 중요한 역할을 할 수 있을 것이다.

• 한국수자원학회논문집
• /
• 제39권9호
• /
• pp.737-744
• /
• 2006

난류의 내부 영역의 유속은 단순한 공식으로 표현하기 매우 어려운 형태를 가지고 있다. 이 속도 분포를 기술하는 여러 가지 공식들이 제안된 바 있지만, 모든 공식들은 많은 항들을 가지거나 적분형 또는 음함수꼴을 가지고 있다. 이것은 이 식들이 적용하기 힘들거나, 매개 변수들을 추정하기 어렵다는 것을 의미한다. 이 연구에서는 매끄러운 바닥 위를 흐르는 난류 내부 영역의 유속 분포를 표현할 수 있는 간단한 형태의 새로운 공식을 제안하였다. 이 공식은 전통적인 대수 법칙에 감쇄 함수를 곱한 형태이다. 단 하나의 추가적인 매개 변수를 도입하여, 전체 내부 영역의 유속 분포를 적절하게 표현할 수 있었다. 이 공식은 벽법칙이 성립하는 바닥 근처의 유속과 대수 법칙이 성립되는 중복 영역의 유속 분포까지를 적절하게 나타낼 수 있다. 또한, 추가된 매개 변수인 감쇄 계수는 쉽게 추정할 수 있다. 이 변수는 Reynolds 수의 변화에 민감하지 않으며, 공식에 의하여 계산된 유속 분포도 또한 이 매개 변수의 변화에 대해서 민감하지 않다.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제11권9호
• /
• pp.289-304
• /
• 2022

스마트 IoT의 특징인 분산성 및 이동성에 기반한 안전 요구사항을 분석 및 검증하기 위한 프로세스 대수 및 논리가 요구된다. 하지만 기존의 프로세스 대수 및 논리는 분산성 및 이동성에 대한 표현이 제한적이므로 스마트 IoT의 요구사항 분석 및 검증이 비직관적이다. 이러한 한계를 극복하기 위해, 본 논문에서는 GTS-VL(Geo-Temporal Space-Visual Logic)을 제시한다. GTS-VL은 GTS에서 표현된 블록 간의 관계를 다루는 1차술어논리이며, GTS는 프로세스 대수인 dTP-Calculus를 사용하여 명세한 시스템의 동작 과정을 2차원 시공간에서 표현한 그래프이다. 본 논문에서 사용한 SAVE 도구는 ADOxx Meta-modeling Platform을 통해 개발되었으며, SAVE를 사용하여 PBC(Producer-Buffer-Consumer) 예제의 안전 요구사항을 분석 및 검증하고 문자 및 시각화 기반 검증 방법을 비교 분석하여 장점 및 실용성을 보인다.

• 한국수학교육학회지시리즈C:초등수학교육
• /
• 제27권3호
• /
• pp.281-301
• /
• 2024

대수는 방정식의 풀이로 해석되는 전통적인 관점에 따라 초등 현장에서 명시적으로 다루어지지 못하는 한계가 있지만, 초등 수준의 발달 단계에 맞춰 수의 체계와 원리, 산술적 사고의 확장인 대수적 사고로서 학습되어야 한다고 주장되어왔다. 본 연구에서는 초등학교 6학년 학생들에게 분수의 나눗셈에 대한 대수적 사고 기반 수업을 실시하고 문제해결력에 미치는 영향을 분석하였다. 학생들은 11차시의 수업에서 제수와 피제수의 관계 탐구를 통해 해결 방법을 일반화하고 특정한 분수의 나눗셈 문제에서 나아가 모든 경우에 적용할 수 있는 표현을 탐색하였다. 연구 결과 대수적 사고를 기반으로 한 수학 수업이 분수의 나눗셈 문제해결력에 긍정적인 영향을 미치는 것을 확인할 수 있었다. 학생들의 해결 과정에서는 기호화, 일반화, 추론, 정당화의 대수적 사고 요소가 나타났으며 다양한 수학적 아이디어와 구조를 발견하고 이를 활용해 문제를 해결하는 특징을 보였다. 연구 결과를 바탕으로 초등학생에게 초기 대수 지도를 위한 시사점을 도출하였다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제29권1호
• /
• pp.131-155
• /
• 2015

본 연구의 목적은 고등학교 상위권 학생들이 미분계수 개념을 통합적으로 이해하고 있는지를 알아보는데 있다. 여기서 미분계수 개념의 통합적 이해란 미분계수의 발생맥락인 접선문제와 속도문제를 미분계수 개념과 연결하여 이해하고, 미분계수 개념, 미분계수의 대수적 기하적 표현, 미분계수를 다루는 응용 상황을 서로 유기적으로 연결하여 이해하는 것을 의미한다. 본 연구를 위하여 청주시에 소재한 S고등학교 2학년 상위권 학생 38명을 연구대상으로 선정하여 미분계수 개념의 통합적 이해 정도를 조사하였다. 통합적 이해의 관점에서 고등학교 수학II 교과서와 여러 책을 참고하여 검사지를 개발한 후 현장 교사들과 전문가의 검토를 받아 수정 보완하였다. 검사지는 총 11개의 문항으로 구성되었으며 문항 1과 2-(1)은 미분계수 개념과 대수 기하 표현의 연결을, 문항 2-(2)와 4는 미분계수 개념의 발생맥락과 미분계수 개념의 연결을, 문항3과 10은 미분계수의 대수 표현과 기하 표현의 연결을 볼 수 있도록 하였다. 문항 5~9는 미분계수의 응용상황들로 구성되었는데 문항 6은 미분계수 개념과 응용의 연결을, 문항 8은 미분계수의 응용과 대수 표현의 연결을, 문항 5와 7은 미분계수의 수학 외에서의 응용과 기하 표현의 연결을, 문항 9는 수학 내에서의 응용과 기하 표현의 연결을 볼 수 있도록 하였다. 연구 결과 미분계수의 개념과 대수 기하 표현의 연결이 잘 이루어진 학생들의 비율은 높게 나타났으나 그 외의 연결이 잘 이루어진 학생들의 비율은 거의 절반이거나 절반에 미치지 못하는 것으로 나타났다.

• 한국시뮬레이션학회논문지
• /
• 제28권2호
• /
• pp.119-129
• /
• 2019

유한 버퍼를 갖는 라인 생산시스템은 오랜 기간 동안 연구되어왔지만, 몇몇 특별한 경우 외에는 대기시간(체류시간), 차단 확률과 같은 시스템 성능 값에 대한 분석 결과는 많지 않다. 최근에, max-plus 대수를 활용하여 상수 공정시간을 갖고 버퍼 완전 공유 정책을 따르는 시스템에서 대기시간의 고차평균과 꼬리확률에 대한 분석 결과가 소개되었다. 이와 같은 max-plus 대수를 활용한 분석이 이론적으론 일반 공정시간 모형에도 응용 가능하지만, 도출된 표현식에 대한 적절한 계산방법을 제공하지 못한다. 이러한 이유로, 본 연구에서는 max-plus 대수로 도출된 표현식과 @RISK 소프트웨어를 활용하여 스프레드시트 시뮬레이션 모형을 개발하고, 두 가지 차단정책(통신차단과 제조차단) 하에서 시스템 특성값인 대기시간(또는 체류시간)과 차단확률을 비교 분석하였다. 또한 차단확률에 대한 제약을 만족하는 공유 버퍼의 크기를 결정하는 최적화 문제도 분석하였다.

• 한국수학교육학회지시리즈C:초등수학교육
• /
• 제19권1호
• /
• pp.1-18
• /
• 2016

패턴을 다루는 여러 가지 활동은 초등학생들의 대수적 사고를 신장하는데 매우 효과적이다. 이에 본 연구는 초기 대수(early algebra)적 관점에서 패턴을 지도하는 세 가지 주요 활동인 패턴의 구조를 분석하는 활동, 패턴에서 두 변수 사이의 관계를 탐색하는 활동, 패턴의 일반화된 규칙을 추론하고 표현하는 활동을 중심으로 현행 초등학교 수학 교과서에 제시된 패턴 지도방안을 분석하였다. 분석결과 패턴의 구조를 분석하는 활동은 교과서 상에서 명시적으로 고려되지 않았다. 반면 패턴에서 두 변수 사이의 관계를 탐색하는 활동은 주로 대응표를 활용하여 전 학년에서 다루어졌고, 패턴의 일반화된 규칙을 추론하고 표현하는 활동은 저학년에서는 패턴의 규칙을 비형식적으로 표현하는 활동을 통하여, 고학년에서는 패턴의 규칙을 수식이나 기호를 사용하여 형식적으로 표현하는 활동을 통하여 다루어졌다. 한편 다른 수학 내용과의 연계성 측면에서 패턴의 지도방안을 분석한 결과, 현행 초등학교 수학 교과서에서는 패턴 활동이 규칙성 영역에 해당하는 일부 단원에서만 한정적으로 다루어지고 있었다. 이와 같은 연구결과를 토대로 본 연구는 초등학생들의 대수적 사고를 신장하기 위한 패턴 지도방안과 관련하여 구체적인 시사점을 제공하고자 한다.

• 산업경영시스템학회지
• /
• 제23권58호
• /
• pp.81-87
• /
• 2000

대수정규분포와 와이블분포는 비정규분포를 하는 공정특성에 반영된다. Hahn 과 Shapir(1967)의 수치 예를 통해 이러한 대수정규분포와 와이블분포를 식별하는 검정방법으로 최우비 검정(RML)을 사용하였다. 검정결과 와이블분포를 하는 공정으로 판단되어, 와이블분포 의 모수 추정은 실무에서 그래프와 수식으로도 쉽게 추정할 수 있는 수정적률추정량(MME)를 이용하여 공정 능력을 평가하였다. 공정능력의 평가 측도로 공정능력지수와 불량률(PPM)의 측도와 병행하여 나타내었다. 공정능력 평가의 결과로 와이블분포를 하는 공정을 대수정규분포로 잘못 판단함으로써 발생하는 오류를 2가지 측도로 표현함으로써 올바르게 공정능력을 판단할 수 있도록 종합적인 정보를 제시하였다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제15권8호
• /
• pp.534-546
• /
• 2009

허밍 질의는 사용자가 가사를 모를 때, 유용하고 직관적으로 사용할 수 있는 질의 방법이다. 허영 질의 시스템은 사용자 멜로디를 입력으로 받고, 이 멜로디를 음악 데이터베이스의 모든 멜로디와 비교하며, 가장 유사한 k개의 멜로디를 반환한다. 본 논문에서는 허영 질의 시스템을 위한 허밍 대수를 제안하고, 허밍 대수를 이용하여 실제 허밍 질의처리 시스템인 HummingBase를 설계하고 구현하였다. 기존 유사 검색 방법들을 분석함으로써 10개의 기본 연산자로 구성된 대수를 유도하였다. 제안한 허밍 대수는 허밍 질의 시스템이 확장이 가능하고 모듈화가 되게끔 구현하는데 사용 될 수 있다. 본 논문에서는 두 가지 사례 연구를 통해, 제안한 허밍 대수를 이용하면 기존의 허밍 질의처리 시스템을 쉽고 편리하게 표현할 수 있음을 보인다.