课题基金 / 基金详情

ソフト連続制約の分散協調解消系

ソフト連続制約の分散協調解消系
软连续约束分布式协同求解系统
批准号:
17680002
负责人:
細部 博史
金额:
$9.57万
依托单位国家:
日本
项目类别:
Grant-in-Aid for Young Scientists (A)
财政年份:
2005
资助国家:
日本
项目状态:
已结题
起止时间:
2005 至 2007

项目摘要

项目成果

細部 博史的其他基金

相关文献

中文摘要
翻译
本研究の目的は,分散計算による制約プログラミングの基盤技術として,連続領域上のソフト制約を高速に処理する分散協調型の制約解消系を研究開発することである.平成19年度においては,以下の3つの研究を行った.(1)階層的な優先度を備えた非線形ソフト制約の系を解くための新しい手法を構築した.本手法は,連続領域上の非線形制約のもとで非線形関数を最小化するための基本的手法であるLagrangeの未定乗数法を応用することで,階層的優先度を備えたソフト制約の処理を実現したものである.本手法は,従来の近似的手法よりも精度の高い局所解を計算することができ,さらに数値計算分野で研究開発された分散計算の手法を適用することができるという特徴を持つ.(2)階層的な優先度を備えたソフト制約の系をグラフ的アプローチによって解く新しい手法を構築した.本手法は,主に2次元平面上の図形に関する幾何制約を扱うものであり,制約系のグラフ的構造を分析した上で,制約系を部分系の集合へと分割して部分系を解くべき順序を適切に決定することで,階層的な優先度を正しく扱いながら制約解消を実現するものである.本手法は,制約系の中から同時に解消可能な部分系を発見することができるため,分散計算の前処理として利用できるという特徴を持つ.(3)本研究代表者が開発を進めている階層制約ライブラリの上にこれらの手法を実装することで,制約解消系を構築した.
英文摘要
本研究の目的は,分散計算による制約プログラミングの基盤技術として,連続領域上のソフト制約を高速に処理する分散協調型の制約解消系を研究開発することである.平成19年度においては,以下の3つの研究を行った.(1)階層的な優先度を備えた非線形ソフト制約の系を解くための新しい手法を構築した.本手法は,連続領域上の非線形制約のもとで非線形関数を最小化するための基本的手法であるLagrangeの未定乗数法を応用することで,階層的優先度を備えたソフト制約の処理を実現したものである.本手法は,従来の近似的手法よりも精度の高い局所解を計算することができ,さらに数値計算分野で研究開発された分散計算の手法を適用することができるという特徴を持つ.(2)階層的な優先度を備えたソフト制約の系をグラフ的アプローチによって解く新しい手法を構築した.本手法は,主に2次元平面上の図形に関する幾何制約を扱うものであり,制約系のグラフ的構造を分析した上で,制約系を部分系の集合へと分割して部分系を解くべき順序を適切に決定することで,階層的な優先度を正しく扱いながら制約解消を実現するものである.本手法は,制約系の中から同時に解消可能な部分系を発見することができるため,分散計算の前処理として利用できるという特徴を持つ.(3)本研究代表者が開発を進めている階層制約ライブラリの上にこれらの手法を実装することで,制約解消系を構築した.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Through-the-Lens Cinematography
透过镜头摄影
DOI: --
发表时间: 2006
期刊: Lecture Notes in Computer Science 4073
影响因子: --
作者: [Marc Christie, Hiroshi Hosobe]
通讯作者: Hiroshi Hosobe
DOI: --
发表时间: 2007
期刊: Proceedings of the Asia-Pacific Symposium on Visualisation 2007 (APVIS2007)
影响因子: --
作者: [Emoto, R., Tsutsi, M., Iimura, N. et., 辻野久美子, 松本浩, 飯野英親, 飯野英親, 川内美穂子, 斉藤知子, 村上京子, 末広 寛, 辻野久美子, 塚原正人, Matsumoto Y, 飯野英親, 村上京子, 飯野英親, 中込さと子, 石田喬士, 相澤忠範, 安斎 ひとみ, 安斎 ひとみ, 監修 道又元裕 執筆者:神崎初美(2編), 瀧 断子, 瀧 断子, 鳥谷 めぐみ, 村田 伸, 甲斐 義浩, 村田 伸, 竹井 和人, 甲斐 義浩, 村田 伸, 村田 伸, 中村 定明, MURATA Shin, 村田 伸, 田中 真一, 竹井 和人, Christophe Jermann and Hiroshi Hosobe, Christophe Jermann and Hiroshi Hosobe, 細部博史, Hiroshi Hosobe]
通讯作者: Hiroshi Hosobe
DOI: --
发表时间: 2008
期刊: Proceedings of the 7th International Conference of Modeling and Simulation(MOSIM08)
影响因子: --
作者: [Emoto, R., Tsutsi, M., Iimura, N. et., 辻野久美子, 松本浩, 飯野英親, 飯野英親, 川内美穂子, 斉藤知子, 村上京子, 末広 寛, 辻野久美子, 塚原正人, Matsumoto Y, 飯野英親, 村上京子, 飯野英親, 中込さと子, 石田喬士, 相澤忠範, 安斎 ひとみ, 安斎 ひとみ, 監修 道又元裕 執筆者:神崎初美(2編), 瀧 断子, 瀧 断子, 鳥谷 めぐみ, 村田 伸, 甲斐 義浩, 村田 伸, 竹井 和人, 甲斐 義浩, 村田 伸, 村田 伸, 中村 定明, MURATA Shin, 村田 伸, 田中 真一, 竹井 和人, Christophe Jermann and Hiroshi Hosobe, Christophe Jermann and Hiroshi Hosobe]
通讯作者: Christophe Jermann and Hiroshi Hosobe
DOI: --
发表时间: 2008
期刊: Proceedings of the 23rd Annual ACM Symposium on Applied Computing(SAC2008) 3
影响因子: --
作者: [Emoto, R., Tsutsi, M., Iimura, N. et., 辻野久美子, 松本浩, 飯野英親, 飯野英親, 川内美穂子, 斉藤知子, 村上京子, 末広 寛, 辻野久美子, 塚原正人, Matsumoto Y, 飯野英親, 村上京子, 飯野英親, 中込さと子, 石田喬士, 相澤忠範, 安斎 ひとみ, 安斎 ひとみ, 監修 道又元裕 執筆者:神崎初美(2編), 瀧 断子, 瀧 断子, 鳥谷 めぐみ, 村田 伸, 甲斐 義浩, 村田 伸, 竹井 和人, 甲斐 義浩, 村田 伸, 村田 伸, 中村 定明, MURATA Shin, 村田 伸, 田中 真一, 竹井 和人, Christophe Jermann and Hiroshi Hosobe]
通讯作者: Christophe Jermann and Hiroshi Hosobe
9
    リアクティブシステムのためのノートブック型プログラミング方式
    • 批准号:
      24K14904
    • 项目类别:
      Grant-in-Aid for Scientific Research (C)
    • 资助金额:
      $2.91万
    • 财政年份:
      2024
    • 负责人:
      細部 博史
    • 依托单位:
    Programming with Constraints and Events for Information Visualization
    • 批准号:
      21K11836
    • 项目类别:
      Grant-in-Aid for Scientific Research (C)
    • 资助金额:
      $2.66万
    • 财政年份:
      2021
    • 负责人:
      細部 博史
    • 依托单位:
    対話型視覚的アプリケーションのための制約命令型プログラミング言語
    • 批准号:
      16K00108
    • 项目类别:
      Grant-in-Aid for Scientific Research (C)
    • 资助金额:
      $3.0万
    • 财政年份:
      2016
    • 负责人:
      細部 博史
    • 依托单位:
    制約プログラミングによる視覚化モデルの形式化と実現
    • 批准号:
      16016286
    • 项目类别:
      Grant-in-Aid for Scientific Research on Priority Areas
    • 资助金额:
      $3.07万
    • 财政年份:
      2004
    • 负责人:
      細部 博史
    • 依托单位: