• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.11a
• /
• pp.57-58
• /
• 2009

임베디드 시스템이 복잡해질수록, 성능 병목을 파악할 수 있는 성능 분석도구가 요구되고 있다. 현존하는 리눅스 기반의 소프트웨어 성능 분석 도구는 전체 시스템 관점에서 소프트웨어 계층에 따라 응용 소프트웨어의 실행 흐름을 파악하기에는 한계가 있다. 본 논문에서는 모든 소프트웨어 계층에서의 실행 흐름을 일관적으로 파악할 수 있는 문맥 분석 기법을 제안한다. 이 도구를 통해서 사용자 영역의 사용자 정의 함수와 라이브러리 함수, 커널 영역에서의 시스템 호출과 커널 이벤트에 대한 호출자와 피호출자에 대한 관계를 모두 파악할 수 있다.

• School Mathematics
• /
• v.17 no.2
• /
• pp.157-178
• /
• 2015

The purpose of this study was to investigate the role of calculators as a cognitive tool rather than calculating tool in learning elementary school mathematics. The calculator activities on multiplying two numbers ending with 0s or two decimal fractions and mixed four operations were developed, and exploratory lessons with the activities were implemented to three 3rd graders and two 5th graders. The results were shown that calculators provided an alternative effective learning environment: students were able to use heuristic thinking, reason inductively and successfully investigate principles of mathematics through the pattern recognition. And finally, we discussed the heuristic method through utilizing calculators.

• Journal of Educational Research in Mathematics
• /
• v.27 no.3
• /
• pp.599-614
• /
• 2017

The purpose of this study is to compare and analyze middle school students' understanding of constant rate of change, in terms of observing, representing and interpreting dynamic functions in various ways using the SimCalc MathWorlds. For this purpose, parts of a class conducted for six students in the first grade of middle school were analyzed. The results suggested two implications for a class that used this program (SimCalc MathWorlds): First, we confirmed that the relationships between the two quantities that students notice in the same situation can be different. Second, the program helped students to develop a more comprehensive understanding of the meaning of the constant rate of change. The study also revealed the need to use technology in teaching and learning about functions, particularly to represent and interpret a given situation that involves the constant rate of change in various ways. Further, the results can contribute to developing contents and methods to teach functions using technology in consideration of students' different levels of understanding.

• Journal of Educational Research in Mathematics
• /
• v.21 no.4
• /
• pp.345-359
• /
• 2011

In this research, we designed an educational activities of exploring mathematics programs in a course of mathematics education in teacher's college. We divided future mathematics teachers into 8 groups and suggested 8 mathematics programs to them. Each group explored one mathematics program. We asked to future mathematics teachers exploring some cases that use effectively a mathematics program in the teaching of school mathematics. In the process of an exploring, we designed some activities of teaching and learning. We provided opportunities of long-term exploration, group learning, presentations, exercises, reflections to mathematics teachers. As a result, future mathematics teachers acquired basic knowledge on the usage of mathematics programs in school mathematics textbook. In addition, their capabilities that are needed to explore mathematics programs have been enhanced. Also they had learned the teacher's positive attitude through the activities of teaching and learning.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2016.07a
• /
• pp.249-250
• /
• 2016

본 연구에서는 데이터 분석도구인 R을 활용하여 튜터링 학습법 참여 학생의 성취도를 검증하였다. 분석도구 R은 대용량 데이터의 고급 분석과 통계 계산을 위한 스크립트 언어로 빅데이터의 자료 분석에 다양하게 활용되고 있다. 대학의 학습 활동 측면에서의 튜터링 학습법은 학습 능력이 우수한 선배 또는 동료인 튜터와 학습 받고자하는 튜티가 1:1 또는 1:N의 관계를 이루고 학습 활동을 진행해 나가는 과정이다. 튜터링 학습법 운영 후 실시하는 참여 학생 만족도 조사 결과에 의하여 튜터링 학습법이 학력 수준 차이를 극복하는데 도움이 되고 있다는 정성적인 근거는 있으나 정량적인 분석 연구는 부족한 실정이다. 이에 본 연구에서는 튜터링 학습법에 참여한 공학정보학부 튜티들의 성적 결과를 분석도구 R을 활용하여 분석하여 튜터링 학습법이 학업성취도에 긍정적 영향을 미치는 것을 검증하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.11a
• /
• pp.291-294
• /
• 2010

표준 코딩 스타일은 개발 단계에서 오류 가능성이 있는 코드를 사전에 차단하고 코드의 가독성을 높여 소스코드의 품질을 높일 수 있는 대표적인 방법이다. 자동차 분야에서는 MISRA-C 와 같은 표준 코딩 스타일이 있으며 이를 검사하는 다수의 도구가 개발되었다. 본 논문에서는 소프트웨어의 안전성 및 신뢰성을 기반으로 국제 및 산업 표준 권고 사항과 경험적인 사례를 바탕으로 가전 기기 소프트웨어에 적합한 코딩 스타일 43 종을 정의했으며 이를 구현한 자동화 도구를 개발했다. 개발된 C 코딩 스타일 검사기를 이용하여 냉장고와 세탁기에 탑재된 소스코드에 대상으로 실험해 개발자들이 쉽게 위배하는 규칙에 대해서 살펴보았다. 위배한 코딩 스타일 중 주석관련 스타일이 각 소스코드 별로 64%, 24%로 가장 많이 차지하고 있으며, 제어문 관련 규칙이 12%, 17%, 코드 모양(Layout)관련 규칙이 4%, 11% 순으로 나타났다. 본 논문에서 개발한 코딩 스타일 검사 도구는 향후 양산되는 제품에 계속적으로 적용될 것이며 소프트웨어 품질 향상에 실질적인 도움이 될 것으로 기대된다.

• Journal of Engineering Education Research
• /
• v.11 no.4
• /
• pp.64-75
• /
• 2008

The purpose of the study was to verify reliability and validity of SDLRS instrument and to prove up possibility of usage as an evaluation method for evaluating life-long learning. Literature review and survey were used to accomplish objectives of the study. 218 students in department of mechanical engineering of A university at Gyunggi province were responded for SDLRS(Guglielmino, 1977) instrument. Data were analyzed using descriptive statistics, factor analysis, t-test, and ANOVA test. 58 items in original version instrument were converted to 23 items. There were 7 factors for assessing the self-directed learning readiness according to this measurement scale with a total variance of about 58%. The total reliability of the final 23 items was $\alpha$. The final 7 factors consisted of love for learning, openness for learning, self-perception, basic learning function and independence, acceptance of responsibility for learning, leadership and future directivity, and creativity and exploration. The result of SDLRS analysis according to individual background, there were significant statistically in the grade, period of employment in industry, entering graduate school or not, and GPA, but no significant statistically in sexual difference, employment in industry or not, final academic level of parent, and income level of the family. In the future, final instrument will be needed to check in the respect of correlation with another ability and skill influencing on life-long learning, and more study will be done for developing life-long learning.

• School Mathematics
• /
• v.15 no.4
• /
• pp.975-994
• /
• 2013

In this paper, we analyzed the utilization trend of technology in the secondary mathematics textbooks based on the 6th, 7th and 2007 revised mathematics curriculums in Korea. We analyzed 30, 60 and 90 mathematics books based on the 6th, 7th and 2007 revised mathematics curriculums respectively. The analysis focused on three aspects of using technology, i.e., contents areas in which technology used, technological tools and programs used, and methods of using technology in teaching and learning mathematics. The results shows that the frequency of using technology in mathematics books has been increased as mathematics curriculum has been revised. In the mathematics books based on th 6th curriculum, only 25 scenes were found, but in 7th and 2007 revised curriculum 248 and 355 scenes were found. In the 6th curriculum, calculators and graphing calculators were used mainly, but in the 7th and 2007 revised curriculum many kinds of technological tools and softwares were used including CAS, dynamic geometry software, spreadsheets, programming language, and the Internet. Especially the internet was used frequently in the 7th curriculum. And the methods of using technology has been diversified as time passed. In the 6th curriculum, the technology mainly used for introducing technology and simple calculation, but in the 7th and 2007 revised curriculum the technologies and software were also used for understanding mathematical laws, principles and concepts and students-centered exploring the mathematical properties.

• Computational Structural Engineering
• /
• v.5 no.3
• /
• pp.44-47
• /
• 1992

본 학술기사의 목적은 구조설계를 위한 강력하고도 유용한 도구로서의 최적화기법을 소개하는 것이고 현재의 기술현황을 보여주는 것이다. 최적화의 발전은 유한요소법과 컴퓨터기법 그리고 최적화알고리즘 및 소프트웨어의 동시적인 발전으로부터 이루어진다. 이렇게 됨으로써 사용자가 꼭 최적화 이론가가 될 필요성은 없어질 것이고 모든 공학자는 설계의 질과 생산성을 증진시키기 위해 최적화를 훌륭한 설계기술로서 이용할 수가 있게 될 것이다. 최적화를 위한 두가지 접근방안이 제안되었다. 하나는 최적화 과정중 직접적으로 사용되는 민감도 정보를 제공하기 위해 유한요소해석 프로그램을 수정하는 것이고, 다른 하나는 설계변수와 구조응답들로 구성된 목적함수, 제약조건으로된 최적화문제에 최적화기법을 연결하는 것이다. 가장 좋은 방법은 이 두 접근방법의 조합된 방법인 것 같지만 서로 모순된 것 같기 때문에 분명하지가 않다. 따라서 이 부분은 앞으로 주목을 받을 충분한 가치가 있는 내용이 될 것이다. 원료 부족에 대한 인식의 증대와 부존에너지자원의 빠른 고갈은 경량이면서 효율적이고 경제적인 구조물에 대한 욕구를 증폭시켰다. 따라서 오늘날의 유용하고, 거대한 계산능력을 고려한다면, 최적화기법을 사용하고자 하는 동기는 충분한 것이고 숙련된 공학설계자들에 의해 응용됨으로써 최적화는 경쟁적인 우위를 제공하는 강력한 도구가 될 수 있을 것이다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2020.07a
• /
• pp.119-122
• /
• 2020

소스 코드가 없는 악성코드를 분석하거나 소프트웨어 취약점 분석을 위해 바이너리 분석이 요구된다. 바이너리 분석을 위한 도구 중 어셈블러는 사용자의 입력 없이 컴파일러 내부에서 수행되기 때문에 사용자 관점의 연구는 많지 않다. 그러나 바이너리 분석 과정 중 역어셈블과 중간언어(Intermediate Representation)의 정확성을 검증하기 위해 사용자가 어셈블리어를 입력하여 결과를 확인할 수 있는 어셈블러가 요구된다. 본 논문에서는 어셈블리어를 바이너리 코드로 변환하는 어셈블러 도구를 함수형 언어인 F#으로 구현하여 어셈블리 과정을 효율적으로 설계한 어셈블러 도구를 제안한다. F#의 강력한 패턴 매칭 기능을 사용하여 수백개의 명령어를 일괄적이고 직관적으로 처리하는 과정을 설계하고 구현하였다.