• 정보처리학회논문지A
• /
• 제9A권1호
• /
• pp.61-74
• /
• 2002

본 논문에서는 시간 제한 조건을 가진 자유 선택 신호 전이 그래프로부터 비동기 회로를 합성하는 방법을 기술한다. 이 방법에서는 상태 그래프를 생성하지 않고 신호 전이 그래프로부터 직접 신호 전이들간의 관계를 구하여 비동기 회로를 합성한다. 본 논문의 합성 방법에서는 자유 선택 신호 전이 그래프를 선택 행위가 없는 결정성 신호 전이 그래프에 대하여 타이밍 분석을 수행하여 임의의 두 신호 전이 사이의 시간 제약 병렬 관계와 시간 제약 인과 관계를 구한다. 다음에는 이 관계들을 이용하여 각 결정성 신호 전이 그래프에 대한 합성을 수행하고 그 결과를 합병함으로써 전체 회로를 합성한다. 실험 결과에 의하면 본 논문에서 제안한 합성 방법은 상태 공간이 큰 회로에 대하여 현저하게 합성시간을 단축시킬 수 있을 뿐 만 아니라 기존의 상태 그래프 기반 합성 방법과 비교하여 거의 같은 면적의 회로를 합성한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (1)
• /
• pp.610-612
• /
• 2001

시간 제약 조건을 가진 타임드 페트리넷으로부터 최적화된 비동기식 제어회로를 생성하기 위해서는 시간 분석을 통하여 도달 가능한 상태만으로 구성된 축소 상태 그래프를 생성하는 작업이 매우 중요하다. 본 논문에서는 기존의 방법들이 적용 가능한 타임드 페트리넷의 범주에 제약을 가하거나 혹은 회로의 합성과는 직접적인 상관없이 시간 분석을 위하여 대규모의 시간 상태 그래프를 부가적으로 생성하는 문제를 해결하기 위하여 타임드 페트리넷으로부터 축소된 시간 상태 그래프를 직접적으로 생성하는 방법을 제안 한다 실험 결과는 제안된 방법이 모든 범주의 타임드 페트리넷으로부터 빠른 시간 내에 합성에 충분한 축소된 상태그래프를 생성함을 보여준다.

• 한국정보과학회논문지:시스템및이론
• /
• 제27권5호
• /
• pp.518-528
• /
• 2000

분산 실시간 시스템에서의 노드간 주고 받는 메시지는 크게 동기적 메시지와 바동기적 메시지로 나눌 수 있다. 동기적 메시지는 샘플링된 음성이나 화상 데이타와 같이 주기적으로 발생되는 메시지로 전달시간 제약을 가지므로 종단간 마감시간을 보장해 주어야 한다. 비동기적 메시지는 비주기적인 메시지로 일정하지 않게 발생하며 일반적으로 전달 시간 제약사항이 엄격하지 않다. 본 논문에서는 분산 환경에서 동적으로 발생하는 동기적 메시지에 대해 높은 마감시간 보장성을 제공 하는 실시간 프로토콜 TTP/C(timed token protocol with concession)을 제안한다. TTP/C는 비동기적 메시지나 긴급하지 않은 동기적 메시지의 전송 대역폭을 양보함으로써 긴급한 동기적 메시지의 마감시간 을 보장한다. 또한 TTP/C는 노드에서 전송되는 동기적 메시지의 발생시간이 주기와 다르게 일정치 않더 라도 높은 보장성을 갖는다. 모의 실험을 통하여 TTP/C가 기존의 TTP에 비해 동기적 메시지의 마감시간 보장성에 대해 높은 성능 향상을 가져옴을 보인다.

• 여가학연구
• /
• 제9권2호
• /
• pp.39-59
• /
• 2011

본 연구의 목적은 동아리 활동에 참여하는 고등학생들이 여가활동 중에 부딪히게 되는 제약조건을 극복하며 활동을 지속하기 위해서 협상전략을 수립해나가는 과정을 이해하고 해석하는 것이다. 연구 참여자는 활동경력이 1년 이상, 주 2회 이상의 참여빈도, 그리고 1회당 2시간이상의 참여 강도를 보이는 학생으로 선정하였다. 이들을 대상으로 심층면담과 비참여 관찰 등의 질적 자료를 이용하여 여가 제약을 극복하는 과정에 대하여 분석한 결과 네 가지 결과가 도출되었다. 첫째, 동아리 활동이 갖는 매력은 여가 제약을 극복하게 하는 중요한 동기요인이 되었다. 둘째, 동아리 활동에서 여가 제약은 존재하지만 여가 활동을 멈추게 하지 못하였다. 셋째, 시간과 경비 확보 또는 대인관계 개선 등의 여가제약 협상전략이 적절하게 구사되면서 연구대상자들은 성취감과 자아존중감이 높아지고 있었다. 넷째, 여가제약협상이 지속적으로 이루어지는 가운데 연구대상자들은 그들의 고유한 동아리 문화를 만들어 간다는 것을 알 수 있었다. 이와 같은 연구 결과는 다양한 동아리 활동을 하고 있는 청소년들이 지속적으로 참여할 수 있는 사례와 방안을 제시하여 이들이 긍정적으로 여가 경험을 축적해 가는데 도움을 줄 수 있을 것으로 사료된다.

• 정보과학회 논문지
• /
• 제43권3호
• /
• pp.314-326
• /
• 2016

엔터프라이즈 비즈니스 모델링의 정형 명세와 검증을 위해 프로세스 대수들이 사용된다. ${\pi}$-calculus와 Mobile ambient는 분산 실시간 비즈니스 프로세스의 이동성을 표현할 수 있다. 그러나 이동성을 표현하는 데 있어 몇 가지 제약이 존재한다: 1) ${\pi}$-calculus는 포트의 이름을 전달함으로써 간접적으로만 이동성을 표현한다, 2) mobile ambient는 ambient를 사용하여 강제적인 비동기적 이동만을 표현한다. 이러한 문제를 해결하기 위하여 본 논문은 이동성을 표현하기 위한 새로운 프로세스 대수인 ${\delta}$-calculus를 제안한다. ${\delta}$-calculus는 비즈니스 프로세스의 동기적 이동을 시공간에서 직접적으로 표현할 수 있다. 이동성으로 인해 나타날 수 있는 안전성, 보안성의 위협은 동기성, 우선순위, 데드라인 속성들을 통하여 표현이 가능하다. 제안한 개념의 시뮬레이션을 위해 ADOxx 메타-모델링 플랫폼으로 SAVE 도구를 개발하였다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제5권6호
• /
• pp.738-747
• /
• 1999

본 논문에서는 분산 실시간 시스템의 특징인 분산 처리 과정의 신뢰성을 지원하기 위한 동적 트랜잭션 처리 구조를 연구하였다. 실시간 분산 처리 환경에서 동적으로 발생하는 실시간 분산 트랜잭션 처리를 위하여 트랜잭션 내에 필수적인 3가지 언어적 특성들을 제시하였다. 첫째는 트랜잭션 내에 실시간 시스템의 가장 중요한 특징인 시간적인 제약 조건들을 정의 할 수 있는 방안을 제시하고, 둘째는 비동기적인 처리 성격을 지닌 실시간 특성을 고려한 비동기적 트랜잭션 처리 방법을 제시한다. 또한, 분산 처리 과정에서 발생되는 예외 사항들을 처리하기 위하여 긴급성을 고려한 다중레벨 우선순위 스케줄링 (Multi-Level Priotiry Scheduling)이라 부르는 트랜잭션 스케줄링 방안을 제시한다. 그리고, 제시한 실시간 분산 트랜잭션 처리 구조의 타당성 및 가능성을 입증하기 위한 실시간 트랜잭션 처리 과정을 시물레이션을 통하여 제시한 언어적 특성에 대한 고려 사항들을 보여준다.Abstract We propose a dynamic transaction processing model that supports a reliability for distributed real-time processing. For the dynamic processing in distributed real-time transaction systems, we suggest three features that are defined in programming language. First, we propose a specification model to explicitly define the time constraints, needs in real-time distributed processing. Second, we describe an asynchronous transaction processing mechanism based on the real-time characteristics. So, we suggest three communication primitives to support asynchronous transaction processing. Lastly, a scheduling policy based on urgent transaction is suggested to manage the exception occurred during the distributed processing. This scheduling policy is called multi-level priotiry scheduling (MPLS). Based on three features and scheduling policy, we describe a direction to manage a dynamic transaction processing in distributed real-time systems.

• 한국정보과학회논문지:정보통신
• /
• 제29권3호
• /
• pp.277-285
• /
• 2002

본 논문은 각 노드들이 라운드 로빈 형태로 매체에 접근하는 전송제어 기반 실시간 네트워크에서 시간 제약조건을 고려한 오류 제어 기법을 제안하고 성능을 평가한다. 전송제어 네트워크에는 FDDI, TDMA 및 무선 LAN 등이 속하는데 이러한 네트워크들은 실시간 전송 보장을 위해 오프라인 시에 대역폭 할당을 수행한다. 수신자는 비동기 대역폭을 통해 재전송 요청을 하며 송신자는 대역폭 할당 과정에서 불가피하게 발생한 여분의 대역폭을 이용하여 재전송을 수행하기 때문에 다른 메시지의 전송에 영향을 주씨 않고 종료시한 내에서 오류제어가 수행된다. 또 메시지 프레임들로 하여금 메시지의 길이와 순서번호를 포함하도록 하여 메시지의 길이가 주기마다 다는 경우에도 수신자가 빠르게 오류를 보고함으로써 보다 많은 오류에 대한 복구가 가능하다. 분석 결과와 SMPL을 이용한 실험 결과는 제안된 방식이 실시간 통신을 위한 오류제어 기능으로서 네트워크 오류를 극복하여 메시지의 종료시한 만족도를 증가시킬 수 있으며 이중화 혹은 중복 전송 네트워크에 비견할 만한 성능을 보임으로써 적은 비용으로 실시간 네트워크를 구축할 수 있음을 보인다.

• 정보과학회 논문지
• /
• 제42권6호
• /
• pp.707-712
• /
• 2015

모바일 클라우드 컴퓨팅은 모바일 기기의 자원제약적인 한계를 극복하기 위해 클라우드 서비스를 활용하는 기술로 모바일 기기에서 실행해야 할 일부 작업을 클라우드에서 수행하게 하는 컴퓨테이션 오프로딩 기법이 사용된다. 오프로딩에 필요한 통신 비용보다 모바일 기기 내에서의 연산 비용이 클 경우 모바일 기기는 클라우드에게 작업 수행을 위탁한다. 모바일 기기에서 수행할 작업과 클라우드에서 수행할 작업을 분할하기 위한 기존의 비용 분석 모델은 함수 호출에 필요한 데이터 전송과 응답 시간만을 오프로딩 비용으로 산정하였다. 본 논문에서는 컴퓨테이션 오프로딩 비용 산출 시 함수의 호출 및 응용 프로그램의 동기화 빈도를 고려한 작업 분할 기법을 제안하였고 실험을 통해 기존의 기법들에 비해 에너지 효율성을 높일 수 있음을 확인하였다.

• 방송공학회논문지
• /
• 제18권6호
• /
• pp.895-910
• /
• 2013

멀티스크린 서비스(Multi-screen service)는 하나 이상의 미디어를 복수개의 단말에서 동시에 또는 차별적으로 소비하는 서비스로서, 이러한 멀티스크린 서비스는 기존 TV의 스마트화 및 스마트 단말의 보편화에 따라 그 활용성이 더욱 높아지고 있다. 또한 방송통신 융합 환경인 하이브리드 방송(Hybrid Broadcasting) 환경에 적용할 경우, 여러 개의 화면을 통해 여러 소스의 콘텐츠를 소비하여 다양한 사용자 경험(User experience)을 제공할 수 있다. 하이브리드 방송 환경에서 멀티스크린 서비스를 제공하기 위한 요소기술로서 장면구성기술을 활용할 수 있다. 장면구성 기술은 미디어가 소비되는 시간과 화면상의 공간을 특정함으로써 다수의 미디어를 복합적으로 소비하는 방법으로서, 해당 기술을 통해 제공되는 멀티스크린 서비스는 단말 간의 연계를 통한 복수 미디어의 시공간적 제어 및 소비를 제공할 수 있다. 하지만 기존의 장면구성 기술은 적용 가능한 환경의 제약과 다양한 단말에 대한 적용이 어렵다는 점, 활용의 복잡성 등으로 인해 하이브리드 방송 환경에 쉽게 적용하기 어려운 점이 존재한다. 이러한 문제점을 해결할 수 있는 새로운 환경으로 HTML5를 고려할 수 있다. HTML5는 개방형 네트워크를 활용하는 다양한 스마트 단말에 공통적으로 적용될 것으로 기대되며, 기존 HTML에 비해 다양한 종류의 미디어의 소비를 지원한다. 이에 본 논문에서는 하이브리드 방송환경이 적용될 다양한 스마트기기에서 사용될 것으로 예상되는 HTML5을 기반으로 한 장면구성 및 멀티스크린 서비스 기술을 제안한다. 이를 위해, 본 논문에서는 HTML5 및 멀티스크린 서비스와 관련된 기술을 소개하고, HTML5의 요소 및 속성의 확장을 통한 장면구성 및 멀티스크린 서비스 정보 제공 방법과 멀티스크린 서비스를 위한 단말 간 미디어 시그널링 및 동기화 방법을 제안하였다. 또한, 제안된 HTML5 기반 장면구성 및 멀티스크린 서비스 적용 방안을 구현 및 실험을 통해 검증하였다.