検索結果を絞り込む

データ種別

論文 24 博士論文 3

本文・本体へのリンク

本文・本体リンクあり 24

〜

検索結果 24 件

  • 1 / 1

  • 滞在人数の日内変動を考慮した避難計画モデル

    山本, 正也, 武藤, 敦子, 島, 孔介, 森山, 甲一, 松井, 藤五郎, 犬塚, 信博 情報処理学会論文誌数理モデル化と応用（TOM） 16 (2), 103-109, 2023-10-31

    ...近年，地震などの大規模な災害の発生が多く見られ，東日本大震災の際には，昼夜人口のギャップにより容量あふれが多く発生した．そのため，昼夜人口のギャップ（日内変動）を考慮して避難所を割り当てることは重要な課題になっている．避難所割当て問題において，ゼロサプレス型二分決定グラフ（ZDD）を用いることで避難所割当てのパターンを全列挙することが可能になっている．ZDDを用いた研究では，避難所までの距離と収容率...

    情報処理学会

  • 繰り返し行動を考慮したスケジューリングモデルによる需要調整型公共交通システム

    白井 帆香, 羽藤 英二 都市計画論文集 58 (3), 1638-1645, 2023-10-25

    ...効率的な公共交通として需要応答型交通(DRT)に期待が集まっている．DRTは非定型的な活動に付随する低頻度な移動需要にマッチすることが求められるが，その予測や対応は困難である．そこで，本研究では日々の活動ニーズの変化を取り入れた再帰的スケジューリングモデルと，先着順ではなくモデルスコアに基づいて予約を調整するアルゴリズムを提案する．アルゴリズムは，予約調整に伴う繰り返しの計算コストに対応するため，ゼロサプレス...

    DOI Web Site 参考文献10件

  • 単項二階論理式で与えられた論理関数を表す決定グラフの構築

    大場 翔, 川原 純, 湊 真一 人工知能学会全国大会論文集 JSAI2023 (0), 2I4OS9a04-2I4OS9a04, 2023

    ...<p>本研究では，単項二階論理式で与えられた論理関数を，決定グラフと呼ばれるデータ構造で表現する手法を提案する．二分決定グラフ（BDD）は論理関数を，ゼロサプレス型二分決定グラフ（ZDD）は集合族を圧縮して表現するデータ構造であり，論理関数や集合族の各種演算を圧縮表現のまま実行可能である．単項二階論理式から BDD や ZDD を構築する手法を提案する．計算機実験により，いくつかのグラフの問題に対する...

    DOI

  • ZDD の反復的トップダウン構築による選挙区割問題に対する厳密解列挙高速化

    山崎, 宏紀, 川原, 純, 湊, 真一 第84回全国大会講演論文集 2022 (1), 227-228, 2022-02-17

    ...本研究では、グラフ分割問題の一種である選挙区割問題を対象とし、選挙区割問題の解集合を表すゼロサプレス型二分決定グラフ （ZDD） をトップダウン的構築手法の反復的適用によって構築する手法について述べる。選挙区割問題の解集合を表すZDDをフロンティア法により構築する手法が知られているが、状態数の指数的増加により、構築過程で大量のメモリを必要とする。...

    情報処理学会

  • ZDDを用いた等質テスト構成

    渕本 壱真, 湊 真一, 植野 真臣 人工知能学会全国大会論文集 JSAI2022 (0), 3F3GS903-3F3GS903, 2022

    <p>等質テストとは各テストで出題される項目が異なるが，受験者得点の予測誤差が等質なテスト群である．等質テストでは同一能力の受験者が異なるテストを受験しても同一の得点となる保証があり，可能な限り多く生成することが望ましい．渕本ら（2020）は最大クリーク問題と整数計画法を用いた並列探索手法を提案した．しかし，整数計画法の時間計算量が大きく，テスト構成数の改善には限界があった．本論文では，場合分け…

    DOI

  • ペトリネットの可達解析

    宮本 俊幸 ＩＥＩＣＥ　ＦＵＮＤＡＭＥＮＴＡＬＳ　ＲＥＶＩＥＷ 13 (1), 20-27, 2019-07-01

    <p>離散事象システム・並行システムのモデル化言語の一つであるペトリネットは，1962年にカール・アダム・ペトリによって導入されて以来，様々な理論及び応用研究がなされてきた．ペトリネットにおける最も基本的な解析問題の一つに，与えられた状態に到達可能かどうかを判定する可達問題がある．可達問題は決定可能であるが，計算量が指数オーダとなるためペトリネットにおける諸性質の解析は容易ではない．近年の計算機…

    DOI Web Site 参考文献15件

  • LSIの配線問題 -DAシンポジウムの配線問題解法コンテスト-：5．ZDDを用いた解法

    湊, 真一 情報処理 59 (3), 243-247, 2018-02-15

    ...ZDD（ゼロサプレス型二分決定グラフ）は，組合せを要素とする離散的な集合データを計算機上で効率よく扱うためのデータ構造である．ZDDは元々は1990年代にVLSI設計自動化の分野で考案され発展した技法であるが，2000年代以降は，データベース解析，制約充足，組合せ最適化，統計データ処理など，さまざまな用途に広く応用されている．最近，DAシンポジウムにおいてナンバーリンク問題を題材としたアルゴリズムデザインコンテスト...

    情報処理学会 Web Site

  • ゼロサプレス型二分決定グラフを用いたデマンド交通の運行経路の高速列挙手法の提案

    吉野 大介, 羽藤 英二 土木学会論文集D3（土木計画学） 72 (5), I_1229-I_1239, 2016

    ...<br>本研究は，デマンド交通の運行経路をグラフ構造により表現し，与えられたグラフ構造の中からある制約条件を満たすような部分グラフ構造を全て列挙して，それらをZDD（ゼロサプレス型二分決定グラフ）により圧縮表現して索引化する技法について提案した．また，ZDDによって得られた列挙解を用いたネットワーク上での影響分析への適用可能性についても併せて検討を行った．...

    DOI Web Site 被引用文献2件 参考文献6件

  • 組合せ集合のmeet演算による共通因子抽出

    竹内 文登, 安田 宜仁, 湊 真一 人工知能学会全国大会論文集 JSAI2015 (0), 3C43-3C43, 2015

    ...組合せ集合はゼロサプレス型BDD（ZDD）を用いて効率良く表現できることが知られており、また、任意の2つの組合せの共通部分を列挙するmeet演算が定義できる。本稿では、ZDD上で組合せ集合のmeet演算を行うことで、共通因子を頻度とともに抽出する方法について考察する。</p>...

    DOI Web Site

  • ZDDとコルモゴロフ複雑性を利用したツイッターのユーザ分類

    細川拓也, ThomasZeugmann 第76回全国大会講演論文集 2014 (1), 407-408, 2014-03-11

    ...本研究ではゼロサプレス型BDD(ZDD)とコルモゴロフ複雑性に基づく正規情報距離を利用して、ツイッター上のユーザをスポーツ選手や経営者などの分野に分類する手法を提案する。正規情報距離の計算はgzipやbzip2などの汎用の圧縮ソフトウェアを用いて近似する手法が一般的である。...

    情報処理学会

  • 適応的な生産実施のための動的生産プランニングのフレームワーク（第4報）

    高橋 啓太, 小野里 雅彦, 田中 文基 精密工学会学術講演会講演論文集 2014A (0), 481-482, 2014

    ...本研究は前報までに，生産プランニングの実行可能解をゼロサプレス型BDD（ZDD）で表現し，ZDD内の解探索手法としてGAを提案した．提案したGAは，個体の遺伝子配列が必ずZDD内の実行可能解である1-パスを表す．しかし，遺伝子操作により探索済み1-パスが新たな遺伝子配列として重複して作られる可能性を持つ．本報では，ZDD内の探索済み1-パスをキャッシュし，未探索の1-パスのみを対象とした解探索を行う...

    DOI

  • 適応的な生産実施のための動的生産プランニングのフレームワーク(第3報)

    高橋 啓太, 小野里 雅彦, 田中 文基 精密工学会学術講演会講演論文集 2013A (0), 743-744, 2013

    ...前報で生産プランニングにおける存在しえない組み合わせを除去し，解空間をゼロサプレス型BDD(ZDD)を用いて表現する方法について述べた．本研究で扱うZDDは，スケジューリング可能な各計画および計画間の制約を満たす組み合わせ集合を表している．本報では，それら制約を満たすZDDから適切な組み合わせを探索する手法について論ずる．...

    DOI

  • ZDDを用いたPersonalized PageRankの高速計算法

    西野 正彬, 安田 宜仁, 湊 真一, 永田 昌明 人工知能学会全国大会論文集 JSAI2013 (0), 2E5OS09b3-2E5OS09b3, 2013

    ...<p>本稿ではPersonalized PageRank (PPR) を高速に計算する方法について述べる．PPRを計算するためには隣接行列を対象とする行列の乗算を繰り返し実行する必要があるが，グラフが大規模になると乗算にかかる計算コストが膨大になる．提案手法は隣接行列をゼロサプレス型二分決定グラフ (ZDD) を用いて圧縮した形で表現し，行列の乗算に必要な演算回数を削減することによって高速化を実現する...

    DOI Web Site

  • ZDDを用いた行列圧縮における演算高速化

    西野 正彬, 安田 宜仁, 湊 真一, 片岡 良治 人工知能学会全国大会論文集 JSAI2012 (0), 3I1R98-3I1R98, 2012

    ...<p>ゼロサプレス型二分決定グラフ(ZDD)を用いて二値疎行列を用いて表現することによって、行列とベクトルの乗算に必要な計算回数を削減する手法が知られている。しかし、現代のコンピュータアーキテクチャ上では、計算回数の削減に見合った計算時間の削減はできていなかった。本稿では、メモリアクセスの連続性に着目してZDDによる行列の表現方法を改良することによって計算時間を削減する手法を提案する。 </p>...

    DOI Web Site

  • BDD/ZDDを基盤とする離散構造と演算処理系の最近の展開

    湊 真一 ＩＥＩＣＥ　ＦＵＮＤＡＭＥＮＴＡＬＳ　ＲＥＶＩＥＷ 4 (3), 224-230, 2011

    ...二分決定グラフ（BDD: Binary Decision Diagram）は，論理関数を効率良く表現するデータ構造の一種である．BDD に関する処理技法は主にVLSI 設計技術の分野で1990 年代に発展したものであるが，近年ではデータマイニングや知識発見の分野でも効果的に活用されるようになってきている．中でも，ゼロサプレス型BDD（ZDD: Zero-suppressed BDD）と呼ばれるBDD...

    DOI Web Site 参考文献10件

  • 頻出パターンマイニングのためのゼロサプレス型BDDの変数順序付け方法とその評価 : データ工学論文特集

    岩崎, 玄弥, 湊, 真一, ツォイクマン, トーマス 電子情報通信学会論文誌. D, 情報・システム J91- (3), 608-618, 2008-03-01

    ...近年,ゼロサプレス型二分決定グラフ(ZBDD: Zero-suppressed Binary Decision Diagrams)を用いたデータベースの効果的な解析手法が提案されている.二分決定グラフ(BDD)は大規模論理関数データの表現方法として広く用いられている.今回はトランザクションデータベースに関して,大規模なアイテムの組合せ集合を処理するのに適したZBDDを用いる.ZBDDのデータ構造は変数...

    HANDLE Web Site 参考文献13件

  • ゼロサプレス型BDD表現を用いた有限状態機械の一解析手法

    高原, 厚 全国大会講演論文集 第51回 (ハードウェア), 69-70, 1995-09-20

    ...本報告では、集合表現を効率的に扱えるゼロサプレス型BDD(ZBDD)[2]を用いた有限状態機械の表現手法、及び、操作手法について述べる。提案する手法は、状態遷移関係を積項集合として表現することを基本としている。そのため、ゼロサプレス型BDDの特徴がいかされ、効率的な表現方法となっている。さらに、状態遷移の有無、状態集合の導出等がグラフをたどる操作により効率的に行なえる。...

    情報処理学会

  • 1 / 1
ページトップへ