Prologを利用した待ち行列網解析ツールの構成について

• Item type: SIG Technical Reports(1)
• 公開日: 1988-09-27
• タイトル: Prologを利用した待ち行列網解析ツールの構成について
• タイトル / 言語: en
• タイトル: CONSTRUCTION OF QUEUEING NETWORK ANALYZER USING A LOGICAL LANGUAGE PROLOG
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 徳島大学工学部
• 著者所属: 徳島大学工学部
• 著者所属: 徳島大学工学部
• 著者所属(英): en
• 著者所属(英): Information Science and System Engineering, Faculty of Engineering Tokushima University
• 著者所属(英): en
• 著者所属(英): Information Science and System Engineering, Faculty of Engineering Tokushima University
• 著者所属(英): en
• 著者所属(英): Information Science and System Engineering, Faculty of Engineering Tokushima University
• 著者名: 渡辺, 尚; 三好, 浩司; 島田, 良作
• 著者名(英): Takashi, Watanabe; Hiroshi, Miyoshi; Ryosaku, Shimada
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 計算機ネットワークの性能評価には，一般に，待ち行列網解析ツールが用いられる．本研究では，高機能マンマシンインターフェイスを持つモデル記述部と高速にシミュレーションを行なう実行部から成る解析ツールを提案する．モデル記述部には，事象の発生条件をホーン節論理によって記述する論理型待ち行列網シミュレーション言語SILQを用いる．シミュレーション実行部は，SILQで記述されたモデルを手続き型言語Cに変換して実行する．このツールの構成といくつかのネットワークモデルの評価を行なった例を示す．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Queueing network analyzer has been used to analyze computer networks. This paper provides an analyzer which consists of a model description part with high level man-machine interface and a high speed simulation engine. With the description part a user describes a model in SILQ (SImulation language based on Logic for Queueing networks) by declaring event occurrence condition with horn clauses. The simulation engine converts a model written in SILQ into one in procedual language C to perform high speed simulation. We show the structure of the analyzer and evaluate some examples of network models.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10096105
• 書誌情報: 情報処理学会研究報告計算機アーキテクチャ（ARC）; 巻 1988, 号 70(1988-ARC-052), p. 1-8, 発行日 1988-09-27
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会