このアイテムへのリンクには次のURLをご利用ください: https://hdl.handle.net/11094/27438

閲覧可能ファイル 

ファイル	フォーマット	サイズ	閲覧回数	利用開始日	説明
itr103_583_013	pdf	898 KB	35	2014.04.11

論文情報

タイトル	マルチ　メディア　システムにおける Timeliness QoS一貫性検証と時間制御コード導出
	Consistency Checking of Timeliness QoS of Multi-Media Systems and Derivation of Codes for Timing Control
	マルチメディアシステム　ニ　オケル　Timeliness QoS　イッカンセイ　ケンショウ　ト　ジカン　セイギョ　コード　ドウシュツ
著者	著者名 森, 一夫 モリ, カズオ Mori, Kazuo
	NRID 1000070252632 1000070252632 著者名 岡野, 浩三 オカノ, コウゾウ Okano, Kozo
	NRID 1000000029513 1000000029513 著者名 谷口, 健一 タニグチ, ケンイチ Taniguchi, Kenichi
キーワード等	Timeliness QoS
	線形不等式
	検証
	時間オートマトン
	導出
	timeliness QoS
	linear inequality
	verificationd
	timed automata
	derivation
抄録	分散環境におけるマルチメディアシステムのコンポーネントに対する提供Timeliness QoSとシステム全体における要求Timeliness Qosを線形制約式で表現し,要求Timeliness QoSが提供Timeliness Qosの下で満たされること(一貫性)を検査する手法を提案する.提案手法では,このQoS検査問題を線形計画法の非可解性問題に帰着させる.また検査済のQos一貫性を保証したコードを時間オートマトン表現を介して導出する手法についても述べる.
	This paper provides a method to check consistency of Timeliness QoS of a distributed multi-media system consisting of several components. In the method, provided/required timeliness QoS are represented in linear constraints. The method translates a timeliness QoS decision problem into an in-feasibility problem of linear programming. The paper also describes how to generate codes to control timing of each component of system.
出版者	電子情報通信学会
	The Institute of Electronics, Information and Communication Engineers
	デンシ　ジョウホウ　ツウシン　ガッカイ
収録物名	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
巻	103
号	583
開始ページ	13
終了ページ	18
刊行年月	2004-01-16
言語	日本語
ハンドルURL	https://hdl.handle.net/11094/27438
ISSN	09135685
NCID	AN10013287
アクセス権	open access
権利情報	Copyright © 2004 IEICE
	本文データはCiNiiから複製したものである
出版タイプ	Version of Record
カテゴリ	学術雑誌論文 Journal Article

ホームへ戻る