大規模グラフィカルユーザーインターフェースのための軽量制約プログラミング技術

大规模图形用户界面的轻量级约束编程技术

• 批准号: 12780252
• 负责人: 細部 博史
• 金额: $ 1.41万
• 依托单位: National Institute of Informatics
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 2000
• 资助国家: 日本
• 起止时间: 2000 至 2001
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-12780252/
• 关键词: 制約; 制約プログラミング; 制約解消; グラフィカルユーザーインターフェース

大規模なグラフィカルユーザーインターフェースの制約プログラミングによる効率的な実現を可能にするための要素技術として,制約解消の軽量化に関する研究を行った.今年度の成果は,(1)制約プログラミング手法の効率向上によるさらなる軽量化と,(2)グラフィカルユーザーインターフェースへの適用による提案手法の実証的評価である.研究成果(1)は,不等式を含む線形制約の系を解消する,昨年度提案した制約プログラミング手法の効率をさらに向上したというものである.昨年度の手法は,数千個の制約からなる系を実時間に解消することはできたが,これは不等式制約の個数が少ないという条件のもとでの結果であった.今年度はこの条件を緩和することを目標の1つとし,不等式制約処理方式の改善を試みた.その結果,制約系内のほとんどの変数がその領域に関する不等式制約を持つような極めて不等式制約が多い状況でも,数千個の制約からなる系を実時間で解消することが可能となった.研究成果(2)は,本研究で提案した制約プログラミング手法を用いて制約解消系を実装し,さらにそれをグラフィカルユーザーインターフェースに適用することで,本研究の提案手法の応用性の実証と性能の評価をしたというものである.その結果,本研究の提案手法によって,大規模なグラフィカルユーザーインターフェースを実際に構築可能であり,また従来手法に比べても十分に高速であることが確認された.

Large-scale systems are required to improve the performance of the system. It is possible to improve the performance of factor technology, and to reduce the cost of quantitative analysis. The results of this year are as follows: (1) to increase the rate of presentation and quantification, and (2) to improve the performance of the proposal. The results of the study (1), the inequality including the shape of the system is in order to solve the problem, and it was proposed yesterday that the rate of manipulation was higher than that of the previous year. In the last year, thousands of treaty agreements have been successfully resolved, and the number of inequalities has been reduced. The results of conditional negotiation have been reduced. This year, the conditions and conditions of the year will be improved in the first place. According to the results, there are significant differences in the number of variables in the field of inequality in the system, and in many cases, and thousands of systems in the system may not be affected. Research results (2), in this study, the proposed method is used to solve the problem of equipment and equipment, and the method is used in this study. The results show that the proposed method in this study is very effective, large-scale, high-speed, high-speed and high-speed.

项目成果

Hiroshi Hosobe: "A Hierarchical Framework for Integrating Constraints with Graph Layouts"Proc.of 8th IFIP Conf. on Human-Computer Interaction. (採録決定).

Hiroshi Hosobe：“将约束与图形布局集成的分层框架”Proc.of 8th IFIP Conf. on Human-Computer Interaction（已接受）。

Hiroshi Hosobe: "A Modular Geometric Constraint Solver for User Interface Applications"CHI Letters (Proc. of ACM UIST'O1). 3(2). 91-100 (2001)

Hiroshi Hosobe：“用于用户界面应用的模块化几何约束求解器”CHI Letters（Proc. of ACM UISTO1）。

細部博史: "ユーザインタフェースのための線形等式・不等式制約解消系"日本ソフトウェア科学会第5回プログラミングおよび応用のシステムに関するワークショップ論文集. 8 (2002)

Hiroshi Detail：“用户界面的线性等式/不等式约束求解系统”日本软件学会编程和应用系统第五届研讨会论文集 8 (2002)。

細部博史: "対話型インターフェースのための幾何制約解消の枠組"情報処理学会論文誌. (採録決定).

Hiroshi Detail：“解决交互界面几何约束的框架”日本信息处理学会汇刊（已接受）。

細部博史: "対話型インタフェースのための幾何制約解消の枠組み"情報処理学会論文誌. 42(6). 1424-1434 (2001)

Hiroshi Detail：“解决交互界面几何约束的框架”，日本信息处理学会汇刊 42(6) (2001)。