SCS模型在山区小流域山洪灾害预报预警中的适用性分析

预报预警是山洪灾害防治中重要的非工程措施,是防灾减灾救灾的关键环节。选取分别代表秦巴山地水资源保护区、西南地震作用区、喀斯特地区、黄土高原超渗产流区、东南沿海台风影响区的湖北省丹江口官山河流域、四川省都江堰白沙河流域、贵州省望谟县望谟河流域、陕西省子洲县岔巴沟流域、广东省高州市马贵河流域这5个典型流域,通过构建改进的SCS模型进行历史山洪模拟,探讨该模型在小流域暴雨山洪预报预警中的广泛适用性。结果表明:基于SCS模型构建的小流域暴雨山洪预报方案中官山河、白沙河、望谟河、马贵河方案均为乙级方案,可用于正式发布预报;岔巴沟为丙级方案,可用于参考性预报。SCS模型在5个典型示范区的洪峰流量预报精度普遍在80%左右,高于我国山洪灾害洪峰流量预报平均水平(40%)。总体来说,SCS模型对各类典型流域的山洪模拟效果较好,能够用于山洪灾害预报预警业务。SCS模型结构简单,参数少,特别适用于无资料地区推广应用。     

安全苛刻系统自动化测试的形式化语义模型

安全苛刻系统的可信性需求典型而迫切,其可信性评估和验证具有测试依赖性.安全苛刻系统一般是复杂系统,手工测试实际上不可行,发展自动化测试手段是必然趋势.针对安全苛刻系统测试过程自动化中存在的高阶协同、实时和时序性,以Ambient演算、CCS演算、论域理论等为基础,给出测试过程的高阶协同定义,建立一种层次化演算模型,为测试过程提供一种信息化和自动化手段.模型通过对被测产品、测试设备与测试任务的抽象与组织,给出安全苛刻系统测试过程自动化的工作模式.最后,通过扩展标记转换系统定义,给出高阶协同行为的收敛性和正确性的证明,论证了模型的可计算性,验证了安全苛刻系统测试的可自动化.模型已应用于航天器的自动化测试中,并成为航天器测试行为的日常工作规范.     

A comprehensive approach to evaluating watershed models for predicting river flow regimes critical to downstream ecosystem services

Selection of strategies that help reduce riverine inputs requires numerical models that accurately quantify hydrologic processes. While numerous models exist, information on how to evaluate and select the most robust models is limited. Toward this end, we developed a comprehensive approach that helps evaluate watershed models in their ability to simulate flow regimes critical to downstream ecosystem services. We demonstrated the method using the Soil and Water Assessment Tool (SWAT), the Hydrological Simulation Program–FORTRAN (HSPF) model, and Distributed Large Basin Runoff Model (DLBRM) applied to the Maumee River Basin (USA). The approach helped in identifying that each model simulated flows within acceptable ranges. However, each was limited in its ability to simulate flows triggered by extreme weather events, owing to algorithms not being optimized for such events and mismatched physiographic watershed conditions. Ultimately, we found HSPF to best predict river flow, whereas SWAT offered the most flexibility for evaluating agricultural management practices.     

子母式穿梭车仓储系统配置优化问题研究

针对仓库资源配置涉及因素众多难以优化问题,提出平均吞吐时间和成本集成的配置优化方法,从提升机和穿梭车两个维度分析,结合子母式穿梭车仓储系统运作特点,考虑穿梭车跨层作业,以平均吞吐时间和成本为目标函数,以货架数量、层数、列数、排数以及设备的数量及运行参数为决策变量,构建子母式穿梭车仓储系统配置多目标优化模型。采用非支配排序遗传算法进行求解,得到Pareto最优解。解集为决策变量的集合,根据这些参数,企业考虑实际情况进行仓储区域的规划布置以及设备选型,为推广应用自动化立体仓库提供了有效参考。     

供应链实时库存与沙漏分播配货本体模型

为了解决在管理业务多变的经营格局下,大宗农产品、化工产品和食品等带有保质期的生产生活资料的先进先出(FIFO)配货业务以及它与财务、生产、营销、采购等业务信息系统所保持的良好资源共享关系,管理信息本体三元组以词汇(U)、表(T)、谓词(P)三要素映射性地结构化描述仓储实时库存与沙漏分播配货问题需求.配合新兴的射频识别(RFID)等非接触式识别和时间戳绑定技术,可以实现基于产品批号和配送需求制导的仓储信息系统开发技术,突出系统的通用性和易维护性,从而使仓储供应链信息化能够应用于工业、农业、商业等更多的领域.     

基于干预规则挖掘因果关系与分段干预事件及对比不等式

为揭示亚复杂系统(SCS)在干预下的特殊行为,提出了对比不等式概念,提出并实现了分段干预规则的挖掘算法;通过在亚复杂系统中施加扰动式干预并分析其动力学效应,提出并实现了基于扰动因果关系挖掘算法。在真实数据上的实验表明,分段干预规则发现了传统挖掘方法难以发现的新干预事件,因果挖掘算法发现了传统方法难以发现的因果关系。     

按风险率模型分析的设计雨型

设计雨型是暴雨洪水分析不可或缺的基本要素,为此,本文建立了雨型分析的风险率模型,探讨了考虑风险率模式下的雨型设计方法,并以此方法分析了深圳市深圳雨量站1969—2002年实测逐时降雨资料,获得了深圳市不同重现期下的设计雨型,并与深圳市目前主要的几种设计雨型进行了比较.结果显示:(1)典型暴雨同倍比放大法和模糊聚类分析方法都存在风险率设计不足的问题;(2)SCS-Ⅱ法则因为安全度过高不适合深圳地区使用;(3)典型暴雨同频率放大法设计雨型与风险率分析法相似,但雨峰设计存在差异;(4)风险率分析方法对设计雨型的分析具有科学合理的指导意义,可以作为一种雨型的设计方法.     

千兆网综合布线系统设计与测试

千兆网的应用需要高性能综合布线系统的支持。结合千兆网综合布线系统的布线标准和测试标准，本文对千兆网综合布线系统设计中的线缆选型和测试等重要环节进行了研究。     

通过Parlay/OSA的电信网络资源重用

介绍了Parlay／OSA体系结构,分析了基于Parlay／OSA体系结构的应用服务系统,并设计和实现了该应用服务系统。     

马来西亚动车组司机操纵台设计及其强度计算分析

本文介绍了一种仪表座采用悬臂式和中心底座结构的新型模块化设计形式的司机操纵台，对其结构及设备布置进行了阐述，并借助ANSYS软件对该结构的强度进行了计算分析。