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

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

• 批准号: 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)は,本研究で提案した制約プログラミング手法を用いて制約解消系を実装し,さらにそれをグラフィカルユーザーインターフェースに適用することで,本研究の提案手法の応用性の実証と性能の評価をしたというものである.その結果,本研究の提案手法によって,大規模なグラフィカルユーザーインターフェースを実際に構築可能であり,また従来手法に比べても十分に高速であることが確認された.

我们研究了减少约束去除的重量作为基本技术的研究，该技术可以有效地实施大规模的图形用户界面约束编程。今年的结果是（1）通过提高约束编程方法的效率以及（2）通过将其应用于图形用户界面对拟议方法的经验评估，进一步减轻了体重。研究结果（1）表明，去年提出的约束编程方法的效率得到了进一步改进，这消除了包括不平等的线性约束系统。去年的方法能够实时解决数千种限制的系统，但这是事实的结果很少。今年的状况放松了。目标之一是总结，我们试图改善不平等约束处理方法。结果，即使在约束系统中的大多数变量都具有不平等约束的情况下，也可以实时解决由数千个约束组成的系统。研究结果（2）是使用本研究提出的约束编程方法实施约束解决系统，然后将其应用于图形用户界面，以证明本研究中提出的方法的适用性并评估性能。结果，已经证实，本研究中提出的方法实际上可以构建大型图形用户界面，并且它也比常规方法更快。