摘要：随着智慧城市应用及个人智能移动装置的普及,目前正处在一个传感数据爆炸的年代。虽然已存在一些传感数据存储和管理平台,但数据的真正价值并没有被充分挖掘。没有一个平台能在数据存储的基础上,将数据转化为可用的产品,这成为大数据和传感网络研究中的一个重要课题。探讨了设计此平台面临的主要问题和需求,并提出了解决方案——Wiki Sensing平台。在Wiki Sensing中,用弹性的传感数据存储、灵活的传感数据检索、方便的应用开发环境和有效的数据产品市场,来支持从传感大数据到数据产品的整个生命周期。系统可以让使用者融合不同来源的传感数据,整合多样的分析模型,快速建构出数据应用产品。此外,给出了Wiki Sensing的平台特性,并展示了其如何有效地发掘传感数据的价值。

摘要：利用支配集可以将复杂的物理网络拓扑聚合成简单的虚拟拓扑,降低网络运行的开销.但是单纯考虑支配集合的大小并不能保证聚合后的拓扑具有最佳的性能.为此,本文对利用加权支配集的网络拓扑聚合方法进行了研究,构造了以带宽为权的支配集,使聚合后的网络在带宽方面具有更优的性能,并设计了一种计算复杂度为O(n),信息复杂度为O(Δn)的最小权支配集的并行近似算法.

摘要：立法通常采用的语言风格与逻辑编程语言有许多相似之处。然而,1981年《英国国籍法》《密歇根大学租赁终止条款》和《伦敦地铁紧急情况告示》中的法律语言示例表明,逻辑编程的基本模型可以通过几种方式得到有效的扩展。这些扩展包括类型的引入、相关条款、普通否定和击败否定、完整性约束、元推理和程序符号。除立法和编程之间的相似处之外,法律与算法还有其他重要的相似之处。例如,它需要根据社会和政治规范来验证立法,并且需要组织、开发、维护和重复使用大量复杂的法律规范和程序。算法和法律之间的相似性表明,这些不同领域之间有可能实现有效结论与技术手段之间的双向转换。本文探讨的一种可能性是,适当扩展的逻辑程序设计语言的语言结构,是使立法语言本身变得更简单、清晰的可能方式。

摘要：核磁共振成像(Magnetic Resonance Imaging,MRI)通过高分辨率目标组织扫描,可以使医生和患者在免于电离辐射的情况下实现实时成像。近年来,科学家和工程师们一直尝试将机器人技术与MRI结合在一起,实现机器人辅助和图像引导相结合的诊断及治疗。本文介绍了可用于术中MRI的医疗机器人系统,具体包括它们的成像兼容性、驱动方式、传感方式、运动学以及机械和电气设计,这些技术使得机器人在MRI引导下的介入诊疗成为可能,此外,基于不同的医学场景,本文对各种MR兼容机器人系统做了分类和比较研究,最后对MR兼容机器人领域的未来发展方向进行了展望。