• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10c
• /
• pp.733-735
• /
• 2001

본 논문에서는 Ad hoc 망에서 오류 발생률에 적응적인 LLC와 MAC 프로토콜은 설계하였다. 이 프로토콜은 무선 링크상에서 수신자의 피드백 정보에 의존한다. LLC 계층에서는 피드백 정보에 따라 적합한 FEC를 선택하여 부호화하고 MAC 계층에서는 이를 뒷받침하기 위해 오류 발생 패킷에 대한 새로운 재전송 메커니즘을 사용한다. 결과적으로 시간에 따라 변화하는 채널 환경에 적응하여 성공적으로 패킷을 전송함으로써 패킷 전달 지연시간을 단축시키고 제한된 채널의 대역폭을 효과적으로 사용한다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2021.07a
• /
• pp.1-2
• /
• 2021

3D NAND 플래시 메모리는 플래너(2D) NAND 셀을 적층하는 방식으로 단위 면적당 고용량을 제공한다. 하지만 적층 공정의 특성상 각 레이어별 또는 셀 위치에 따라 오류 발생 빈도가 달라질 수 있는 문제가 있다. 이와 같은 현상은 플래시 메모리의 쓰기/지우기(P/E) 횟수가 증가할 수록 두드러진다. SSD와 같은 대부분의 플래시 기반 저장장치는 오류 교정을 위하여 ECC를 사용한다. 이 방법은 모든 플래시 메모리 페이지에 대하여 고정된 보호 강도를 제공하므로 물리적 위치에 따라 에러 발생률이 각기 다르게 나타나는 3D NAND 플래시 메모리에서는 한계를 보인다. 따라서 본 논문에서는 오류 발생률 차이를 보이는 페이지와 레이어를 분류하여 각 영역별로 차별화된 보호강도를 적용한다. 우리는 페이지와 레이어별로 오류 발생률이 현저하게 달라지는 3K P/E 사이클에서 측정된 오류율을 바탕으로 페이지와 레이어를 분류하고 오류에 취약한 영역에 대해서는 패리티 데이터를 추가하여 차별화된 보호 강도를 제공한다. 오류 발생 횟수에 따른 영역 구분을 위하여 K-Means 머신러닝 알고리즘을 사용한다. 우리는 이와 같은 차별화된 보호정책이 3D NAND 플래시 메모리의 신뢰성과 수명향상에 기여할 수 있는 가능성을 보인다.

• Proceedings of the ESK Conference
• /
• 1996.04a
• /
• pp.63-75
• /
• 1996

국내 원자력발전소의 발전정지사례에 대해 원전 종사원이 분석한 자료를 수록하여 발간하는 원자력발전소 발전정지사례집을 이용하여 인적오류가 개입된 것으로 판단된 총77건의 불시정지 사례를 추출하여, 인적오류 저감의 우선순위가 높은 원자력발전소 작업분야를 도출하기 위한 분 석을 수행하였다. 이를 이하여, 먼저 인적오류가 개입된 발전소 계통, 인적오유 발생시의 작업상 황 및 작업유형, 그리고인적오류의 유형에 대한 분류체계를 작성하였다. 발전소 근무 경험을 바 탕으로 사례별로 발전정지에 가장 직접적인 영향을 미친 작업행위를 구분하고, 이 행위에 대해 작성된 분류체계의 해당항목을 판정하였다. 이 사례별 분석결과를 이용하여 발전소 계통, 작업상 황, 작업유형, 오류유형 등, 4가지 항목에 대하여 오류발생의 추이를 분석하였으며, 또한 발전소 계통과 작업상황, 계통과 작업유형, 작업상황과 작업유형, 작업유형과 오류유형 등, 항목간 오류 발생 연관성을 조사하였다. 이 결과로 인적오류의 발생률이 높은 발전소 계통, 작업상황, 작업유형 및 오류유형이 구분되었다.

• School Mathematics
• /
• v.11 no.3
• /
• pp.431-462
• /
• 2009

Introduction of logarithm in mathematics textbook in the 7th national curriculum of mathematics is the inverse of exponent. This introduction is happened that students don't know the necessity for learning logarithm and the meaning of logarithm. Students also have solved many problems of logarithm by rote. Therefore, we try to present teaching unit for the logarithm according to the historico-genetic principle. We developed the learning-teaching module of unit for the logarithm according to historico-genetic principle, especially reinvention for real contexts based RME. Loaming-teaching module is carried out as the performance assessment. As a results, We find out that this module helps students understand concepts of logarithm meaningfully Also, mathematical errors of logarithm is revised after the application of learning-teaching module.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• v.9 no.2
• /
• pp.927-930
• /
• 2005

ACSR is a timed process algebra for the specification and analysis of real-time systems, which supports synchronous timed actions and asynchronous instantaneous events. PACSR is an extended ACSR with the notion of probabilities in selection operation. Using PACSR, this paper represents a system fault occurrence and recovery from the fault in the general resource alteration system. The result shows that system fault occurrence can be analyzed from the fault occurrence probability and the recovery probability.

• Annual Conference on Human and Language Technology
• /
• 1998.10c
• /
• pp.41-48
• /
• 1998

교정 시스템에 나타나는 오류 유형들 중에는 전체적인 교정률에 차지하는 비중은 적지만 출현할 때마다 틀릴 가능성이 아주 높은 오류들이 있다. 기존의 교정 시스템에서는 이러한 오류들에 대한 처리가 미흡한데, 철자 오류와 띄어쓰기 오류 중 형태가 비슷하거나 같은 형태가 다른 기능을 함으로써 발생하는 오류들이다. 이러한 오류는 일반 문서 작성자뿐만 아니라 한글 맞춤법에 대해 어느 정도 지식을 가진 사람의 경우에도 구분이 모호하다. 복합 명사와 미등록어를 제외한 오류 중 약 30%가 여기에 속한다. 따라서 본 논문에서는 이러한 오류 유형들을 분류하고, 이 중에서 빈번하게 출현하는 오류에 대한 교정을 시도하고, 오류 유형들이 문장 내에서 어떤 분포를 가지는지 알아본다. 약 617만 어절의 말뭉치를 이용하여 해당 형태와 다른 성분들과의 관련성을 조사하여 교정 방법을 제시하고, 형태소 분석을 하여 교정을 행한다. 코퍼스 655만 어절 대상으로 실험한 결과 84.6%의 교정률을 보였다. 본 논문에서 제시한 교정 방법은 기존의 교정 시스템에 추가되어 교정 시스템의 전체 교정률을 향상시킬 수 있다. 또한 이와 비슷한 유형의 다른 어휘 교정에 대한 기초 자료로 사용될 수 있을 것이다.

• Annual Conference on Human and Language Technology
• /
• 2015.10a
• /
• pp.133-136
• /
• 2015

문서 교정기에서 문맥의존 철자오류를 교정하는 방법은 크게 규칙을 이용한 방법과 통계 정보를 이용한 방법으로 나뉜다. 한국어와 달리 영어는 오래전부터 통계 모형에 기반을 둔 문맥의존 철자오류 교정 연구가 활발히 이루어졌다. 그러나 대부분 연구가 문맥의존 철자오류 교정 문제를 특정 어휘 쌍을 이용한 분류 문제로 간주하기 때문에 실제 응용에는 한계가 있다. 또한, 대규모 말뭉치에서 추출한 통계 정보를 이용하지만, 통계 정보 자체에 오류가 있을 경우를 고려하지 않았다. 본 논문에서는 텍스트에 포함된 모든 단어에 대하여 문맥의존 철자오류 여부를 판단하고, 해당 단어가 오류일 경우 대치어를 제시하는 영어 문맥의존 철자오류 교정 기법을 제안한다. 또한, 통계 정보의 오류가 문맥의존 철자오류 교정에 미치는 영향과 오류 발생률의 변화가 철자오류 검색과 교정의 정확도와 재현율에 미치는 영향을 분석한다. 구글 웹데이터에서 추출한 통계 정보를 바탕으로 통계 모형을 구성하고 평가를 위해 브라운 말뭉치에서 무작위로 2,000문장을 추출하여 무작위로 문맥의존 철자오류를 생성하였다. 실험결과, 문맥의존 철자오류 검색의 정확도와 재현율은 각각 98.72%, 95.79%였으며, 문맥의존 철자오류 교정의 정확도와 재현률은 각각 71.94%, 69.81%였다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.25 no.11A
• /
• pp.1709-1716
• /
• 2000

ATM 스위치에서 입력 트래픽의 링크 이용의 불확실성과 입력 트래픽에 대한 예측 오류 등으로 인한 폭주가 발생될 가능성을 완전히 배제할 수 없기 때문에 스위치내부에서 폭주 발생을 억제할 수 있는 방법이모새되어야 한다.본 논문에서는 스위치 내부 링크의 대역 사용량을 측정하여 폭주 및 트래픽 제어를 수행하고 링크 이용률을 최대화하기 위한대역 할당 알고리즘을 제안한다. 폭주가 발생한 링크에 대하여 짧은 시간 내에 폭주를 해결하고 폭주가 발생하지 않은 링크에서는 사용하고 남은 여분의 대역을 공평하게 할당함으로서 링크의 이용률을 극대화할 수 있으므로 트래픽 관리를 보다 쉽고 효율적으로 수행할 수 있다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.14 no.3
• /
• pp.648-654
• /
• 2010

Request operations and release operations occur repeatedly in resource allocation systems. The process requesting a resource acquires one by any priority-based mechanism, and returns the resource after some periods. In this system, resource failures lead to delay of resource allocation, or to termination of process holding the failed resource. To analyze this process effectively, this paper designs a probabilistic ACSR, a process algebra that extends ACSR with the probabilistic choice operation. The ability to express/analyze both request-release rates and failure-recovery rates is illustrated using probabilistic ACSR.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04a
• /
• pp.409-411
• /
• 2004

최근 무선 네트워크 환경이 확대됨에 따라 전송률 향상을 위해 MANET(Mobile Ad Hoc Networks)에 관한 연구가 활발하게 진행되고 있다. 기존 TCP 프로토콜은 전송오류가 거의 발생하지 않는 유선망에서 효율적인 동작을 하도록 설계되었기 때문에 MANET에 적용하기에는 어렵다. 무선망에서는 경로손실, 페이딩. 간섭 등의 영향에 의해 유선망에 비해 전송오류 발생률이 훨씬 높기 때문이다. 이런 문제점을 해결하기 위한 전송률 향상에 대한 접근뿐만 아니라 이동성과 휴대성을 갖는 우선 단말의 에너지 효율 역시 고려한 접근 방법이 관심을 받고 있다. 본 논문에서는 TCP-Probing을 개선하여 ad hoc 망에 적합하도록 적용함으로써 전송률뿐만 아니라 에너지 효율을 향상시키기 위한 방법을 제안한다. 또한 NS-2시뮬레이터를 이용한 실험을 통해 TCP의 성능 및 에너지 효율이 개선됨을 확인하였다.