• 한국컴퓨터산업학회논문지
• /
• 제4권10호
• /
• pp.559-570
• /
• 2003

프로그래밍 초보자의 개인차에 따라 효과적인 개별학습을 제공하는 프로그래밍 언어 교사 시스템 구축을 위해서는 초보자의 프로그램에 있는 오류를 분석하고 그 원인을 파악할 수 있어야 한다. 본 연구에서는 플랜 정합과 프로그램 실행에 기반한 효과적인 프로그래밍 오류분석 시스템을 제안하고자 한다. 프로그램 실행 결과를 이용하여, 연관된 프로그래밍 플랜간의 연결 관계를 유연하게 표시하고, 플랜 정합의 차이점을 검증하며, 플랜간 공유변수의 조건에 따른 인과관계의 파악할 수 있게 된다. 또한 초보자에게 제공하는 오류 메시지는 플랜 간의 인과관계에 따라 오류의 원인과 그 파급 효과를 지적하고 예제나 반례에 해당하는 사례를 구체적으로 제공할 수 있게 되어, 사용자가 쉽고 명확하게 이해할 수 있게 제공이 가능해졌다.

• 한국멀티미디어학회논문지
• /
• 제7권7호
• /
• pp.985-997
• /
• 2004

본 논문에서는 플랜 정합과 프로그램 실행결과를 이용하여 초보자들의 C언어 프로그램을 이해하고 오류를 지적해 주는 프로그래밍 오류 분석시스템을제시하였다. 프로그램 실행 결과를 이용함으로써 프로그래밍 플랜간의 연관관계를 유연하게 표시할 수 있고, 플랜 정합의 차이점이 정확한지를 검증할 수 있게 해주며, 한 플랜의 오류가 연관된 타 플랜에 어떤 영향을 주었는지를 파악할 수 있게 해준다. 플랜 간의 연관관계에 따라 오류의 원인과 파급 효과를 지적하고 예제나 반례에 해당하는 사례를 구체적으로 제시하여, 사용자가 이해하기 쉽게 오류에 대한 설명을 제공한다. 14종의 다양하고 난이도 있는 실습예제에 대해 학생들이 작성한 프로그램에 있는 오류를 분석함으로써 안정되고 신뢰성 있는 오류분석 시스템임을 보여주고 있다.

• 한국지능시스템학회논문지
• /
• 제11권5호
• /
• pp.400-405
• /
• 2001

This paper addresses an effective approach of training neural networks classifiers for credit card fraud detection. The proposed approach uses evolutionary programming to trails the neural networks classifiers based on maximization of the detection rate of fraudulent usages on some ranges of the rejection rate, loot minimization of mean square error(MSE) that Is a common criterion for neural networks learning. This approach enables us to get classifier of satisfactory performance and to offer a directive method of handling various conditions and performance measures that are required for real fraud detection applications in the classifier training step. The experimental results on "real"credit card transaction data indicate that the proposed classifiers produces classifiers of high quality in terms of a relative profit as well as detection rate and efficiency.

• International Journal of Knowledge Content Development & Technology
• /
• 제5권2호
• /
• pp.75-101
• /
• 2015

In this paper, we investigate the notion of error correction memory applied to technical texts. The main purpose is to introduce flexibility and context sensitivity in the detection and the correction of errors related to Constrained Natural Language (CNL) principles. This is realized by enhancing error detection paired with relatively generic correction patterns and contextual correction recommendations. Patterns are induced from previous corrections made by technical writers for a given type of text. The impact of such an error correction memory is also investigated from the point of view of the technical writer's cognitive activity. The notion of error correction memory is developed within the framework of the LELIE project an experiment is carried out on the case of fuzzy lexical items and negation, which are both major problems in technical writing. Language processing and knowledge representation aspects are developed together with evaluation directions.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2003년도 ICCAS
• /
• pp.2588-2593
• /
• 2003

Any system has the possibility of an error occurrence. Even if trivial errors were occurred, the original system would be fatally affected by the occurring errors. Accordingly, the error detection must be demanded. In this paper, we developed a real-time error detection system would be able to apply to an electronic Jacquard system. A Jacquard is a machine, which controls warps while weaving textiles, for manufacturing patterned cloth. There are two types of mechanical and electronic Jacquard. An electronic Jacquard is better than a mechanical Jacquard in view of the productivity and realizability for weaving various cloths. Recent weaving industry is growing up increasingly due to the electronic Jacquard. But, the problem of wrong weaving from error data exists in the electronic Jacquard. In this research, a real-time error detection system for an electronic Jacquard is developed for detecting errors in an electronic Jacquard in real-time. The real-time system is constructed using PC-based embedded system architecture. The system detects the occurring errors in real-time by storing 1344 data transferred in serial from an electronic Jacquard into memory, and then by comparing synchronously 1344 data stored into memory with 1344 data in a design file before the next data would be transferred to the Jacquard for weaving. The information of detected errors are monitored to the screen and stored into a file in real-time as the outputs of the system. In this research, we solve the problem of wrong weaving through checking the weaving data and detecting the occurred errors of an electronic Jacquard in real-time.

• 정보보호학회논문지
• /
• 제26권1호
• /
• pp.153-168
• /
• 2016

본 논문은 마이크로소프트사의 CAPI를 대체하기 위하여 제안된 CNG의 구조와 특징, 프로그래밍 기법을 분석하였다. CNG는 플러그인 구조 기반의 독립된 모듈들로 구성되어 있기 때문에 구현해야 할 함수 및 기능의 범위를 최소화할 수 있어 개발비용과 확장 용이성 부분에서 CNG의 우수성을 잘 설명하고 있다. 또한, 확장성과 함께 최신의 암호화 알고리즘 및 감사 기능, 커널 모드 지원이 기업 및 공공기관 등의 환경에서 핵심 암호화 서비스로의 역할을 할 수 있게 한다. 따라서 이러한 기능들을 기반으로 기업과 공공기관이 조직 고유의 보안 요구사항에 맞게 CNG를 확장할 수 있도록 CNG 암호 라이브러리 구조에 대하여 분석하였다. 또한, 분석 결과를 기반으로 CNG 라이브러리를 활용하는 프로그램의 오류를 검출하기 위한 도구를 구현하였다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2003년도 추계학술발표대회(하)
• /
• pp.557-560
• /
• 2003

In this paper, we developed an editor and running engine for the SoftPLC. LD is the most popular standard IEC 1131-3 PLC language in Korea and used over 90% among the 5 PLC languages. In this paper, we have developed the ISPLC(Intelligent Agent System based Software Programmable Logic Controller). In ISPLC system, LD programmed by a user is converted to IL, which is one of intermediate codes, and IL is converted to the standard C code which can be used in a commercial editor such as visual C++. In ISPLC, the detection of logical error in high level programming(C) is more efficient than PLC programming itself. ISPLC provide easy programming platform to such beginner as well as professionals. The study of code conversion of LD-> U->C is firstly tried in the world as well as KOREA.

• 비파괴검사학회지
• /
• 제17권4호
• /
• pp.237-247
• /
• 1997

경계요소법에 최소 에너지기법을 적용하여 적외선 스캐닝을 이용한 물체 내부 미지의 공동(cavity)을 탐지하는 기하학적 역 열전도 문제의 해를 구하였다. 이 문제에서 경계요소식은 에너지 최소화 과정을 적용한, quadratic programming 문제로 전환되었으며, 가상적인 내부 경계가 실제 공동의 영역 내부에 위치하도록 정의되었다. 적외선 스캐닝 표면 온도가 측정 오차의 구속 조건을 만족하도록 가상 내부 경계에서의 온도 분포를 결정한 후, 이를 내부 경계 조건으로 하는 경계요소 해석을 수행하여 미지 경계의 위치를 결정하였다. 공동 탐지 알고리듬이 제시되었고 수치해석을 통하여 역 해법에 대한 최소에너지 기법의 효과를 분석하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2005년도 춘계학술발표대회
• /
• pp.333-336
• /
• 2005

웹구현을 위한 통합솔루션 환경과 재사용성 확장성의 확실한 장점을 지닌 COM+ 기술은 많은 연구를 통해 계속된 진화가 이루어지고 있다. 한편, COM+의 유용성을 이해하면서도 제어하고 관리할 수 있는 프로그램 개발과 유지보수 단계에서의 어려움은 상존한다. 본 논문에서는 CR다이어그램을 통해 운용을 모니터링 화하여 디버깅시 구조파악을통한 오류검출이 가능하도록 하였으며, 세부적으로 COM+를 그 실체인 Entity와 속성(Attribute)과 관계(Relationship)로 표현하여 구체화 하였다.

• Journal of Information Processing Systems
• /
• 제18권1호
• /
• pp.97-114
• /
• 2022

Interest is increasing in electrocardiogram (ECG) signal analysis for embedded devices, creating the need to develop an algorithm suitable for a low-power, low-memory embedded device. Linear approximation of the ECG signal facilitates the detection of fiducial points by expressing the signal as a small number of vertices. However, dynamic programming, a global optimization method used for linear approximation, has the disadvantage of high complexity using memoization. In this paper, the calculation area and memory usage are improved using a linear approximated template. The proposed algorithm reduces the calculation area required for dynamic programming through local optimization around the vertices of the template. In addition, it minimizes the storage space required by expressing the time information using the error from the vertices of the template, which is more compact than the time difference between vertices. When the length of the signal is L, the number of vertices is N, and the margin tolerance is M, the spatial complexity improves from O(NL) to O(NM). In our experiment, the linear approximation processing time was 12.45 times faster, from 18.18 ms to 1.46 ms on average, for each beat. The quality distribution of the percentage root mean square difference confirms that the proposed algorithm is a stable approximation.