期刊文献+
共找到1,234篇文章
< 1 2 62 >
每页显示 20 50 100
基于系统响应的马斯京根连续演算误差修正方法
1
作者 司伟 黄思琦 +5 位作者 瞿思敏 张永康 程翔 朱彦泽 李昂 郑佳乐 《水资源保护》 北大核心 2025年第5期89-95,共7页
针对近年来径流式电站、船闸等河道型水利工程持续修建导致传统马斯京根法在新安江模型流域洪水预报应用中精度下降的问题,引入并改进了系统响应误差修正方法,提出了基于系统响应的马斯京根连续演算误差修正方法。该方法根据预报断面实... 针对近年来径流式电站、船闸等河道型水利工程持续修建导致传统马斯京根法在新安江模型流域洪水预报应用中精度下降的问题,引入并改进了系统响应误差修正方法,提出了基于系统响应的马斯京根连续演算误差修正方法。该方法根据预报断面实测流量和计算流量的差值计算修正比例系数,将其应用于各河段节点,对河道汇流初值进行实时动态修正。以受梯级船闸影响的富春江流域主河道为例进行实例分析,结果表明:修正后的洪水预报精度明显提高,修正方法对洪峰的修正效果最好,对于双峰或多峰洪水,特别是受水利工程调控影响较大的洪水过程具有显著的修正效果;传统马斯京根法在加入系统响应误差修正方法后,可有效降低河道型水利工程对洪水预报中河道汇流演算的影响,提高流域洪水预报精度,同时解决了传统系统响应误差修正方法中信息来源与待修正变量之间信息维度不对称的问题。 展开更多
关键词 洪水预报 马斯京根法 系统响应 误差修正 河道汇流演算 富春江流域
在线阅读 下载PDF
基于网络演算的机载TSN端到端最坏时延分析模型
2
作者 陈晨 郑智明 +1 位作者 张小贝 张琦 《电光与控制》 北大核心 2025年第2期54-59,85,共7页
时间敏感网络(TSN)中的帧复制与消除(FRER)冗余机制通过数据包的复制与消除功能来提高网络的可靠性,数据包通过复制功能复制到冗余路径上,随后路径合并,消除函数删除重复项。这种冗余方案会影响TSN的时序行为,导致端到端不确定性增加。... 时间敏感网络(TSN)中的帧复制与消除(FRER)冗余机制通过数据包的复制与消除功能来提高网络的可靠性,数据包通过复制功能复制到冗余路径上,随后路径合并,消除函数删除重复项。这种冗余方案会影响TSN的时序行为,导致端到端不确定性增加。为此,通过结合时间感知调度整形(TAS)算法,设置不同的门控参数减少FRER机制所带来的时延,并为机载TSN提供一种基于网络演算(NC)的最坏时延计算的数学模型,对多业务数据传输时的端到端时延上界进行定量分析,评估TSN下的机载网络是否满足通信要求。通过OMNET对某飞机网络拓扑进行仿真,验证TSN技术在民机航电网络的适用性及模型对机载TSN通信系统的端到端最坏时延分析的可行性,为网络资源优化提供依据。 展开更多
关键词 时间敏感网络 FRER机制 网络演算 OMNET
在线阅读 下载PDF
光学法测量核聚变质子束能谱反演算法模拟研究 被引量:1
3
作者 桑耀东 张清民 +3 位作者 郭昊轩 朱康甫 谢朋佩 刘金良 《核电子学与探测技术》 北大核心 2025年第1期16-24,共9页
以NIF装置D-T中子能谱为例,基于Geant4模拟构建了反冲质子能谱及能量响应矩阵,采用MLEM、OSL、GRAVEL、PRIP和MAXED算法反演获得了D-T中子对应的反冲质子能谱。结果表明:MLEM和GRAVEL算法的反演精度最高,且对测量数据的统计涨落要求较低... 以NIF装置D-T中子能谱为例,基于Geant4模拟构建了反冲质子能谱及能量响应矩阵,采用MLEM、OSL、GRAVEL、PRIP和MAXED算法反演获得了D-T中子对应的反冲质子能谱。结果表明:MLEM和GRAVEL算法的反演精度最高,且对测量数据的统计涨落要求较低;在同等计算资源配置下,MLEM、MAXED和PRIP算法的反演时间在秒量级,GRAVEL算法的反演时间则为几分钟;初始λ_(i)、响应矩阵和测量数据的幅值需要合理选择;OSL算法的反演精度低于MLEM算法;对含有高斯-椒盐混合噪声的图像进行中值滤波和BM3D算法去噪后,MLEM、GRAVEL和PRIP算法的反演精度满足要求。 展开更多
关键词 演算 光学法 质子能谱 脉冲聚变中子能谱测量
在线阅读 下载PDF
基于LSTM神经网络模型的河道洪水反流向演算
4
作者 王安琪 易民 +2 位作者 赵含雪 陈璐 任金秋 《水文》 北大核心 2025年第5期29-35,共7页
河道洪水反流向演算在库群-河道联合防洪调度中具有重要作用,若直接采用马斯京根进行反向演算,存在演算结果不稳定、精度不佳等问题,难以运用于工程实际。提出一种基于LSTM神经网络模型的河道洪水反流向演算方法,建立河道上、下游断面... 河道洪水反流向演算在库群-河道联合防洪调度中具有重要作用,若直接采用马斯京根进行反向演算,存在演算结果不稳定、精度不佳等问题,难以运用于工程实际。提出一种基于LSTM神经网络模型的河道洪水反流向演算方法,建立河道上、下游断面的流量非线性映射关系模拟模型,并通过历史实测洪水资料对模型进行训练,进而实现由下游断面洪水过程反推上游断面入流过程。模型应用于汉江下游河段,结果表明,基于LSTM神经网络模型的河道洪水反流向演算方法反演结果与上游断面实际入流过程接近,相较于BP神经网络和支持向量回归方法具有更优的反演精度,证明了模型的实用性和有效性。 展开更多
关键词 河道洪水演算 反流向演算 LSTM神经网络 机器学习
在线阅读 下载PDF
三峡水库校核洪水工况调洪演算分析
5
作者 仇红亚 孔词 +3 位作者 傅巧萍 赵辉 陈正虎 鲁军 《人民长江》 北大核心 2025年第8期18-26,共9页
为指导水库的防洪调度工作,系统梳理了水库调度运行条件、方式与要求,参考规程、规范要求,拟定校核洪水调洪计算方案,系统分析了典型洪水、起调水位、泄流能力以及尾水平台挡水高程对库水位和尾水位的影响,并论证了机组参与泄洪的必要... 为指导水库的防洪调度工作,系统梳理了水库调度运行条件、方式与要求,参考规程、规范要求,拟定校核洪水调洪计算方案,系统分析了典型洪水、起调水位、泄流能力以及尾水平台挡水高程对库水位和尾水位的影响,并论证了机组参与泄洪的必要性。研究结果表明:①上游偏大的区域性典型洪水中,1982年典型洪水较为不利,全流域性典型洪水中,1998年典型洪水较为不利,总体来说1982年典型洪水更为不利;②不需要兼顾城陵矶防洪补偿调度时,调洪最高库水位会随着起调水位的抬高小幅抬升,遇全流域性洪水需兼顾对城陵矶河段补偿调度时,起调水位对最高库水位影响不大;③参与泄洪的设施越多、泄流能力越大,调洪最高库水位就越低,但同时最大下泄流量也越大、下游最高水位也越高;④从大坝安全的角度,需要机组参与泄洪,在不影响尾水平台安全的前提下尽量将调洪水位控制在校核洪水位180.40 m以下;⑤为确保大坝校核洪水条件下机组可参与泄洪,不改变大坝泄流条件,不提高库水位,尾水平台存在淹没风险,需采取临时挡水和封堵措施。 展开更多
关键词 三峡水库 洪水调节演算 机组泄洪 校核洪水位
在线阅读 下载PDF
基于调蓄演算法和SWMM模型联合的城市排水系统设计应用研究——以马鞍山郑蒲港新区排涝系统为例 被引量:1
6
作者 肖阳 王亚东 +1 位作者 刘晨辉 常达 《中国农村水利水电》 北大核心 2025年第1期78-84,共7页
以马鞍山郑蒲港新区排涝系统为代表性案例,探讨基于调蓄演算法和SWMM模型联合的城市排水系统设计应用研究。郑蒲港新区于2012年设立,定位为现代临港物流区、现代临港工业区及产城一体主城区,具有重要的战略发展功能。首先,收集新区地理... 以马鞍山郑蒲港新区排涝系统为代表性案例,探讨基于调蓄演算法和SWMM模型联合的城市排水系统设计应用研究。郑蒲港新区于2012年设立,定位为现代临港物流区、现代临港工业区及产城一体主城区,具有重要的战略发展功能。首先,收集新区地理、气候和排水系统相关数据,运用基于水量平衡的调蓄演算方法对排涝系统及规模进行分析。然后,将优化方案应用于SWMM模型,对雨水径流等过程进行动态模拟和分析。研究表明,为达到20年一遇暴雨不积水的设计排涝标准,研究区域需外排总设计流量为111.9 m^(3)/s,扣除现有3座泵站合计流量后,尚需增加30.5 m^(3)/s外排流量。研究成果为郑蒲港新区姥下河北片区的排涝减灾和排涝系统整治提供科学参考依据,有助于新区发展建设需要。同时,此研究方法可作为基于调蓄演算法和SWMM模型联合的城市排水系统设计应用研究的参考,推动城市排水系统设计领域的发展。 展开更多
关键词 排涝系统 排涝演算 SWMM模型 马鞍山市 郑蒲港新区
在线阅读 下载PDF
直流GIL三支柱绝缘子界面电荷多自由度测试与反演算法
7
作者 刘智鹏 胡琦 +1 位作者 李玄 李庆民 《高压电器》 北大核心 2025年第9期128-135,共8页
直流GIL三支柱绝缘子气—固界面容易积聚电荷,引发放电或炸裂击穿等故障,是绝缘系统的薄弱环节。然而,三支柱绝缘子形状不规则,曲面轮廓复杂,目前尚缺乏有效的表面电荷测量方法。研究针对三支柱绝缘子的复杂曲面轮廓,搭建了一套可实现... 直流GIL三支柱绝缘子气—固界面容易积聚电荷,引发放电或炸裂击穿等故障,是绝缘系统的薄弱环节。然而,三支柱绝缘子形状不规则,曲面轮廓复杂,目前尚缺乏有效的表面电荷测量方法。研究针对三支柱绝缘子的复杂曲面轮廓,搭建了一套可实现电位全方位测量的空间五自由度机械装置,完成了对绝缘子表面电位全方位的自动测量,总测量点数为15120个,空间采样率为0.25 mm^(-2)。进一步通过调整边界条件以及采用维纳滤波处理,提出了适用于非对称复杂曲面结构的表面视在电荷反演优化算法。同种干扰条件下的模拟算例表明,相较于传统的表面视在电荷法,优化算法计算结果的均方根误差降低了12.2%,有效提升了算法的抗干扰能力。基于提出的测量—反演方法,研究了不同温度条件下直流三支柱绝缘子表面电荷积聚情况,发现温度梯度会导致三支柱绝缘子支腿区域同极性电荷的幅值与分布范围显著增大,表面电荷密度可超过60μC/m^(2)。 展开更多
关键词 直流GIS/GIL 三支柱绝缘子 表面电荷 多自由度测量 演算
在线阅读 下载PDF
某多支沟尾矿库洪水计算与调洪演算
8
作者 李云飞 张姬珍 符电闪 《中国矿业》 北大核心 2025年第S1期134-138,共5页
多支沟形成的尾矿库采用不同的计算方式进行洪水计算来确定最大洪水总量。在一个或两个排洪设施并行泄流能力条件下,对该尾矿库进行了调洪演算,研究结果可为多支沟类型的尾矿库汛期安全度汛提供借鉴和相应的依据。
关键词 多支沟 尾矿库 洪水计算 调洪演算 排洪设施
在线阅读 下载PDF
基于网络演算的LEO卫星网络时延上界分析研究
9
作者 王慧姊 孙雷 +3 位作者 王健全 林尚静 王卓群 SUN Kewen 《通信学报》 北大核心 2025年第4期80-90,共11页
在空天地一体化网络中,准确地刻画业务时延上界对实现可靠性传输至关重要。基于确定性网络演算理论和时间敏感网络(TSN)中的时间感知整形(TAS)机制,构建了一种适用于LEO卫星的时延上界分析模型。首先,在空天地一体化网络背景下,构建了... 在空天地一体化网络中,准确地刻画业务时延上界对实现可靠性传输至关重要。基于确定性网络演算理论和时间敏感网络(TSN)中的时间感知整形(TAS)机制,构建了一种适用于LEO卫星的时延上界分析模型。首先,在空天地一体化网络背景下,构建了基于网络演算的LEO卫星网络时延保障架构;然后,基于漏桶模型构建了业务模型,并考虑了不同优先级干扰流在最坏情况下的影响,构建了单卫星节点服务曲线。针对同优先级干扰流,提出了一种新的剩余服务曲线计算方法,并结合最小加代数的卷积定理构建了改进的网络演算算法。最后,在给定LEO卫星网络和业务模型下对所提算法进行了测试,并将其和3种传统的代数类网络演算算法进行了对比分析。实验结果表明,所提算法能更准确地评估端到端时延上界,且计算时间显著降低。 展开更多
关键词 空天地一体化网络 时间敏感网络 确定性网络演算 时延上界分析
在线阅读 下载PDF
考虑河道流量智能演算的梯级水库防洪优化调度
10
作者 郭人维 朱天龙 +2 位作者 李霄 席荣光 周敏 《人民长江》 北大核心 2025年第8期11-17,共7页
梯级水库防洪调度中,入库流量精准计算与模型高效求解是提升防洪效能的关键。考虑到梯级水库间流量传播的非线性特征,且下游水库入库流量计算受河道流量演算精度影响显著,针对复杂水力联系下梯级水库防洪优化问题,提出一种考虑河道流量... 梯级水库防洪调度中,入库流量精准计算与模型高效求解是提升防洪效能的关键。考虑到梯级水库间流量传播的非线性特征,且下游水库入库流量计算受河道流量演算精度影响显著,针对复杂水力联系下梯级水库防洪优化问题,提出一种考虑河道流量智能演算的防洪调度方法。首先,融合BP神经网络与LSTM多模态优势,构建Stacking集成学习框架河道流量智能演算模型,并通过多元非线性回归实现异构模型预测结果的协同优化;其次,利用改进灰狼优化算法(IGWO)进行防洪调度模型的优化求解,通过引入Sine混沌映射、非线性收敛因子和动态搜索空间策略,提升模型求解效率。以金沙江下游溪洛渡—向家坝梯级及三峡水库为研究对象,解析了区间来水对梯级水库防洪调度的影响。结果表明:智能演算模型在不同流量区间的趋势拟合及洪峰演算精度均优于传统方法;基于耦合河道流量智能演算的水库防洪优化调度模型制定的调度方案,可使三峡水库最高调洪水位降低0.60 m,最大下泄流量减少3%,峰现时间延迟12 h。研究成果可为水库群防洪优化调度提供参考。 展开更多
关键词 河道流量智能演算 水库防洪优化调度 改进灰狼优化算法 三峡水库 金沙江下游梯级水库
在线阅读 下载PDF
基于网络演算的复杂产品系统供应商风险度量 被引量:1
11
作者 谷晓燕 邓香平 李俊 《科学技术与工程》 北大核心 2024年第14期5707-5715,共9页
复杂产品系统研制过程中供应商之间协同设计制造复杂性高,风险通过供应商间的协作关系相互作用和传导。面向复杂产品系统,构建供应商层次网络,考虑供应商风险累积与风险应对及时性的交互影响,通过引入通信领域网络演算理论,基于积压和... 复杂产品系统研制过程中供应商之间协同设计制造复杂性高,风险通过供应商间的协作关系相互作用和传导。面向复杂产品系统,构建供应商层次网络,考虑供应商风险累积与风险应对及时性的交互影响,通过引入通信领域网络演算理论,基于积压和时延性能指标刻画风险的特征,将不确定的供应商风险量化问题转化为最坏边界求值问题,实现风险的确界度量。以航空复杂产品系统为例对模型进行验证,可以辨识供应商在协同研制过程中面临的重要风险,为复杂产品系统供应商风险管理提供参考依据。 展开更多
关键词 复杂产品系统 网络演算 供应商风险度量 风险累积 风险应对
在线阅读 下载PDF
江-湖-蓄滞洪区聚合调洪演算模型研究与应用 被引量:8
12
作者 陈瑜彬 张涛 +1 位作者 童冰星 许银山 《人民长江》 北大核心 2024年第9期60-65,70,共7页
为提高纳入蓄滞洪区的河道洪水模拟精度和效率,更大限度发挥蓄滞洪区的综合利用效益,建立了以大湖模型为基础的江-湖-蓄滞洪区聚合调洪演算模型,提出考虑蓄滞洪区运用影响的洪水模拟方案。以鄱阳湖区2020年实际来水作为边界条件,以2020... 为提高纳入蓄滞洪区的河道洪水模拟精度和效率,更大限度发挥蓄滞洪区的综合利用效益,建立了以大湖模型为基础的江-湖-蓄滞洪区聚合调洪演算模型,提出考虑蓄滞洪区运用影响的洪水模拟方案。以鄱阳湖区2020年实际来水作为边界条件,以2020年7月1日为起始时刻开展单退圩堤启用与否工况下的洪水实时调度模拟。模拟结果表明:构建的江-湖-蓄滞洪区聚合调洪演算模型可以合理快速地模拟蓄滞洪区启用时的鄱阳湖水位变化过程。鄱阳湖区单退圩堤启用分洪效果显著,能够降低湖区水位0.2~0.3 m,模拟结果与实际过程相近,如不分洪,湖口站最高水位将超过保证水位。研究成果可为蓄滞洪区调度和水旱灾害防御提供更精确的水文信息支持。 展开更多
关键词 蓄滞洪区 单退圩堤 调洪演算 大湖演算模型 鄱阳湖
在线阅读 下载PDF
一种利用适合性测试支持方法重定向的演算 被引量:3
13
作者 赵银亮 朱常鹏 +1 位作者 韩博 曾庆花 《软件学报》 EI CSCD 北大核心 2013年第7期1495-1511,共17页
一些面向上下文的编程语言使用结构化的块结构(block-structured construct)将方法调用重定向到层中方法.但该结构无法支持层的动态添加与激活,这增加了程序可执行文件的大小.为了解决该问题,提出一种新方法:使用适合性测试支持方法的... 一些面向上下文的编程语言使用结构化的块结构(block-structured construct)将方法调用重定向到层中方法.但该结构无法支持层的动态添加与激活,这增加了程序可执行文件的大小.为了解决该问题,提出一种新方法:使用适合性测试支持方法的重定向,并定义一个运行时的适合性测试演算(runtime fitness testing calculus on top offeatherweight Java calculus)形式化描述该方法.该演算以FJ演算(featherweight Java calculus)为核心,通过融入新的语言结构——层,基于上下文的方法查找与对象转化描述基于适合性测试的方法重定向,分析它对程序类型安全的影响,制定相应约束,并证明在满足该约束的条件下能够保持程序的类型安全,从而证明所提方法的有效性.以该演算为指导,描述如何通过扩展Java的编译器与虚拟机,实现将层、基于上下文的方法查找与对象转化融入到Java语言,并通过实验测试实现,证明所提方法的可行性.该演算及其实现可用于指导如何扩展类似Java(Java-like)的语言以支持程序基于上下文动态调整其行为,并同时保证程序的类型安全. 展开更多
关键词 面向上下文的编程 适合性测试 featherweightjava演算 类型系统
在线阅读 下载PDF
基于Excel的拦沙工程调洪演算程序编制 被引量:1
14
作者 刘琨 徐昕 +3 位作者 刘瑞龙 陈芳 杨雪 曹阳 《水土保持应用技术》 2024年第1期57-59,共3页
将调洪演算过程重构成时刻末水位与时刻末库容的函数关系,通过水量平衡法以及库容曲线法2种计算方法作差实现试算过程,利用Excel内置的“规划求解”功能完成调洪演算试算的关键环节,通过VBA编程调用“规划求解”命令,采取循环结构,完成... 将调洪演算过程重构成时刻末水位与时刻末库容的函数关系,通过水量平衡法以及库容曲线法2种计算方法作差实现试算过程,利用Excel内置的“规划求解”功能完成调洪演算试算的关键环节,通过VBA编程调用“规划求解”命令,采取循环结构,完成拦沙坝调洪演算的全流程自动化计算,可保证计算过程稳定、计算结果正确,同时提高程序运行效率。初始输入条件以及其他函数过程采用插值表形式输入,通过VBA编程自定义插值函数引用,延拓程序的适用面。全过程基于Excel实现,该方法在保证拦沙坝调洪演算精度及效率的前提下,操作简单、易于推广。 展开更多
关键词 拦沙工程 调洪演算 规划求解 VBA编程
在线阅读 下载PDF
多态性λ-演算的直观建模
15
作者 阿力木江·亚森 阿布都克力木·阿布力孜 +2 位作者 沙尔旦尔·帕尔哈提 哈里旦木·阿布都克里木 朱义鑫 《计算机应用与软件》 北大核心 2024年第12期1-8,共8页
命名绑定是在形式系统中的核心概念之一。至于简单性和直观性,现有的命名绑定技术有其优缺点。通过建模语言HyperLMNtal将一种基于超图重写的命名绑定技术应用于具有子类型和结构类型的多态性λ-演算(或System F<:)的类型检查和按值... 命名绑定是在形式系统中的核心概念之一。至于简单性和直观性,现有的命名绑定技术有其优缺点。通过建模语言HyperLMNtal将一种基于超图重写的命名绑定技术应用于具有子类型和结构类型的多态性λ-演算(或System F<:)的类型检查和按值调用的建模,并使用PoplMark挑战的基准测试进行测试。实验结果表明该技术适合于复杂形式系统的快速建模,因为它使程序员无需理论的重新形式化即可将理论转化为实践。 展开更多
关键词 多态性λ-演算 命名绑定 图形重写 建模
在线阅读 下载PDF
场地土层速度结构的贝叶斯反演方法及其应用
16
作者 李小军 张誉潇 +1 位作者 荣棉水 倪萍禾 《岩土力学》 北大核心 2025年第7期2237-2252,共16页
基于散射场理论的水平竖向谱比HVSR(horizontal-to-vertical spectral ratio)正演算法建立了地表HVSR与场地土层特性的联系,通过与地震动地表观测数据的结合实现了场地土层速度结构的反演。然而,当前的HVSR大多采用传统确定性的反演方法... 基于散射场理论的水平竖向谱比HVSR(horizontal-to-vertical spectral ratio)正演算法建立了地表HVSR与场地土层特性的联系,通过与地震动地表观测数据的结合实现了场地土层速度结构的反演。然而,当前的HVSR大多采用传统确定性的反演方法,导致反演结果具有明显的不唯一性,且难以评估其不确定性。提出了一种针对土层速度结构的贝叶斯反演方法,可以实现反演参数不确定性的评估。该方法将贝叶斯原理与地震动的水平竖向谱比(earthquake horizontal-to-vertical spectral ratio,简称EHV)正演算法相结合,以强震动观测记录的S波成分作为数据源,实现了场地土层结构的反演。通过算例验证了所提出方法的有效性和适用性。结果表明,所提出的贝叶斯反演方法能有效地识别场地土层速度结构,并能够对反演模型中参数的不确定性进行综合评估。 展开更多
关键词 水平竖向谱比(HVSR) 强震动观测记录 贝叶斯反演方法 土层速度结构 井上井下谱比(SBSR) 演算
在线阅读 下载PDF
基于卫星遥感的大气甲烷探测反演技术综述 被引量:2
17
作者 蔡小莉 鲍云飞 黄巧林 《航天返回与遥感》 北大核心 2025年第1期160-173,共14页
当前基于自下而上的排放清单在估算甲烷(CH_(4))排放总量及其空间分布方面存在较大不确定性,卫星遥感技术以其广阔的覆盖范围和高效的监测能力,为全球大气CH_(4)浓度的监测提供了一种有效的手段。文章综述了基于卫星遥感的大气甲烷探测... 当前基于自下而上的排放清单在估算甲烷(CH_(4))排放总量及其空间分布方面存在较大不确定性,卫星遥感技术以其广阔的覆盖范围和高效的监测能力,为全球大气CH_(4)浓度的监测提供了一种有效的手段。文章综述了基于卫星遥感的大气甲烷探测反演技术,将甲烷遥感卫星分为区域通量成像仪和点源成像仪两大类,并对CH_(4)探测卫星性能及探测技术的发展进行了归纳。进一步分析了各类传感器CH_(4)反演算法及其数据产品在排放量监测和通量反演中的应用,探讨了不同反演算法的优势和局限性。最后,结合国家双碳目标的战略需求,预测了甲烷遥感卫星的未来发展趋势,并对CH_(4)反演技术研究的未来方向进行了展望,旨在为国家大气CH_(4)卫星遥感体系的建设提供参考。 展开更多
关键词 甲烷 大气遥感 演算 排放监测
在线阅读 下载PDF
基于数值试验的河道汇流方法适用性分析 被引量:1
18
作者 臧帅宏 吴修广 +2 位作者 李致家 刘昌军 栾勇 《水文》 北大核心 2025年第1期9-15,共7页
目前用于洪水预报的河道汇流方法主要以水文学及简化的水力学方法为主,由于差分格式以及动力方程简化形式的不同,这些方法的适用范围存在一定的差异。通过设计理想河道数值试验,将Muskingum-Cunge-Todini(MCT)、非线性水库、一阶显式扩... 目前用于洪水预报的河道汇流方法主要以水文学及简化的水力学方法为主,由于差分格式以及动力方程简化形式的不同,这些方法的适用范围存在一定的差异。通过设计理想河道数值试验,将Muskingum-Cunge-Todini(MCT)、非线性水库、一阶显式扩散波以及局地惯性波四种汇流方法与MIKE11动力波模拟结果进行对比,分析各种方法在不同河底比降和河宽条件下的模拟精度以及计算的稳定性。模拟结果表明:MCT、非线性水库和局地惯性波方法更适用于河底比降S_(0)>1×10^(-4)的河道,河宽对于以上三种方法影响不大;非线性水库不存在计算不稳定问题,其他三种方法稳定性从高到低依次为MCT、局地惯性波、扩散波;一阶显式扩散波方法模拟精度较低且极易不稳定,接下来的研究中可寻求更高阶且更稳定的扩散波格式来替代该方法。本研究确定了几种常见的河道汇流方法的适用范围、模拟精度及其稳定性,为实际应用提供参考。 展开更多
关键词 简化的水力学方法 MIKE11 河道演算稳定性 河道汇流
在线阅读 下载PDF
时态的粒度刻画及演算问题研究 被引量:13
19
作者 左亚尧 汤庸 +2 位作者 舒忠梅 李磊 刘海 《计算机科学》 CSCD 北大核心 2010年第12期114-119,共6页
时态的建模及演算是时态信息处理中的逻辑基本问题,从粒度思想出发,根据时态的粒度划分,研究了时态粒度的语义与性质。并基于时态粒度对时态原语进行刻画,进而基于代数系统分析了时态的粒度转换算子及不同粒度下的时态关系,构建了时态... 时态的建模及演算是时态信息处理中的逻辑基本问题,从粒度思想出发,根据时态的粒度划分,研究了时态粒度的语义与性质。并基于时态粒度对时态原语进行刻画,进而基于代数系统分析了时态的粒度转换算子及不同粒度下的时态关系,构建了时态粒度关系的演算系统。 展开更多
关键词 时态 粒度 时态演算
在线阅读 下载PDF
基于Pi-演算的Web服务组合的描述和验证 被引量:107
20
作者 廖军 谭浩 刘锦德 《计算机学报》 EI CSCD 北大核心 2005年第4期635-643,共9页
形式化方法对于建模和验证软件系统是一种有效的方法,所以对 Web服务的形式化描述和验证是一个重要的研究方向.对于Web服务及其组合来说,保证其组合正确性以实现其服务增值是十分必要的.Pi 演算是一种移动进程代数,可用于对并发和动态... 形式化方法对于建模和验证软件系统是一种有效的方法,所以对 Web服务的形式化描述和验证是一个重要的研究方向.对于Web服务及其组合来说,保证其组合正确性以实现其服务增值是十分必要的.Pi 演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模.该文基于 Pi 演算对 Web服务及其组合进行形式化描述和建模.文中说明了Pi 演算与以前形式化方法的不同之处,分析了Pi 演算应用于Web服务组合需要解决的问题.讨论了Pi 演算与Web服务协议栈的对应关系,说明了利用Pi 演算建立 Web服务组合模型的规则,指出了如何寻找代理和通道.最后建立了一个实际的模型,并利用形式化工具对建立的组合模型是否正确以及是否满足需求进行了验证. 展开更多
关键词 PI-演算 进程代数 WEB服务 服务组合 服务形式化
在线阅读 下载PDF
上一页 1 2 62 下一页 到第
使用帮助 返回顶部