摘要：为了使以发光二极管为代表的光源在照射目标平面上获得高分辨率的并具有复杂预定形状的远场照度分布,提出了从照射目标平面向光源映射、基于微带表面构型的分离变量三维自由曲面非成像光学系统设计方法。首先,计算依赖于映射关系的表面法向矢量;其次,逐步计算网格格点和表面微带的边缘曲线形状;最后,将所有表面微带联结在一起构成光学系统的表面。该设计方法具有无需误差校正过程,可以高效设计具有复杂照度分布形状的光学系统等独特优势。高分辨率光线追踪模拟结果表明,对于照射目标平面上的棋盘状和条状等多种预定照度分布形状,应用该方法均可高效地获得精准的非成像光学系统。

摘要：分布式协商的目的是在分布式环境下在一组进程之间决定一个共同的值,这是在分布式系统中最基本的问题。分布式协商问题的目标非常简单,但是在面对节点出错、网络出错、网络时延等环境的时候,协议设计以及处理起来十分困难。讨论分布式协商问题的基本形式,在不同的系统假设下的基本结果以及分布式协商在构建稳固的分布式大数据系统中的作用。

摘要：我们正处在一个大数据的时代,海量的数据无论是对数据的存储还是管理都带来了一系列的挑战。云存储作为应对挑战的一种有效方式已经受到人们的重视并获得了蓬勃的发展,然而构造一个优秀的云存储系统并不是一件容易的事情,面临诸多技术难题。本文介绍了清华大学在云中数据管理方面所做的工作,包括分布式文件系统Carrier和数据存储与共享服务Corsair的设计实现及其在校园云存储中的应用情况,其目的是为云存储系统的构建提供借鉴,从而更好的应对大数据的挑战。

摘要：随着陆、海、空等交通方式的快速发展,以地面无人系统(UGS)、无人机系统(UAV)、海上无人系统(UMS)为代表的无人系统受到了广泛关注,但是无人系统所处外部环境复杂多变,其设计开发充满挑战。针对这一情况,以中科院王飞跃研究员提出的平行系统理论为指导,提出了平行无人系统解决方案。本文首先讨论了无人系统的概念,并对无人系统的自主性和复杂性进行了分析;然后根据平行理论,提出了平行无人系统的概念和框架,并对平行无人系统的建模、平行学习、平行规划、平行控制等关键技术进行了研究;最后,以平行无人系统框架为基础,设计了平行驾驶验证平台和平行机器人验证平台,通过实验证明了平行无人系统框架可提高无人车及机器人在复杂场景下的安全性和稳定性。