智能家庭环境中的家庭网关功能分析

随着物联网技术的快速发展,智能家庭的概念日渐成熟,越来越多的厂商开始关注这个领域,并根据各自的理解提出了很多数字家庭的概念和商业模式。文章分析了数字家庭的现状和未来发展趋势,并结合家庭网关的定位和优势提出基于家庭网关打造智能家庭的网络架构。     

永定河北京段生态补水流量及模式

以永定河北京段为例，建立水文学和水力学相结合的水流演进模型，利用生态补水实测监测数据率定并验 证模型。利用建立的模型研究永定河北京段的生态补水规律及模式，结果表明：在持续稳定流量补水条件下，固 安（出境断面）通水后 11d 左右达到稳定状态，停止放水后可维持河道 12~13d 有水；在持续稳定流量下，随着补水 流量的增大，河道首次贯通的时间和损失水量占比均降低，且降低速率逐渐减缓，官厅补水下泄流量以 30~35 m3/s 为宜；在生态补水总水量受限条件下，先以大流量下泄再调整为小流量的补水方式，对快速实现全线通水、河道渗 漏回补地下水等效果更佳；平原段同步加入再生水和南水北调水，将进一步缩短全线通水时间；在官厅水库和平 原段再生水、南水北调水向河道补水 2.24 亿~4.14 亿 m3条件下，全线通水时间约需要 15d，固安断面出境水量约 1.05 亿~2.22 亿 m3，蒸发和渗漏水量 1.19 亿~1.93 亿 m3，且补水水量越大，下渗和蒸发水量的占比越低；卢沟桥-六 环路河段的入渗能力最强。本研究对永定河北京段生态补水水量、下泄过程及补水方式的确定具有实践意义。     

UML图转有色Petri网图文法

为解决由于UML（Unified Modeling Language）缺少精准的语义表达,使其在系统建模过程中不能给出形式化的验证和分析的问题,提出了UML模型转Petri网模型的图文法,利用Petri网的分析验证技术,实现了对UML模型的正确性验证。在设计阶段即发现系统的缺陷,从而减少软件开发后期发现设计的错误而带来的损失,提高系统的正确性和安全性。实验表明了该转换算法的有效性。