摘要：西九龙40 hm2的填海造地重新规划为香港未来文娱艺术区可追溯到1994年,当时政府意向在维多利亚港这块海滨宝地建造一个重点体育馆和一个大型的海滨公园。1999年香港新机场的设计建筑师诺曼·福斯特设计的一个平均高达120m,覆盖面积为20hm2的“天篷”赢取了政府为此新规划举办的概念设计比赛。2004年底,政府宣布了最后招标的3个入围发展财团,2005年中将决定最终中标者。自此香港公众开始质疑此大型滨海发展被单一发展财团控制,及未来30年文化活动依赖于房地产收益的可行性。而政府对于这重点的发展未提供有效控制的规划条例,也成为公众批评的重点。这篇文章主旨在介绍此高度争议项目的背景及公众主要争议的内容。

摘要：在国际享有东方之珠美誉的香港,地理位置优越,拥有内港"维多利亚港",水深易达,是世界驰名的良港。由于香港地域狭小,适宜都市建设的土地十分有限,因此在海港填海是香港城市发展中寻求土地供应的重要一环。填海工程为香港的繁荣提供了宝贵的土地,促进了香港的经济腾飞,让香港得以或为市民的宜居家园和世界主要的贸易及金融中心。但同时,填海也带来影响持续性发展的问题。因此在平衡城市建设、经济发展、保护香港的自然资源,政府已决定停止填海,故香港现有的土地愈加显得珍贵。如何使稀缺的土地资源为社会带来最大利益,是政府需要关注的问题。

摘要：对于身份认证机制中的安全字符串恢复,字典结合变换规则是一种常用的方法。通过变换规则的处理,可以快速生成大量具有针对性的新字符串供验证使用。但是,规则的处理过程复杂,对处理性能、系统功耗等有很高的要求,现有的工具和研究都是基于软件方式进行处理,难以满足实际恢复系统的需求。为此,文中提出了基于异构计算平台的规则处理器技术,首次使用可重构FPGA硬件加速规则的处理过程,同时使用ARM通用计算核心进行规则处理过程的配置、管理、监控等工作,并在Xilinx Zynq XC7Z030芯片上进行了具体实现。实验结果表明,在典型情况下,该混合架构的规则处理器相比于单纯使用ARM通用计算核心,性能提升了214倍,规则处理器的运行性能优于Intel i7-6700 CPU,性能功耗比相比NVIDIA GeForce GTX 1080 Ti GPU有1.4~2.1倍的提升,相比CPU有70倍的提升,有效提升了规则处理的速率和能效。实验数据充分说明,基于异构计算平台,采用硬件加速的规则处理器有效解决了规则处理中的速率和能效问题,可以满足实际工程需求,为整个安全字符串恢复系统的设计奠定了基础。

摘要：在身份认证协议中,安全字符串是必需的。安全字符串的恢复是一个反向的过程,通过在大量候选字符串上做计算并验证,找到丢失或遗忘的正确字符串。在反向的恢复过程中,需要根据变换规则对字符串进行快速处理,生成新的字符串。针对上述需求,首次提出用硬件加速变换规则的处理过程,并在现有的FPGA平台上,设计实现领域专用的规则引擎。实验结果表明,在单个Xilinx Zynq XC7Z030 FPGA上实现的该规则引擎的处理性能优于CPU,性能功耗比相比GPU有3倍的提升,相比CPU有50倍的提升,有效提升了规则处理的速率和能效。

摘要：该文在对System Verilog与C语言的接口进行介绍的基础上，详细描述了两者之间数据共享的基本方法，然后通过对一款示例芯片基本功能的分析，设计了芯片模拟器的四个基本接口函数并对其实现进行了简要描述。通过该芯片模拟器设计与实现的介绍，可以从中了解System Verilog测试平台下芯片模拟器实现的一般方法。