文献

J-GLOBAL ID：201802262130520383   整理番号：18A0393886

関係代数とRelViewツールによる有限トポロジーに関する計算タスクの解法【Powered by NICT】

Solving computational tasks on finite topologies by means of relation algebra and the RelView tool

著者 (2件)： Berghammer Rudolf (Institut fuer Informatik, Christian-Albrechts-Universitaet zu Kiel, Olshausenstrasse 40, 24098 Kiel, Germany) ,  Winter Michael (Department of Computer Science, Brock University, St. Catharines, ON, Canada)
資料名： Journal of Logical and Algebraic Methods in Programming  (Journal of Logical and Algebraic Methods in Programming)
巻： 88  ページ： 1-25  発行年： 2017年 
JST資料番号： W1593A  ISSN： 2352-2208  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 有限トポロジーに関する計算タスクを解決への関係-代数的アプローチを提案した。関係による有限トポロジーと関係代数表現と公式による問題の概念の仕様のモデル化に基づいている。後者は,システムのプログラミング言語への簡単な翻訳後BDDベース特定目的計算機代数システムRelViewの助けを借りて評価した。技法を適用し異なる問題とRelViewにより実装し,評価する場合に,解は実行時間に関してどのように振舞うかを示した。RelViewを用いた実験により,有限トポロジーに対する最小下層路盤,論文の最後で証明したことに関する新しい結果をもたらした。Copyright 2018 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

シソーラス用語： 下層 ,  プログラミング言語 ,  *位相幾何学 ,  モデリング ,  *関係代数 ,  数式処理 ,  路盤
準シソーラス用語： 実行時間 ,  代数的アプローチ , 【Automatic Indexing@JST】

著者キーワード (3件)： 関係代数 ,  有限トポロジーベース ,  Subbase RelViewツール

分類 (3件)： 人工知能  (JE08000Z) ,  計算理論  (JB02000A) ,  応用プログラミング言語  (JD03052Y)

タイトルに関連する用語 (6件)： 関係代数 ,  ツール ,  トポロジー ,  計算 ,  タスク ,  解法