http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
시제 논리를 이용한 행위적 하위 타입 관계의 정의 및 검증
권기현(Gi-Hwon Kwon),이충호(Chung-Ho Lee),이경환(Kyong-Whan Lee),남윤석(Yoon-Suk Nam) 한국정보과학회 1997 정보과학회논문지(B) Vol.24 No.9
본 논문에서는 객체들 간의 행위적 하위 타입 관계에 관한 새로운 정의를 제시한다. 기존의 연구들은 객체의 정적 행위 제약을 기반으로 하여 행위적 하위 타입 관계를 정의하였으나, 본 연구에서는 동적 행위 제약을 기반으로 하여 행위적 하위 타입 관계를 정의한다. 만약 두 개의 객체가 본 논문에서 정의하는 행위적 하위 타입 관계를 만족한다면, 상위 타입 객체의 메소드 호출 순서가 하위 타입 객체에서 그대로 보존된다. 따라서 상위 타입 객체를 하위 타입 객체로 안전하게 대치할 수 있다. 객체의 동적 행위 제약은 시제 논리로 명세하였고, 의미적 도표법을 이용하여 행위적 하위 타입 관계의 성립 여부를 검증하였다. We propose a new definition of the behavioral subtype relation. The subtype relation is defined in terms of dynamic behavioral constraints rather than static behavioral constraints used in previous works. If two objects are satisfied with the proposed subtype relation, then the method invocation sequence of the supertype object is preserved within the subtype. Therefore, we can safely substitute the subtype object for the supertype one. Temporal logic is chosen as the specification language because it could effectively represent dynamic properties of the object behavior. With the semantic tableau we also verify whether the proposed behavioral subtype relation is satisfied or not.
TV 동영상 화면 갭쳐 서버-클라이언트 애플리케이션 구현
박연선(Youn-Sun Park),김정환(Jung-Hwan Kim),남윤석(Yoon-Suk Nam),정문열(Moon-Ryul Jung) 한국방송·미디어공학회 2005 한국방송공학회 학술발표대회 논문집 Vol.2005 No.-
본 논문은 시청자가 TV를 시청하다가 마음에 드는 화면이 있으면, 이를 캡춰해서 친구들에게 메시지로 보내는 서비스를 구현하는 방법을 기술한다. 이를 위해서는 셋톱박스에서 실행되는 Xlet 애플리케이션에서 비디오 스트림의 특정 화면을 캡춰할 수 있어야 하는데, 현재 미들웨어는 이런 기능을 제공하고 있지 않다. 따라서, 본 논문에서는 Xlet application 에서 시청자가 지정한 화면의 시점값을 방송국 서버로 전송하고, 서버에서 해당 화면을 캡춰하여 이를 시청자가 원하는 수신자에게 보내주는 방법을 사용한다. 미들웨어 API 표준에서 현재의 NPT (Normal Play Time) 을 알려주는 API 를 제공하므로, 애플리케이션에서 시청자가 원하는 시점의 NPT 를 구해 이를 방송국 서버로 보내고, 서버에서는 이 NPT 에 해당되는 동영상의 미디어 타임을 구해, 그 시간에 해당되는 프레임을 계산하여 화면을 캡춰한다. 본 기술을 활용하면 서버에서 캡춰된 화면을 Mobile, Web 등의 매체에도 전송할 수 있으므로 유무선통합, 방통융합형 서비스로 확장해 나갈 수 있다.