マルチ　メディア　システムにおける Timeliness QoS一貫性検証と時間制御コード導出

森, 一夫; 岡野, 浩三; 谷口, 健一

このアイテムのアクセス数:38件（2020-10-21 14:07 集計）

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

閲覧可能ファイル

ファイル	フォーマット	サイズ	閲覧回数	説明
itr103_583_013	pdf	898 KB	28

論文情報

タイトル	マルチ　メディア　システムにおける Timeliness QoS一貫性検証と時間制御コード導出
別タイトル	Consistency Checking of Timeliness QoS of Multi-Media Systems and Derivation of Codes for Timing Control
タイトル (ヨミ)	マルチメディアシステム　ニ　オケル　Timeliness QoS　イッカンセイ　ケンショウ　ト　ジカン　セイギョ　コード　ドウシュツ
著者	森, 一夫森, 一夫
	岡野, 浩三岡野, 浩三
	谷口, 健一谷口, 健一
著者の別表記	Mori, Kazuo
	Okano, Kozo
	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
ISSN	09135685
NCID	AN10013287
URL	http://hdl.handle.net/11094/27438
権利情報	Copyright © 2004 IEICE
権利情報	本文データはCiNiiから複製したものである
言語	日本語
カテゴリ	学術雑誌論文 Journal Article

著者版フラグ	publisher
NII資源タイプ	学術雑誌論文
ローカル資源タイプ	学術雑誌論文
dcmi資源タイプ	text
DCTERMS.bibliographicCitation	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス.103(583) P.13-P.18
DC.title	マルチ　メディア　システムにおける Timeliness QoS一貫性検証と時間制御コード導出
DCTERMS.alternative	Consistency Checking of Timeliness QoS of Multi-Media Systems and Derivation of Codes for Timing Control
DC.creator	森, 一夫
	岡野, 浩三
	谷口, 健一
DC.creator	Mori, Kazuo
	Okano, Kozo
	Taniguchi, Kenichi
DC.publisher	電子情報通信学会
DC.language" scheme="DCTERMS.RFC1766	日本語
DCTERMS.issued" scheme="DCTERMS.W3CDTF	2004-01-16
DC.identifier" scheme="DCTERMS.URI	http://hdl.handle.net/11094/27438
DC.subject	Timeliness QoS
	線形不等式
	検証
	時間オートマトン
	導出
	timeliness QoS
	linear inequality
	verificationd
	timed automata
	derivation
DCTERMS.abstract	分散環境におけるマルチメディアシステムのコンポーネントに対する提供Timeliness QoSとシステム全体における要求Timeliness Qosを線形制約式で表現し,要求Timeliness QoSが提供Timeliness Qosの下で満たされること(一貫性)を検査する手法を提案する.提案手法では,このQoS検査問題を線形計画法の非可解性問題に帰着させる.また検査済のQos一貫性を保証したコードを時間オートマトン表現を介して導出する手法についても述べる.
DCTERMS.abstract	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.
DC.rights	Copyright © 2004 IEICE
DC.rights	本文データはCiNiiから複製したものである
citation_title	マルチ　メディア　システムにおける Timeliness QoS一貫性検証と時間制御コード導出
citation_author	森, 一夫
	岡野, 浩三
	谷口, 健一
citation_publisher	電子情報通信学会
citation_language	日本語
citation_date	2004-01-16
citation_journal_title	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
citation_volume	103
citation_issue	583
citation_firstpage	13
citation_lastpage	18
citation_issn	09135685
citation_public_url	http://hdl.handle.net/11094/27438
citation_keywords	Timeliness QoS
	線形不等式
	検証
	時間オートマトン
	導出
	timeliness QoS
	linear inequality
	verificationd
	timed automata
	derivation

閲覧可能ファイル

論文情報

論文詳細を表示