• Communications of Mathematical Education
• /
• v.25 no.2
• /
• pp.451-472
• /
• 2011

In this paper we studied problem solving related with geometric interpretation of algebraic expressions. We analyzed algebraic expressions, related these expressions with geometric interpretation. By using geometric interpretation we could find new approaches to solving mathematical problems. We suggested new problem solving methods related with geometric interpretation of algebraic expressions.

• Communications of Mathematical Education
• /
• v.19 no.2 s.22
• /
• pp.417-434
• /
• 2005

본 연구에서 문제제기 수업이 수학학습에 미치는 효과를 알아보기 위하여 문제제기 수업과 기존의 교사 주도식 수업방식에서 문제해결력과 수학적 창의력에 대한 효과를 분석하였다. 중학교 3학년 학생을 대상으로 28주 동안 문제제기 수업을 실시하여 수업을 한 후, 문제해결력 검사지와 수학적 창의력 검사지를 평가한 결과는 다음과 같다. 첫째, 문제제기 수업을 활용한 수업방식이 기존의 교사 주도식 수업방식에 비해 문제해결력 신장에 효과가 있는 것으로 나타났다. 둘째, 문제제기 수업이 교사 주도식 수업에 비해 수학적 창의력 신장에 효과가 있는 것으로 나타났고, 특히 수학적 창의력 하위 요소 중 유창성과 융통성 신장에 효과가 있었다. 따라서 문제해결력 신장과 수학적 창의력 신장을 위해서 학교수업에서 문제제기 수업 활동의 도입을 제언한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06d
• /
• pp.208-210
• /
• 2012

일반적으로 비동기식 센서 네트워크 MAC 프로토콜들은 별도의 충돌회피 알고리즘을 사용하지 않기 때문에 동기식 MAC 프로토콜에 비해 충돌에 의한 성능 저하가 크게 나타난다. 본 논문에서는 충돌에 따른 비동기식 MAC 프로토콜의 성능 저하 문제를 최소화하기 위해 수신 노드가 충돌을 야기한 송신 노드들의 전송 순서를 제어하여 추가적인 충돌을 제거할 수 있는 비동기식 MAC 프로토콜용 충돌해결 알고리즘을 소개한다. 충돌을 감지한 수신 노드는 충돌을 일으킨 송신 노드들에 대한 정보를 수집하고 이를 이용하여 충돌이 발생하지 않는 전송 순서를 각 송신 노드에게 지정한다. 송신 노드들은 지정된 순서에 따라 독점적인 채널 사용 권한을 얻으며 이를 통해 송신 노드간의 충돌을 회피할 수 있다. 실험에 대한 분석에 따르면 본 논문에서 제안하는 충돌해결 알고리즘은 반복적인 충돌을 방지하여 그로 인해 낭비되는 시간과 대역폭을 줄이고 이를 통해 각 노드당 평균 데이터 처리량을 약 18.6% 증가시킬 수 있다.

• Journal of Intelligence and Information Systems
• /
• v.10 no.2
• /
• pp.165-187
• /
• 2004

Constraint Programming in AS and Optimization in OR started and have grown in different backgrounds to solve common decision-making problems in real world. This paper tries to integrate results from those different fields by suggesting a hybrid solver as an integration framework. Starting with an integrating modeling language, a way to implement a hybrid solver will be discussed using Warren's abstract machine and an finite domain constraint programming solver structures. This paper will also propose some issues rising when implementing the hybrid solver and provide their solutions.

• 한국정보교육학회:학술대회논문집
• /
• 2009.08a
• /
• pp.53-59
• /
• 2009

21세기 지식정보사회에서는 창의력, 문제해결력 등의 고등인지사고능력이 요구된다. 따라서 본 연구에서는 두리틀을 이용한 프로그래밍 수업을 통해 아동의 창의력과 문제해결력을 향상시키고자 한다. 아동의 프로그래밍 활동을 능동적으로 할 수 있는 환경을 조성하여 주되, 교사가 문제해결 과정에 따라 학습진행 과정을 모니터링하여 학생들의 문제해결 능력을 신장시켜주는 안내된 발견식 수업 모형을 적용하였다. 컴퓨터 프로그래밍의 과정에 필요한 인지적 요구사항을 토론이나 소크라테스식 질문을 통하여 반드시 거치도록 안내하였다. 초등학교 5학년 학생을 대상으로 두리틀을 이용하여 안내된 발견식 수업모형을 적용 한 결과 창의성과 문제해결력 측면에서 효과가 있음을 알 수 있었다.

• Proceedings of the KAIS Fall Conference
• /
• 2010.11a
• /
• pp.382-385
• /
• 2010

컴퓨터가 우리 생활에 밀접하게 관련된 만큼 각종 범죄에서도 컴퓨터와 관련된 사건이 증가하고 있다. 범죄와 관련된 컴퓨터에서 법정에 제출하기 위해 증거를 분석하고 제출하는 과정을 디지털 포렌식이라 한다. 대표적인 포렌식으로는 사용자의 행위를 기록한 로그 분석이 있다. 반대로 증거 분석을 방해하는 과정을 안티 디지털 포렌식이라 한다. 본 논문에서는 시스템 시간을 변경해 로그 기록시간을 허위로 기록할 수 있는 가능성과 해결 방안을 알아본다.

• Bulletin of the Society of Naval Architects of Korea
• /
• v.31 no.3
• /
• pp.25-27
• /
• 1994

선박의 고속화, 경량화, 전문화 및 대형화의 촉진과 더불어 신형식 선박의 출현으로 기존의 해 석방법과 같은 개념으로는 새로운 문제점에 대한 해결이 불가능하다. 따라서 이와 같은 새로운 외력환경에 대한 신형식 선박에 구애받지 않고 범용으로 이용이 가능할 수 있게 하기 위해서는 하중의 공간적 분포와 시간적 변화에 대한 정보를 정도 높게 추정할 수 있는 방법이 바람직하 다고 본다. 이를 해결할 수 있는 유일한 방법은 우리가 지금까지 소흘하여 왔던 반복적 실험이 뒷받침되어, 수치이론의 모델화 과정에서나 물리현상 설정과정에서 내재하게 되는random한 불확실성을 정량적으로 파악해 두어야 신형식 선박 개발에 신뢰할 수 있는 동적 응답해석이 가 능해질 것이다.

• The Mathematical Education
• /
• v.60 no.3
• /
• pp.297-319
• /
• 2021

The present study explored a relationship between mathematical understandings of teachers and ways in which their knowledge transferred in designing lessons for hypothetical students from Gess-Newsome (1999)'s transformative perspective of pedagogical content knowledge. To this end, we conducted clinical interviews with four secondary mathematics teachers of their solving and teaching of equation writing. After analyzing the teacher participants' attention to Key Developmental Understandings (Simon, 2007) in solving equation writing, we sought to understand the relationship between their mathematical knowledge of the problems and mathematical knowledge in teaching the problems to hypothetical students. Two of the four teachers who attended the key developmental understandings solved the problems more successfully than those who did not. The other two teachers had trouble representing and explaining the problems, which involved reasoning with improper fractions or reciprocal relationships between quantities. The key developmental understandings of all four teachers were reflected in their pedagogical actions for teaching the equation writing problems. The findings contribute to teacher education by providing empirical data on the relationship between teachers' mathematical knowledge and their knowledge for teaching particular mathematics.

• Proceedings of the Korean Institute of IIIuminating and Electrical Installation Engineers Conference
• /
• 2007.05a
• /
• pp.57-59
• /
• 2007

전자식 안정기 회로구성은 EMI 필터부분과 고주파 공진인버터 그리고 안정기 출력을 제어하는 출력전압 및 주파수를 제어하는 부분으로 구성되며 half-bridge LCC 직렬공진회로가 주로 사용되고 있다. 고주파로 점등하기 때문에 음향공진 현상이 발생하여 아크의 떨림으로 인한 제반 요소들을 해결하기 위한 제어회로를 설계하여 해결한다. 본 논문에서는 메탈할라이드 램프와 전자식 안정기 회로의 시뮬레이션 데이터를 활용하여 전자식 안정기의 입력전압 변동시 출력을 일정하게 유지하는 정전력 회로 방식을 설계하여 보다 안정화된 400W급 전자식 안정기를 설계하고 시작품을 제작하여 얻은 결과를 검증하였다.

• The Journal of Information Systems
• /
• v.10 no.2
• /
• pp.151-164
• /
• 2001

현재의 항공사 기내식 수요예측 시스템으로는 항공기 운항의 지연이나 초과 주문으로 인한 손실 문제를 해결하기 힘든 것으로 알려져 있다. 이러한 문제를 해결하기 위해 본 연구에서는 항공기 기내식 시계열 자료만을 입력변수로 사용한 단순인공신경망모형(simple neural network model), 단순인공신경망모형에 전통적인 시계열 기법(본 연구에서는 지수 평활법)의 예측 결과를 입력변수로 추가한 혼합인공신경망모형(hybrid neural network model), 그리고 혼합인공신경 망 모형에 상관관계가 높은 다른 시계열 자료(본 논문에서는 유사 노선의 다른 항공기 기내식 시계열 자료)를 인공신경망의 입력변수로 추가시킨 하이퍼혼합인공신경망모형(hyper hybrid neural network model)을 새로운 항공기 기내식 수요예측 기법으로 제안하고, 이들 모형의 예측력을 비교 분석하였다. 분석 결과 하이퍼혼합인공신경망 모형의 예측력이 가장 우수한 것으로 나타나, 인공신경 망을 기반으로 한 수요예측에 있어 상관관계가 높은 다른 시계열 자료를 입력변수로 추가함으로써 인공신경망모형의 예측력을 개선시킬 수 있음을 알 수 있었다