制約プログラミングによる視覚化モデルの形式化と実現

使用约束规划的可视化模型的形式化和实现

• 批准号: 16016286
• 负责人: 細部 博史
• 金额: $ 3.07万
• 依托单位: National Institute of Informatics
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas
• 财政年份: 2004
• 资助国家: 日本
• 起止时间: 2004 至 2005
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-16016286/
• 关键词: 制約プログラミング; ユーザインタフェース; 視覚化

本研究の目標は,制約プログラミングを用いて視覚的システムの仕様を視覚化モデルとして形式化し実現するというソフトウェア構築の新しいアプローチに基づいて,Webブラウザの視覚化モデルを扱う技術を構築することである.特に,このアプローチに基づく多くの従来研究において制約プログラミングの基盤技術として利用されているCassowaryアルゴリズムを改良することで,Webブラウザの視覚化モデルのためのより適切な処理技術の構築を試みた.2年目である平成17年度においては,階層的制約の解析によってCassowaryを高速化する手法を提案した.これは,本研究代表者が過去に提案した線形制約解消系のための制約の階層独立性の解析手法に基づくものである.階層独立性解析では,制約が有効(最大限に充足すべきである),または無効(完全に無視してよい)であるかどうかについて判定する処理を行う.これによって,アルゴリズムの内部で構成されるタブローから無効な制約を除去することができるため,タブローが小型化される.その結果,本研究で提案した制約解消法は,多くの場合にCassowaryよりも高速となる.本手法では,制約の有効性の判定のために,本研究代表者が過去に提案した線形制約解消法におけるものと同様の考え方に基づき,かつ,Cassowaryに適合する新しい方法を開発した.本研究の成果は,複数の国際会議及び国内会議において発表された.

The purpose of this study is to restrict the development of Web services, to formalize the development of web services, to construct new web services, and to construct web services technology. In particular, this paper proposes a method for improving the base plate technology of Web site visualization and appropriate processing technology construction by using Casowary to study and improve the base plate technology of Web site visualization. This paper presents a method of linear constraint solution analysis based on hierarchical independence. Hierarchical independence analysis, constraints are available (maximum limit is sufficient), but not available (completely ignored). The internal structure of the system is made up of a small number of components. As a result, this study proposes a new method for solving the problem. This method represents the development of a new method for the determination of the effectiveness of constraints. The results of this study were presented at a number of international and domestic conferences.

项目成果

制約プログラミングによる視覚化モデルの構築

使用约束规划构建可视化模型

• 发表时间: 2004
• 期刊: 日本ソフトウェア科学会第21回大会
• 作者: 林浩司;古山宣洋;高瀬弘樹;細部博史
• 通讯作者: 細部博史

An Extended High-Dimensional Method for Interactive Graph Drawing

一种扩展的交互式图形绘制高维方法

• 发表时间: 2005
• 期刊: Conferences in Research and Practice in Information Technology (Proceedings of APVIS2005) 45
• 作者: 古山宣洋;高瀬弘樹;林浩司;Ken Satoh;Hiroshi Hosobe
• 通讯作者: Hiroshi Hosobe

A Constraint Solving Algorithm for Web Document Layout

一种Web文档布局约束求解算法

• 发表时间: 2005
• 期刊: 2nd Franco-Japanese Workshop on Constraint Programming(FJCP2005)
• 作者: Ichiro Ide;Hiroshi Mo;Norio Katayama;Shin'ichi Satoh;Hiroshi Hosobe
• 通讯作者: Hiroshi Hosobe

高次元アプローチによる一般無向グラフの対話的視覚化法

使用高维方法的一般无向图的交互式可视化方法

• 发表时间: 2005
• 期刊: 情報処理学会論文誌 46・7
• 作者: Kidokoro;M.;細部 博史
• 通讯作者: 細部 博史

Solving Constraints for Web Document Layout

解决 Web 文档布局的约束

• 发表时间: 2005
• 期刊: Proceedings of the Workshop on New Approaches to Software Construction 2005(WNASC2005)
• 作者: K.Hayashi;N.Furuyama;H.Takase;Hiroshi Hosobe
• 通讯作者: Hiroshi Hosobe