国家高技术研究发展计划(2006AA01Z198)
- 作品数：25 被引量：154H指数：5
- 相关作者：史殿习丁博倪红波王海鹏周兴社更多>>
- 相关机构：国防科学技术大学西北工业大学清华大学更多>>
- 发文基金：国家高技术研究发展计划国家教育部博士点基金西北工业大学研究生创业种子基金更多>>
- 相关领域：自动化与计算机技术自然科学总论更多>>
- 基于平台抽象层的进程虚拟机设计与实现被引量：5
- 2008年
- 分析WINE虚拟机响应缓慢的根源,提出平台抽象层(PAL)的概念,设计并实现了基于PAL的进程虚拟机Elavm。在Linux,Windows和WinCE上,完成了Elavm PAL的硬件抽象模块、操作系统抽象模块和设备驱动抽象模块。其中,操作系统抽象模块实现了一个通用虚拟内核、一组高效的系统调用和一种基于共享内存的"忙等待"进程间同步方法。测试表明,基于PAL的进程虚拟机,其平均响应时间仅为类WINE虚拟机的千分之一。
- 阳昕杨维康陈榕石磊
- 关键词：虚拟机
- 普适计算环境下异步事件交互系统设计实现
- 普适计算环境不同于传统的计算环境,开放性、移动性、异构性特点鲜明。本文以特定的普适计算应用为背景,在发布/订阅系统基础上,设计了普适计算环境下异步事件交互系统,根据普适环境下移动用户位置的不确定性特点提出了实现移动应用的...
- 李志凌丁博史殿习邹鹏
- 关键词：异步移动性
- 文献传递
- 一种普适环境下群体用户体验的定量评价模型
- 本文讨论了普适计算环境下群体用户体验的定量评价问题。分析了群体用户的分类,提出并定义了四种不同类型的群体用户,引入了群体用户体验的概念,对不同类型群体用户体验的定量评价进行了深入剖析,建立了具有统一形式的群体用户体验定量...
- 王柱周兴社王海鹏倪红波武瑞娟
- 关键词：普适计算
- 文献传递
- 面向对象技术在C编译器OCC中的应用被引量：1
- 2008年
- 对面向对象的C编译器(OCC)的整体设计进行介绍。OCC以抽象语法树为中间表达形式。语法树节点分为8大类86种,降在采用visitor设计模式进行语意分析时节点功能的耦合度。OCC用简易的垃圾回收器解决了语法树节点动态分配和销毁时的内存泄题。OCC的类型分析模块针对类型声明中9个不同组成部分采用7种处理方式,降低了属性文法脚本的维护难度。
- 任杰阳昕石磊陈渝杨维康
- 关键词：设计模式抽象语法树编译器
- 软件测试模型分析与研究被引量：12
- 2008年
- 软件测试是确保软件质量的重要措施,而软件测试模型是指导软件测试的框架。对测试模型具备的要素及当前软件测试模型进行了介绍,并对测试模型的特征进行了分析和研究,阐述了各个模型的优缺点,并提出了迭代开发测试模型。
- 陈小勇尹刚史殿习
- 关键词：X模型V模型W模型
- 智能博物馆个性化导航技术的研究与应用被引量：7
- 2009年
- 将普适计算的概念应用到博物馆,研究智能博物馆(iMuseum)个性化导航,提出3阶段个性化导航技术。该技术实现iMuseum原型系统,采用基于语义网的上下文感知计算框架iSpace,通过感知博物馆中各种上下文信息和游客的个性化信息,实现面向游客的自适应导航,增强游客的游览体验。
- 王柱周兴社王海鹏倪红波武瑞娟
- 关键词：普适计算上下文感知导航个性化
- 面向智能博物馆的主动式个性化信息服务
- 主动式个性化信息服务是支持博物馆个性化服务和智能化管理的关键技术。本文介绍了一种面向智能博物馆的主动式个性化信息服务,分析了基于上下文和事件的实现机制,讨论了个性化知识学习问题,给出了相关实验,结果验证了主动式个性化信息...
- 王海鹏周兴社倪红波於志勇王柱周珊丹
- 关键词：个性化普适计算
- 文献传递
- 基于结构光源的大屏幕交互技术
- 2009年
- 本文提出采用结构光源充分表达用户手部运动的想法,设计了结构光源和识别软件,从光点序列中提取出光点运动轨迹和用户手势的旋转信息,搜索光点位置序列的平坦区段锁定目标位置,将旋转手势解释成交互原语以扩充激光笔的交互语义.最后的性能评估结果表明,结构光源在丰富交互语义和加速目标选择方面都有着较大的改进.
- 秦永强喻纯史元春
- 智能影子(SmartShadow):一个新的普适计算模型
- 普适计算已经成为一种全新的计算模式,但是目前对其模型的研究较少。本文试将普适计算环境以人为中心建模为一个"智能影子"模型。该模型建立在用户建模及普适服务抽象的基础上,通过用户BDP模型,将普适环境映射成一个以用户为中心的...
- 张犁潘纲李石坚吴朝晖
- 文献传递
- 普适环境下的群体用户建模机制研究
- 2009年
- 普适环境下经常会出现多个用户一起活动的情形,群体用户建模技术可以有效支持针对群体用户的个性化服务。对普适环境下的群体建模需求进行了分析,并讨论了个体兴趣模型及群体兴趣模型的定义和形式化描述。重点给出了一种基于痛苦避免、兴趣满足和公平三者均衡下的兴趣融合算法,最后在一种应用场景下给出实验,并对实验结果进行了分析和讨论。
- 武瑞娟周兴社王海鹏王柱
- 关键词：普适计算个性化服务
