摘要：性能可扩展性是当前互联网面临的主要问题之一,对互联网开展有效的测量和评价,能为寻找提高网络性能的方法提供必要的数据支撑.目前,虽然在大规模分布式测量方面已经开展了大量的出色工作,但是它们无一例外地受到测量点数量和位置的限制.基于此,文中设计并实现了基于联邦架构的全球网络性能测量平台GPERF.该平台实现了大规模异构测量,充分利用了自有资源、伙伴资源和互联网上的开放服务等.文章将从体系结构设计、测量点发展、测量任务调度和应用研究等方面对GPERF展开介绍和讨论.

摘要：随着时代的发展,人们的个性化特征日益显著,对住宅的需求也更加多元;而装配式技术的发展使住宅的更替更加便捷。文章基于现代装配技术、开放建筑理论以及建筑电讯派的“插件城市”理论,通过对基地背景的调研,提出插件社区概念。从体块生成、功能分层、交通与景观系统三部分,详述项目的设计方案;并设计通过对插件运输系统与模块运输系统的结合应用,实现插件社区的构建。希望以此探索一套能够满足现代人未来居住生活需求的设计范式,在未来具有一定的普适性意义。

摘要：概述了形式化校核方法在软件工程的应用情况,分析了国内外关于HLA联邦VV&A方法研究的现状,讨论了形式化方法HLA联邦校核与验证中主要解决的问题,提出了一种基于时态逻辑的HLA联邦形式化校核方法,该方法可以用来校核联邦及其成员的交互设计和逻辑行为运行的正确性和逻辑性.最后总结了全文,指出形式化方法虽然有利于提高HLA联邦的可信性、可靠性和一致性,但需要较多的专门知识和自动化工具的辅助。

摘要：提出了一种基于时态逻辑的形式化联邦校核方法,采用时态逻辑公式描述联邦各成员的行为逻辑关系,推导出与该时态逻辑公式对应的有限自动机模型,即规范自动机。同时,建立联邦全局行为的状态转移图,即实现自动机,通过检验规范自动机所接受的语言是否包含实现自动机所接受的语言来判断联邦运行时各成员的状态变化是否满足规范要求,达到校核联邦的目的。该方法可用来校核联邦及其成员的交互设计和逻辑行为运行的正确性和逻辑性,具有理论意义和应用价值。

摘要：与艺术和文化的关系 ——人物塑造,艺术史上所有阶段的优秀儿童画 ——时装杂志、时装和首饰广告、商店的订货目录 ——过去的时装画页、时装明信片 ——圣餐饼上的人物 ——旧的照片 ——旧的(具有民族色彩。

摘要：全新的艺术实验室建筑,坐落在瑞士洛桑联邦理工学院（EPFL）的校园内,由日本设计师隈研吾担当设计。校方希望通过这个艺术实验室来活跃整个校园的氛围,加强艺术、科学与公众之间的学习交流。建筑所在地块原来是大学校园中部一处开阔的草坪。它北面连接着包括Esplanade广场、大学社交中心,

摘要：当柏林被定为德国首都后,位于施普雷（Spree）河北岸转弯处的施普雷河湾区（Spreebogen）的全面复兴计划也随即启动了。1992年,国际性的城市设计大赛吸引了来自54个国家的835件参赛作品。

摘要：该文提出了集群环境下管理暂态数据的一种新方式——数据公告服务,文章概述了服务提出的背景,描述了公告服务的功能,讨论了大规模集群环境下数据公告遇到的问题及解决方案,并对服务的设计和实现进行了阐述。

摘要：记得在上个世纪九十年代初，在中国多年单调沉寂的家具市场上突现了一股消费热潮，一种流行时尚，那就是被人们普遍称为“联邦椅”的实木沙发创造的奇迹，一时间，大江南北都被“联邦椅”覆盖了，哪里有“联邦椅”，哪里就有争购的消费者，一时间“联邦椅”成为最畅销家具的代名词，一种消费时尚。

摘要：四个案例研究（二）媒体社区（Mediencommunity）媒体社区（Mediencommunity）是一个在线的＂形象艺术的知识网＂。这一创举得以开发和测试得益于BMBF和ESF的资助。该项目的试点阶段过后,Mediencommunity被印刷业和媒体行业的雇佣组织所采用,