香港大馆

<正>位于香港商业中心的"大馆",其前身是中央警署、中央裁判法院及域多利监狱,一座由各种历史建筑组成并被围墙围起的古建筑群,而如今是香港现存最重要的历史遗址之一。在2006年停止使用并清空后,这里只留下一块空地以及一系列独特的建筑,其中院落由阅兵场及监狱两大部分组成。设计团队的目标是保持二者的开放性及独立性的同时赋予它们新的活     

基于高时空分辨率卫星数据的气溶胶光学厚度反演系统

卫星遥感技术是研究大气气溶胶时空变化规律的重要手段之一。高分四号卫星(GF-4)作为新一代静止卫星,不仅具备更多的可见-近红外波段,而且具有超高时空分辨率的特点,可以执行对固定区域连续观测或凝视扫描覆盖观测,为气溶胶光学厚度定量反演提供了有利条件。基于GF-4静止卫星超高时空分辨率卫星数据,在深入了解卫星观测模式及传感器波段对气溶胶反演敏感性基础上,基于地气时变差异核心思路,开发了针对GF-4超高时空分辨率数据气溶胶光学厚度反演算法;设计并实现了具备业务化反演气溶胶光学厚度能力的软件系统,软件系统具备多线程、全自动运行能力,满足卫星数据处理业务化需求。利用该系统对GF-4数据进行了处理和分析,通过地基仪器实测的气溶胶光学厚度进行了验证,取得了初步结果。结果表明,该系统具有良好的可靠性和稳定性,可以服务于大气颗粒物时空变化遥感监测。     

车载自组网信息服务与动态交通诱导算法研究

为保障交通安全和提升交通效率,利用了当前条件下IEEE802.11p的VANET（Vehicular ad-hoc network,车载自组网）、相对定位技术、蚁群并行算法动态交通诱导技术,对交通数据进行实时采集与处理。结合模糊理论提出了车载自组网下对人们出行方式有效判断的隶属函数及逻辑推算规则,并通过车载地图规划或驾驶员向车载专用短程无线通信输入,构建当前车载自组网下交通信息服务与动态交通诱导。通过试验得到平均路径长度和最小路径长度收敛曲线,结果对比分析发现改进后的蚁群算法对全局最优解的搜寻效率更高,可靠性得到很大的提升。蚁群算法并行计算试验中,当处理器的数量为4时,收敛值时间花费最少,所采用的蚁群并行算法能大大提高了处理速度和效率。     

基于垂直划分的隐私保护skyline查询

Skyline查询是一种重要的数据分析方法,在推荐系统中有着广泛的应用。近年来,随着隐私保护需求的不断增长,分布式数据集上的隐私保护skyline查询问题受到越来越多的关注。然而,现有的分布式数据集上的隐私保护skyline查询方案大多只适用于水平分布数据集,不能满足垂直分布数据集上的skyline查询需求。为此,深入研究了垂直分布式数据集上保护隐私的skyline查询问题,提出了一种基于保序加密的垂直分布数据集上的隐私保护skyline查询算法,可以在保护数据隐私的同时,有效支持skyline查询过程。理论分析证明了提出协议的正确性和安全性,并通过理论分析和模拟实验对协议运行效率进行了评估,结果显示新方案具有较高的运行效率。     

基于物联网的智慧大棚种植系统的研究

采用传感器技术、物联网技术与无线通信技术结合的方式,设计了基于物联网的智慧大棚种植系统。它是一种新型的高效农业生产模式。将种植环境接入无线传感网络系统,采集土壤、空气温湿度等信息并实时传输存储。该系统的功能特点是：实现了监测调控一体化的自动的闭环系统;根据蔬菜作物习性进行配置设计,具备智能数据分析功能,满足植物科学管理的需要;系统不仅实现PC登录服务器实时查看,同时也支持手机终端APP登录,方便办公或户外条件下的及时管理。Web服务器及智能终端的软件功能界面设计实现了远程种植与管理人员之间的信息交互。实验结果表明,系统具有良好的稳定性,实现对蔬菜大棚的远程智慧种植管理。     

继电保护装置整机智能测试及其关键技术研究

目前,继电保护装置的生产测试依然停留在人工手动测试或半自动测试阶段。该方法测试时间较长、自动化程度不高、测试效率低下等,因此无法适应生产大批量整机测试要求。为解决以上问题,将从以下三个方面探讨保护装置大批量整机测试问题: 1保护装置多维度信息数据挖掘;2智能构建闭环测试环境;3保护装置整机测试流程的智能控制。基于以上技术开发的整机智能测试系统,实现了单装置离散化测试流程的智能引导与控制。该系统已在南瑞继保江苏省电力装备智能调试示范车间实施。长期应用表明,该系统有效降低了测试劳动强度和测试复杂度,提高了大批量生产整机测试效率,降低了测试成本。     

锂离子电池组充电均衡控制系统分析

锂离子电池组在新能源汽车中应用越来越广泛。为了提高新能源汽车的续航能力以及解决锂离子电池组在充电过程中存在不均衡的现象,根据锂离子电池不同工况下的电压与SOC关系,提出电池组的均衡控制策略,并对锂电池组均衡控制系统的软硬件电路进行了设计,进而搭建了锂离子电池组均衡控制电路实验模型,并进行了实验验证。实验结果显示,提出的锂电子电池均衡控制策略对单个电池的不一致性有明显的改善作用,并且理论估算值与真实性一致性较高。     

深空探测三维视景显示和碰撞检测研究

碰撞检测在可视化仿真和模拟中有着重要应用。研究了一种用于深空探测动力学仿真的三维视景显示和碰撞检测方法,三维建模软件构建仿真对象,导入Matlab的虚拟现实工具箱后,用于动态显示探测器着陆小行星表面的动力学过程;通过对包围盒OBB碰撞检测算法进行改进和优化,进行混合层次包围盒结构的遍历,满足深空探测碰撞检测的实时性要求,较好地实现复杂刚体间的碰撞检测。     

垂直分布数据集上的安全Skyline查询算法

Skyline查询是指从多维数据集中筛选出不被其他任何数据点支配的数据点,是一种重要的数据分析方法。近年来,随着隐私保护需求的不断增长,分布式数据集上保护隐私的Skyline查询算法也受到越来越多关注。然而,现有的垂直分布数据集上的Skyline查询方案数据以明文存储,不能实现数据的隐私保护。为此,深入研究了垂直分布式数据集上保护隐私的Skyline查询问题,提出了一种抗合谋攻击的多方垂直分布数据集上的Skyline查询协议。理论分析证明了提出协议的正确性和安全性。此外,通过理论分析和模拟实验对协议运行效率进行了评估,结果显示新方案具有较高的运行效率。     

基于抽象解释理论的循环边界计算方法

在实时系统的应用中常常需要对系统的执行时间,尤其是最坏执行时间进行分析。而程序中的循环结构的迭代次数对程序执行时间的分析结果具有重要的影响。程序的循环边界分析目的在于给出较为接近程序真实运行情况下的循环结构迭代的上界和下界。提出了一种基于抽象解释理论的程序循环边界计算方法,该方法对原有的循环边界分析方法进行了改进。首先在程序切片阶段对原程序建立程序依赖图,并提出了对程序依赖图的约简方法。由约简后的依赖关系可以对变量的取值进行约束,得到更小的取值范围,因此基于该方法的循环边界分析结果更加接近程序的实际执行边界,对获取精确的程序执行时间具有重要意义。