• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제15권11호
• /
• pp.876-880
• /
• 2009

프로그램에 대한 자료흐름분석(data flow analysis)를 수행하기 위해서는 입력된 프로그램에 대응하는 제어흐름그래프(control flow graph)가 필요하다. 본 논문에서는 동기(synchronous)식 절차(imperative)형 언어 중 하나인 Esterel로 작성된 프로그램에 대해서 단순하면서 입력 프로그램의 구조와 흡사한 형태로 표현되는 근사-제어흐름그래프(over-approximated CFG) 생성방법을 제안한다. 제안된 방법을 이용하면 병렬 제어흐름을 표현하는 부분에서 실행 불가능한 경우까지 포함할 수 있다. 그렇지만, 생성방법이 직관적이고, 실제 수행경로를 모두 포함하기 때문에 다른 분석을 수행하는데 매우 적차하다.

• ETRI Journal
• /
• 제19권4호
• /
• pp.326-343
• /
• 1997

In this paper, we propose an ATM switch with the rate more than gigabits per second to cope with future broadband service environments. The basic idea is to separate the connection control flow from the data information flow inside the switch. The proposed switch has a dual-plane switch matrix with the synchronous control algorithm. The queuing behaviors of the proposed switch are shown by the discrete-time queuing analysis. Numerical analyses are taken both in the non-blocking crossbar switch and the banyan switch with internal blocking. Results show that a proposed dual-plane $16{\times}16$ switch would have the acceptable performance with maximum throughput of about 95 percent.

• 한국통신학회논문지
• /
• 제30권12B
• /
• pp.838-846
• /
• 2005

본 논문은 동기식 이더넷 시스템의 구현 시 고려해야 할 다음과 같은 두 가지의 사항에 대한 해결방안을 제시한 것이다. 첫째, 실시간 및 비실시간 트래픽을 모두 지원하기 위하여 일정주기의 사이클 기반으로 동작하는 동기식 이더넷 시스템은 이미 송신이 진행 중인 비실시간 프레임 때문에, 사이클의 시작 시점이 지연됨으로서 실시간 트래픽의 전송이 지연되는 문제점을 가지고 있다. 이 점에 착안하여, 기존 방식의 지터 성능을 분석한 후, 다음 사이클의 시작 시점을 참조하여 비실시간 프레임을 여러 사이클에 분할하여 전송함으로써 실시간 트래픽에 대하여 지터가 전혀 없는 엄격한 전송을 보장하는 방법을 제안하고, 또 다른 지터 억제 방식인 전송보류(hold) 방식과의 프레임 전송지연 특성을 비교 분석하였다. 두 번째는 한 사이클 내의 실시간 트래픽 전송 구간에는 비실시간 프레임을 전승할 수 없기 때문에, 신속히 송신되어야 할 링크 계층에서의 흐름제어용 IEEE 802.3x 중지(pause) 프레임의 전송이 지연됨으로써 과도한 비실시간 프레임의 손실을 초래하는 문제점이 있다. 이 점에 착안하여 실시간 트래픽 전송 구간에서도 흐름제어용 프레임의 전송을 허용하도록 하는 새로운 흐름제어 방법을 제안하고 이에 따른 비실시간 트래픽의 손실률을 분석하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 가을 학술발표논문집 Vol.33 No.2 (A)
• /
• pp.443-448
• /
• 2006

본 논문은 safety critical 실시간 반응형 시스템 하에서의 임베디드 소프트웨어 개발에 적합한 방법을 찾기 위해서 여러 가지 정형기법에 대해 논의하고 그 중 하나인 SCADE를 이용해 실제 임베디드 시스템을 직접 명세하고 검증한 후 구현한 내용을 서술한다. 본 논문에서는 data flow synchronous 언어인 Lustre를 소개하고, 소개된 언어가 실시간 반응형 시스템의 검증과 구현에 왜 적합한지를 논의하며, 하나의 시스템을 SCADE를 이용해서 명세하고 검증한 후 구현 한다. 수행된 실험을 통해서 data flow synchronous 언어는 실시간 반응형 시스템의 명세, 구현 그리고 검증에 적합한 언어라는 것을 언급하고, 이 언어의 사용이 복잡한 임베디드 시스템 개발에 효과적으로 사용될 수 있음을 제시한다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2008년도 하계종합학술대회
• /
• pp.407-408
• /
• 2008

This paper presents a synchronous pipeline design for IP-based H.264 decoding system. The first optimization for pipelining aims at efficiently resolving the data dependency due to motion compensation/intra prediction feedback data flow in H.264 decoder. The second one would enhance the efficiency of execution per each pipelining stage to explore the optimized latency and stage number. Thus, the 3 stage pipeline of CAVLD&ITQ|MC/IP&Rec.|DF is obtained to yield the best throughput and implementation. In experiments, it is found that the synchronous pipelined H.264 decoding system, based on existing IPs, could deal with Full HD video at 125.34MHz, in real time.

• 한국멀티미디어학회논문지
• /
• 제17권10호
• /
• pp.1189-1197
• /
• 2014

Recently, general purpose graphic processing units(GPUs) are being widely used in mobile embedded systems such as smart phone and tablet PCs. Because of architectural limitations of mobile GPGPUs, only a single program is allowed to occupy a GPU at a time in a non-preemptive way. As a result, it is difficult to meet performance requirements of applications such as frame rate or response time if applications running on a GPU are not scheduled properly. To tackle this difficulty, we propose to specify applications using synchronous data flow model of computation such that applications are formed with edges and nodes. Then nodes of applications are scheduled onto a GPU unlike conventional scheduling an application as a whole. This approach allows applications to share a GPU at a finer granularity, node (or task)-level, providing several benefits such as eliminating need for manually partitioning applications and better GPU utilization. Furthermore, any scheduling policy can be applied in response to the characteristics of applications.

• 대한전자공학회논문지SD
• /
• 제42권6호
• /
• pp.49-58
• /
• 2005

본 논문에서는 멀티프로세서 설계를 위한 동질적인 동기 데이터에 의해서 표현되는 LDFG(Linear Data-Flow Graph)의 최적화 ILP (Integer Linear Program)알고리즘을 제안하였다. 이 논문에서 제안된 연산들은 데이터의 종속적 의미를 담고 있지 않으며, 그러한 알고리즘을 위한 스케줄링은 시간 컴파일에 의해서 결정되어지며 충분한 정적 중첩 스케줄링이 고려된다. 제안된 중첩 스케줄링에서는 모두 선형의 동일한 스케줄링과 동일한 처리장치 할당한 것을 의미한다. 본 논문에서는 자원의 제약 하에서 스케줄링을 하였으며, 멀티프로세서 설계를 위한 LDFG의 최적화를 위하여 문제를 ILP 공식화하여 해법을 제공하였다. 벤치 마크 실험 결과들은 제안된 스케줄링 방법의 효율성을 검증하였다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2001년도 하계종합학술대회 논문집(1)
• /
• pp.25-28
• /
• 2001

In this paper we implement moving picture transfer system using bluetooth Development Kit (DK). To reduce the size of the image data, we use M-JPEG compression. We use bluetooth Synchronous Connection-Oriented (SCO) link to transfer voice data. Server receive image data from camera and compress the image data in M-JPEG format, and then transmit the image data to client using bluetooth Asynchronous connection-less (ACL) link. Client receive image data from bluetooth ACL link and decode the compressed image and then display the image to screen. Sever and Client can transmit and receive voice data simultaneously using bluetooth SCO link. In this paper bluetooth HCI commands and events generated by host controller to return the results of HCI commands are explained and the flow of bluetooth connection procedure is presented.

• 전력전자학회논문지
• /
• 제13권5호
• /
• pp.391-395
• /
• 2008

한국전력공사는 강진변전소에 FACTS 설비인 80MVA UPFC를 (주)효성과 공동으로 개발하여 2003. 5월 준공하였다. 강진 UPFC는 40MVA 병렬인버터와 40MVA 직렬인버터로 구성되어 있으며, 대용량 인버터 핵심기술은 지멘스와의 기술제휴로 개발되었다. 한국전력공사는 UPFC 운영을 통하여 확보된 기술을 기반으로 제어기술을 국산화하고 있으며, 현재 유지보수용으로 GTO Thyristor 밸브 시험 장비를 개발하였다. 본 설비는 기존 수작업에 의한 GTO Thyristor 밸브의 건전성 시험을 자동화하고, 자료를 체계적으로 이력 관리함으로써, UPFC 설비의 신뢰성 향상에 도움을 줄 것으로 기대된다.

• 전기학회논문지
• /
• 제57권10호
• /
• pp.1726-1730
• /
• 2008

In this paper, the application schemes for coordinated control system of multiple FACTS were presented to enhance the voltage stability around the metropolitan areas. In order to coordinated control of FACTS devices, f-V analysis method which is one of the indices for voltage stability was performed with real time network data which is transferred from SCADA/EMS system. If the system is unstable after contingencies, the new operation set-point of FACTS would be determined using bus sensitivity from tangent vector at voltage instability point. Otherwise, we would determine the new operation set-point of FACTS for considering economical operation, like as active power loss minimization using Optimal Power Flow algorithm. In simulation, the SCADA/EMS 2007's data are used for studying the coordinated control algorithm of multiple FACTS devices that is installed or will be installed in KOREA power system