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

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

基本信息

批准号：
12780252
负责人：
細部博史
金额：
$ 1.41万
依托单位：
National Institute of Informatics
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
2000
资助国家：
日本
起止时间：
2000 至 2001
项目状态：
已结题

项目摘要

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

我们对减少约束解析的权重作为一项基本技术进行了研究，以通过约束编程实现大规模图形用户界面的高效实现。本财年的成果是：（1）提高了约束编程方法的效率（2））通过将所提出的方法应用于图形用户界面来实现。这是一个证据性评价。研究结果（1）是我们进一步提高了去年提出的约束规划方法的效率，该方法解决了包含不等式的线性约束系统，尽管我们能够解决实际的约束系统。当时，这只有在不平等约束数量很少的情况下才有可能。今年，我们放宽了这个条件。作为我们的目标之一，我们尝试改进不等式约束的处理方法。因此，即使在存在大量不等式约束的情况下，约束系统中的大多数变量对其域都有不等式约束，我们也可以解决研究结果（2）表明，使用本研究提出的约束规划方法可以实时求解由约束组成的系统。通过实现这一点并将其应用于图形用户界面，我们验证了本研究中提出的方法的适用性并评估了其性能，确认实际上可以构建图形用户界面，并且它比之前的方法要快得多。常规方法。