摘要：应用鱼道、鱼闸等过鱼设施可改善堤、坝等阻碍鱼类洄游的现状,采用RNGκ-ε湍流模型和有限差分法对兴隆水利枢纽工程鱼道进行了数值模拟,分析了淹没孔口式横隔板鱼道的流态和紊动能,研究了过鱼池和休息池的水力特性。结果表明,淹没孔口式横隔板鱼道的孔口水流具有固定特性,紊动能的分布空间较广,消能效果较好。过鱼池和休息池内水流的流态较稳定,能满足过鱼对象的需求。

摘要：提出一种方法以检查两个流程集的一致性,其中一个源于用户实际的自然语言需求,另一个源于工程师设计的UML顺序图。方法分别获取存在于需求规格说明流程集而不存在于顺序图流程集的任务,以及存在于顺序图流程集而不存在于需求规格说明流程集的任务。方法采用BPMN(流程建模标注语言)分别对需求规格说明和顺序图进行统一表达,获取相应的BPMN流程集,对流程集进行校准,以检查出软件演进中两个关键阶段需求的差异。通过软件数据备份功能的用例,显示出该方法能有效地处理实际的数据集,并可分别为用户和工程师提供简明清晰的需求增补和修改建议。