-
题名交互计算模型概述
被引量：3
- 1
-
-
作者
付 岩
张 浩
黄铁军
余 珂
李 涛
-
机构
中国科学院计算技术研究所
中国科学院研究生院
中国科学院软件研究所
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2002年第6期701-706,共6页
-
基金
本课题得到中国科学院知识创新工程方向性项目基金资助(KGCX2-103)
-
文摘
由于计算机技术的发展日新月异,以算法为核心,以图灵机和Church论题等为理论依据的计算模型已无力继续成为今天计算科学的理论范式.介绍了一个崭新的计算模型——交互计算模型的基本思想.它是对算法的扩展,并比算法具有更强的描述能力.一系列基本概念被扩展到交互.
-
关键词
交互计算模型
算法
图灵机
计算模型
计算机
-
Keywords
interaction, algorithm, Turing machine, model of computing, logic
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
-
题名ICOMDT:一个面向动态任务的交互计算模型
- 2
-
-
作者
李念龙
黄进
田丰
戴国忠
王宏安
-
机构
人机交互北京市重点实验室(中国科学院软件研究所)
中国科学院大学计算机与控制学院
-
出处
《软件学报》
EI
CSCD
北大核心
2019年第10期2927-2941,共15页
-
基金
国家重点研发计划(2016YFB1001405)
重庆市科技服务平台专项(cstc2015ptfw-ggfw120002)~~
-
文摘
近年来,包含动态任务的交互式系统得到了广泛的应用.基于现有对用户与动态任务交互的研究,提出一个面向动态任务的定量化可计算的交互模型 ICOM^DT,用于解释用户与动态任务的交互行为,并实现用户意图预测.更具体地,将 ICOM^DT应用于运动目标选择任务,设计了两个实验以验证模型的有效性.实验 1 收集用户数据对模型进行拟合并预测用户选择的错误率,实验结果表明,能够很好地拟合且预测值也与真实值接近;实验 2 将模型对用户意图的理解拓展为一种辅助运动目标选择技术 ICOMPointer,通过在具体的游戏场景中与 Windows 原本的选择技术及两种现有的增强目标选择技术对比,发现使用 ICOMPointer 选中目标的平均完成时间更短,完成速度更快.ICOM^DT 模型的提出对计算机理解用户意图,提高用户与动态任务的交互效率有着重要意义.
-
关键词
动态交互任务
交互计算模型
运动目标选择
-
Keywords
dynamic interaction task
interactive computing model
moving target selection
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
