• 현장과학교육
• /
• 제12권1호
• /
• pp.85-96
• /
• 2018

최근 국내외에서는 프로그래밍 언어 교육을 의무화하는 사례가 빠르게 증가하고 있다. 우리나라의 경우도 내년부터 시행되는 2015 개정 교육과정에서 초·중등학교의 프로그래밍 언어 교육 의무화가 결정되었다. 과학교육에서도 이러한 변화에 대비하기 위한 연구의 필요성이 대두되고 있지만, 아직 국내에서는 관련 연구가 미비한 편이다. 본 연구는 여러 프로그래밍 언어 중 최근 과학 분야에서 가장 각광받고 있는 무료 프로그래밍 언어인 Python을 이용하여 여러 과학교과에서 기호연산, 시각화, 그리고 확률적 시뮬레이션의 활용방안에 대해 알아보았다. 이를 위해 물리학, 화학, 생명과학의 세 가지 사례에 대해 기호연산과 확률적 시뮬레이션을 수행하였으며, 그 결과를 다양한 방식으로 시각화하였다. 연구결과에서 제시된 모든 코드는 프로그래밍 언어에 대한 배경지식이 부족한 일반 독자들도 활용할 수 있도록 자세한 설명을 첨부하였다.

• 자연과학논문집
• /
• 제11권1호
• /
• pp.195-199
• /
• 1999

수학과 물리학에서 사용하는 각종 기호들은 복잡한 연산이나 계산을 간단하게 나타내는 방법으로 널리 사용된다. 그러나 아직도 많이 반복하여 사용되는 계산임에도 불구하고 기호가 설정되지 않은 분야가 있으므로 이들에 알맞은 기호를 구상한다.

• 대한기계학회논문집A
• /
• 제24권7호
• /
• pp.1878-1884
• /
• 2000

In multibody dynamic analysis, one of the most important problems is to reduce computation times for real time simulation. In this paper, a symbolic computation method is implemented and tested for each dynamic analysis step. Applying symbolic formulations to the vehicle dynamics program AutoDyn7, the effectiveness of the symbolic computation method is verified.

• 대한전자공학회논문지SD
• /
• 제41권6호
• /
• pp.43-51
• /
• 2004

본 논문에서는 입력패턴을 triple rail-coding 방식으로 표현한 후 입력의 직렬연결 방법으로 기호치환을 수행하는 광 병렬 변형부호화자리수 가산 시스템을 제안하였다. Triple rail-coding 방식으로 변형부호화자리수 입력을 표현할 때 중복연산 결과가 나오는 입력들은 동일한 패턴으로 전처리하여 기호치환과정의 규칙수를 줄였고, 광 구현시 공간 이동된 입력패턴을 직렬로 연결하여 광을 통과시킴으로써 공간 이동 연산, NOR 연산, 그리고 문턱치 연산과정이 필요 없는 광 가산기를 구현하였다.

• 논리연구
• /
• 제2권
• /
• pp.91-118
• /
• 1998

라이프니츠는 일반적으로 현대논리학의 선각자라고 부른다. 그래서 라이프니츠 논리학에서는 현대 논리학을 이해함에 있어서 중요한 단초들을 발견할 수 있다. 라이프니츠의 논리학을 대표하는 개념으로는 흔히 보편수학, 보편기호학 그리고 논리연산학을 들곤한다. 라이프니츠의 보편수학의 이념은 연대 논리학이 논리학과 수학의 통일에서 출발할 수 있는 결정적인 근거를 제공했다. 이러한 현대 논리학의 출발에 있어서는 상이한 두 입장을 발견할 수 있는데, 부울, 슈레더의 논리대수학과 프레게의 논리학주의가 바로 그것이다. 이 두 입장은 "논리학과 수학의 통일"에 있어서는 공통적인 관심을 보이지만, 논리학의 본질을 라이프니츠의 보편기호학에서 찾느냐 또는 라이프니츠의 논리연산학에서 찾느냐에 따라 상이한 입장을 취한다. 이외에도 보편과학이나 조합술을 이해하지 않고는 라이프니츠 논리학에 대한 총체적인 시각을 갖기 힘들다. 이 두 개념은 특히 타과학이나 과학적 방법론과 관련지어 논리학이란 과연 무엇인가라는 논리철학적인 조명에 있어서 중요한 실마리를 제공한다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2004년도 춘계학술발표대회논문집
• /
• pp.211-214
• /
• 2004

본 논문은 논리 연산을 이용한 실시간 주행 차량 분할 및 추적에 관한 알고리즘을 제안하였다. 연속된 프레임 간에 논리연산을 이용하여 영상을 분할하고, 배경과 잡음을 제거하였으며 영상에서 주행차량의 이동 영역을 추출하였다. 주행차량들을 논리 연산을 이용하여 영상분할 함으로써 기존 방법에 비해 평활화 및 에지추출 단계에서 나타날 수 있는 문제점들을 제거하였고, 전처리 단계를 줄였으며, 알고리즘을 단순화 하였다. 또한 추적되는 영상으로부터 위치와 컬러등의 주행 차량의 특징을 직접 추출 가능하도륵 하였다.

• 한국항공운항학회지
• /
• 제23권2호
• /
• pp.69-74
• /
• 2015

We propose a rigorous and practical methodology to evaluate the performance of symbolic manipulation program such as Mathematica, Maple, and Maxima. First, we demonstrate an inverse method to construct the benchmark problems of an initial value problems. The benchmark problems associated with the discrete version of the Chebyshev polynomials provide a rigorous and objective measure to evaluate the performance of symbolic manipulation programs. We compare three symbolic manipulation programs, which are Mathematica, Maple and Maxima, using this methodology. The computation time, the used memory and the perturbation terms are chosen for comparison parameters.

• 응용통계연구
• /
• 제7권1호
• /
• pp.121-129
• /
• 1994

기호연산이 가능한 소프트웨어인 MATHEMATICA를 이용함으로써 최대흡사 추정량의 구체적 형태를 구할 수 있음을 보였다. 다변량 정규분포로부터의 확률 표본을 이용한 최대 흡사 추정량을 구하는 과정을 예시하였다.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2003년도 춘계 학술대회 학술발표 논문집
• /
• pp.165-168
• /
• 2003

본 논문에서는 CCD 흑백 카메라를 이용하여 프로그래머의 알고리즘이 표현된 flowchart의 영상을 입력받아 C언어 코드로 변환하는 시스템을 구현하였다. 입력된 영상을 이진화 처리한 영상으로부터 flowchart 기호들을 인식하기 위하여 chain code 방법을 이용하였고, flowchart 기호에 기술된 영문자 및 특수문자의 인식을 위하여 가로 및 세로 히스토그램을 이용하여 한 문자색 분할한 후 각 문자들을 구성하는 흑화소 pixel의 합과 chain code 방법을 사용하였다. 가로 및 세로 투영을 이용하여 흐름선을 인식함으로써 flowchart의 논리흐름을 파악할 수 있었다. 이 시스템을 수치연산에 적용하여, 프로그래머의 알고리즘에 부합하는 프로그램이 작성되어짐을 확인할 수 있었다.

• 논리연구
• /
• 제6권2호
• /
• pp.49-67
• /
• 2003

조합논리는 기본적으로 정해진 해석이 없는 순수한 형태만을 가지고 추상적으로 연산하는 관점에 관한 논리로서, 논리학을 기호학적 관점에서 볼 수 있는 토대를 제공해 준다. 조합논리의 특징은 연산자가 피연산자도 될 수 있다는 사실에 있으며 그래서 동일한 연산자가 그 자신의 피연산자도 될 수 있다. 이 논문에서 우리는 기본연산자들의 직관적 개념과 형식적 개념을 소개하고 연산자 대수에 내해 검토하고 나서 조합논리와 $\lambda$-연산의 번역가능성에 다해 알아보겠다. 조합논리에 유형의 개념을 추가하면 자연언어 분석에서 아주 효율적인데 기본유형인 대상자 명제 이외의 어떤 요소라도 함수자로 나타낼 수 있는데 이들은 조합자의 특수한 경우로서 파생유형들이다.