• 대한전기학회논문지
• /
• 제45권1호
• /
• pp.100-112
• /
• 1996

This paper presents a design experience of a control language for coordination of a multi-robot system. To effectively program job commands, a Petrinet-type Graphical Robot Language(PGRL) is proposed, where some functions, such as concurrency and synchronization, for coordination among tasks can be easily programmed.In our system, the proposed task commands of PGRL are implemented by employing formal model languages, which are composed of three modules, sensory, data handling, and action module. It is expected that by using our proposed PGRL and formal languages, one can easily describe a job or task, and hence can effectively operate a complex real-time and concurrent system. The control system is being implemented by using VME-based 32-bit microprocessor boards for supervisory, each module controller(arm, hand, leg, sensor data processing module) and a real time multi-tasking operating system(VxWorks). (author). 17 refs., 16 figs., 2 tabs.

• 한국정보과학회논문지:데이타베이스
• /
• 제29권3호
• /
• pp.230-245
• /
• 2002

실시간 응용을 위한 데이타베이스 시스템은 각 트랜잭션에 부여된 시간 제약사항을 만족해야 한다. 일반적으로, 트랜잭션 스케줄러는 종료시한이라는 형태로 각 트랜잭션의 시간 제약 사항을 표현하며 이는 그 트랜잭션의 우선순위로 사용이 된다. 최근, 보안이 많은 실시간 응용에서 중요한 요구사항이 되고 있다. 많은 시스템에서 기밀성을 띤 정보가 서로 다른 인가등급을 가진 사용자에 의해 공유된다. 시간 제약사항과 동시에 기밀 데이타를 관리하는 응용에서 진보된 데이타베이스 시스템의 사용이 증가하면서 시간 제약사항과 보안 요구사항을 만족하는 병행수행 제어 프로토콜의 개발이 요구되어지고 있다. 본 논문에서는 보안 요구사항과 실시간 요구사항을 보장하는 두 개의 병행수행 제어 프로토콜들을 제안한다. 제안하는 프로토콜들은 다중버전 로킹에 기반을 두고 있지만 두 가지 제약사항을 만족시키기 위해서 얼림이라는 새로운 기법을 사용한다. 또한, 제안하는 프로토콜의 정확성을 증명하고 기존의 로킹에 기반을 둔 프로토콜들보다 높은 병행수행 정도를 제공함을 증명한다. 마지막으로, 몇 가지 예제를 통해 다른 프로토콜들과 성능 분석을 수행하여 성능 향상이 있음을 보인다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (1)
• /
• pp.205-207
• /
• 1998

ECA 규칙에 근거한 능동성 개념은 실시간 데이터베이스에서 중요한 연구 분야이다. 기존에 연구된 실시간 동시성 제어 기법들은 능동성 개념을 지원하지 않기 때문에 실시간 능동 데이터베이스를 위한 동시성 제어 기법을 제안한다. 기존에 제안된 실시간 다중버전 동시성 제어 기법을 능동 데이터베이스에 적용하여 시간 제약과 능동 규칙을 동시에 만족하도록 고안하였다. 특히, 본 연구에서 제안한 동시성 제어 기법은 ECA 규칙에 의해서 실행된 트랜잭션들 사이의 선행관계와 능동관계를 연관시켜 데이터베이스의 일관성을 유지한다.

• 한국정보처리학회논문지
• /
• 제7권9호
• /
• pp.2783-2796
• /
• 2000

전자상거래 시스템에서 패키지 상품의 구매가 이루어지기 위해서는 패키지 상품을 구성하는 상품들이 구비되어 있어야 할뿐만 아니라 충분한 수량이 확보되어 있어야만 구매자의 요구가 있을 때 이를 실시간으로 처리할 수 있게 된다. 그리고 다수의 사용자가 동시에 가상쇼핑몰에 접근하여 패키지 상품을 구매하고자 할 때에도 상품에 대한 동시성 제어가 효율적으로 이루어져야만 한다. 본 논문에서는 고정형 패키지와 맞춤형 패키지상품 구매 시 상품선택과 구매가 효율적으로 이루어지도록 하기 위해서 모든 상품에 대한 실 수량과 판매가능 수량정보를 유지토록 함으로써 구매자의 요구를 실시간으로 처리할 수 있도록 하였고, 트랜잭션의 처리율이 향상되도록 하였다. 그리고 트랜잭션의 동시성 제어를 효율적으로 하기 위해서 잠금을 기반으로 한 동시성제어 알고리즘을 제시하였다.

• 대한전자공학회논문지
• /
• 제27권6호
• /
• pp.963-971
• /
• 1990

This paper proposes a memory intensive VLSI architecture for the realization of real-time 3x3 neighborhood processor based on the distributed arithmetic. The proposed architecture is characterized by a bit serial and multi-kernel parallel processing which exploits the pixel kernel parallelism and concurrency. The chip implements 8 neighborhood processing elements in parallel with efficirnt input and output modules which operate concurrently. Besides the a4chitectural design of a neighborhood processor, the design methodology using module generator concept has been considered and MOGOT(MOdule Generator Oriented VLSI design Tool) has been constructed based on the workstation. Based on these design environments MOGOT, it has been shown that the main part of the suggested architecture can be designed efficiently using 2\ulcorner double metal CMOS technology. It includes design of input delay and data conversion module, look-up table for inner product operation, carry save accumulator, output data converter and delay module, and control module.

• 인터넷정보학회논문지
• /
• 제1권2호
• /
• pp.11-18
• /
• 2000

본 논문은 실시간 트랜잭션 시스템(Real-Time Transaction System)에 하위 트랜잭션(subtransaction) 개념을 도입한 새로운 확장모델을 제시하였다. 제안된 모델은 J. Moss 모델을 실시간 단일 프로세스에 특정한 시간제약을 부과함으로 확장되었으며, 이를 기반으로 통합된 동시성 제어와 스케줄링 알고리즘이 개발되었다. 이는 Sha의 우선 순위 제한 알고리즘에 기반하여 확장된 알고리즘으로, 실시간 트랙잭션의 시간제약을 보장함과 동시에 데이터베이스의 일관성도 함께 유지한다. 본 논문은 제안된 실시간 중첩 트랜잭션 모델이 무한정한 블록킹(blocking)과 데드락(dead lock)을 방지함과 동시에 실시간 트랜잭션의 직렬화도 유지함을 증명하였으며, 또한 트랜잭션의 상위 바운드를 설정하고, 고정 우선순위 기반 방법(Rate-Monotonic Priority Assignment)을 적용함으로 스케줄링 가능성을 분석하였다. 본 연구는 다중 및 분산 실시간 중첩 트랜잭션 모델로 확장하기 위한 첫 단계이며, 또한 최근 관심을 모으는 웹기반 실시간 멀티미디어 데이터베이스 모델로 확장이 가능한 것으로 추정된다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2005년도 ICCAS
• /
• pp.433-437
• /
• 2005

The goal of our research is to develop a formal modeling methodology for supervisory and controlling systems that have artificially intelligent features. This approach is agent-based and central to the development of the model of mobility agent considering reactivity for real-time purpose and deliberation for optimal realization and safe-fail problems for critical systems like Intelligent Transportation Systems by high-level Petri net. By using nets within nets we investigate the concurrency of the system and the agent in one model without losing the needed abstraction, and synchronous channels are introduced to denote the coordination and communication. Finally an example is demonstrated.

• 한국정보과학회논문지:데이타베이스
• /
• 제30권4호
• /
• pp.397-407
• /
• 2003

이동 클라이언트를 이용한 공간 데이타의 변경 트랜잭션은 서버와 통신을 단절한 상태에서 사용자와의 상호 연산을 통하여 수정하는 긴 트랜잭션이다. 따라서 트랜잭션의 동시성 제어를 위해 잠금을 이용한 비관적 기법을 사용하면 이동 클라이언트가 잠금을 획득하기 위해 오랜 시간동안 대기해야 하므로 일반적으로 검증 작업을 이용한 낙관적 기법이 적합하다. 본 논문에서는 이동 클라이언트를 이용해 공간 데이타를 변경하는데 적합한 S-S-M(서버-대리 PC-이동 클라이언트) 구조를 위한 대리 트랜잭션 모델을 제안하고 모델에 따른 관리자클 구현한다. 서버와 이동 클라이언트가 대리 PC를 통해 통신하는 이 구조에서 대리 트랜잭션의 동시성 제어를 위해 공간 객체간의 위상 관계인 공간 관련성을 고려하며 기존의 검증 조건을 확장한다. 또한, 충돌이 발생한 트랜잭션의 완료 비용을 최소화하기 위해 대리 PC에서 충돌이 발생한 객체에 대하여 조정 작업을 수행하며 이를 지원하기 위한 확장된 완료 프로토콜을 제시한다.

• 한국정보과학회논문지:데이타베이스
• /
• 제27권4호
• /
• pp.596-603
• /
• 2000

낙관적 기법은 실시간 데이터베이스 시스템을 위한 동시성 제어로서 적합하다. 특히, 종료시 한을 초과한 트랜잭션이 시스템으로부터 제거되는 펌 실시간 데이터베이스 시스템에서 낙관 적 기법은 잠금 기법보다 우수한 성능을 보인다. 그러나 낙관적 기법은 낭비적 수행과 과도 한 재시작의 문제를 안고 있다. 종료에 가까운 트랜잭션의 재시작은 시스템 자원의 낭비는 물론 종료시한 초과 가능성을 높인다. 발생되는 재시작의 수를 줄이기 위해서 충돌하는 트 랜잭션들간의 직렬화 순서를 동적으로 저장하는 방법이 이용되었다. 그러나 직렬화 순서의 동적 조정 기법을 이용함에도 불구하고 불필요한 재시작이 발생된다. 본 논문에서는 기존의 타임스탬프 기반 동시성 제어에서 이용되던 Thomas 기록 규칙을 이용하여 이러한 불필요 한 재시작을 제거한 개선된 실시간 낙관적 동시성 제어 기법을 제한한다. 제안된 방법은 요 구되는 데이터베이스 일관성을 보장하면서도 발생되는 재시작 수를 줄임으로써 성능을 향상 시킨다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 춘계학술발표논문집 (하)
• /
• pp.1563-1566
• /
• 2003

본 논문은 실시간 데이터베이스 환경에서의 동시성제어 프로토콜을 제안 그 성능을 향상시키고자 한다. 기존에 실시간 데이터베이스에서 주로 쓰이는 2PL-HP(2 Phase Locking with High Priority)의 방법은 높은 우선순위를 갖는 트랜잭션(HPT)의 선행 처리를 항상 보장하기 때문에 낮은 우선순위를 갖는 트랜잭션(LPT)의 철회 및 블로킹이 불가피하였다. 이러한 문제를 해결하고자 본 논문에서는 실시간 데이터베이스에 기존의 XAL의 기부연산을 확장하고 우선순위 개념을 도입해 LPT의 불필요한 철회 및 기다림을 방지할 수 있는 효율적인 동시성제어 프로토콜을 제안한다.