• 대한한의학원전학회지
• /
• 제25권1호
• /
• pp.51-68
• /
• 2012

Objective : This paper is aimed at suggesting further tasks by checking and rectifying the errors of the ancieut Chinese-vernacular Korean translations of Park Ji-won(朴趾源)'s "Kumryosocho". Method : In order to correct the wrongly transcribed "Kumryosocho" was contrasted with the original "Xiangzubiji(香祖筆記)", of which the part is "Kumryosocho". And then the errors and mistakes are discovered in published ancient Chinese-to-vernacular Korean translations. Result : In the course of checking the existing translations of "Kumryosocho", this paper identified the following types of errors. 1. Errors attributable to unfamiliar names of medicinal herbs 2. Errors due to the unfamiliarity with the names of diseases or symptoms in Traditional Koreau Medicine(TKM). 3. Errors committed in hand transcription. These types of errors were committed as well in translating jargons routinely used in TKM books. To the surprise, the errors above have been repeated even in the latest version of its translation. This means that the medicine-related materials by Silhak scholars, including "Kumryosocho", were placed at a dead zone of the research between Chinese classic scholars and TKM scholars. Conclusion : To minimize errors and mistakes, it is needed to activate the cooperative work of heterogeneous experts in two academic fields.

• 한국컴퓨터정보학회논문지
• /
• 제18권1호
• /
• pp.123-136
• /
• 2013

시각적이고 비정형적인 구조로 표현된 휘처 모델(Feature model)은 구문적 명확성을 보장할 수 없고, 자동화 툴(tool)에 의한 구문(syntax)의 검증이 어렵다. 따라서, 휘처 모델이 가진 구조물의 구문적 명확성을 입증하기 위한 정형적 명세와 모델 검사(model checking)가 필요하다. 본 논문은 Z 언어를 이용한 휘처 모델의 정형적 명세와 모델 검사를 통해서, 휘처 모델의 정확성을 검사하는 기법을 제시한다. 이를 위해, 휘처 모델과 Z간 변환 규칙을 정의하고, 이 규칙에 의거하여 휘처 모델의 구문에 대해 Z 스키마(schema)로 명세한다. 모델 검사는 Z 스키마 명세에 대해 Z/Eves 툴을 사용하여 구문, 타입 검사(type checking), 그리고 도메인 검사(domain checking)를 수행하여 모델의 모호성을 검사한다. 이로서, 휘처 모델의 구조물을 좀더 명확하게 표현할 수 있으며, 설계된 모델의 오류를 검사할 수 있다.

• JSTS:Journal of Semiconductor Technology and Science
• /
• 제13권5호
• /
• pp.415-422
• /
• 2013

In this paper, we present Self-Checking look-up-table (LUT) based on Scalable Error Detection Coding (SEDC) scheme for use in fault-tolerant reconfigurable architectures. SEDC scheme has shorter latency than any other existing coding schemes for all unidirectional error detection and the LUT execution time remains unaffected with self-checking capabilities. SEDC scheme partitions the contents of LUT into combinations of 1-, 2-, 3- and 4-bit segments and generates corresponding check codes in parallel. We show that the proposed LUT with SEDC performs better than LUT with traditional Berger as well as Partitioned Berger Coding schemes. For 32-bit data, LUT with SEDC takes 39% less area and 6.6 times faster for self-checking than LUT with traditional Berger Coding scheme.

• International Journal of Advanced Culture Technology
• /
• 제9권1호
• /
• pp.203-209
• /
• 2021

When carrying out computer programming, the process of checking and correcting errors in the source code is essential work for the completion of the program. Non-computer majors who are learning programming for the first time receive feedback from instructors to correct errors that occur when writing the source code. However, in a learning environment where the time for the learner to practice alone is long, such as an online learning environment, the learner starts to feel many difficulties in solving program errors by himself/herself. Therefore, training on how to check and correct errors after writing the program source code is necessary. In this paper, various types of errors that can occur in a Python program were described, the errors were classified into simple errors and complex errors according to the characteristics of the errors, and the distributions of errors by Python grammar category were analyzed. In addition, a coding learning process to refer error lists was designed to present a coding learning method that enables learners to solve program errors by themselves.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제11권1호
• /
• pp.396-413
• /
• 2017

Dynamically checking the integrity of software at run-time is always a hot and difficult spot for trusted computing. Control-flow integrity is a basic and important safety property of software integrity. Many classic and emerging security attacks who introduce illegal control-flow to applications can cause unpredictable behaviors of computer-based systems. In this paper, we present a software-based approach to checking violation of control flow integrity at run-time. This paper proposes a high-performance and low-overhead software control flow checking solution, control flow checking at virtual edges (CFCVE). CFCVE assigns a unique signature to each basic block and then inserts a virtual vertex into each edge at compile time. This together with insertion of signature updating instructions and checking instructions into corresponding vertexes and virtual vertexes. Control flow faults can be detected by comparing the run-time signature with the saved one at compile time. Our experimental results show that CFCVE incurs only 10.61% performance overhead on average for several C benchmark programs and the average undetected error rate is only 9.29%. Compared with previous techniques, CFCVE has the characteristics of both high fault coverage and low memory and performance overhead.

• 전기전자학회논문지
• /
• 제21권2호
• /
• pp.130-135
• /
• 2017

Normally, in data transmission, extra parity bits are added to the input message which were derived from its input and a pre-defined algorithm. The same algorithm is used by the receiver to check the consistency of the delivered information, to determine if it is corrupted or not. It recovers and compares the received information, to provide matching and correcting the corrupted transmitted bits if there is any. This paper aims the following objectives: to use an alternative error detection-correction method, to lessens both the fixed number of the required redundancy bits 'r' in cyclic redundancy checking (CRC) because of the required polynomial generator and the overhead of interspersing the r in Hamming code. The experimental results were synthesized using Xilinx Virtex-5 FPGA and showed a significant increase in both the transmission rate and detection of random errors. Moreover, this proposal can be a better option for detecting and correcting errors.

• 한국정보처리학회논문지
• /
• 제6권8호
• /
• pp.2072-2087
• /
• 1999

소프트웨어의 대형화와 사용자 요구사항의 복잡화에 따라, 소프트웨어 개발 초기 단계에서의 산출물의 정확성과 일관성은 중요해지고 있다. 하지만, 객체지향 방법을 기반으로 한 설계 문서에 대한 오류 검출 및 일관성 점검을 위한 기법은 만족할 만한 수준에 이르지 못하고 있다. 본 논문은 UML(Unified Modeling Language)의 다이어그램들에 대한 메타모델을 작성하고, 메타모델의 각 요소들에 대하여 적용할 일반화된 메타규칙을 도출하고, 메타규칙들을 각 다이어그램에 적용한 세부규칙 도출에 활용하였다. 이 방법은 오류 검출과 일관성 점검에 활용할 세부규칙들을 체계적으로 도출하므로, 규칙의 완전성을 도모하고 규칙적용의 자동화를 가능하게 하였다. 또한, 도출된 세부규칙을 적용한 사례를 통하여 그 효용성을 확인하였다.

• 한국측량학회지
• /
• 제17권3호
• /
• pp.213-223
• /
• 1999

부가가치가 큰 대규모 공공자료인 국가기본도 수치지도 자료기반의 고품질을 확보하고, 수치지도제작에서 발생할 수 있는 각종 오류들을 효율적으로 탐색할 수 있는 개선된 수치지도제작 모형을 구현하였다. 이를 위해 기존에 제작된 수치지도를 분석하고 수치지도 상에 포함될 수 있는 각종 오류를 대분류 자료층으로 구분하여 유형화하고, 유형화된 오류들을 탐색하기 위해 자동오류탐색 프로그램과 전산부호검사 프로그램을 개발하였으며, 순수육안탐색방법을 체계화하여 오류탐색방법에 따라 탐색 가능한 오류들을 범주화하였다. 수치지도제작 개선모형을 구현하기 위해 연구한 결과, 수치지도 제작과정에서 발생할 수 있는 각종 오류들이 체계적으로 탐색됨으로써, 수치지도 제작 공정별로 오류가 감소된 수치지도 자료기반의 구축이 가능하게 되었으며, 수치지도 자료기반의 오류가 최소화되어 품질이 향상됨을 확인할 수 있었다.

• 한국지능시스템학회논문지
• /
• 제13권5호
• /
• pp.505-511
• /
• 2003

생성 규칙의 지식 표현 방식은 많은 장점에도 불구하고 일관성 유지가 어렵다는 단점을 갖고 있다. 그런데 지식의 일관성 유지 여부는 지식을 기반으로 한 추론 결과의 신뢰도에 직결되므로 신뢰성을 제고하기 위하여 일관성 검증 시스템이 필수적이다. 일관성 검증 방식 중 가장 많이 사용되는 쌍 검증(pairwise checking) 방식에서는 가치 있는 규칙이 생략될 수 있으며 규칙의 수가 많은 경우에는 검증 시간이 많이 걸리는 단점이 있다. 따라서 본 논문에서는 확실한 특성의 리스트와 가능한 특성의 리스트를 사용하고 검증단계를 개선함으로써 쌍 검증 방식의 단점을 보완하여, 구조적 및 의미적 오류도 제거한 수 있는 검증 시스템을 제안하고 구축한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권10호
• /
• pp.992-999
• /
• 2003

문법 검사기는 문장의 문법 오류를 찾고 이에 대한 적절한 대안을 제시하는 것이다. 문법 오류를 찾기 위해서 문법 검사기는 전체 문장을 분석해야 하며 이는 많은 자원이 소요되는 작업이다. 이러한 이유로 대부분의 한국어 문법 검사기는 중의성이 없는 작은 부분에 대해서만 구문 분석을 수행하는 부분구문 분석기를 이용하고 있다. 본 논문의 구문 분석기는 문법 오류를 검사하기 위해서 전체 구문 분석기를 사용하였다. 이 방식은 여러 단어를 사이에 두고 떨어져 있는 두 단어간에 문법적 오류가 있을 경우에도 이를 찾아서 고칠 수 있다. 결과적으로 이 방식은 수행 성능을 저하시키는 대신, 문법 오류를 수정하는 정확률의 향상을 기대할 수 있다. 본 논문의 문법 검사기는 문법 오류를 찾고 수정하기 위해서 65개의규칙을 사용한다. 전체 구문 분석기를 사용하는 한국어 문법 검사기는 약 7백만 어절로 구성된 실험 코퍼스에 대해서 약 96.49%의 교정 정확률을 얻을 수 있었다.