• 대한수학교육학회지:수학교육학연구
• /
• 제25권3호
• /
• pp.281-302
• /
• 2015

본 연구에서는 국가수준 학업성취도 서답형 문항의 문제해결 과정에서 나타나는 오류를 살펴보기 위하여 236개 학교 8007명의 답안지를 추출하여 분석하였다. 분석에 사용한 문항은 국가수준 학업성취도 평가 중학교 수학 서답형 문항으로 내용 영역은 '문자와 식', '함수'이고 행동 영역은 '문제해결'과 '계산'이다. 두 문항 모두 주어진 문제 상황에 알맞은 식을 세우고 조건에 맞는 결과를 산출하는 문제이다. 분석 결과 각 문항에 따라 문제 상황을 파악하여 식을 세우고, 풀며, 결과를 기술하는 세가지 과정에서 다양한 오류들이 나타났다. 본 연구에서는 이에 대한 원인을 추론하여 교수학적 시사점을 이끌어 내고자 하였다.

• 한국정보통신학회논문지
• /
• 제9권6호
• /
• pp.1333-1340
• /
• 2005

본 논문은 리눅스 커널 운영체제에서 커널 개발자의 실수나 의도하지 않은 오류 및 시스템 오류로 인하여 발생되는 시스템 정지 현상을 줄이기 위한 커널 하드닝 기능을 설계한다. 본 논문에서 제안하는 커널 하드닝 기능은 문제가 발생한 커널 부분을 수행 중인 프로세스에 대한 동작을 정지시키는 기능과 오류가 발생한 코드에 대한 변수 값이나 주소 값이 가진 특정한 값을 복구시키는 기능을 가진다. 커널 하드닝 기능에서 문제가 있는 모든 프로세스를 무조건 복구하는 것이 아니라 복구 가능성을 판별하여, 복구 가능한 프로세스에 대해서만 복구 될 수 있도록 한다. 또한 오류가 발생한 커널 코드에 대해서 복구 가능한 경우에는ASSERT() 함수에서 복구가 가능하도록 설계하였다.

• 한국통신학회논문지
• /
• 제24권7A호
• /
• pp.1080-1089
• /
• 1999

병렬 연쇄 컨볼루션 부호 및 직렬 연쇄 컨볼루션 부호의 ML 연판정 복호에 대한 비트오율확률의 상한치는 가중치 열거함수(Weight Enumerating Function; WEF)를 통해서 구할 수 있으며, 이 상한치는 반복 택 알고리듬과 양방향 탐색 알고리듬을 혼합한 새로운 오류사건 탐색 알고복호를 통해 얻을 수 있는 비트오류확률의 하한치가 된다. 본 논문에서는 스리듬을 제안하고, 얻어진 오류사건을 이용하여 WEF를 계산하는 알고리듬을 제안한다. 컴퓨터 시뮬레이션을 통해, 반복복호를 통해 얻을 수 있는 비트오류확률의 하한치가 됨을 확인하였다.

• 한국정보통신학회논문지
• /
• 제21권6호
• /
• pp.1113-1120
• /
• 2017

최근 정보통신 기술의 발달로 인하여 데이터의 양이 점차 증가하고 있으며, 이에 대한 처리와 관련된 연구가 활발히 진행되고 있다. 주어진 집합 내에 특정 개체의 존재여부를 알기위해 사용되고 있는 블룸필터는 데이터의 공간 활용에 매우 유용한 구조이다. 본 논문에서는 블룸필터의 긍정오류확률에 대한 요인분석과 함께, 긍정오류를 최소화 시키기 위한 방안으로 병렬구조 방식의 블룸필터를 제안한다. 일반 블룸필터의 최소 긍정오류확률값을 가질 수 있도록 구현된 병렬 불룸필터 방식은 일반 블룸필터 크기의 메모리와 유사한 크기를 사용하지만, 해쉬함수별로 병렬 처리함으로서, 속도를 높일 수 있다는 장점을 가진다. 또한 완전 해쉬함수를 사용하는 경우에는 삽입뿐 아니라, 삭제도 가능하다는 장점을 가진다.

• 자원ㆍ환경경제연구
• /
• 제10권1호
• /
• pp.25-44
• /
• 2001

본 논문의 목적은 양분선택질문형 비시장가치평가법을 통한 편익추정에 사용되는 제 함수의 적합성 여부를 검증하기 위해 사용될 수 있는 방법론들을 비교 검토하는 것이다. 여가수렵의 환경적 요인의 변화에 따른 편익추정에 사용된 함수의 적합성을 판단하기 위해 변이계수접근법, 함수설정 오류 테스트, 그리고 비모수접근법 등이 각 함수에 적용되었다. 결과에 따르면, 편익추정에 이용된 세 가지 로짓함수(선형, 로그, 쉐어모형) 모두 적합한 것으로 판정되었다. 주어진 함수형태에 적용된 세 방법론간에 밀접한 일치성을 보였으며 경우에 따라서는 상호보완적이라는 함축성을 보이기도 하였다 이와 같은 결론은 로짓함수로부터 추정된 값들에 Krinsky-Robb 시뮬레이션을 이용하여 구축한 신뢰구간의 함수간 비교를 통해서도 확인되었다. 주어진 환경 시나리오에 대해 각 함수로부터 도출된 평균 추정치의 신뢰구간이 모두 충분히 중복되었기 때문에 편익추정과 관련하여 함수형태간에 유의적 차이가 없음이 입증된 것이다.

• 한국학교수학회논문집
• /
• 제5권2호
• /
• pp.83-100
• /
• 2002

• 한국통신학회논문지
• /
• 제40권5호
• /
• pp.957-963
• /
• 2015

AltBOC 신호의 자기상관함수는 좁은 주 첨두로 인하여 향상된 측위 정확도를 제공한다. 하지만, AltBOC 신호의 자기상관함수에는 주변 첨두가 존재하기 때문에, 이로 인해 심각한 위치 추적 오류를 일으킬 수 있다는 단점이 존재한다. 본 논문에서는 AltBOC 신호 추적을 위한 비모호 상관함수 생성 기법을 제안한다. 구체적으로는, 우선 서로 대칭인 부분 상관함수를 얻은 후, 이들을 조합하여 주변 첨두가 제거된 비모호 상관함수를 생성한다. 모의실험을 통해 제안한 상관함수를 이용하여 신호 추적을 수행할 경우, 기존의 상관함수들에 비해 더욱 뛰어난 추적 오류 표준 편차 (tracking error standard deviation: TESD) 성능을 보임을 확인한다.

• 한국학교수학회논문집
• /
• 제15권4호
• /
• pp.627-641
• /
• 2012

중등학교의 함수와 방정식 단원을 지도할 때 수식의 표현에서 곱셈과 괄호 기호를 생략하는 경우 일부 학생들이 오류를 보이는 것을 늘 발견할 수 있다. 학습 부진이 없는 학생들은 함수와 방정식에 있는 문자가 어떤 수를 대표한다는 것과 관련된 원리들을 알기 때문에 오류를 거의 범하지 않지만 학습 부진이 있는 학생들은 이런 원리들에 대한 이해가 부족한 상태에 있기 때문에 오류를 자주 보이게 된다. 본 연구에서는 수학사 속에서 다양한 변화와 발전을 거듭해온 곱셈과 괄호 기호에 대해 먼저 살펴보고, 이를 바탕으로 설문지를 이용한 조사를 통해 효과적인 지도방법에 대해 연구하였다. 본 연구에서는 함수와 방정식을 지도할 때 학습이 부진한 학생들에게 제시되는 수식표현에서는 곱셈과 괄호 기호를 생략하지 않을 것을 제안한다.

• 대한교통학회지
• /
• 제16권2호
• /
• pp.117-131
• /
• 1998

지체함수는 교통량과 속도의 관계를 단조 증가함수로 단순화하여 교통수요예측의 교통배정모형에 사용되게 된다. 이 지체함수를 구하는 방법은 두가지로 구분할 수 있는데, 첫째는 교통배정을 통해 구해지는 추정 링크통행량과 실측 교통량을 비교해 가면서 정산하는 방법이고 둘째는 교통량-속도 관계로부터 직접 구하는 방법이다. 첫째 방법은 구해진 O/D 통행량표의 부정확성과 모형에 내재하는 오류가 이 지체함수에 포함될 가능성이 매우 높은 단점을 가지고 있다. 본 연구에서는 교통량-속도 관계로부터 직접 도로유형별 지체함수를 구하여 교통배정에 적용하는 새로운 방법을 정입하였다. 교통망 전체에 대하여 단일 지체함수를 적용하는 기존의 방법은, 교통량 변화에 따른 통행시 간의 변화가 보다 둔감한 고급도로에 변화는 고급도로일수록 둔감하게 나타나며, 교통배정에 도로유형별 지체함수를 적용할 경우 단일 지체함수 적용시에 비하여 고급도로에 더 많은 교통량이 배정되게 된다. 본 연구의 결과, 교통망상에서 보다 현실적인 도로유형별 분담을 이룰 수 있는 방안이 정립됨으로써, 지금까지 교통배정에 있어 상대적으로 과소평가되어 왔던 고속도? 등 고급도로의 실제 타당성을 반영할 수 있게 되어 도로의 기능적 배차구조가 확립된 효율적인 교통망을 구성할 수 있는 계기를 마련한 것으로 판단된다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제34권8호
• /
• pp.708-720
• /
• 2007

메모리 접근연산으로부터 발생되는 프로그램 오류는 C언어로 작성된 테스트 대상 프로그램에서 가장 빈번하게 발생하는 오류이다[1,2]. 기존연구를 통해 이런 문제점을 해결하기 위한 다양한 메모리 오류 자동검출 방법들이 제안되었다. 하지만 기존의 오류검출방법은 테스트 대상 프로그램에 가해지는 부가적인 오버헤드가 매우 크거나 검출할 수 있는 메모리 접근오류의 종류가 제한적이다. 또한 메모리 할당함수의 내부구현에 의존성을 갖고 있기 때문에 플랫폼 간 이식성(portability)이 떨어지는 단점을 갖고 있다. 본 연구에서는 이러한 문제점을 해결하기 위해 새로운 메모리 접근오류 검출기법을 제안하고 테스트 자동화 도구를 설계하였다.