Programming with Constraints and Events for Information Visualization

使用约束和事件进行编程以实现信息可视化

基本信息

  • 批准号:
    21K11836
  • 负责人:
  • 金额:
    $ 2.66万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
  • 财政年份:
    2021
  • 资助国家:
    日本
  • 起止时间:
    2021-04-01 至 2024-03-31
  • 项目状态:
    已结题

项目摘要

本研究は,情報可視化のアプリケーションを作成するための柔軟なプログラミング技術を構築することを目的とする.具体的には,ウェブ向けの情報可視化ライブラリにおける,情報可視化に関する高水準な記述と可視化結果に関する低水準な表現の間の隔たりの問題を解決したプログラミング技術を構築する.そのための手段として対象間の関係を宣言的に表現する制約の概念を導入し,高水準な記述と低水準な表現を制約でつなぐ.さらに,ユーザによる対話的操作やデータの更新等のイベントを制約によって扱い,可視化の変更に関する統一的な仕組みを実現する.第2年度である令和4年度には以下の研究を行った.初年度の研究成果を発展させ,情報可視化に関する高水準な記述と可視化結果に関する低水準な表現を制約でつなぐ情報可視化向けのプログラミングのモデルについてさらなる検討を行った.本研究で基礎的な枠組みとして採用している制約階層では,強さと呼ばれる優先度を制約に付与し,制約同士の矛盾が生じる場合に優先度の高い制約を可能な限り充足することで,より良い解を求めるようにしている.本研究では,優先度の低い制約を主に可視化結果に関する低水準な表現のために使用するが,その際に高水準な記述への対応の度合いを考慮し,その度合いに応じて低水準な表現に用いる制約の優先度を決定するようにした.これによって,可視化に求められる性質が可視化結果に適切に反映されるようにした.
本研究的目的是构建灵活的编程技术来创建信息可视化应用程序。具体来说,我们将构建一种编程技术,解决网络信息可视化库中信息可视化的高级描述与可视化结果的低级表达之间的差距问题。作为实现这一目标的一种手段,我们引入了约束的概念,它以声明方式表达对象之间的关系,并将高级描述和低级表达与约束连接起来。此外,用户交互和数据更新等事件由约束处理,并实现了改变可视化的统一机制。令和4年2年,我们进行了以下研究。在第一年的研究成果的基础上,我们进一步研究了一种信息可视化的编程模型,该模型使用约束连接信息可视化的高级描述和可视化结果的低级表达。本研究采用的约束层次作为基本框架,为约束分配了一个称为强度的优先级,当约束之间发生冲突时,尽可能满足较高优先级的约束,以改进我试图找到一个好的解决方案。本研究中低优先级约束主要用于可视化结果的低层表达,但这样做时考虑了与高层描述的对应程度,根据程度使用低层约束现在确定了用于表达的约束的优先级。这确保了可视化所需的属性适当地反映在可视化结果中。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
A Hand Gesture-Based Authentication Method That Makes Forgery Difficult
一种基于手势的身份验证方法,使伪造变得困难
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

細部 博史其他文献

Web文書配置のための制約プログラミング手法
Web文档放置的约束规划方法
Structured Query Language for Virtual Observatory
虚拟天文台结构化查询语言
在宅支援(遠隔医療)ITシステム
家庭支持(远程医疗)IT系统
Web Service Interface and Workflow Mechanism for JVO
JVO的Web服务接口和工作流程机制
ユニバーサルデザイン
通用设计

細部 博史的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('細部 博史', 18)}}的其他基金

リアクティブシステムのためのノートブック型プログラミング方式
反应式系统的笔记本编程方法
  • 批准号:
    24K14904
  • 财政年份:
    2024
  • 资助金额:
    $ 2.66万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
対話型視覚的アプリケーションのための制約命令型プログラミング言語
用于交互式视觉应用程序的约束命令式编程语言
  • 批准号:
    16K00108
  • 财政年份:
    2016
  • 资助金额:
    $ 2.66万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
ソフト連続制約の分散協調解消系
软连续约束分布式协同求解系统
  • 批准号:
    17680002
  • 财政年份:
    2005
  • 资助金额:
    $ 2.66万
  • 项目类别:
    Grant-in-Aid for Young Scientists (A)
制約プログラミングによる視覚化モデルの形式化と実現
使用约束规划的可视化模型的形式化和实现
  • 批准号:
    16016286
  • 财政年份:
    2004
  • 资助金额:
    $ 2.66万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas
力学的アプローチによる柔らかい制約システムの研究
使用机械方法研究软约束系统
  • 批准号:
    14780248
  • 财政年份:
    2002
  • 资助金额:
    $ 2.66万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
大規模グラフィカルユーザーインターフェースのための軽量制約プログラミング技術
大规模图形用户界面的轻量级约束编程技术
  • 批准号:
    12780252
  • 财政年份:
    2000
  • 资助金额:
    $ 2.66万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
効率的な制約命令型言語処理系の研究・開発とGUIへの応用
高效约束命令式语言处理系统的研发及其在GUI中的应用
  • 批准号:
    97J07502
  • 财政年份:
    1998
  • 资助金额:
    $ 2.66万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows

相似海外基金

Speeding-up SAT-based Constraint Optimization Solvers
加速基于 SAT 的约束优化求解器
  • 批准号:
    23K11047
  • 财政年份:
    2023
  • 资助金额:
    $ 2.66万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Constraint Acquisition and Compositional Verification of Large and Complex Cyber-Physical Systems
大型复杂信息物理系统的约束获取和组成验证
  • 批准号:
    22K11969
  • 财政年份:
    2022
  • 资助金额:
    $ 2.66万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Research and Development of a New SAT Solving Technologies for Constraint Satisfaction Problems
约束满足问题新型SAT求解技术的研究与开发
  • 批准号:
    22K11973
  • 财政年份:
    2022
  • 资助金额:
    $ 2.66万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Acceleration of SAT-based CSP Solvers using MDD
使用 MDD 加速基于 SAT 的 CSP 求解器
  • 批准号:
    20K11748
  • 财政年份:
    2020
  • 资助金额:
    $ 2.66万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Evolution and development of high-level modeling languages integrating programming lanuguage technologies
集成编程语言技术的高级建模语言的演变和发展
  • 批准号:
    18H03223
  • 财政年份:
    2018
  • 资助金额:
    $ 2.66万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了