ソフト連続制約の分散協調解消系
ソフト連続制約の分散協調解消系
批准号:
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)
会议论文
登录
查看更多内容
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
Une approche orientee hierarchie de contraintes pour la resolution de problemes de contraintes geometrigues
解决几何约束问题的东方约束层次方法
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
DOI:
--
发表时间:
2006
期刊:
Progress in Informatics 3
影响因子:
--
作者:
[Frederic Benhamou, Martine Ceberio, Philippe Codognet, Hiroshi Hosobe, Christophe Jermann, Ken Satoh, Kazunori Ueda]
通讯作者:
Kazunori Ueda
共 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
-
负责人:細部 博史
-
依托单位:
力学的アプローチによる柔らかい制約システムの研究
-
批准号:14780248
-
项目类别:Grant-in-Aid for Young Scientists (B)
-
资助金额:$2.05万
-
财政年份:2002
-
负责人:細部 博史
-
依托单位:
大規模グラフィカルユーザーインターフェースのための軽量制約プログラミング技術
-
批准号:12780252
-
项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额:$1.41万
-
财政年份:2000
-
负责人:細部 博史
-
依托单位:
効率的な制約命令型言語処理系の研究・開発とGUIへの応用
-
批准号:97J07502
-
项目类别:Grant-in-Aid for JSPS Fellows
-
资助金额:$0.58万
-
财政年份:1998
-
负责人:細部 博史
-
依托单位: