三峡-葛洲坝梯级枢纽常规水库调度系统

三峡-葛洲坝梯级枢纽常规水库调度系统是《长江三峡水利枢纽梯级水库调度自动化系统)的高级应用部分，该系统建立在三峡梯级水利枢纽水库调度自动化系统水调数据平台之上，在洪水预报成果的基础上，根据三峡-葛洲坝梯级枢纽的防洪、发电、航运的综合利用要求，作出三峡、葛洲坝电厂长、中、短期出力预报，相应作出梯级枢纽水库调度计划，确定梯级水库的蓄泄对策及闸门的开启计划，制定闸门的操作命令，完整地实现了三峡-葛洲坝梯级枢纽常规水库调度业务。     

带类型λ—演算

一、引言补演算是一个用函数描述计算的形式理论体系[1J,它由许多计算模型所组成。文〔1〕指出,应用认-演算比纯粹补演算更接近程序语言.但是由于内建函子和常数的引入常会发生一些问题,例如.常数O和函子+在机器中同样看待     

Windows下流量演算程序的开发

本文详细介绍了Windows下流量演算程序的原理、功能及使用．对水文测量工作大有裨益。     

水库影响区溶蚀洼地排洪演算

千师营溶蚀洼地位于湖北省恩施州宣恩县,属于水布垭工程水库影响区。针对千师营洼地复杂和特殊的水文特性,介绍了其排洪演算分析的方法和思路,并通过在天然状况及水库蓄水状况下洼地排洪条件的对比计算,分析了水库蓄水对千师营溶蚀洼地排洪能力的影响程度,从而为工程设计提供了依据。     

三峡-葛洲坝梯级枢纽常规水库调度系统

三峡—葛洲坝梯级枢纽常规水库调度系统是《长江三峡水利枢纽梯级水库调度自动化系统》的高级应用部分,该系统建立在三峡梯级水利枢纽水库调度自动化系统水调数据平台之上,在洪水预报成果的基础上,根据三峡—葛洲坝梯级枢纽的防洪、发电、航运的综合利用要求,作出三峡、葛洲坝电厂长、中、短期出力预报,相应作出梯级枢纽水库调度计划,确定梯级水库的蓄泄对策及闸门的开启计划,制定闸门的操作命令,完整地实现了三峡—葛洲坝梯级枢纽常规水库调度业务。     

COOZ中的时段演算

本文在ＣＯＯＺ中引入了连续时间的概念，建立了用连续时间表示的对象时钟引入时段演算来表示对象的实时约束和历史约束，并给出了一个火警自动预报系统的实例描述。文中对实时状态型转化、可积极及孤立点、历史性约束的分类等问题作了进一步的探讨。     

R演算——科学发现的逻辑

R演算是一个关于逻辑连接词符号和量词符号的形式推理系统,它可以把现有理论中与实验和观测结果矛盾的原理或定律推演出来并予以删除,之后再与实验支持的事实合并,获得新的自然科学理论。文章对R演算进行简单介绍,并使用R演算,对爱因斯坦创立狭义相对论和达尔文创立进化论的科学发现活动进行逻辑验证,最后讨论R演算的基本性质及其基本思想在软件测试和程序调试等方面的应用。     

基于MIKE FLOOD的洪泽湖周边滞洪区洪水演进模拟研究

基于实测断面资料建立了研究区的一维水动力模型,基于高精度DEM以及1∶10000地形图建立了研究区的二维水动力模型,并用MIKE FLOOD将一维模型和二维模型进行耦合,构建了洪泽湖周边滞洪区一、二维耦合的洪水演进数学模型。利用2003年历史洪水资料对模型参数进行了率定,并以2007年历史洪水资料进行了验证。以洪泽湖百年一遇设计洪水为模型上边界,二河闸、三河闸以及高良涧闸的现行调度方案的水位-流量关系为模型下边界,对洪泽湖百年一遇设计洪水方案进行模拟计算,当蒋坝水位达到14.33m时,洪泽湖周边滞洪区开始滞洪,得到开始滞洪后不同时段研究区内各类洪水风险要素的动态分布情况以及最大淹没水深、淹没历时,验证了模型的合理性,可用于蓄滞洪区洪水演算分析。     

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

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