期刊文献+
共找到115篇文章
< 1 2 6 >
每页显示 20 50 100
Heralded entanglement purification protocol using high-fidelity parity-check gate based on nitrogen-vacancy center in optical cavity
1
作者 Lu-Cong Lu Guan-Yu Wang +2 位作者 Bao-Cang Ren Mei Zhang Fu-Guo Deng 《Chinese Physics B》 SCIE EI CAS CSCD 2020年第1期140-147,共8页
The decoherence of entangled states caused by the noisy channel is a salient problem for reducing the fidelity of quantum communication.Here we present a heralded two-photon entanglement purification protocol(EPP)usin... The decoherence of entangled states caused by the noisy channel is a salient problem for reducing the fidelity of quantum communication.Here we present a heralded two-photon entanglement purification protocol(EPP)using heralded high-fidelity parity-check gate(HH-PCG),which can increase the entanglement of nonlocal two-photon polarization mixed state.The HH-PCG is constructed by the input-output process of nitrogen-vacancy(NV)center in diamond embedded in a single-sided optical cavity,where the errors caused by the imperfect interaction between the NV center-cavity system and the photon can be heralded by the photon detector.As the unwanted components can be filtrated due to the heralded function,the fidelity of the EPP scheme can be enhanced considerably,which will increase the fidelity of quantum communication processing. 展开更多
关键词 quantum communication heralded entanglement purification heralded parity-check gate
原文传递
基于长距离引调水工程的前馈控制优化
2
作者 练继建 霍小龙 +3 位作者 王孝群 雷晓辉 何立新 龙岩 《南水北调与水利科技(中英文)》 北大核心 2025年第5期1025-1035,共11页
为解决长距离引调水工程蓄量二次补偿前馈控制运行方式中因蓄量超调导致的水位波动剧烈等问题,以南水北调中线工程陶岔渠首至十二里河节制闸段为研究对象,构建一种基于蓄量部分补偿的前馈控制优化模型。该模型引入蓄量比例系数,以目标... 为解决长距离引调水工程蓄量二次补偿前馈控制运行方式中因蓄量超调导致的水位波动剧烈等问题,以南水北调中线工程陶岔渠首至十二里河节制闸段为研究对象,构建一种基于蓄量部分补偿的前馈控制优化模型。该模型引入蓄量比例系数,以目标调控渠池下游节制闸的闸前水位变幅最小为优化目标,求解最优闸门协同控制方案。基于一维水动力仿真系统,通过设定多种用水工况及4种典型分水工况,对不同运行条件的前馈控制性能进行研究分析。结果表明:在所有测试工况下,优化模型不仅实现了目标调控渠池与非目标调控渠池水位波动的协同控制(水位变幅均满足0.1 m的规范限值),而且在典型分水工况下显著抑制水位波动幅度(IAE指标降幅88.16%~95.32%,NISE指标降幅91.50%~99.94%),同步降低闸门操作强度(NIAW指标降幅62.37%~83.11%),并将系统稳定时间缩短至约3 h。研究成果可为南水北调中线工程的前馈控制提供一种新的技术方案。 展开更多
关键词 南水北调工程 前馈控制优化 蓄量部分补偿 闸前水位控制 粒子群优化算法
在线阅读 下载PDF
基于Bi-GRU的隔膜泵单向阀剩余寿命预测
3
作者 李加洁 彭宇明 任洪兵 《云南大学学报(自然科学版)》 北大核心 2025年第4期669-676,共8页
针对现有方法处理长时序信号困难从而导致的隔膜泵单向阀寿命预测效果差的问题,提出了一种基于Bi-GRU(gated recurrent unit,GRU)的寿命预测方法.首先,从实际工程环境中由传感器采集的单向阀全生命周期振动数据中,精准识别并提取能够反... 针对现有方法处理长时序信号困难从而导致的隔膜泵单向阀寿命预测效果差的问题,提出了一种基于Bi-GRU(gated recurrent unit,GRU)的寿命预测方法.首先,从实际工程环境中由传感器采集的单向阀全生命周期振动数据中,精准识别并提取能够反映设备健康状态的关键退化特征,进而构建设备健康退化的动态曲线;然后,运用寿命预测模型学习历史振动数据与其处的退化程度的映射关系;最后,将实测振动数据的退化特征输入寿命使用预测模型以预测单向阀剩余可用寿命.该方法通过门循环单元结构避免了循环神经网络会出现的数据依赖问题,还通过顺时序和逆时序双向学习时序数据前一时刻和后一时刻的退化规律,提升模型学习能力.所提方法在工程实测单向阀寿命信号上进行了验证,实验结果表明了所提方法的有效性. 展开更多
关键词 双向门控循环单元 隔膜泵单向阀 寿命预测
在线阅读 下载PDF
基于ANSYS的三支臂弧形闸门支臂补强后强度校核及稳定性分析
4
作者 王佩 涂从刚 王孟雪 《广东水利水电》 2025年第1期36-41,共6页
在役工程三支臂弧形工作闸门在建设时期由于事故原因支臂部位变形损坏,后经校正、修复补强后正常运行20余年。该闸门关系到溢洪道的泄洪安全,也与整个工程的安全密切相关,为了分析该闸门的安全性能,结合支臂的加固部位变形情况,对闸门... 在役工程三支臂弧形工作闸门在建设时期由于事故原因支臂部位变形损坏,后经校正、修复补强后正常运行20余年。该闸门关系到溢洪道的泄洪安全,也与整个工程的安全密切相关,为了分析该闸门的安全性能,结合支臂的加固部位变形情况,对闸门的支臂强度及稳定性进行验算。综合分析结果表明,支臂强度与稳定性均满足规范要求,为类似工程金属结构的维护和检修提供借鉴,同时复核计算也为后续开展实测闸门各构件的应力提供技术基础。 展开更多
关键词 三支臂弧形闸门 修复补强 强度校核 支臂稳定性 应力测试
在线阅读 下载PDF
七合一静音节能供水阀组的特性、优势与应用研究
5
作者 杜立伟 冯玉柱 《阀门》 2025年第11期1262-1266,共5页
针对工业与城市供水领域中传统组合阀组存在结构冗长、安装复杂、功能单一,以及运行噪声大、杂质易淤积、气蚀频发、维修成本高等问题,本文提出七合一静音节能供水阀组设计方法。通过创新结构集成设计融合多组件,选用高性能抗腐蚀材料,... 针对工业与城市供水领域中传统组合阀组存在结构冗长、安装复杂、功能单一,以及运行噪声大、杂质易淤积、气蚀频发、维修成本高等问题,本文提出七合一静音节能供水阀组设计方法。通过创新结构集成设计融合多组件,选用高性能抗腐蚀材料,结合流体动力学优化技术降低噪声。经实际应用验证,该阀组能够缩短安装时间,降低运行噪声和维修成本,减少杂质淤积与气蚀故障,实现启闭、过滤、止回等七大功能一体化。本研究为推动供水行业设备升级、提升系统效率、降低运营成本提供新路径,对行业可持续发展具有重要意义。 展开更多
关键词 闸阀 过滤器 止回阀 七合一静音节能供水阀组
在线阅读 下载PDF
基于双粒度序列融合的下一个兴趣点推荐
6
作者 彭瑾 史艳翠 刘凌云 《计算机系统应用》 2025年第1期128-136,共9页
针对现有方法无法有效利用签到信息为用户提供更精准的位置推荐服务的问题,提出一种基于双粒度序列融合的下一个兴趣点推荐模型.首先,该模型综合考虑了细粒度的时空序列信息和现实生活中天然存在的粗粒度类别序列信息,并通过门控循环单... 针对现有方法无法有效利用签到信息为用户提供更精准的位置推荐服务的问题,提出一种基于双粒度序列融合的下一个兴趣点推荐模型.首先,该模型综合考虑了细粒度的时空序列信息和现实生活中天然存在的粗粒度类别序列信息,并通过门控循环单元有效捕捉长期依赖关系,从而丰富签到上下文信息.然后,利用提取到的信息将固定划分签到长序列的“硬”划分方式转变为能有效提取完整局部子序列语义信息的“软”划分方式.最后,通过对各局部子序列的显著信息进行聚合来构建推荐模型.提出的模型在Foursquare数据集上召回率、归一化折损累计增益分别平均提升9.07%、9.72%,在Gowalla数据集上分别平均提升9.37%、10.24%,实验结果表明该模型具有更优的推荐性能. 展开更多
关键词 兴趣点推荐 双粒度序列 签到上下文 序列划分 门控循环单元
在线阅读 下载PDF
南水北调中线分水口群不同运用方式对总干渠水力控制特性的影响 被引量:9
7
作者 崔巍 李斯胜 +1 位作者 陈文学 姚雄 《水利学报》 EI CSCD 北大核心 2011年第11期1316-1321,共6页
分析了南水北调中线总干渠在闸前常水位运行方式下,满足分水口群用水需求的节制闸控制方式和算法,通过数值仿真,重点研究了分水口群分别采用顺序运用方式、同步运用方式及逆序运用方式时,总干渠在闸前水位偏差、水力过渡时间和闸门操作... 分析了南水北调中线总干渠在闸前常水位运行方式下,满足分水口群用水需求的节制闸控制方式和算法,通过数值仿真,重点研究了分水口群分别采用顺序运用方式、同步运用方式及逆序运用方式时,总干渠在闸前水位偏差、水力过渡时间和闸门操作历时等水力控制指标方面的差别。研究表明,闸门操作历时在顺序运用方式下最短,逆序运用方式下最长;水力过渡时间在同步运用方式下最短,逆序运用方式下最长;而闸前水位偏差指标在三种运用方式下相同。 展开更多
关键词 水力学 南水北调 中线总干渠 闸前常水位运行 分水口群运行 闸门控制算法
在线阅读 下载PDF
京石段节制闸流量系数原型观测与分析 被引量:4
8
作者 段文刚 王才欢 +1 位作者 黄国兵 韩黎明 《南水北调与水利科技》 CAS CSCD 2009年第6期186-190,219,共6页
京石段应急供水工程2008年临时通水系初次通水运行,总干渠输水控制和运行调度的水力学问题,一直为设计和运行管理等各方所关注。介绍6座典型节制闸流量系数原型观测成果,并进行水力计算分析评价。观测条件下,各节制闸出流均为闸孔淹没出... 京石段应急供水工程2008年临时通水系初次通水运行,总干渠输水控制和运行调度的水力学问题,一直为设计和运行管理等各方所关注。介绍6座典型节制闸流量系数原型观测成果,并进行水力计算分析评价。观测条件下,各节制闸出流均为闸孔淹没出流,其流量系数μ1介于0.773~0.834之间,平均为0.815。各闸过闸流量实测值与计算值总体趋于一致,二者偏差介于-1%~5%之间,表明原型观测成果较为可靠,可为总干渠运行调度和输水控制提供技术支撑。 展开更多
关键词 水力学 流量系数 节制闸 原型观测 调水工程
在线阅读 下载PDF
基于排队论的车站验证检票口数量优化研究 被引量:7
9
作者 王瑶 崔艳萍 凌熙 《铁道运输与经济》 北大核心 2012年第8期34-38,共5页
基于实测数据拟合,验证车站实名制车票的旅客到达分布为泊松分布,运用排队理论建立车站验证检票口数量与客流需求相匹配的优化模型,根据旅客流量变化情况预估验证检票口合理数量。通过实例计算表明,基于排队论方法进行验证检票口数量优... 基于实测数据拟合,验证车站实名制车票的旅客到达分布为泊松分布,运用排队理论建立车站验证检票口数量与客流需求相匹配的优化模型,根据旅客流量变化情况预估验证检票口合理数量。通过实例计算表明,基于排队论方法进行验证检票口数量优化配置,可以降低车站验证检票服务成本和旅客停留费用,提高经济性;提出的验证检票口数量优化方法和服务优化措施,可以协助车站合理设置验证检票口数量,提高服务质量。 展开更多
关键词 铁路 车票实名制 验证检票口 排队论
在线阅读 下载PDF
节制闸与泵站联合工作的数值模拟研究 被引量:3
10
作者 李刚 罗铭 +1 位作者 耿敬 马世领 《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2019年第4期663-669,共7页
由于节制闸与泵站联合工作相互影响的流场难以确定,本文以青龙山灌区渠系联合工作的节制闸和泵站为例,利用MIKE21 FM水动力模型进行数值模拟,得到节制闸和泵站附近的流场要素,分析闸站之间的相互影响。结果表明:受到泵站引渠影响,节制... 由于节制闸与泵站联合工作相互影响的流场难以确定,本文以青龙山灌区渠系联合工作的节制闸和泵站为例,利用MIKE21 FM水动力模型进行数值模拟,得到节制闸和泵站附近的流场要素,分析闸站之间的相互影响。结果表明:受到泵站引渠影响,节制闸的流场存在流动不对称现象、泵站引渠和节制闸都存在流速集中现象、流速超出护砌范围较大等问题,据此本文提出了对节制闸和引渠导墙布置的4种优化方案,并进行了数值实验验证,经优化后的布置方案流场对称性和泵站引渠流场稳定性明显得到改善,对节制闸与泵站联合工作的布置提供了一定的参考作用。 展开更多
关键词 MIKE21 水动力模型 节制闸 泵站 联合工作 数值模拟 流场分析 优化
在线阅读 下载PDF
长距离明渠调水工程蓄量动态调节控制算法研究 被引量:5
11
作者 崔巍 陈文学 穆祥鹏 《中国水利水电科学研究院学报》 北大核心 2015年第6期421-427,共7页
本文阐明了明渠渠池蓄量与节制闸闸前水位之间的单值对应关系,在此基础上提出一套通过动态调节渠池蓄量,实现闸前常水位运行的控制算法。该算法基于流量平衡和蓄量平衡关系推导,前馈控制与反馈控制相结合。前馈控制根据分水口计划主动... 本文阐明了明渠渠池蓄量与节制闸闸前水位之间的单值对应关系,在此基础上提出一套通过动态调节渠池蓄量,实现闸前常水位运行的控制算法。该算法基于流量平衡和蓄量平衡关系推导,前馈控制与反馈控制相结合。前馈控制根据分水口计划主动调节各渠池蓄量,起粗调作用;反馈控制针对前馈控制过程出现的水位偏差,通过动态调节各渠池蓄量实时校正,起细调作用。该算法具有原理简单,参数率定简便,控制规则灵活,实用性强等特点。算法在南水北调东线工程胶东段渠道进行了仿真测试,模拟环境包含水位死区和闸门运动死区。结果表明,所提算法能够有效克服长距离明渠水力滞后的影响,及时有效消除各渠池闸前水位偏差,将水位波动限定在安全范围内。 展开更多
关键词 水力学 南水北调 控制算法 闸前常水位运行 闸门死区
在线阅读 下载PDF
南水北调中线工程节制闸大开度检验调度方案 被引量:5
12
作者 李立群 李伟东 《南水北调与水利科技》 CAS CSCD 北大核心 2017年第1期204-208,共5页
南水北调中线沿线设有64座节制闸,为确保金结机电设备运行安全,按照设施设备规范要求各节制闸应在动水条件下进行零开度至全开度检验。中线工程现处于通水初期,沿线各分水口门尚未达到设计流量,如需完成大开度检验,势必需要通过采取一... 南水北调中线沿线设有64座节制闸,为确保金结机电设备运行安全,按照设施设备规范要求各节制闸应在动水条件下进行零开度至全开度检验。中线工程现处于通水初期,沿线各分水口门尚未达到设计流量,如需完成大开度检验,势必需要通过采取一定的调度措施来实现。结合中线工程运行实际,选取典型试点分析大开度检验的可行性;同时在充分考虑目前全线小流量、高水位的运行状态下,比对分析几种特定条件下的运行调度方案,初步研究选取了"控制闸调整局部渠段水位"的调度方案。通过对试点节制闸上下游控制建筑物的运行水力条件进行调整,保持试点节制闸目标过闸流量及其上下游渠段水位的相对稳定,进而实现节制闸大开度检验。 展开更多
关键词 节制闸 大开度检验 运行调度 南水北调
在线阅读 下载PDF
闸群调控下的输水系统水力响应过程 被引量:3
13
作者 张成 郑立松 倪春飞 《应用基础与工程科学学报》 EI CSCD 北大核心 2015年第S1期102-109,共8页
采用具有模拟复杂内边界功能的明渠一维非恒定流数学模型,以大型输水系统为研究对象,在渠首流量和闸群同步快速变化的极端情形下,对输水渠道的输水响应过程进行了模拟.计算得到了总干渠渠首流量增大和减小两种情况下渠道内水位变化过程... 采用具有模拟复杂内边界功能的明渠一维非恒定流数学模型,以大型输水系统为研究对象,在渠首流量和闸群同步快速变化的极端情形下,对输水渠道的输水响应过程进行了模拟.计算得到了总干渠渠首流量增大和减小两种情况下渠道内水位变化过程,其特征表现为:在渠首流量快速变化、闸群全线同时响应的情况下,渠道水位波动十分剧烈,多数节制闸相邻断面的水位变化速率均大于一般的水位变化速率要求,对渠道的安全运行可能产生十分不利的影响,应尽可能避免此类工况的出现,采用合理有效的闸群控制操作来保障输水系统的安全有效运行. 展开更多
关键词 非恒定流 南水北调 水力响应 数值模拟 节制闸
原文传递
节制闸中墩混凝土应力场对温度变化的敏感性分析 被引量:2
14
作者 汪伦焰 秦朝莹 +2 位作者 毛颢淳 陈守开 李慧敏 《华北水利水电大学学报(自然科学版)》 2017年第6期49-53,共5页
针对节制闸混凝土结构在施工期容易产生裂缝这一问题,将节制闸中墩混凝土作为研究对象,根据混凝土结构内温度、材料特性以及边界条件的变化,对其施工期温度应力场进行了三维仿真模拟计算,分析了施工期由内外温度差引起的混凝土结构应力... 针对节制闸混凝土结构在施工期容易产生裂缝这一问题,将节制闸中墩混凝土作为研究对象,根据混凝土结构内温度、材料特性以及边界条件的变化,对其施工期温度应力场进行了三维仿真模拟计算,分析了施工期由内外温度差引起的混凝土结构应力变化的特征与规律。结果表明:施工期,由于混凝土结构内外温差比较大,在热胀冷缩的作用下,易出现拉应力随着温差的增大而逐渐增大,从而引起节制闸中墩混凝土结构开裂,破坏其耐久性,产生安全隐患,导致工程质量问题。因此,为确保施工期混凝土的抗裂安全性,应采取相应的温控防裂措施。 展开更多
关键词 节制闸 中墩 温度场 应力场 敏感性分析 ANSYS
在线阅读 下载PDF
三维有限元法在钢闸门安全检测中的应用 被引量:7
15
作者 卜现港 夏仕锋 《中国农村水利水电》 北大核心 2005年第11期54-56,共3页
强度和刚度是评价闸门安全性能的重要指标。以红枫水电站溢洪道工作闸门为例,根据闸门的特点,采用三维有限元软件ALGOR对其进行了模拟和计算,并根据在役闸门的强度判别标准和《水利水电工程钢闸门设计规范》对闸门主横梁刚度的要求,阐... 强度和刚度是评价闸门安全性能的重要指标。以红枫水电站溢洪道工作闸门为例,根据闸门的特点,采用三维有限元软件ALGOR对其进行了模拟和计算,并根据在役闸门的强度判别标准和《水利水电工程钢闸门设计规范》对闸门主横梁刚度的要求,阐述了如何运用计算结果对闸门的强度和刚度进行校核。 展开更多
关键词 三维有限元法 闸门安全检测 判别标准 强度分析 刚度分析
在线阅读 下载PDF
南水北调中线总干渠水力响应时间特征研究 被引量:2
16
作者 张成 贺莉 《应用基础与工程科学学报》 EI CSCD 2009年第S1期28-36,共9页
波动传播时间和渠道平衡时间是南水北调中线工程总干渠运行控制所关心的重要内容.为研究上述典型水力响应时间的规律,本文利用南水北调中线电子渠道平台,对中线总干渠不同模拟工况进行了模拟计算,分析了渠道水力响应时间的变化特征.结... 波动传播时间和渠道平衡时间是南水北调中线工程总干渠运行控制所关心的重要内容.为研究上述典型水力响应时间的规律,本文利用南水北调中线电子渠道平台,对中线总干渠不同模拟工况进行了模拟计算,分析了渠道水力响应时间的变化特征.结果表明,节制闸开度变化引起的波动,其到达渠首和渠道末端的时间与节制闸所处的位置有较为密切的关系;而在相同的操作条件下,随着节制闸运用个数的增加,渠道重新达到平衡的时间会逐渐增加.研究成果对中线总干渠控制运行具有重要的参考价值. 展开更多
关键词 南水北调 水力响应时间 数值模拟 节制闸 非恒定流
在线阅读 下载PDF
南水北调中线工程总干渠水力学仿真模型研究 被引量:7
17
作者 黄会勇 刘子慧 +1 位作者 范杰 毛文耀 《水利水电技术》 CSCD 北大核心 2013年第12期111-115,122,共6页
以节制闸为边界将南水北调中线总干渠分为若干子段,采用闸门过闸流量公式、能量方程、圣维南(Saint-Venant)方程组和低压管流方程分别计算闸门水位流量关系、明渠恒定流、明渠非恒定流和有压建筑物非恒定流,以此建立总干渠水力学计算模... 以节制闸为边界将南水北调中线总干渠分为若干子段,采用闸门过闸流量公式、能量方程、圣维南(Saint-Venant)方程组和低压管流方程分别计算闸门水位流量关系、明渠恒定流、明渠非恒定流和有压建筑物非恒定流,以此建立总干渠水力学计算模型。通过双重迭代方法对水流方程、过闸流量方程进行联合求解,以模拟总干渠运行调度动态过渡过程,以京石段2008年输水实测数据对水力学模型进行验证,结果表明模型具有良好的收敛性和较高的精度。 展开更多
关键词 恒定流 非恒定流 节制闸 中线工程 京石段 南水北调中线工程
在线阅读 下载PDF
南水北调中线干线节制闸过流公式率定及曲线绘制 被引量:12
18
作者 李景刚 乔雨 +2 位作者 陈晓楠 黄诗峰 高林 《人民长江》 北大核心 2019年第8期224-227,共4页
南水北调中线线路长、分水口门多、无在线调蓄水库,且正处于初期运行阶段,需逐步建立健全各类闸门技术档案,尤其是率定各类闸门过流公式和绘制闸门控制运用图表,这对于精确实施渠道控制、指导闸门日常控制操作、保障输水调度安全具有重... 南水北调中线线路长、分水口门多、无在线调蓄水库,且正处于初期运行阶段,需逐步建立健全各类闸门技术档案,尤其是率定各类闸门过流公式和绘制闸门控制运用图表,这对于精确实施渠道控制、指导闸门日常控制操作、保障输水调度安全具有重要意义。以刁河节制闸为例,基于量纲分析法,在孔流条件下利用南水北调中线干线通水运行观测数据开展了节制闸过流公式率定,并在此基础上绘制出节制闸不同闸前、闸后水位差下的过闸流量与闸门开度关系曲线。结果显示:量纲分析法物理概念比较清晰,公式形式较为简单,率定工作量大大降低,实测流量与计算流量误差基本在±6%之间,而平均误差约为3%,率定精度较高,具有较强的实际应用和推广价值;同时节制闸过闸流量曲线的绘制,为日常调度人员掌握过闸流量变化、适时开展闸门调度提供了决策依据。 展开更多
关键词 过流公式率定 流量曲线 量纲分析法 节制闸 南水北调中线工程
在线阅读 下载PDF
基于观察者模式的实时系统验证方法 被引量:2
19
作者 赵鹤 洪玫 +1 位作者 杨秋辉 高婉玲 《计算机科学》 CSCD 北大核心 2017年第12期156-162,174,共8页
复杂实时系统的验证问题一直备受关注。验证过程中,验证特性可以用时序逻辑来描述,但时序逻辑对于非专业人员而言较为复杂,难度较大。观察者模式是一个额外的子系统,可以将复杂的验证特性转换为简单的可达性问题,同时也可以避免使用复... 复杂实时系统的验证问题一直备受关注。验证过程中,验证特性可以用时序逻辑来描述,但时序逻辑对于非专业人员而言较为复杂,难度较大。观察者模式是一个额外的子系统,可以将复杂的验证特性转换为简单的可达性问题,同时也可以避免使用复杂的验证算法。将Etienne和Nouha Abid等人提出的抽象的观察者模式应用到实时系统实例——Train-Gate系统中,采用UPPAAL工具对Train-Gate系统中的某些场景建立观察者模型,并采用对比实验将验证结果与无观察者模式状态下的验证结果进行对比。对比结果表明,使用观察者模式和验证特性都可以得到正确的验证结果,但观察者更节省时间,对于非专业人员而言更简单且更容易接受。因此,使用观察者模式对如TrainGate的实时系统进行验证是可行的。 展开更多
关键词 观察者模式 实时系统 UPPAAL Train-gate 模型检测
在线阅读 下载PDF
上海松江叶榭塘水利枢纽工程设计 被引量:1
20
作者 王艳明 李春光 《城市道桥与防洪》 2006年第1期79-81,共3页
对上海松江区叶榭塘水利枢纽工程的特征参数、平面布置与主体结构型式及枢纽运行安全控制进行了详细的阐述。设计中对枢纽功能与环境景观的和谐统一、结构优化以及实现枢纽运行自动化控制方面有充分的考虑与尝试。
关键词 水利枢纽 节制闸 套闸 设计 建筑景观 上海松江区
在线阅读 下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部