• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제6권1호
• /
• pp.36-44
• /
• 2000

본 논문은 고속통신망을 통하여 사용자 개입을 허용하는 멀티미디어 프리젠테이션과 멀티미디어 응용에 포함된 다양한 미디어의 저작을 동시에 수행할 수 있는 도구의 개발에 관한 것이다. 도구 개발을 위해 실시간 동기식 멀티미디어 프리젠테이션을 지원하기 위해 동적 버퍼링 기법, 송수신 시스템간의 데이타 전송률을 동기화를 위해 버퍼 관리 기법과 QoS 파라메터를 기반으로 한 적응형 전송 알고리즘을 적용하였다. 또한, TRSG 모델을 이용하여 사용자가 프리젠테이션 도중에 참여할 수 있도록 하였다. 마지막으로 제안된 도구가 QoS 유지 및 동기화에 영향을 미치는 요소들을 계속적으로 모니터링하여 멀티미디어 프리젠테이션의 수행 상태를 지속적으로 제어하는 이벤트 감시 스레드 기법을 적용하여 연속적인 출력보장과 최소한의 QoS를 지원할 수 있도록 하였다.

• 한국컴퓨터정보학회논문지
• /
• 제6권4호
• /
• pp.38-44
• /
• 2001

병행성(concurrency)과 객체지향 패러다임을 통합하는 문제가 여러 해 동안 많은 사람들의 목표가 되어 왔다. 병행 프로그래밍과 객체지향 프로그래밍 기법을 결합한 병행 객체지향 프로그래밍 언어는 병행 응용 프로그램을 개발하는데 여러 가지 이점을 얻을 수 있다. 그러나 병행성과 상속성은 서로 충돌하는 특성을 가지기 때문에 캡슐화를 심각하게 파괴하지 않고는 동시에 사용하는 것이 어렵게 된다. 이러한 상속변칙 현상은 응용성을 제한하게 되고, 동기화가 발생하는 모든 문제를 처리하지 못하게 된다. 본 논문에서는 상속성과 객체 기반의 병행성 사이의 충돌 현상 해결에 행위 기술 방정식을 도입하였다. 그 결과, 여러 가지 상속 변칙 문제를 해결할 수 있고 메소드의 재정의가 불필요하게 되었다. 따라서 동기화와 함수 코드의 재사용을 인하여 유연성을 가진 병행성 모델을 제공할 수 있다.

• 정보보호학회논문지
• /
• 제14권6호
• /
• pp.15-24
• /
• 2004

인터넷과 정보통신의 발달과 더불어, 공개키 기반구조를 이용한 전자상거래가 광범위하게 사용하고 있으며, 또한 웹 응용 및 DB 시스템에 대한 접근제어에 관한 연구가 활발히 진행되고 있다. 공개키 인증서에 대한 검증방법으로는 CRL, OCSP, SCVP 등의 방법이 있으나, PKI 기반구조에서 사용되고 있는 인증서 검증방법이 권한제어를 필요로 하는 PMI 시스템에서 적용되기 위해서는 두개의 인증서에 대한 검증방법이 서로 연계되어야 한다. 왜냐하면 속성인증서는 권한제어를 위한 사용자의 속성정보를 저장하고 있는 반면에, 서명, 암호화 기능 등에 사용될 수 있는 공개키 정보를 포함하지 않고 있기 때문이다. 본 논문에서는 이와 같은 PKC와 PMI 간의 인증서 사용에서의 문제점을 분석하고 이를 해결하기 위하여 PMI 기반에서의 속성인증서를 중심으로 한 통합인증서 검증모델을 제안한다.

• Journal of Information Processing Systems
• /
• 제15권3호
• /
• pp.570-592
• /
• 2019

The Event-B design pattern is an excellent way to quickly develop a formal model of the system. Researchers have proposed a number of Event-B design patterns, but they all lack formal behavior semantics. This makes the analysis, verification, and simulation of the behavior of the Event-B model very difficult, especially for the control-intensive systems. In this paper, we propose a novel method to transform the Event-B synchronous control flow design pattern into the labeled transition system (LTS) behavior model. Then we map the design pattern instantiation process of Event-B to the instantiation process of LTS model and get the LTS behavior semantic model of Event-B model of a multi-level complex control system. Finally, we verify the linear temporal logic behavior properties of the LTS model. The experimental results show that the analysis and simulation of system behavior become easier and the verification of the behavior properties of the system become convenient after the Event-B model is converted to the LTS model.

• 한국시뮬레이션학회논문지
• /
• 제18권3호
• /
• pp.73-82
• /
• 2009

CMOS 카메라는 저가격, 저전력, 소형화의 장점을 이용해 휴대폰카메라, 자동차 산업, 의학 및 센서 네트워크, 로봇제어, 보안 분야의 연구에서 이용되고 있다. 특히 다중카메라(Multi-Camera)기반의 $360^{\circ}$ 전방향 카메라(Omni-directional Camera)의 소프트웨어, 통신간섭 및 지연과 복잡한 영상제어 문제가 있으며, 하드웨어 분야에서는 다중카메라의 효율적인 관리 및 소형화의 문제를 지닌다. 기존 시스템은 다수 카메라를 제어하고 카메라 영상을 송수신하기 위해 카메라별 고성능 MCU로 구성된 임베디드 시스템(embedded system)과 별도의 제어 시스템(control system) 같이 다계층 시스템(Multi-layer system)으로 구성된다. 하지만 본 시스템은 단일구조로 저성능 MCU 기반에 고속 동기화기법으로 카메라 제어 및 영상 수집이 가능하도록 SLAVS(Small size/Low power Around View System)을 제안하였다. 화각 $110^{\circ}$ CMOS 카메라 여러 대를 이용하여 $360^{\circ}$전방향을 촬영하는 저성능 MCU로 카메라의 제어 및 영상 수집이 가능한 전방향 카메라 초기모형이다. 결과적으로 저전력 CMOS 카메라 4대를 하나의 MCU에 연결하여 개별 카메라에 대한 동기 유지, 제어 및 송수신을 구현하고 이를 기존의 시스템과 비교하였다. MCU를 통한 개별 인터럽트 처리로 카메라별 동기를 제어, 기억하여 Target과 CMOS 카메라와 MCU간의 재동기를 최소화하여 데이터 전송의 효율성을 높였다. 또한, 사용자 선택에 따라 4개의 영역으로 구분된 영상을 각기 또는 하나로 Target에 제공할 수 있도록 하였다. 마지막으로 개발된 카메라 시스템의 동기 및 데이터 전송 시간, 이미지 데이터 유실 등의 성능 비교, 분석을 하였다.

• 한국정밀공학회지
• /
• 제21권8호
• /
• pp.136-142
• /
• 2004

This paper deals with the design and implementation of an open architecture CNC system for Wire-EDM, with a consideration of the difference between Wire-EDM and NC cutting machines. Recent open architecture controller(OAC) related research results could be applied to directly access Wire-EDM systems at the CNC level. However, previous research about OAC is mostly aimed at NC cutting machines such as milling or lathes, and hence these results are inadequate to apply to Wire-EDM. To close the gap between previous general research on OAC and Wire-EDM specific needs, an open architecture NC model for Wire-EDM composed of a synchronization kernel and a NC functional module is proposed. Based on the control information flow and Wire-EDM specific machining process, the conceptual CNC model and the detailed implementation model for Wire-EDM is suggested.

• 한국멀티미디어학회논문지
• /
• 제6권4호
• /
• pp.583-593
• /
• 2003

Engineering design applications require the support of long transactions in cooperative environments. The problem of the existing copy/update/merge approaches is that the partial effects of a committed transaction may be not part of the merged version. This paper introduces a new cooperative transaction model, which allows updates to be progressively notified or propagated into other transactions accessing the same object. To support incremental update propagation and notification, we use the term dynamic dependency to define the intertransaction dependency relationships among all the objects checked out from the public database. Consistency in multiple copies of the same object is achieved by a two-phase delta-merge protocol. Our model provides a synchronization of cooperative updates performed in several workspaces without using locking mechanisms.

• 제어로봇시스템학회논문지
• /
• 제6권11호
• /
• pp.943-954
• /
• 2000

Fieldbus is the lowest level industrial network in the communication hierarchy of factory automation and distributed process control systems. Data generated from field devices are largely divided into three categories : time-critical, periodic and time-available data. Because these data share one fieldbus medium, it needs a method that allocates these data to the bandwidth-limited fieldbus medium. This paper introduces an implementation method of bandwidth allocation scheme on PROFIBUS. In order to implement bandwidth allocation scheme on PROFIBUS, the following functions need to be supplemented on the FDL(Fieldbus Datalink Layer) protocol: (i) separation of medium bandwidth into periodic and non-periodic intervals, (ii) synchronization of node timers over a local link. In order to examine the validity of bandwidth allocation scheme on PROFIBUS, this paper develops an experimental model of a network system. The results obtained from the experimental model show that the bandwidth allocation scheme satisfies the performance requirement of time-critical, periodic and time-available data.

• 한국정밀공학회지
• /
• 제15권5호
• /
• pp.19-27
• /
• 1998

Color Display Tube (CDT) used in computer monitors, consists of many components. Deflection Yoke(DY) among them supplies the vertical and horizontal magnetic fields so that the spatial trajectories of electron beams are deflected according to the synchronization signals. If the magnetic fields are not correctly formed, there will be color blurring or blooming by a mis-convergence of each beam and the color image on screen may not be clear. Therefore, in the manufacture of DY. its quality is strictly examined to get the desired convergence and the occurred mis-convergence can be cured by sticking ferrite sheets on the inner part of DY. However, because it needs expert's knowledge and experience to find the proper position of the sheet, this article introduces an intelligent controller that the knowledge-base represented by a neuro-fuzzy model is used to find the optimal position of the ferrite sheet for the convergence.

• 한국정보통신설비학회:학술대회논문집
• /
• 한국정보통신설비학회 2008년도 정보통신설비 학술대회
• /
• pp.30-34
• /
• 2008

In this paper, we analyze the performance of pulse position modulation-time hopping ultra wide band (PPM-TH UWB) systems with antenna diversity technique in indoor wireless channel. A modified Saleh and Valenzuela (SV) model is adopted as a UWB indoor channel model. Perfect synchronization between a transmitter and a receiver is assumed. Therefore, coherent equal gain combining (EGC) scheme to collect the energy available in the multipath components is investigated. It is shown that the performance is improved by increasing the number of antennas at the receiver. The results of this paper can be applied to the applications of UWB.