• 대한수학교육학회지:학교수학
• /
• 제4권3호
• /
• pp.361-373
• /
• 2002

In this paper, a series of tasks related on polygonal numbers and pyramidal numbers are suggested for using them as teaching unit materials for teaching and learning of sequences in junior high school mathematics. Especially, finding n-th term in those seque-nces, relations among polygonal numbers, and relations among Pyramidal numbers are focused on. A series of tasks related on polygonal numbers and pyramidal numbers have three math-eucational values. First, they have a value as natural materials for teaching and teaming of finding nth term of original sequences using pro-gression of differences. Second, they have a value as materials for teaching and learning of mathematical thinking such as general-ization, analogy, etc. Third, they have a value as materials for teaching and learning of algebraic operation, proof, and connecting mathematical knowledges.

• Nuclear Engineering and Technology
• /
• 제46권4호
• /
• pp.489-500
• /
• 2014

In this study, remote handling strategies for a large-scale argon cell facility were considered. The suggested strategies were evaluated by several types of field test. The teleoperation tasks were performed using a developed remote handling system, which enabled traveling over entire cell area using a bridge transport system. Each arm of the system had six DOFs (degrees of freedom), and the bridge transport system had four DOFs. However, despite the dexterous manipulators and redundant monitoring system, many operators, including professionals, experienced difficulties in operating the remote handling system. This was because of the lack of a strategy for handling the installed camera system, and the difficulty in recognizing the gripper pose, which might fall outside the FOV (field of vision) of the system during teleoperation. Hence, in this paper, several considerations for the remote handling tasks performed in the target facility were discussed, and the tasks were analyzed based on ergonomic factors such as the workload. Toward the development of a successful operation strategy, several ergonomic issues, such as active/passive view of the remote handling system, eye/hand alignment, and FOV were considered. Furthermore, using the method for classifying remote handling tasks, several unit tasks were defined and evaluated.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제60권1호
• /
• pp.1-19
• /
• 2021

본 연구는 초등학생들이 공학도구를 활용하여 측정으로서의 분수의 과제를 해결하는 과정을 분석하고 해결전략의 변화 과정에 대해서 논의하였다. 초등학생 13명을 대상으로 과제 중심의 임상면담을 실시하였고, 특히 분수를 처음 학습한 3학년 학생들의 측정 문제 해결 전략을 심층분석하였다. 그 결과, 추측하기에서 반복적인 분할하기, 임의의 단위 사용에서 주어진 단위 사용과 같은 두 가지 프로파일이 발견되었다. 각 프로파일의 대표적인 사례를 바탕으로, 공학도구의 활용이 역동적인 단위 개념을 형성하는데 기여하고 또한 분수와 관련된 의미형성과정에 드래깅과 같은 수학적 조작 활동이 영향을 줄 수 있음을 알 수 있었다. 본 연구의 결과가 분수의 다양한 의미를 탐구하고 학습하는 후속 연구를 위한 밑거름이 되길 기대한다.

• 한국비블리아학회지
• /
• 제27권1호
• /
• pp.5-25
• /
• 2016

본 연구는 9개 도 지자체 "기록관리기준표"의 현황을 조사 분석하고 향후 지자체 "기록관리기준표"의 단위과제 및 보존기간 설정을 위한 개선방안 제시를 목적으로 진행하였다. 이를 위해 문헌연구, 사례연구, 전문가 평가 방법을 이용하여 국내의 공공기록물 체계와 지자체의 기록물 평가체계를 조사하고 사례연구를 통해 9개 도 "기록관리기준표" 대기능 '건설건축'을 대상으로 단위과제와 보존기간의 현황 조사와 3개 도 이상에서 사용되고 있는 단위과제와 보존기간을 비교분석을 진행하여 단위과제와 보존기간의 특징과 문제점을 도출하였다. 사례연구를 통해 얻은 결과를 바탕으로 새로운 단위과제와 보존기간을 개발하였고 실무자와 전문가를 대상으로 전문가 평가를 진행하여 최종적으로 수정 설계안을 제시하였다. "기록관리기준표" 대기능 '건설건축' 수정 설계안으로 4개의 중기능 항목과 4개 도이상 운영되고 있는 소기능 18개 항목, 47개의 단위과제 항목을 제시하여 총 69개의 항목을 전개하였다. 본 연구는 향후 지자체 공공기록물의 독자성과 고유성, 기관의 업무 기능과 조직에 근거한 "기록관리기준표" 제정을 위한 참고 지침으로 활용될 수 있을 것이다.

• 한국통신학회논문지
• /
• 제23권6호
• /
• pp.1409-1418
• /
• 1998

최근의 오디오 압축 알고리듬은 다양한 코딩 기법을 조합하여 사용하고 있다. 이들은 DSP 작업(DSP task), 제어 작업(controller task), 그리고 혼합 작업(mixed task)으로 나눌 수 있다. 기존의 DSP 프로세서들은 이들 중 DSP 작업만을 효율적으로 설계되어 있어 제어작업이나 혼합작업에 대해서는 자원을 효율적으로 활용하지 못하는 단점이 있다. 본 논문에서는 기존의 DSP 프로세서가 가지는 DSP 작업에 대하여 고성능을 그대로 유지하면서 제어작업과 혼합작업에서도 좋은 성능을 가지는 새로운 구조를 제안하고 구현하였다. 제안된 프로세서 YSP-3는 4개의 실행 유닛 (곱셈기, 2개의 ALU, 메모리 접근 유닛)을 병렬로 배치한 후 4-way 수퍼스칼라명령어 구조를 사용하여 각 우ㅠ닛을 독립적으로 사용할 수 있도록 하였다. 제안된 구조는 일반적인 DSP 알고리듬과 AC-3 디코딩 알고리듬을 실행하여 성능을 평가하였다. 마지막으로 VHDL을 통해 $0.6\$\mu$textrm{m}$-3ML 표준셀 기술로 합성한 후 Compass상에서 모의실험으로 통해 33MHz의 시스템 클럭에 대해 최대 지연시간 상황에서 실시간 동작을 확인하였다.

• 한국IT서비스학회지
• /
• 제10권4호
• /
• pp.205-218
• /
• 2011

Unit testing which is the first task to perform software testing has a major impact on reducing s/w development cost and improving s/w quality. In order to make unit testing become the formal procedure rather than ad-hoc tasks performed by developer, the language-neutral measures are necessary in the programming which is able to specify the test cases. This paper presents a test assertion language for the language-neutral specification of the test cases. The suggested language is based on the ISO/IEC 24709-1, but it supports object oriented features and can describe test cases for unit testing. The test cases that are specified by the language can be used for generating test oracle source codes by test oracle generation tools.

• 로봇학회논문지
• /
• 제10권2호
• /
• pp.96-103
• /
• 2015

In this paper, we first point out the limitation of the existing methods in usability evaluation, and propose a new method to find tasks and users that can cause problems in the use of software applications. To deal with object-based applications, we define unit actions and divide a given task into the sequence of unit actions. Then, we propose a new measure to calculate the degree of lostness for the unit actions. In several experiments, we show the proposed method can represent the usability well while the previous method has a problem in object-based applications. We also find that the user's evaluation is more related to the proposed method than the previous method based on execution time through correlation analysis.

• 아동학회지
• /
• 제25권1호
• /
• pp.13-29
• /
• 2004

In this study of strategies used by young children in solving rectangular covering tasks before they have been taught area measurement, 75 5-, 6-, and 7-year-old children were asked to solve 3 rectangular covering tasks with a moveable unit. Three different sized units (4 cm., 2 cm., and 1 cm. cardboard squares) were provided and the children were asked to work out how many would be needed to cover a drawn rectangle. The resulting 5 developmental levels include incomplete covering, incomplete arrangement, complete covering, estimating, and measuring. Children using more advanced strategies were able to find correct number of units. While the tendency among older children was to use more advanced strategies, even 5-year-olds had an intuitive understanding of rectangular area measurement.

• 대한수학교육학회지:학교수학
• /
• 제14권2호
• /
• pp.213-232
• /
• 2012

교과서에서 제시된 수학과제, 특히 함수 영역에서의 그것이 학생들이 일상생활에서 일어나는 여러 가지 문제를 수학적으로 관찰, 분석, 조직, 사고하여 해결할 수 있게 하는 기회를 갖도록 하는지 알아보기 위하여 Smith & Stein (1998)이 제안한 수학 과제 분석틀에 따라 중학교 교과서의 함수 단원에 포함된 수학과제를 분석하였다. 분석 결과, 중학교 교과서의 함수 단원에 거의 대부분의 수학과제가 Low Level인 것으로 나타났다. 학년별 구성을 보면 High Level 수학과제의 분포가 학년이 올라갈수록 줄어들고 있음을 알 수 있었다. 교과서에서 포함된 대부분의 수학과제가 알고리즘적이고 간단한 절차만을 이용해서 해결할 수 있는 방법으로 정답을 찾아내도록 유도하는 과제만 제시된 것으로 나타났다. 또한 대부분의 High Level 과제는 교과서 본론에 위치하여 전개상 내용의 주가 되는 것이 아니라 단원을 마무리하는 뒷부분 혹은 중간에 간혹 제시되는 특이사항 부분에 포함되는 것으로 나타났다.

• 한국정보과학회논문지:시스템및이론
• /
• 제36권1호
• /
• pp.9-20
• /
• 2009

마감시간이 있는 주기 태스크와 마감시간이 없는 비주기 태스크가 공존하는 결성 실시간 시스템에서는 주기 태스크의 마감시간과 비주기 태스크의 빠른 응답시간을 보장하는 것이 중요하다. 본 논문에서는 비주기 태스크 처리에 효율적이면서 잘 알려져 있는 알고리즘인 Total Bandwidth Server(TBS) 보다 향상된 알고리즘인 Enhanced TBS(ETBS)를 제시한다. ETBS는 Earliest Deadline First(EDF) 스케줄링 알고리즘을 사용하는 단일처리기 시스템에서 주기 작업의 단위 수행시간마다 확보할 수 있는 잉여 여유시간을 이용해 온라인으로 비주기 태스크에 마감시간을 부여하는 알고리즘이다. 제시한 알고리즘은 주기 및 비주기 태스크들이 처리기의 이용률을 모두 이용할 수 있게 하며 주어진 주기 태스크들의 마감시간을 보장한다. ETBS 알고리즘은 TBS와 같은 계산 복잡도 O(1)을 가지면서도 TBS보다 좋은 응답시간을 가짐을 이론적으로 보였고, 정량적인 응답시간 차이는 모의실험을 통해 보였다.