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

여러 국외 연구는 SMK의 주요 특징을 HCK와 관련하여 설명하면서 수학 교사 교육의 핵심 목표 중 하나로 HCK의 개발을 강조하였다. 그러나 국내에는 SMK의 하위 요소로서 HCK의 구체적인 의미를 살피거나 우리나라 교사들이 지닌 HCK의 특징을 본격적으로 분석한 연구가 거의 없다. 이에 이 연구는 Ball & Bass(2009)의 관점에서 HCK를 다룬 국외 연구를 검토하여 대학 수학을 통해 개발될 필요가 있는 HCK의 특징을 구체적으로 확인하였다. 또한 대학 수학의 목표가 AMT 개발에 있음을 강조한 Zazkis & Leikin(2010)에 따라 AMT 관련 선행 연구를 분석하여 HCK 개발의 기반이 되는 AMT의 핵심 특징을 구체화하였다. 이를 토대로 예비교사들의 HCK를 역함수 기호에 대한 이해에 주목하여 분석하기 위한 지필 검사 도구를 개발하였으며, 이를 예비교사 57명에게 적용하여 얻은 답변 자료를 검사 도구 개발 의도 및 함수 개념 수준에 비추어 분석하였다. 이로부터 역함수 및 역함수 기호와 관련하여 예비교사들이 지닌 HCK의 특징을 4가지로 추출하였으며, 각각의 특징이 지닌 시사점을 수학 교사 전문성 신장을 위한 HCK 개발의 측면에서 기술하였다.

• 한국수자원학회논문집
• /
• 제40권7호
• /
• pp.523-532
• /
• 2007

1974년 한강홍수예보시스템을 구축한 이후로, 저류함수법을 근간으로 하는 홍수예보시스템이 주요하천을 대상으로 운영되고 있다. 1961년 목촌준황(木村俊晃)에 의하여 제안된 저류함수법은 저류함수를 기본식으로 이용하고 있다. 저류함수법에서는 유역을 유출역과 침투역으로 구분하고, 누가우량이 포화우량을 초과하기 전까지는 유출역에서만 유출이 발생하고, 포화우량을 초과한 후부터 침투역에서도 유출이 발생하는 것으로 가정하였고, 이때 유출역의 면적이 일정하므로 유출률은 일정한 것으로 가정하였다. 또한 유출역과 침투역의 유출량을 분리하여 계산하며, 이는 비선형저수지의 특성을 고려하면 불합리하다. 본 연구에서는 저류방정식과 연속방정식을 이용한 수정된 저류함수법을 제시하였으며, 유효우량은 SCS 초과우량산정방법을 이용하였다. 낙동강유역의 위천을 대상으로 수정된 저류함수법을 적용하였으며, 목촌준황(木村俊晃) 저류함수법에 비하여 첨두홍수량 산정에 개선된 결과를 보였으며, 매개변수의 감소로 적용성을 개선하였다.

• 한국방송∙미디어공학회:학술대회논문집
• /
• 한국방송공학회 2000년도 정기총회 및 학술대회
• /
• pp.75-80
• /
• 2000

본 논문은 영상복원을 역확산 과정으로 해석하여 복원된 영상을 역확산 방정식의 해로 구하는 알고리즘을 제안한다. 역확산 과정은 물리적으로 불량위치(ill-posed)과정이기 때문에, 이를 정규화 해주어야 하는데 이를 위해서 역확산 과정을 고유함수(eigenfunction)들의 전개로 나타낸 후에 고유함수들의 계수들을 조작하였다. 본 논문에서는 계수들을 조작할 때 영상이 가지고 있는 주파수 특성을 고려하여 한계주파수(cut-off frequency)를 넘은 경우에 계수들을 시간과 주파수의 감소함수로 나타내어 불량위치문제를 해결하였다. 계수를 주파수에 대한 감소함수로 나타낸 것은 영상에 저주파 성분이 많고, 고주파 성분이 영상의 형성에 끼치는 영향이 상대적으로 적다는 영상의 특성을 고려한 것이다. 이러한 감소함수를 사용하였을 때 불량위치 문제를 해결할 수 있다는 것을 증명하였고, 실험적으로 양질의 영상을 산출함을 보였다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2007년도 학술발표회 논문집
• /
• pp.449-453
• /
• 2007

1974년 한강홍수예경보시스템을 구축한 이후로, 저류함수법을 근간으로 하는 홍수예경보시스템이 주요하천을 대상으로 운영되고 있다. 1961년 목촌릉황(木村俊晃)에 의하여 제안된 저류함수법은 저류함수를 기본식으로 이용하고 있다. 저류함수법에서는 유역을 유출역과 침투역으로 구분하고, 누가우량이 포화우량을 초과하기 전까지는 유출역에서만 유출이 발생하고, 포화우량을 초과한 후부터 침투역에서도 유출이 발생하는 것으로 가정하였고, 이때 유출역의 면적이 일정하므로 유출률은 일정한 것으로 가정하였다. 또한 유출역과 침투역의 유출량을 분리하여 계산하며, 이는 비선형저수지의 특성을 고려하면 불합리하다. 본 연구에서는 저류방정식과 연속방정식을 이용한 수정저류함수법을 제시하였으며, 유효우량은 SCS 초과우량산정방법을 이용하였다. 낙동강유역의 위천을 대상으로 수정저류함수법을 적용하였으며, Kimura 저류함수법에 비하여 첨두홍수량 산정에 개선된 결과를 보였으며, 매개변수의 감소로 적용성을 개선하였다.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제58권2호
• /
• pp.239-262
• /
• 2019

본 연구에서는 특정한 학생의 질문에서 시작된 고민을 다루고 있으며, 교과서 분석을 통하여 해당 질문이 충분히 제기 가능한 질문임을 확인하였다. 또한 면담을 거쳐 두 대응관계가 연결된 새로운 대응관계에서 학생들이 합성함수 여부 판정과 역함수 존재 여부 판정에서 정의역에 대한 고민이 학생들에게서 어떻게 의미 있는 수학 지식으로 재구성 되어가는 지에 대한 사례를 관찰하였다. 본 연구에서 제시된 사례들은 제한된 상황에서의 특정한 사례라는 한계가 있기 때문에 곧바로 교수학습 상황에 적용될 수는 없으나 다른 연구자들에게 함수 학습 관련 연구에 대하여 통찰의 기회를 제공할 수 있을 것으로 기대된다.

• 대한전자공학회논문지SP
• /
• 제40권1호
• /
• pp.34-42
• /
• 2003

본 논문은 영상복원을 역확산 과정으로 해석하여 복원된 영상을 역확산 방정식의 해로 구하는 알고리즘을 제안한다. 역확산 과정은 물리적으로 불량위치(ill-posed)과정이기 때문에, 이를 정규화 해주어야 하는데 이를 위해서 역확산 과정을 고유함수(eigenfunction)들의 전개로 나타낸 후에 고유함수들의 계수들을 조작하였다. 본 논문에서는 계수들을 조작할 때 영상이 가지고 있는 주파수 특성을 고려하여 한계주파수(cut-off frequency)를 넘은 경우에 계수들을 시간과 주파수의 감소함수로 나타내어 불량위치문제를 해결하였다. 계수를 주파수에 대찬 감소함수로 나타낸 것은 영상에 저주파 성분이 많고, 고주파 성분이 영상의 형성에 기치는 영향이 상대적으로 적다는 영상의 특성을 고려한 것이다. 이러한 감소함수를 사용하였을 때 불랑위치 문제를 해결할 수 있다는 것을 증명하였고, 실험적으로 양질의 영상을 산출함을 보였다.

• 대한원격탐사학회지
• /
• 제13권2호
• /
• pp.85-98
• /
• 1997

본 논문에서는 현재 고해상도 위성 영상을 촬영하는 대부분의 카메라인 pushbroom형태 의 선형 CCD카메라의 기하학적 모델 및 좌표변환 과정을 제안한다. 제안되는 모델은 원시 영상 자표계로 부터 지도 좌표계까지의 정함수 변환 뿐아니라 반대 방향의 역함수 변환도 포함한다. 실제로 resampling의 용이성이나 구현의 효율성을 감안할 때 역함수 변환이 사용되어야 하지만, pushbroom형태의 영상일 경우 그 촛점의 위치가 시간에 따라 변화하므로 역함수 변환 함수가 단 순한 수학적 형태로 성립될 수 없다. 따라서 이 논문에서는 반복 연산과 수렴을 통한 역함수 변 환의 유도를 제안한다. 제안되는 기하학적 모델은 모든 선형 CCD 위성영상에 적용될 수 있으나 본 논문에서는 유도의 편이성을 위해 현재 비행모델을 제작 중이며 1998년 후반에 발사 예정인 우리별 3호의 고해상도 카메라 영상에 촛점을 맞추었다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제24권1호
• /
• pp.49-65
• /
• 2010

본 연구는 함수의 개념정의와 개념이미지 형성을 위한 다양한 표상에서 정의역을 고려한 지도-학습을 권고하고자 함에 있다. 중학교 1학년 및 2학년의 수학 교과서에서 함수나 일차함수 개념을 도입하거나 이들 함수의 활용을 학습하는 데 탐구형 문제나 현실적 모델을 가져오고 이 모델로부터 표를 만들기도 하고 함수관계식을 찾게 한 다음 그래프를 그리게 하는 일련의 표상과 표상의 번역과정을 연습한다. 본 연구는 이러한 표상활동에서 일어나는 모델의 적절성과 표현의 적절성을 표상의 동치성과 정의역에 초점을 두어 논한다. 특히 일차함수의 활용에서 교과서에 제시된 휴대폰 요금문제나 저축문제 등에서 일차함수의 식과 그래프로 모델링하는 과정에 나타난 문제점을 비판적으로 검토하고 정의역의 중요성을 지적한다.

• ETRI Journal
• /
• 제14권4호
• /
• pp.249-257
• /
• 1992

인버터를 이용한 대역 통과 필터를 설계할 때, 기존에 사용하던 기하평균 방법은 인버터의 이미턴스가 주파수에 대해 일정하다고 생각한 가정때문에 대역폭률이 10% 이상인 광대역 필터에서 대역폭과 중심주파수가 잘 맞지 않게 된다. 이에 대한 보완으로 Cohn은 새로운 함수를 제안하였는데, 이 함수도 coupling 방법에 따른 사용상의 제약을 갖고 있다. 본 고에서는 coupling 방법에 관계없이 광대역 필터를 설계할 수 있는 새로운 변환 함수를 제시하였으며 컴퓨터 시뮬레이션을 통해 기존의 함수들보다 더 정확하다는 것을 확인하였다.

• 한국정보통신학회논문지
• /
• 제13권4호
• /
• pp.727-736
• /
• 2009

본 논문에서는 모바일 벡터 그래픽 가속기용 역코사인 연산 회로를 설계하였다. 모바일 그래픽스 응용은 기존 데스크 톱 컴퓨터에 비해 면적, 연산 시간, 전력 소모와 정밀도 측면에서 제약이 크다. 설계한 역코사인 함수 회로는 연산시간과 정밀도 조건을 만족하기 위해 IEEE 표준 부동 소수점 데이터 형식을 사용하며, 계수 테이블을 사용하는 2차 다항식 근사 기법을 채택하였으며, 하드웨어 공유 기법을 통해 면적을 감소시켰다. 역코사인 회로는 약 15,280개의 게이트로 구성되며, $0.35{\mu}m$ CMOS 공정 조건에서 약 125 Mhz의 동작 주파수를 가진다. 7개의 클록 사이클에 역코사인 함수를 구현하므로, 설계된 회로는 약 17.85 MOPS의 연산 성능을 갖고 있어서 OpenVG 프로세서에 적용이 가능하다. 또한 융통성 있는 구조 특성으로 설계된 회로는 ROM 내용의 교체와 속규모의 하드웨어 변경을 통해 지수함수, 삼각함수, 로그 함수와 같은 다른 초월함수에 적용이 가능하다.