• 한국안전학회지
• /
• 제28권3호
• /
• pp.107-113
• /
• 2013

Problem solving and/or decision making process usually encountered in human living consists of a sequence of human behaviors based upon his/her knowledge. Thus, Rasmussen introduced Skill-Rule-Knowledge paradigm to countermeasure human errors that can occur in Nuclear Power Plants. Unfortunately however, it was not so easy as expected since objective evidence have not been obtainable with conventional research techniques. With the help of EEG band pawer ratio techniques, this study tried to get psycho-physiological symptoms of human errors, if any, while human beings perform knowledge-based behaviors such as simple arithmetic computations with different difficulty level. A set of simulated works was carried out with a computer station. Four kinds of arithmetic computation tasks were given to 10 health male under-graduate students on different day individually, and during the experiment, EEG and ECG was measured continuously for objective psycho-physiological analysis. According to the results, ${\alpha}$/(${\alpha}+{\beta}$) as well as ${\alpha}/{\beta}$ band power ratio were sensitive to task difficulty level which consistently decreased both. However, any one of them failed to reveal the influence of tasks with different difficulty level in the aspect of task duration time. On the contrary, Heart Rate Variability was more suggestive than expected. To make a conclusion, it can be said that band power of EEG waves will be helpful in not only assessment of work difficulty level but also assessment of workers' skill development if supported by cardiac function such as HRV.

• 한국초등수학교육학회지
• /
• 제24권1호
• /
• pp.89-108
• /
• 2020

산술은 학교수학의 기초가 되기 때문에 학생들의 계산 숙달의 측면을 넘어서 산술적 사고 수준을 신장시키는 방향으로 의미 있게 지도되어야 한다. 이에, 본 연구에서는 임미인, 장혜원(2017b)에서 개발한 산술적 사고 수준 검사 도구를 활용하여 초등학교 5학년 100명을 대상으로 산술적 사고 수준을 분석하였다. 분석 결과, 100명 중 82명이 산술적 사고의 1수준, 15명이 2수준에 해당하고, 0수준, 3수준, 4수준에 해당하는 학생이 각 1명인 것으로 나타났다. 이는 초등학교 고학년에 해당하는 5학년 학생들의 산술적 사고 수준이 일반적인 예상보다 낮음을 보여 주는 결과이다. 따라서, 높은 비율을 보인 1수준, 2수준 학생들이 지니는 산술적 사고의 특징, 오류 유형 등을 분석하고, 그에 대한 논의로부터 초등 수학에서 학생들의 산술적 사고 수준을 신장시키는 것에 관한 유의미한 시사점을 도출하였다.

• 한국게임학회 논문지
• /
• 제14권2호
• /
• pp.55-66
• /
• 2014

영상 워핑은 입력 영상을 주어진 조건에 적합하게 변형하는 기술로, 최근 영화나 애니메이션 분야에서 캐릭터의 얼굴 형상을 변형하는데 활용되고 있다. 얼굴 특징을 기반으로 형상을 변형하는 워핑 방법 가운데 하나인 메쉬 워핑은 입력 영상에서 눈, 코, 입 주변의 사각형 모양의 메쉬 그룹을 형성하여 1:1정합시킴으로써 워핑 영상을 생성하는 방법이다. 이는 메쉬 제어점 좌표에 오차가 있거나 작은 면적의 메쉬로 세분화되어 생성된 경우 메쉬들의 경계 선분에서 결과 영상이 일그러지는 문제점이 있다. 본 연구는 얼굴의 자연스러운 워핑 영상을 생성하는 과정에서 오류 발생을 최소로 하며 정확한 결과를 적은 연산량과 시간에 처리하기 위해 삼각형기반의 영상 보간 기법을 제안한다. 우선 얼굴을 대표하는 특징점들을 찾고 이들을 연결하여 기본 삼각형 메쉬를 구성한다. 제안하는 방법은 기존의 메쉬 워핑과 비교하여 연산 처리량과 시간은 단축되면서 워핑 과정에서의 오류 발생을 줄일 수 있음을 실험으로 보인다.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제42권5호
• /
• pp.697-706
• /
• 2003

In this paper we consider the equality sign as a mathematical concept and investigate its meaning, errors made by students, and subject matter knowledge of mathematics teacher in view of The Model of Mathematic al Concept Analysis, arithmetic-algebraic thinking, and some examples. The equality sign = is a symbol most frequently used in school mathematics. But its meanings vary accor ding to situations where it is used, say, objects placed on both sides, and involve not only ordinary meanings but also mathematical ideas. The Model of Mathematical Concept Analysis in school mathematics consists of Ordinary meaning, Mathematical idea, Representation, and their relationships. To understand a mathematical concept means to understand its ordinary meanings, mathematical ideas immanent in it, its various representations, and their relationships. Like other concepts in school mathematics, the equality sign should be also understood and analysed in vie w of a mathematical concept.

• The Journal of the Acoustical Society of Korea
• /
• 제15권3E호
• /
• pp.13-18
• /
• 1996

A real-time identifier for the nonstationary time-varying signals and systems was implemented using a low cost DSP (digital signal processing) chip. The identifier is comprised of I/O units, a central processing unit, a control unit and its supporting software. In order t estimate the system accurately and to reduce quantization error during arithmetic operation, the firmware was programmed with 64-bit extended precision arithmetic. The performance of the identifier was verified by comparing with the simulation results. The implemented real-time identifier has negligible quantization errors and its real-time processing capability crresponds to 0.6kHz for the nonstationary AR (autoregressive) model with n=4 and m=1.

• 한국컴퓨터정보학회논문지
• /
• 제29권6호
• /
• pp.89-100
• /
• 2024

소프트웨어 테스팅의 궁극적인 목표는 소프트웨어의 에러를 찾아내고 수정하는 것이다. 소프트웨어 에러를 발견하기 어렵게 만드는 요인 중에는 소프트웨어의 에러가 출력에 도달하기 전에 내부에서 마스킹 되어 사라지는 것이다. 이 논문의 목적은 소프트웨어 테스팅을 어렵게 만드는 에러 마스킹의 원인 및 특성을 조사하는 것이다. 이를 위해 3개의 소프트웨어를 대상으로 인위적인 에러를 주입하여 그 에러가 다양한 테스트 케이스들에 의해서 얼마만큼 마스킹 되는지, 그리고 그 원인은 무엇인지를 조사하였다. 실험 결과 4가지 주요 발견이 도출 되었다. 첫째, 약 50% 정도의 에러 마스킹은 에러가 실행되지 않았기 때문에 발생하였다. 둘째, 여러 연산자들 중에서 논리연산자와 산술연산자는 에러를 상대적으로 적게 마스킹하고, 관계연산자와 시간 연산자는 에러를 상대적으로 많이 마스킹하였다. 셋째, 테스트 케이스들 중에 에러를 출력까지 전파시키는데 특별한 성능을 보이는 테스트 케이스의 존재를 확인할 수 있었다. 넷째, 주입한 에러의 종류에 따라서 마스킹 효과가 다르다는 것을 확인할 수 있었다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1991년도 한국자동제어학술회의논문집(국제학술편); KOEX, Seoul; 22-24 Oct. 1991
• /
• pp.1617-1622
• /
• 1991

Plane sweep is a general method in computational geometry. There are many efficient theoretical algorithms designed using plane sweep technique. However, their practical implementations are still suffering from the topological inconsistencies resulting from the numerical errors in geometric computations with finite-precision arithmetic. In this paper, we suggest new implementation techniques for the plane sweep algorithms to resolve the topological inconsistencies and construct the planar object boundaries from given input curve segments.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2007년도 하계종합학술대회 논문집
• /
• pp.203-204
• /
• 2007

In this work, we propose a compression algorithm for depth images, which are obtained from multi-view sequences. The proposed algorithm represents a depth image using a 3-D regular triangular mesh and predictively encodes the mesh vertices using a linear prediction scheme. The prediction errors are encoded with a arithmetic coder. Simulation results demonstrate that the proposed algorithm provides better performances than the JPEG2000 lossless coder.

• 대한전자공학회논문지SD
• /
• 제46권1호
• /
• pp.15-23
• /
• 2009

정확한 연산이 필요한 마이크로프로세서에서 소프트 에러에 대한 면밀한 연구들이 진행되었다. 마이크로프로세서 구성원 중에서도 메모리 셀은 소프트 에러에 가장 취약하고, 소프트 에러가 발생했을 때 중요한 정보들과 명령어들을 가지고 있기 때문에 전체 프로세스와 동작에 큰 영향을 미치게 된다. 아키텍처 레벨에서 이러한 소프트 에러를 발견하고 정정하기 위한 방법으로 오류 검출 및 정정 코드가 많이 사용되고 있으며, Itanium, IBM PowerPC G5등의 마이크로프로세서는 Hamming 코드와 Hasio 코드를 L2 캐쉬에 사용하고 있다. 하지만 이러한 연구들은 대형 서버에 국한되었으며 전력 소모에 대한 고려는 되지 않았다. 고집적 저전력 임베디드 마이크로프로세서의 출현과 함께 동작과 문턱 전압이 낮아짐에 따라 임베디드 마이크로프로세서에서도 오류 검출 및 정정 회로의 필요하게 되었다. 본 논문에서는 SimpleScalar-ARM을 이용하여 L2캐쉬의 입출력 데이터를 분석하고, 임베디드 마이크로프로세서에 적합한 32 비트 오류 검출 및 정정 회로의 H-matrix를 제안한다. 그래서 H-spice를 사용하여 modified Hamming 코드와 비교한다. 본 실험을 위해 MiBench 벤치마크 프로그램과 TSMC 0.18um 공정이 사용되었다.

• 한국안광학회지
• /
• 제15권3호
• /
• pp.219-225
• /
• 2010

목적: 굴절력 매트릭스와 가감 계산을 이용하여 구면 RGP 렌즈의 처방 굴절력 예측의 유용성을 평가하고자 하였다. 방법: 20대 55명 110안(남 36명, 여 19명 나이 $24.60{\pm}1.55$세)을 대상으로 비조절마비굴절검사와 덧댐굴절검사는 각막곡률측정 기능이 내장된 자동굴절력계를 이용한 타각적 검사와 자각적 검사를 실시하였다. 누액렌즈는 각막곡률과 RGP 렌즈의 베이스커브로부터 계산하였다. 현성굴절력과 누액렌즈로부터 매트릭스와 가감 계산에 의해 예측된 RGP 렌즈의 굴절력과 덧댐굴절검사 값을 구면(Sph), 등가구면(SE) 및 난시 굴절력 측면에서 비교하였다. 결과: 평균차이(MD)와 95% 일치도 범위(LOA=$24.60{\pm}1.55$)는 Sph (0.61D, $0.61{\pm}0.86D$)보다 SE (0.26D, $0.26{\pm}0.70D$)에서 좋았다. 실린더 굴절력에서 매트릭스와 가감 계산 사이의 평균차이와 일치도(-0.13D, $-0.13{\pm}0.53D$)는 다른 것(매트릭스와 덧댐굴절검사: -0.24D, $0.24{\pm}0.84D$; 가감 계산과 덧댐굴절검사, -0.12D, $0.12{\pm}1.00D$)보다 좋았다. 구면 RGP 렌즈의 적합성은 매트릭스에서 54.5%, 가감 계산에서 66.4%, 덧댐굴절검사에서 91.8%였으며, 가감 계산이 덧댐굴절검사에 근접하였다. 결론: 안경(또는 전체)난시와 각막난시의 축이 다르더라도 구면 RGP 렌즈 피팅 가능성과 처방 굴절력의 예측에서 매트릭스를 이용하는 것보다 가감 계산에 의한 등가구면 적용이 더욱더 유용하다.