可视化语言文法形式化描述综述

来源 :计算机科学 | 被引量 : 0次 | 上传用户:mnbvcxzxzh
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
可视化是人机交互的主要形式,可视化语言是计算机科学中一个重要研究领域,文法为可视化语言提供了一种有价值的形式化描述方法.本文基于可视化语言的特征,介绍了可视化语言文法形式化描述体系的基本理论,分析了几种典型形式模型,并探讨了当前的主要研究内容和面临的挑战.
其他文献
本文论述了网络环境下高校图书馆读者服务工作的特点及其工作方式的转变,探讨网络环境下加强高校图书馆读者服务工作的对策和措施。
教育已经成为一种社会服务,作为这个服务过程的重要环节-图书馆,应当顺应形势,与时俱进,以最优质的服务配合整个学校的教学服务工作,本文从确立服务理念,加强自身修养,建立图书馆文化
油田科技期刊室文献住处服务的开展,不仅有利于文献资源的开发利用,而且还能提高科研生产水平,本文分别从课题服务、重点读者服务、定题服务、题录卡片服务等方面论述了如何深入
为替代污染严重的电石法制乙炔工艺,寻求一条洁净化乙炔生产工艺,利用100 k W直流等离子体装置进行了焦化厂焦炉煤气与解析气制乙炔的研究,分析了原料气流量、氢烷比、反应腔
粗糙集理论是一种新的处理模糊和不确定性知识的软计算工具,在人工智能及认知科学等众多领域已经得到了广泛的应用.对于不完备信息系统,目前也有了多种扩充方法,如基于容差关
虚拟物流企业已成为21世纪信息社会生产、物流的主流组织形式.准确地选择和确定合作伙伴是建立虚拟物流企业的关键.本文提出了应用基于网格的聚类算法来选择虚拟物流企业合作
随机流量网络比二态网络更适合用于描述现实生活中的许多系统.给定要求d,随机流量网络的可靠度定义为最大流不小于d的概率.这一领域的研究提供了许多算法来估计系统的可靠度.
蜜罐系统作为一种主动响应的安全技术,利用诱骗技术吸引入侵,对网络数据进行捕捉和控制,及时获取攻击信息并记录入侵过程,研究攻击手段和过程.对该技术的研究已成为目前信息
主动网络是一种新型的网络体系.主动包中可以携带用户的数据和代码,并且可执行包中用户指定的运算任务.主动网络还为用户提供了可编程的接口,用户可通过网络中的节点动态地注
本文针对节点具有多个可用信道的自组网,提出了一种基于令牌环的多信道轮询多址MAC协议,协议在控制信道上采用令牌轮询接入方式来实现节点公平接入信道,通过令牌的传递预约数