• 한국학교수학회논문집
• /
• 제23권1호
• /
• pp.25-44
• /
• 2020

본 연구의 목적은 서양수학이 본격적으로 유입된 18세기 조선의 사회문화적 배경 하에 저슬된 조선 산학서의 대수 영역에서 서양수학의 표현과 계산법을 반영한 내용을 살펴보고, 서양식 계산법과 전통적 계산법의 공존 관계 또는 대체 양상을 분석하는 것이다. 이를 위해 18세기 산학문헌인 <구수략>, <고사신서>, <고사십이집>, <주해수용>을 중심으로 하여 <구일집>, <산학입문> 등 총 9종의 산학문헌을 분석하였다. 분석 결과, 산대 조작을 기반으로 하는 전통적인 사칙계산법이 과도기적 표현을 거쳐 유럽 수학의 필산으로 발달해가는 과정과 서양의 비례 개념과 비례식을 형식화하여 명시적으로 다루는 18세기 산학서의 공통적 변화를 확인하였다. 또한 연립일차방정식 해법의 계산식의 수학적 표현이 점진적으로 형식화되는 과정을 관찰하였다. 제곱근 계산법이 전통적인 개방술에서 증승개방법의 적용으로, 다시 유럽 산술이 반영된 제곱근을 구하는 필산으로 변화해가고 있음을 확인하였다. 이상의 18세기 조선산학 사례들은 수학의 진화적 속성과 사회문화적 속성을 이해할 수 있는 의미 있는 자료라고 할 수 있다.

• 대한수학교육학회지:학교수학
• /
• 제16권2호
• /
• pp.355-386
• /
• 2014

패턴을 대수적으로 일반화한다는 것은 몇 가지의 특정한 요소에 내재한 구조를 인식 할 수 있고, 그 구조를 모든 경우로 일반화해 나갈 수 있으며, 일반적인 것을 대수적으로 표현하기 위해 인식된 그 국소적인 구조를 사용할 수 있는 것이다. 본 연구에서는 학생들이 기하-산술적 패턴과제로부터 매개변수를 어떻게 대수적으로 일반화하는지와 그 과정에서 일어나는 어려움은 무엇인지를 확인하는 것에 목표를 둔다. 더불어, 본 연구진이 개발한 패턴 일반화 과제를 통해 학생들이 매개변수개념에 대해 의미 충실한 사용으로 나아갈 수 있는지를 확인한다. 연구 결과 학생들은 변수로 작용하는 문자 n과 구별되는 역할로 작용하는 매개변수의 의미를 인식하여, 이로부터 문자 n과 다른 문자를 설정했다. 또한, 몇 가지의 일차함수로부터 독립변수를 나타내는 문자 n과 독립적인 수 사이의 관계를 인식하였고 이를 나머지 다른 모든 경우로 일반화하여 매개변수로 설정한 문자를 이용하여 대수적으로 표현하였다. 이 과정에서 학생들에게 매개변수와 다른 변수사이에 구별의 어려움과 산술적인 절차를 대수로 이행하는 어려움이 확인되었다. 이러한 어려움을 교수자와 함께 극복해 나가는 과정에서 전형적인 예는 매개변수 개념에 대한 학생들의 의미 충실한 사용을 견인하는 역할을 제공하였다.

• 대한수학교육학회지:수학교육학연구
• /
• 제19권1호
• /
• pp.81-98
• /
• 2009

본 연구는 초등학교 6학년 학생들의 양적 추론의 특성을 그 유형과 표현 방식의 특성에 기초하여 분석하였다. 먼저 검사지를 통해 양적 추론의 특성을 관찰하기에 적합한 초등학교 6학년 학생 3명을 선정한 후, 문제 해결 과정에 대한 학생들의 사고 전략과 의미 도출 과정에 대한 심층 면담을 실시하였다. 3명의 학생은 문제 해결 과정에서 다른 양적 추론 유형을 사용하였으며, 그에 따라 다른 전략적 특성이 관찰되었으며, 특히 그 추론 수준이 달라서 동일한 문제해결 전략을 사용하더라도 그 세부 양상이 달랐다. 학생들은 또한 시각적 언어적 기호적 표현을 각기 다른 목적과 기능으로 활용하였다. 특히 시각적 표현은 문제 상황에 포함된 양과 그 관계를 표현하고 이를 바탕으로 새로운 관계를 추론하는 양적 추론의 과정에서 가장 큰 역할을 하고 있는 것으로 파악되었다. 연구 결과를 바탕으로 문장제 해결에서 양적 추론의 역할과 초기 대수의 도입에 관한 논의점을 도출하였다.

• 한국정보과학회논문지:데이타베이스
• /
• 제29권5호
• /
• pp.347-357
• /
• 2002

그래프는 실세계의 많은 문제를 효과적으로 모델링하여 해를 구할 수 있는 강력한 방법을 제공하기 때문에 그래프의 표현 방법과 알고리즘 개발에 다양한 연구가 진행되어 왔다. 하지만, 대부분의 연구가 메인 메모리에 수용 가능한 크기를 갖는 그래프만을 고려하였기 때문에 큰 문제에 적용하기 위해서는 아직도 많은 어려움이 존재한다. 이를 극복하기 위하여 본 논문에서는 관계형 데이타베이스 이론에 기반하여 그래프를 표현하고 그래프 알고리즘을 정의할 수 있는 방법을 제안한다. 이 방법에서 그래프는 릴레이션으로 표현되며 그래프의 각 정점과 간선은 이 릴레이션의 튜플로서 저장된다. 이렇게 저장된 그래프에 대한 알고리즘은 추출, 선택, 죠인과 같은 관계대수 연산을 이용하여 정의되며 SQL과 같은 데이타베이스 언어를 사용하여 구현될 수 있다. 또한, 본 논문은 그래프의 저장 및 관리뿐만 아니라 다양한 응용프로그램 개발에도 사용될 수 있는 기본적인 그래프 함수들을 라이브러리화 하였다. 이와 같은 데이터베이스에 기반한 방법은 메모리에 수용되지 않는 크기의 그래프를 효과적으로 처리할 수 있는 방법을 제공할 뿐만 아니라 다양한 응용프로그램 개발을 용이하게 할 것이다. 또한, 데이타베이스가 제공하는 기본적인 기능인 다중사용자에 의한 동시공용 등과 같은 많은 장점을 가진다.

• 핵융합뉴스레터
• /
• 통권47호
• /
• pp.4-5
• /
• 2010

지난 겨울 개봉과 동시에 사상 최고의 박스오피스 수입을 기록했던 영화 <아바타>에는 판도라섬의 자원인 '언옵타늄'이 나온다. 영화 속에서 '언옵타늄'은 초전도체의 특성을 지닌 물체로 지구의 에너지자원 고갈물제를 해결해 줄 수 있는 대체에너지 자원으로 설정돼 있다. 이 영화는 비록 현실이 아닌 가상 세계를 통해 미래 세계의 희망을 표현했지만 대체에너지 개발의 중요성를 잘 보여주고 있다.

• 한국수학사학회지
• /
• 제16권4호
• /
• pp.15-32
• /
• 2003

Since algebra before the 19th century was the study of equations and equations are not differentiated from polynomials because of lack of the equality sign, the algebraic symbolism of polynomials plays very important role for tile history of algebra. We deal with the evolution of literal notations of polynomials in western and eastern worlds, and then compare their history.

• 한국학교수학회논문집
• /
• 제8권3호
• /
• pp.367-382
• /
• 2005

본 연구는 학교수학에서 대수적 구조(군)의 지도에 관한 논의를 담고 있다. 이를 위해 먼저 Bruner가 제시한 지식의 구조에 대해 논의하고, 그 내용을 학교대수의 지도와 관련지어 살펴본다. 또한 대수적 구조 가운데 군 개념을 중심으로 하여 이와 관련된 선행연구를 Piaget, Freudenthal, Dubinsky, Burn 등의 논의에서 검토해본다. 그리고 초등수학에서부터 고등학교 수학까지 군 개념과 관련된 내용이 어떻게 표현되고 있는지를 살펴본다. 학교수학에서 군 개념과 관련된 내용은 초등수학에서부터 시작되는데, 초등수학의 경우 항등원, 교환법칙, 결합법칙 등을 수의 맥락에서 찾아볼 수 있다. 중학교 수학에서는 덧셈과 곱셈 연산에 있어서 항등원, 역원, 교환법칙, 결합법칙이 보다 구체적으로 제시되고 있으며, 이러한 규칙은 등식의 성질과 이항, 일차방정식의 풀이 등을 통해 살펴볼 수 있다. 고등학교 수학에서는 이항연산을 비롯한 여러 영역에서 군 개념을 포함하는 대수적 구조가 제시되고 있다. 이에 비해 학교대수에서는 이러한 주제들을 통합적으로 구성하려는 시도가 이루어지지 않고 있으며 각각의 내용이 독립적으로 다루어지고 있다. 본 연구에서는 학교대수에서 군 개념과 관련된 내용들을 검토함으로써 대수적구조(군) 측면에서 이러한 내용들을 종합해보고자 한다.

• 정보과학회 논문지
• /
• 제43권5호
• /
• pp.541-552
• /
• 2016

본 논문은 분산 이동 실시간 시스템의 분석과 명세에서 프로세스와 시스템의 복잡도를 획기적으로 감소하기 위한 방법으로 새로운 이음 선택(Conjunctive Choice) 및 여 선택(Complement Choice) 연산을 제안한다. 여 선택 연산은 두 프로세스의 선택(Choice) 연산이 연동하여 동일한 선택을 도출함을 표현한다. 이음 선택 연산은 프로세스 내의 일련의 선택 연산들 간의 의존성을 표현한다. 이음 선택 연산은 프로세스 복잡도를 선택 연산의 의존성의 수 만큼 기하급수적으로 감소시킨다. 마찬가지로 여 선택 연산은 시스템 복잡도를 선택 연산의 의존성의 수 만큼 기하급수적으로 감소시킨다. 그리하여 복잡도가 획기적으로 감소하게 되어 시스템의 명세와 분석이 용이하게 된다. 이 선택 연산은 ${\delta}$-Calculus 프로세스 대수에서 구현하였다. 또한 예제를 ADOxx 플랫폼에서 개발한 SAVE 도구를 사용하여 보여줌으로써 효과와 효율성을 제시한다.

• 한국정보통신학회논문지
• /
• 제4권3호
• /
• pp.697-703
• /
• 2000

임팩트이온화현상은 소자의 크기가 점점 작아지면서, 높은 에너지에 있는 hot carrier 전송 을 해석하기 위해 매우 중요하므로 소자의 시뮬레이션에 정확한 임팩트이온화모델이 필수적이다. 털 연구에서는 의사포텐셜방법을 사용하여 풀밴드모델을 구하고, 임팩트이온화율은 수정된 Keldysh 공식을 이용하여 유도하였다. 본 연구에서는 Gahs 임팩트이은화의 온도의존특성을 조사하기 위하여 Monte Carlo 시뮬레이터를 제작하여 임팩트이온화계수를 구하였다. 결과적으로, 임팩트이온화계수는 300K에서 실험값과 잘 일치하였다. 또한 에너지는 전계가 증가할수록 증가하고, 높은 온도에서는 포논 산란의 emission mode가 높기 때문에 에너지가 감소함을 알 수 있었다. 임팩트이온화의 대수 fitting 함수 식은 온도와 전계에 대해 2차식으로 표현하였다. 대수 fitting 함수의 오차는 대부분 5%이내에 머물렀다. 그러므로 대수식으로 표현된 임팩트 이온화계수는 온도에 의존함을 알았고, 임팩트이온화계수를 구하는데 시간을 절약할 수 있다.

• 한국전자거래학회지
• /
• 제17권4호
• /
• pp.209-219
• /
• 2012

전자 상거래 시스템 환경에서 상품, 상품평, 사용자 특성 등은 주요한 정보 객체이다. 벡터는 객체의 표현기법으로 널리 사용되고 있다. 전자 상거래 데이터 객체들은 벡터로서 모델되어 각 특질에 해당하는 차원의 숫자 값으로 표현될 수 있다. 전자 상거래의 특성상 이러한 객체들은 방대한 분량이 되고 있고, 이중 여러 객체들은 실제로 같거나 유사한 객체일 수 있다. 따라서 객체간 유사도 측정은 전자상거래 시스템에서 중요한 역할을 한다. 본 논문에서는 벡터 객체에서 사용되는 대표적인 유사도 측정 함수들을 고찰한다. 유사 함수들은 각각의 대수적 특성을 가지고 있고 서로 연결된 특성을 보인다. 이러한 특성을 분석하고 또한 유사 함수들을 분류해 본다. 이러한 과정은 표준 벡터 유사도 함수가 가져야 할 대수적 특성을 제시해준다.