摘要：随着我国城镇化进程的不断推进和科学技术的不断发展,智慧社区已成为发展的必然趋势,智能建筑成为智慧社区的重要组成部分。随着科技的发展,智能建筑必将走上以时间和空间扩展的4D技术为主的发展道路。作者以智慧社区为立足点,通过查阅智慧社区相关文献,勾勒出智慧社区的发展历程,重点阐述了智能建筑的发展现状及将来的发展趋势;通过“迪拜旋转大楼”“立体停车场”以及“4D打印技术”探讨了未来智能社区智能建筑在时间和空间上扩展的可能性,提出了通过自动化控制管理系统进行楼宇控制的建设方案。

摘要：在研究传统通信机制基础上,针对数控总线特点,本文提出一种新型基于实时发布订阅模式的数控总线通信机制.详细阐述该机制的核心部件消息中间件的设计过程,采用形式化方法对这种机制进行分析,构建出基于概率时间自动机的系统状态转换模型,最后通过模型验证器PRISM对该机制的稳定性与实时性进行了验证.结果表明该机制满足数控总线通信要求.