摘要：节点用水量的动态估计是供水管网水力模型动态更新的主要工作,以扩展Kalman滤波(EKF)为代表的数据同化方法已被应用于管网水力模型参数动态校核和估计中,但现有研究未考虑用户节点24 h用水模式对节点用水量估计的影响。该文研究了节点用水模式先验信息对EKF方法节点用水量动态估计结果的影响。根据用户24 h的用水模式和t时刻用水量估计值预测t+1时刻节点用水量,并采用t+1时刻管网测量数据校正t+1时刻节点用水量预测值。案例管网的应用结果表明:与现有研究中应用的EKF方法相比,考虑用水模式的扩展Kalman滤波(IEKF)方法对应的用水量估计平均绝对百分比误差降低了15.93%,节点用水量时变曲线的Nash-Sutcliffe效率(NSE)系数值提高了0.40,且2种方法的计算时间相近;与推断测量Kalman滤波(IMKF)相比,IEKF方法对应的用水量估计平均绝对百分比误差降低了12.20%,节点用水量时变曲线的NSE系数值提高了0.35,计算时间缩短了99.8%。在节点用水量估计问题中,考虑用水模式可以显著提高EKF方法的计算精度。

摘要：在配电网主站系统建设过程中,配电网网络模型的完整性和正确性是各个配电网分析应用模块赖以实用化的前提和基础。当前在建设配电网主站时,其基础性的配电网模型主要从地理信息系统(GIS)或生产管理系统(PMS)导入。在模型导入过程中缺乏有效的全局校核手段,难以从整体上检查系统网络模型的完整性和正确性。文中基于配电网主站系统,利用统计服务及拓扑服务,针对全局性网络模型设计实现一种模型完整性、正确性的校核方法,能够从整体上把控系统网络模型的变化及质量情况。通过具体工程应用,验证了该方法的可行性及有效性。

摘要：结合无人机空中飞行与无人车陆地行驶的功能特点,通过流体仿真、气动力学分析,设计了一种具有变结构功能的陆空两栖平台。采用隐藏式旋翼设计,有效降低了平台宽度,提高了地面行驶模态下的通过性。在此基础上,针对陆空两栖平台的飞行控制问题,对平台模型进行简化,并对平台参数进行优化和模型校核,验证了平台模型的有效性和可信度。设计了自抗扰控制(active disturbance rejection control, ADRC)方案,并进行了simulink仿真和原理样机测试。试验表明,所设计的陆空两栖平台兼具良好的路面行驶能力与空中飞行能力,具备一定的越障功能,为未来军事应用中飞行器长航时、大载重、强稳定性等功能的实现提供了技术参考。

摘要：基于贝叶斯理论,利用粒子MCMC算法建立了供水管网压力驱动模型的校核方法。该方法采用一种双层嵌套循环结构,利用压力监测值在内层通过集合卡尔曼滤波原理更新节点流量,外层采用改进的马尔科夫链蒙特卡洛抽样算法校核模型的海曾-威廉系数和漏失系数。实际应用结果表明:该方法能够实现高维、非线性系统的估计,利用压力监测值通过内外层循环运行实现节点流量和两个系数的联合校核,避免补偿误差,提高了校核效率。

摘要：空间句法在我国城市设计研究及实践中的应用方兴未艾,然而其建模计算和辅助分析决策过程中带来的误差并未被充分研究。文章结合POI、大众点评等多源城市数据,以2017年珠三角部分城市及全国公路交通网络为实验对象,从空间句法模型校核的理论基础、空间句法分析的误差来源、处理误差的技术细节、数据驱动下基于空间句法的城市设计流程等方面探讨了空间句法的模型校核及其在城市设计中的应用问题。研究发现,空间句法的误差来源主要包括搜索半径误差、建模范围误差、建模细度误差和参数算法误差4种,而在多源城市数据的辅助下,可通过选取最优半径、适度外扩模型、选取合适细度和建模软件等方法减小误差。文章总结了数据驱动下基于空间句法的城市规划设计框架,认为多源城市数据在空间句法模型校核、空间句法辅助方案设计等阶段具有广阔的应用前景。

摘要：Isight是一种多学科多目标设计优化软件，它广泛应用于汽车、船舶及航天航空等制造业的各个领域。为制造企业提高产品性能，缩短研发周期以及提高质量提供了可靠的解决方案。

摘要：在配电网主站系统建设过程中,配电网模型校核是支撑各个配电网分析应用模块的重要数据技术手段。目前网络模型导入的主流方式是从GIS或PMS导入,一方面在导入的过程中缺乏有效的校核手段;另一方面,不同业务系统所拼接的网络模型的信息完整性和拓扑连通性往往不足以支撑配调人员的需求。文章基于配电网主站系统离线环境设计实现一种配电网模型校核方法,同时能够从整体上把控系统网络模型的变化及质量情况。该方法已通过配电网主站工程应用,证明了方法的可行性及可靠性。

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

摘要：阐述管网水力模型构建流程,建立供水管网水力模型。通过数据录入生成管网基本拓扑结构及物理信息,在模型简化之后利用监测数据进行模型校核,保障管网模型满足精度要求。利用管网模型进行管网工况分析,掌握管网内压力分布与管道流速分布状态,提出管网运行薄弱环节。

摘要：作为一种数字技术的辅助分析手段,空间句法理论在当前城市设计中得到了一定的应用,然而如何与城市设计的工作阶段融合以及关键技术如何应用方面当前工作仍有所不足。本文从建模的发展、重要建模参数、模型校核三方面阐述了空间句法的关键技术,并提出了融合城市设计各阶段任务的句法分析流程的概念框架,最后以侵华日军南京大屠杀遇难同胞纪念馆及周边地区城市设计为案例探讨和验证了句法应用的流程融合及方案分析过程,其中创新性地提出了基于POI数据的模型校核以及多轮的方案代入模型分析等具体技术。本文一方面为空间句法在我国城市设计中的应用提供了实证支撑,另一方面为建立城市设计全工作流程的空间句法应用范式和规范化方法提供了思路和方法。