• Communications of Mathematical Education
• /
• v.24 no.3
• /
• pp.611-626
• /
• 2010

The purpose of this study is to explore the composite properties of linear functions using CAS calculators. The meaning and processes in which technological tools such as CAS calculators generated to instrument are reviewed. Other theoretical topic is the design of an exploring model of observing-conjecturing-reasoning and proving using CAS on experimental mathematics. Based on these background, the researchers analyzed the properties of the family of composite functions of linear functions. From analysis, instrumental capacity of CAS such as graphing, table generation and symbolic manipulation is a meaningful tool for this exploration. The result of this study identified that CAS as a mediator of mathematical activity takes part of major role of changing new ways of teaching and learning school mathematics.

• The Magazine of the IEIE
• /
• v.21 no.10
• /
• pp.47-54
• /
• 1994

본 논문에서는 물체들의 이동(translation) 축적(scale) 그리고 회전방향(orientation)에 무관하게 물체를 인식하는 실용적인 패턴 인식 시스템을 소개한다. 이 시스템은 2진영상으로 변환하는데 필요한 임계치(threshold)의 큰 변화에도 덜 민감하다. 특징 벡터(feature vector)로 서는 Zernike 모멘트를 사용하였는데 지금까지 잘 알려진 Hu가 제안한 7개의 모멘트 불변수 (moment invariants)와 비교한다. 또한, 실용적인 기계 시각(machine vision) 시스템에 대해 세 가지 중요한 문제로서 패턴 정규화(pattern nomalization), Zernike 모멘트의 신속한 계산, 그리고 k-NN 규칙을 이용한 분류 등을 논의하였다. 실험에서는 임의의 회전 방향에서 문자들의 크기가 10x10 화소(pixel)에서 512x512 화소까지 변하는 서로 다른 크기를 가진 인쇄된 62개의 문자와 숫자 그리고 기호들을 서로 다른 임계치에서 인식하는 것을 보여준다.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2004.10a
• /
• pp.165-168
• /
• 2004

본 연구에서는 근골격계로 구성된 신체 역학계와 신경 진동자로 구성된 신경계의 상호작용에 의해서 자율적인 2족 보행운동 생성하려고 하고 있다. 이를 위해서는 역학계와 신경계의 않은 파라메트(Parameter)의 조절이 필요하다 본 연구에서는 유전적 프로그래밍(GP)을 이용하여 파라메트의 자동조절 수법을 제안하였다. GP는 문제를 해결하기 위한 계산 프로그래밍을 탐색하는 진화형 탐색 알고리즘으로, GP를 이용해서 문제해결을 행하기 위해서는 노드의 선택이 매우 중요하다. 그러나 대상문제에 대한 충분한 정보가 없는 경우에는 노드를 용장성 있게 설계하게 되어, 이로 인한 탐색공간의 확장으로 GP에 대한 탐색성능의 저하를 초래한다. 본 논문에서는 이러한 문제를 해결하기 위해서 용장성 노드 집합으로부터 유용한 노드를 획득하기 위해 제안한 수법을 2족 보행운동 생성 시스템에 적용하기 전에 사전 평가로서 기호회귀(Symbolic Regression)문제에 적용하여 실험을 통해 제안 수법의 타당성과 탐색성능 향상의 효과에 관해서 논하고자 한다.

• Vending industry
• /
• v.6 no.3 s.18
• /
• pp.38-40
• /
• 2006

"국가가 나서 음주율을 줄인다." 보건복지부는 얼마 전 '파랑새 플랜 2010'으로 명명된 이색적인 정책 하나를 발표했다. 최근 두드러진 국민들의 음주량 증가를 개선하기 위한 국가알코올 종합대책이 바로 그 것. 정부가 국민의 음주율까지 줄이겠다는 발상 자체가 흥미롭지 않을 수 없다. 이런 대책이 제시될 만큼 국민들의 음주량 증가는 두드러지다. 조세연구원에 따르면 1인당 연간 순수 알콜 소비량은 $9.3\ell$로 경제협력개발기구(OECD) 국가 중 19위이다. 특히 소주, 위스키 등 독한 술 소비량은 세계 4위라 한다. 20대이상 성인남녀의 음주율은 지난 1989년 45.8%에서 지난해에는 59.2%로 증가했다고 한다. 술에 대해 지나치게 관대하고 술을 많이 마시는 게 미덕인 것처럼 여기는 술 문화가 문제이다. 국가가 이를 바로 잡아 보겠다고 나서는 것은 음주가 개인의 기호만의 문제가 아니라 각종 술로 인한 사고는 물론 건강악화 등 폐단이 심각하기 때문이다. 이런 현실 속에서 음주측정자판기의 등장은 시기적절해 보인다. 과연 자판기로서의 사업성이 얼마나 되느냐 하는 얄팍한 계산보다, 건전한 음주문화를 조성하는 이기라는 점에 더 관심의 포커스를 맞추어야 한다. 그만큼 공공성 최고인 자판기의 등장은 환영할 일이다. 성공정인 시장진입으로 필드 곳곳에서 "알콜 그만!"의 차단사로서의 혁혁한 활약이 기대되고 있다.

• Communications of Mathematical Education
• /
• v.16
• /
• pp.109-122
• /
• 2003

현재 초, 중, 고등학교의 수학교육 현실은 수학 개념의 정확한 이해에 초점을 맞추지 못하고 공식의 암기와 그것을 이용하여 단순한 문제 풀이에 시간을 많이 할애함으로써 수학의 기본적인 개념이나 기호의 정확한 사용법을 인지하지 못하고 계산 기능적인 면으로 치우치는 경향이 많이 나타나며, 문제 풀이의 창의적인 상황이 제시되지 않는 상태에서 교사 중심의 문제풀이 방법에만 의존하고 있다. 이러한 문제점 속에서 창의적인 문제 해결 방안을 구상할 수 있는 사고력의 배양에 소홀함이 있다고 볼 수 있다. 따라서 학생 스스로 의미를 파악하여 학습 할 수 있는 교수 방법이나 학습 방법에 대한 연구는 현실적으로 매우 시급한 상황에 처해있다. 이러한 상황에서 많은 수학교육자들은 학생들이 좀 더 쉽게 수학의 개념에 접근 할 수 있게 하기 위하여 많은 노력을 하고 있다. 그러한 노력 중의 하나로 테크놀러지를 이용한 수학교육을 말 할 수 있는데, 이는 실제로 수학교육에 긍정적인 영향을 준다고 알려져 있다. 본 논문은 현 고등학교 수학I의 등차수열에 관한 내용을 Mathematica를 이용하여 다각수(도형수)로부터 등차수열의 개념을 유도하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07b
• /
• pp.910-912
• /
• 2005

Maple은 수학적 표현에 가까운 프로그래밍 언어로, 함수, 표현열(sequence), 집합, 리스트, 배열, 테이블, 등의 자료구조를 가지고 있다. 단순히 과학 계산과 관련된 수식처리뿐만 아니라 수식기호와 표현을 해석하여 그 문법과 의미를 파악할 수 있는 기능을 갖추고 있다. 본 연구에서는 Maple을 이용하여 그래프 이론 학습에 사용할 수 있는 white box형 워크시트를 개발하고, 개발된 워크시트를 웹에서 서비스 할 수 있도록 html로 변환하였다.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.23 no.4
• /
• pp.466-476
• /
• 1986

This paper proposes a system that translates the machine independent intermediate micro-programming language(IML) into microcode, using the register allocation algorithm, the microinstruction format and the field information for the target machine emulation on a microprogrammable host machine. The IML, which is for PDP-8 emulation on a microprogrammable hypothsetical 16 bit host machine, is microcoded by the proposed system, and the validity of the algorithm in the proposed system is verified by executing a test program of the target machine on the emulator.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.23 no.5
• /
• pp.681-691
• /
• 1986

To represent the relations of the data dependency and resource conflict among micro-operations(MOP's) in the compaction process of microprograms, we propose a DDM (data dependent matrix) representation method instead of the DAG (conventional directed acyclic graph). Also, we propose a global compaction algorithm of microprograms to prevent a kind of block copying by cutting the trace at a junction block. The DDM method and compaction algoristhm have been applied to the Lah's example. The results shows that the proposed algorithm is more efficient than the conventional algorithms in reducing in reducing the total execution time and control memory space.

• Asia-pacific Journal of Multimedia Services Convergent with Art, Humanities, and Sociology
• /
• v.9 no.8
• /
• pp.783-790
• /
• 2019

Cognitive science attempts to explain human intelligence on the basis of success of artificial neural network, which is called connectionism. The neural network, e.g., deep learning, seemingly promises connectionism to go beyond what it is. But those(Fodor & Pylyshyn, Fodor, & McLaughlin) who advocate classical computationalism, or symbolism claim that connectionism must fail since it cannot represent the relation between human thoughts and human language. The neural network lacks systematicity, so any output of neural network is at best association or accidental combination of data plugged in input units. In this paper, I first introduce structure of artificial neural network and what connectionism amounts to. Second, I shed light on the problem of systematicity the classical computationalists pose for the connectionists. Third, I briefly introduce how those who advocate connectionism respond to the criticism while noticing Smolensky's theory of vector product. Finally, I examine the debate of computationalism and connectionism on systematicity, and show how the problem of systematicity contributes to the development of connectionism and computationalism both.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.15 no.12
• /
• pp.2647-2654
• /
• 2011

In this paper, the algorithm that recognizes the gesture by configuring the feature information obtained through edge orientation histogram and principal component analysis as low dimensional gesture symbol was described. Since the proposed method doesn't require a lot of computations compared to the existing geometric feature based method or appearance based methods and it can maintain high recognition rate by using the minimum information, it is very well suited for real-time system establishment. In addition, to reduce incorrect recognition or recognition errors that occur during gesture recognition, the model feature values projected in the gesture space is configured as a particular status symbol through clustering algorithm to be used as input symbol of hidden Markov models. By doing so, any input gesture will be recognized as the corresponding gesture model with highest probability.