基于Event-B和Rodin开展形式化软件工程教学

形式化软件工程是软件工程的重要组成部分。Event-B方法是一种软件形式化开发方法,Rodin是支持Event-B方法的开放工具集。基于Event-B方法和Rodin开展形式化软件工程教学,有益于学生正确理解精化等重要的软件工程概念,理解并掌握开发可信软件的方法,是软件工程教学的重要补充。     

编译课程教学相关工具资源分析

结合编译课程教学特点,收集当前常用的编译资源,并从编程语言和教学知识点两个角度对这些资源进行归类分析;在此基础上,探讨如何利用这些资源开展编译课程的课堂教学和实践教学。     

用描述逻辑进行语义Web服务组合

针对面向服务功能的语义Web服务组合问题,特别是经典的人工智能规划方法无法有效地处理Web服务执行过程中动态产生的新个体,以及基于服务匹配的方法则无法充分利用服务I/O参数类型之间大量的语义关联等关键问题,通过动态逻辑和描述逻辑之间的对比研究,采用描述逻辑公理来刻画Web服务的IOPR(inputs,outputs, preconditions and results),扩展了基于动态逻辑的人工智能规划方法,提出了把语义Web服务组合问题转化为描述逻辑推理问题的方法,克服了经典的人工智能规划方法中的困难和基于服务匹配的服务组合方法的缺点.     

增强现实技术在虚拟演播室系统中的应用

虚拟演播室是虚拟现实技术和视频合成技术相结合的产物,其场景是计算机生成的三维场景,由于人们对虚拟场景和复杂度的无限要求,使得场景的实时显示十分困难,使用基于图像的绘制技术构造虚拟空间能够较好地解决这个问题。在虚拟演播室中,演员需要与三维运动虚拟物体进行交互,运用增强现实技术,可以将三维虚拟物体与基于图象绘制的虚拟场景融合在一起。     

虚拟空间会议系统中视频合成技术的研究与实现

虚拟空间会议系统能够把所有与会者合成同一个虚拟会场中,从而构造一个能提供无缝的会场环境,眼神接触、凝视感知等普通多媒体会议系统不具备的虚拟协同工作环境。VST系统是我们刚刚完成的一个虚拟空间会议系统。视频合成技术是其实现的关键技术之一。本文介绍了VST系统中视频合成技术的研究与实现。     

整合Agent与语义Web服务

目前的语义web服务方法和标准提供了很多由Agent平台操纵的基础设施,这有利于Agent与语义web服务的结合。本文分析了语义web服务与Agent之间的关系,提出Agent的主要角色是用来封装用户的意图,协调用户的目标,并最终调用web服务.我们利用当前的Agent技术与语义web服务技术,设计出自己的平台,整合了Agent BDI模型与语义Web服务。     

语义Web服务的自动化组合方法：研究综述

语义Web服务的提出是为了解决Web服务资源在语义Web中的智能化整合问题,而语义Web服务的自动化组合技术作为这个整合过程中的一个关键技术正在蓬勃发展。本文考察了来自人工智能领域、形式化方法和自动推理等领域的众多服务组合方案,讨论了各种方法的原理和优劣之处,并探索了将来的研究工作和趋势。     

几何的延伸

<正>2009年10月,Steckelhrn 11正式完工。这是一座位于汉堡市旧城区中心的办公建筑,设计者为J.MAYERH.。Steck-elhrn 11位于汉堡市主要的商业区和著名的港湾城"Hafen City"开发区之间。"Steckelhrn 11"所在的街区以砖石结构的老建筑为主,这些老建筑沉淀着城市的过去。Steckelhrn 11的基地就处于两座历史建筑之间。     

组合铝合金模板在保障性安居工程中的应用

主要介绍了组合铝合金模板的施工技术及其在云南省保障性安居工程中的应用实例。组合铝合金模板作为新一代的建筑模板,可根据的设计图纸和建筑结构施工单位特殊的施工要求进行配模及模板设计。组合铝合金模板代替传统的木模板,施工方便、效率高、可节省材料并降低工程造价,大大提高了施工质量,缩短了工期,有效的减少了项目管理成本。     

用心看世界

“平民”的定义范围较为广泛,小组成员通过赵建波副教授的指导和集体讨论,最终决定在“平民”范畴内选择一类特殊人群,通过对其行为特征和生活方式进行调查研究,来营造适合他们的建筑和环境。当今社会提倡“以人为本,互相关爱”,但在现实生活中,无论从物质方面还是精神方面,我们对弱势人群的照顾并不是十分到位。因此我们认为,应该运用建筑的方式为他们提供关爱,帮助他们克服生理和心理障碍,从而积极地面对社会、面对生活。最终我们将设计对象定为盲人家庭住宅。盲人是一类特殊的社会弱势群体,在我国有4千多万人口,占总人口比例的3%左右。他…