• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.12 no.3
• /
• pp.1098-1104
• /
• 2011

This paper presents the development of the surface profile sensing system (SPSS) and its application to analysis of road surface. The SPSS which can robustly reconstruct the road input profiles from the intermixed data with the vehicle's dynamic motion, is implemented using the multi-sensor system with the optimally shaped transfer function. The performance of this system is evaluated by a series of experimental works in the devised simulator. And a real car test equipped with the proposed system is performed in the proving ground over both deterministic and random road surfaces. Finally, a feasibility of the system is investigated considering the road model.

• Proceedings of the KIEE Conference
• /
• summer
• /
• pp.57-59
• /
• 2004

최적 측정위치 선정 알고리즘을 모델 전력 시스템에 적용하였다. 최적 위치는 LQR에 근거한 최적화 방법으로 선정되었다. 제안된 알고리즘은 복잡한 동적 현상과 다수의 동적 방정식으로 표현되는 전력시스템에 적합하다. 제안된 탐색 알고리즘을 모델 전력시스템에 적용하여 유용성을 검증하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.10a
• /
• pp.359-362
• /
• 2001

본 논문은 순환공학 환경에서의 실시간 시스템 개발 및 검증을 위한 코드 생성기 구현과정에서 실시간 시스템에 대한 ATM(Abstract Timed Machine) 명세로부터 생성된 SRL(Software Representation Language) 중간코드로부터 Ada 실행코드 생성방법을 제시한다. 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법인 ATM은 기존의 정형기법과는 달리 순환공학 환경에서의 실시간 시스템이 갖는 정적 및 동적 속성은 물론 특정 환경에서의 동적행위도 표현이 가능하므로, DoME/ATM 그래픽 명세 표기와 중간코드로부터 실행코드를 자동 생성함으로써 순환공학 환경에서의 실시간 시스템 개발 및 검증을 가능하게 한다. 따라서, 실행코드 자동 생성기를 구현하기 위하여 본 논문에서는 선행연구에 의한 DoME/ATM으로부터 변환된 SRL/ATM 코드로부터 Ada 실행코드를 생성하기 위하여 SRL/ATM과 Ada의 관계를 분석하고 실행코드 생성을 위한 기본 규칙들을 정의하여, Ada 실행코드 생성기를 설계한다. 실행코드 생성기는 SRL 파스트리 생성기를 이용하여 구문분석을 통해 구문노드와 수식노드, 단말노드 둥과 같은 구문적 요소들을 추출하여 어휘분석을 통해 얻어진 정보들과 추출된 구문 정보들을 기반으로 실제 Ada 실행코드를 생성한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.689-691
• /
• 2003

워크플로우 관리 시스템은 모델링에서 비즈니스 프로세스 정의 데이터를 엔진으로 전송하기 위한 방법으로 정적 저장소와 동적 저장소 방식을 이용한다. 정적 저장소를 통한 데이터 전송은 로컬간 데이터 교환에 장점이 있지만 유연성과 확장성의 문제점을 갖는다. 본 논문에서는 유연성과 확장성 문제 해결 방법으로 동적 저장소 방식을 이용하며 알려지지 않는 외부 데이터의 신뢰성을 체크하기 위하여 WfMC 표준에서 제정한 XPDL를 사용함으로써 문법적, 의미적 타당성을 검증한다. 즉 XPDL 기반의 동적 저장소 전송 메커니즘을 설계하고 신뢰성 있는 데이터 전송을 위하여 문법적, 의미적 타당성 검증에 필요한 컴포넌트를 제시하고자 한다.

• Annual Conference on Human and Language Technology
• /
• 2018.10a
• /
• pp.639-641
• /
• 2018

고전적으로 이용되던 디렉터리 분류로는 원하는 정보를 빠르게 찾기 어려워지면서, 키워드 기반 검색 시스템이 정보 처리의 중심이 되고 있다. 본 논문에서는 개인용 컴퓨터에서의 빠른 자료 검색을 위한 키워드 기반 정보검색 시스템을 제안한다. 시스템에서는 동적 색인을 통하여 기존 시스템들보다 빠른 시간 내에 검색 결과를 제공한다. 내용 기반 검색과 다양한 포맷에 대한 문서 검색 기능을 포함하여 사용자에게 편리한 환경을 제공할 뿐만 아니라, 한글 문장이 포함된 문서에 대해서 원활한 검색을 제공하고자 한다. 성능 비교 검증을 수행한 결과 기존 시스템에 비해 보다 빠른 시간 내에 많은 문서를 탐지할 수 있음을 확인하였다.

• The Journal of Korean Association of Computer Education
• /
• v.11 no.1
• /
• pp.97-107
• /
• 2008

The result verification that determines correctness for the work results calculated in each PC is one of the most important issues in PC grid environments. In this literature, voting-based and trust-based schemes have been mainly used to guarantee the correctness of work results. However, these schemes suffer from both waste of resource utilization and high computation delay because they can not effectively cope with dynamic computational environments. To overcome these shortcomings, we introduce the distribution information of PC resources based on credibility and availability into result verification phase. Using this information, we propose a new result verification scheme, which can determine the correctness of work results by each PC resources' credibility and cope with the dynamic changing environments by each PC resources' availability. To demonstrate the efficiency of our result verification scheme, we evaluate the performance of our scheme from the viewpoints of turnaround time and resource utilization, utilizing resource distribution information in the Korea@Home that is a representative PC grid system in domestic. We also compare the performance of our scheme with that of other ones.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.4 no.1
• /
• pp.50-63
• /
• 1994

기존의 지식 기반 시스템들은 그 지식의 형태를 대부분 규책을 통해서 처리하고 있다. 그리고 이런 규책들은 일반적으로 사람에 의해서 외부에서 주어진며 주어진 규칙은 학습이 진행됨에 따라 그 형태가 바뀌게 된다. 그러나 실생활에서 일어나는 대부분의 일들은 주어진 한정된 수의 규칙에 의해서만 수행되기보다는 반복수행 또는 점진적인 학습에 의해서 동적으로 그 수와 적용범위가 바뀌게 된다. 본 논문에서는 외부로부터 얻어지는 데이터를 통해서 그들 사이의 관계를 알아내고, 이를 통해 새로운 규칙을 생성하며, 계속적으로 학습이 진행됨에 따라서 능동적으로 규칙의 수와 적용범위가 변화하는 시스템을 제안한다. 동적 규칙 생성시스템의 유용성을 검증하기 위해서, 세 선분이 연결된 막대기의 한쪽 끝을 고정시킨 상태에서, 다른 쪽 끝이 원하는 위치에 도달하게 하는 문제에 적용하여 로보트 팔의 자동 조절 및 기계 학습의 자동화에 기여할 수 있음을 보여준다.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.27 no.4
• /
• pp.291-298
• /
• 2007

This paper presents a signal processing algorithm to control the dynamic bandwidth of a single-degree-of-freedom (SDF) dynamic sensor system. An accelerometer is a representative SDF sensor system. In this paper, a moire-fringe-based fiber optic accelerometer is newly used for the test of the algorithm. The accelerometer is composed of one mass, one damper and one spring as a SDF dynamic system. In order to increase the dynamic bandwidth of the accelerometer, it is needed to increase the spring constant or decrease the mass. However, there are mechanical difficulties of this adjustment. Therefore, the presented signal processing algorithm is very effective to overcome the difficulties because it is just adjustment in the signal processing software. In this paper, the novel fiber optic accelerometer is introduced shortly, and the algorithm is applied to the fiber optic accelerometer to control its natural frequency and damping ratio. Several simulations and experiments are carried out to prove the performance of the algorithm. As a result, it is shown that the presented signal processing algorithm is a good way to broaden the dynamic bandwidth of the fiber optic accelerometer.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06a
• /
• pp.343-344
• /
• 2008

최근 시스템의 복잡도가 증자함에 따라 보안 취약점 문제가 더욱 많이 발생하고 있다. 이를 해결하기 위해 보안 패치가 배포되고 있지만, 시스템 서비스의 중단이 필요하고 패치 자체의 안정성이 검증되지 못해 패치의 적용이 늦어지는 문제가 발생한다. 우리는 이러한 문제를 해결하기 위해 업데이트성이 없는 커널을 위한 함수 단위 동적 업데이트 시스템인 DUNK를 설계 하였다. DUNK는 서비스 중단 없는 업데이트를 가능케 하고, 보안 기법인 MAFIA를 이용해 안전한 업데이트를 수행한다. MAFIA는 바이너리 패치 코드의 접근 행위를 분석함으로써 패치된 함수가 기존 함수의 접근 권한을 상속받도록 하고, 이를 검증하는 기술을 제공한다. 본 논문에서는 DUNK의 설계와 MAFIA의 알고리즘 및 수행에 대해 기술한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2007.05a
• /
• pp.741-744
• /
• 2007

데스크탑 그리드 시스템에서 각 자원에서 수행한 작업 결과에 대한 정확성 검증은 중요한 문제이다. 작업 결과에 대한 정확성을 보장하기 위해서 결과 검증 기법으로 투표기반 기법이나 신뢰기반 기법이 사용되어 왔다. 그러나 이러한 기법들은 동적인 연산 환경에 효과적으로 대처하지 못하여 낮은 확장성과 높은 연산 지연을 초래할 수 있는 단점을 갖고 있다. 이러한 단점을 해결하고자 본 논문에서는 자원제공자에 의해 초래될 수 있는 잘못된 연산 결과에 대해 각 자원제공자의 신용도(credibility)를 동적으로 평가하여 연산 결과의 정확성을 판단하는 적응적 결과 검증 메커니즘(Adaptive Result Verification Mechanism: ARVM)을 제안한다. 또한, 제안하는 ARVM 은 자원제공자의 가용성(availability) 정보를 이용하여 결과 검증 시에 요구되는 연산 지연을 최소화한다.