【摘 要】
：
随着人机交互技术的发展,计算机和用户之间的接口越来越自然,但用户界面管理系统内部的复杂度却大大地增加了.目前提出的新一代用户界面的模型大都停留在概念模型阶段,缺乏对
【机 构】
：
中国科学院软件研究所计算机科学开放研究实验室,西北大学计算机科学系
【基金项目】
：
国家自然科学基金;新材料领域项目
论文部分内容阅读
随着人机交互技术的发展,计算机和用户之间的接口越来越自然,但用户界面管理系统内部的复杂度却大大地增加了.目前提出的新一代用户界面的模型大都停留在概念模型阶段,缺乏对模型的严格描述和证明.该文结合对基于自然交互方式的用户界面的研究成果,归纳出了一个交互式用户界面的通用模型.为了保证系统设计的正确性,文章讨论了如何使用形式化描述语言LOTOS(language of temporal ordering specification)和基于动作的时序逻辑ACTL(action based temporal logical)对系统进行描述与验证,这有利于人们对交互式用户界面的动态行为进行研究、评估与定义.
其他文献
用直流电弧法制备出了可用于场发射的碳纳米管,其长度在0.5～1 μm之间,管径约20～30 nm,且大多数具有多层结构.研究发现,经超声分离的样品中有大量便于移植的一端封口的碳管.详
用高能等离子束在常压下快速扫描涂敷合金渗剂的45#钢管内表面,可实现多元共渗及自激冷淬火,获得多元共渗及淬火复合硬化层.用电子探针和透射电镜对硬化层的成分和组织结构进
预送作为主动cache,是cache机制由时间局部性向空间局部性的拓展.文章提出服务器主动预送的两种模式.基于单个URL的模式利用客户请求的马尔可夫链特征获取文档的时序相关模型
通过解剖分析国外先进材料如高温合金、钛合金、不锈钢及焊丝和焊料,了解和掌握了国外材料的冶金质量与水平,找出了国产材料与国外先进材料的差距,提出了提高国产材料冶金质
用自制的化学气相沉积装置在Al2O3颗粒表面分别获得了TiN、Ni、Fe三种涂层,并用耐热钢对有涂层的Al2O3颗粒进行了负压铸渗实验,获得了Al2O3颗粒/耐热钢基复合材料.所得复合材
介绍了清华大学与河南电力局合作开发的±300kvar先进静止无功发生器（STATCOM）所用的门极触发脉冲发生器的改进研究。触发脉冲发生器负责产生和分配控制GTO管导通、关断的触发
针对在发输电可靠性分析中故障频率和持续时间指标计算量太大的问题,提出了基于解析模型和非序贯蒙特卡罗仿真相结合的新算法,并分析了在大型实际系统计算中由于抽样次数限制
简要介绍了比较成熟的几种快速成形方法.着重介绍了快速成形技术在陶瓷领域中的应用,讨论了技术生产陶瓷件存在的问题及发展方向.
随着电网扩大、自动化程度的提高和新技术的应用,调度自动化系统采集和控制的信息越来越多,系统规模和容量日趋庞大.杭州地区现有500 kV变电所1座,220 kV变电所9座,110 kV变
提出了某导弹末制导雷达系统信号模拟器的实现方案，以及模拟产生雷达中频视频信号的准连续波方法，并对该中频视频信号模拟方法的可行性和实用性进行了理论和计算机仿真研究，得到