检索结果-南通市图书馆

Jupiter Made Abstract, and Then Refined

在线全文

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 2020年第6期35卷 1343-1364页

作者： Heng-feng Wei Rui-Ze Tang yu Huang Jian Lv State Key Laboratory for Novel Software Technology Nanjing UniversityNanjing 210023China

Collaborative text editing systems allow multiple users to concurrently edit the same document, which can be modeled by a replicated list object. In the literature, there is a family of operational transformation (OT)-based Jupiter protocols for replicated lists, including AJupiter, XJupiter, and CJupiter. They are hard to understand due to the subtle OT technique, and little work has been done on formal verification of complete Jupiter protocols. Worse still, they use quite different data structures. It is unclear about how they are related to each other, and it would be laborious to verify each Jupiter protocol separately. In this work, we make contributions towards a better understanding of Jupiter protocols and the relation among them. We first identify the key OT issue in Jupiter and present a generic solution. We summarize several techniques for carrying out the solution, including the data structures to maintain OT results and to guide OTs. Then, we propose an implementation-independent AbsJupiter protocol. Finally, we establish the (data) refinement relation among these Jupiter protocols (AbsJupiter included). We also formally specify and verify the family of Jupiter protocols and the refinement relation among them using TLA+ (TLA stands for"Temporal Logic of Actions") and the TLC model checker. To our knowledge, this is the first work to formally specify and verify a family of OT-based Jupiter protocols and the refinement relation among them. It would be helpful to promote a rigorous study of OT-based protocols.

关键词： Jupiter protocol operational transformation refinement replicated list TLA+

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

老年肌少症的运动干预

中国组织工程研究 2024年第35期28卷 5723-5731页

作者：卢冬磊冯展鹏曹立全唐毅谭思洁俞中涛天津体育学院运动训练学院天津市301617 天津体育学院运动健康学院天津市301617 天津体育学院体育教育学院天津市301617 天津市体育综合保障中心天津市300193

背景:肌少症是指与增龄相关的进行性、全身肌量减少和/或肌强度下降或肌肉生理功能减退,该病症与老年人多种不良结局的发生有关。运动被认为是老年人对抗肌少症的主要策略之一,但当前缺乏对不同运动方式干预肌少症的具体干预方式研究。... 详细信息

背景:肌少症是指与增龄相关的进行性、全身肌量减少和/或肌强度下降或肌肉生理功能减退,该病症与老年人多种不良结局的发生有关。运动被认为是老年人对抗肌少症的主要策略之一,但当前缺乏对不同运动方式干预肌少症的具体干预方式研究。目的:阐述肌少症的主要影响因素和不同运动方式改善老年肌少症的研究进展,为老年人对抗肌少症提供参考和依据。方法:英文检索词为“sarcopenia,sport,exercise intervention,resistant training,aerobic exercise,whole body vibration training,mixed training,physical performance,muscle strength,muscle mass等”;中文检索词为“肌少症、运动、运动干预、抗阻运动、有氧运动、全身振动训练、多组分运动、身体表现、肌肉力量、肌肉质量等”,分别检索Web of Science、PubMed、中国知网、维普、万方数据库,检索时限为2000年1月至2023年10月,对入选的126篇文献进行归纳总结。结果与结论:(1)抗阻运动仍是防治老年肌少症的最有效运动方式,且高强度抗阻运动效果更为显著,但在实际应用中应注意训练负荷强度的循序渐进;(2)有氧运动结合抗阻运动对老年人肌肉质量和功能的改善相对于单一运动模式效果更好,建议老年人前期可以进行低强度有氧运动过渡,后期可以个体化增加抗阻运动;(3)全身振动训练是一种新兴的防治老年肌少症的治疗方法,但在实际应用过程中要尤其注意频率、振幅、持续时间对患者的影响;(4)多组分运动结合了不同运动方式,可以最大程度发挥各自的优势,从而对其进行个性化运动干预。

关键词：老年人肌少症抗阻运动有氧运动全身振动疗法多组分运动

基于子空间线性二次高斯的风电机组控制性能量化评估

在线全文

学校读者我要写书评

暂无评论

热力发电 2024年第3期53卷 14-23页

作者：王玙张扬帆杨伟新梁恺高峰钱晨凯华北电力科学研究院有限责任公司北京100045 华北电力大学控制与计算机工程学院北京102206

针对目前风电机组控制性能综合评估时缺乏量化标准与评估方法的问题,提出了一种基于子空间线性二次高斯(LQG)的控制性能量化评估方法,利用子空间矩阵法求解出评估权衡曲线,确立了风电机组LQG控制性能基准与评估指标。以增加塔架阻尼减... 详细信息

针对目前风电机组控制性能综合评估时缺乏量化标准与评估方法的问题,提出了一种基于子空间线性二次高斯(LQG)的控制性能量化评估方法,利用子空间矩阵法求解出评估权衡曲线,确立了风电机组LQG控制性能基准与评估指标。以增加塔架阻尼减载控制改造的机组作为评估算例,采用2种数据处理策略进行改造前、后变桨控制性能的多变量综合量化评估。结果表明:2种数据处理策略均可得到准确有效的量化评估结果,所提评估方法可以实现对控制策略优化效果的综合量化评价。

关键词：风电机组子空间矩阵控制性能评估 LQG基准权衡曲线

F316奥氏体不锈钢热变形行为与动态再结晶机制

在线全文

学校读者我要写书评

暂无评论

钢铁研究学报 2024年第8期36卷 1060-1070页

作者：冯伟刘忠翰谢臻轩于云鹤侯纪新夏志新苏州大学沙钢钢铁学院江苏苏州215137

采用等温压缩实验,系统探究了F316奥氏体不锈钢在不同变形量(10%~50%)、变形温度(960~1120℃)和应变速率(0.1~1s^(-1))下的热变形行为与动态再结晶机制。研究表明,F316奥氏体不锈钢的动态再结晶以弓出形核为主要形核方式,应变速率增加... 详细信息

采用等温压缩实验,系统探究了F316奥氏体不锈钢在不同变形量(10%~50%)、变形温度(960~1120℃)和应变速率(0.1~1s^(-1))下的热变形行为与动态再结晶机制。研究表明,F316奥氏体不锈钢的动态再结晶以弓出形核为主要形核方式,应变速率增加和变形温度降低均会导致动态再结晶体积分数和再结晶晶粒尺寸逐渐减小。通过结合Arrhenius方程和Zener-Hollomon参数,成功建立了F316奥氏体不锈钢的流变应力本构方程,其变形激活能Q确定为491.54k J/mol,峰值应力随着变形温度的升高和应变速率的降低而显著增大。通过引入应变条件的影响,可对流变应力本构方程进一步优化,最终成功实现对F316不锈钢流变应力曲线的良好预测。

关键词： F316奥氏体不锈钢热变形动态再结晶本构方程预测

在线全文

学校读者我要写书评

暂无评论

黑潮流套脱落反气旋涡对声传播的影响研究

海洋与湖沼 2024年第2期55卷 332-346页

作者：路露南峰梁向前于非陈子飞徐安琪山东科技大学数学学院山东青岛266590 中国科学院海洋环流与波动重点实验室山东青岛266071 中国科学院海洋大科学研究中心山东青岛266071 中国科学院大学地球科学学院北京100049 崂山实验室山东青岛266237

黑潮在冬季常以流套的方式入侵南海,并多伴随着反气旋涡的脱落,脱落的反气旋涡将黑潮高温、高盐水带入南海,影响南海东北部水文要素和声速场的空间分布,目前尚未有对黑潮流套脱落反气旋涡声学效应的研究。利用2009~2020年卫星高度计数... 详细信息

黑潮在冬季常以流套的方式入侵南海,并多伴随着反气旋涡的脱落,脱落的反气旋涡将黑潮高温、高盐水带入南海,影响南海东北部水文要素和声速场的空间分布,目前尚未有对黑潮流套脱落反气旋涡声学效应的研究。利用2009~2020年卫星高度计数据和再分析数据,在南海东北部选取了6个冬季黑潮流套脱落反气旋涡,研究了其水文和声场结构,并应用Bellhop高斯射线模型仿真给出了其对声传播的影响。结果表明:(1)6个黑潮脱落反气旋涡平均半径为110~135km,垂向深度可达1000~1200 m,最大旋转速度为0.4~0.6 m/s。反气旋涡中心暖水下沉,温度异常均为正异常,暖核位置位于100~250 m处,最大正异常达到2.5℃。中心盐度异常呈现负-正-负的三核结构。反气旋涡在100~900 m深度声速为正异常,最大正异常超过8 m/s,出现在400 m左右。(2)声波从涡外穿过涡旋和从涡内向外传播,当地形不会影响声线的反转时,会聚区的位置发生后移,后移的距离在5~10 km;当地形阻碍声线的反转时,声线与地形接触的位置不同,会聚区可能出现前移或后移,后移最大为29km,前移最大可达23km。(3)当声源深度和接收深度都为300m时,涡旋引起的声传播损失相比与无涡环境下最大增加10~15dB,同时地形与海底的反射也会使得声传播损失增大5~10dB。本文研究结果对南海东北部深海通信、远程探测、舰艇侦察与反侦察等具有一定意义。

关键词：南海黑潮流套反气旋涡会聚区传播损失

Some notes on numerical investigation of three cavitation models through a verification and validation procedure

在线全文

学校读者我要写书评

暂无评论

Journal of Hydrodynamics 2023年第1期35卷 185-190页

作者： Lin-feng Deng yun Long Huai-yu Cheng Bin Ji State Key Laboratory of Water Resources and Hydropower Engineering Science Wuhan UniversityWuhan430072China Wuhan Second Ship Design and Research Institute Wuhan430064China

The present paper investigates the turbulent cavitating flow around the Clark-Y hydrofoil with special emphasis on the influence of cavitation models by verification and validation(V&V)*** solver coupled with the three major cavitation models(i.e.,Zwart-Gerber-Belamri,Schnerr and Sauer and full cavitation model,which are abbreviated to ZGB model,SS model and FC model respectively)is employed in this *** results indicate that the three cavitation models can properly reproduce the cavitation *** model and SS model give better prediction in the overall cavitation *** model exhibits an obvious under-estimation for the sheet cavity,and the predicted volume fraction is closely related to the turbulent *** verification and validation procedure is involved to quantitatively assess the accuracy of these three cavitation *** is indicated that the V&V procedure is suitable for the unsteady cavitating *** errors estimate is robust and conservative within the cavitation region,while gets closer to zero in the no-cavitation *** addition,ZGB model exhibits the highest overall accuracy among the three models,which further verifies its wide applicability.

关键词： Cavitating flow cavitation model verification and validation(V&V) error estimate

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

振动MBR结合精确曝气与回流强化脱氮除磷

水处理技术 2024年第10期50卷 109-114页

作者：薛涛张彩云孙大阳陈春生俞开昌黄霞北京碧水源科技股份有限公司 102206 清华大学环境学院 100084北京

为探索一种利用反硝化聚磷菌(DPAOs)与反硝化聚糖菌(DGAOs)强化脱氮除磷的新工艺手段,在一座传统曝气MBR工艺的市政污水处理厂内开展了新型振动MBR工艺结合精确曝气与回流控制技术的中试研究。在膜池MLSS为12~15 g/L、膜通量为20 L/(m^... 详细信息

为探索一种利用反硝化聚磷菌(DPAOs)与反硝化聚糖菌(DGAOs)强化脱氮除磷的新工艺手段,在一座传统曝气MBR工艺的市政污水处理厂内开展了新型振动MBR工艺结合精确曝气与回流控制技术的中试研究。在膜池MLSS为12~15 g/L、膜通量为20 L/(m^(2)·h)时,振动MBR中试TMP稳定保持在10~25 kPa,膜振动电机平均电耗为0.042 kWh/m^(3),比水厂曝气MBR膜吹扫风机电耗降低了61.8%。在精确曝气与回流控制下,中试好氧池前端DO低于0.5 mg/L,后端DO保持在0.3~1.2 mg/L;前缺氧池后端硝氮保持在2~3 mg/L,厌氧池硝氮接近0 mg/L,提供了有利于内碳源合成与利用的生化环境条件。振动MBR结合精确控制显著强化了反硝化除磷与内源反硝化作用,中试缺氧吸磷量占缺氧与好氧吸磷量之和的比例超过了40%,后缺氧池内源反硝化脱氮量较水厂提升了1~3 mg/L,最终出水总氮较水厂降低了3~6 mg/L。在中试厌氧池投加乙酸钠后系统脱氮除磷效果进一步提升,出水总氮与总磷分别稳定低于5 mg/L与0.5 mg/L。中试的硝化菌、反硝化菌、DPAOs与DGAOs相对丰度分别比水厂提高了0.76%、1.15%、1.96%与0.58%,其中Dechloromonas与CandidatusCompetibacter分别为主要的DPAOs与DGAOs菌属。

关键词：振动MBR 精确控制反硝化除磷内源反硝化脱氮除磷

在线全文

学校读者我要写书评

暂无评论

基于PolM的微波光子线性优化链路

现代电子技术 2024年第11期47卷 1-5页

作者：刘婷陈博柳钰薛小庆郗艳华张玉叶咸阳师范学院物理与电子工程学院陕西咸阳712000 西安工业大学光电学院陕西西安710021

文中提出一种利用偏振调制器(PolM)提高系统无杂散动态范围(SFDR)的方案,并进行了仿真验证。实现线性优化的原理是通过对微波光子链路中上下两路光载波进行完全抑制和部分抑制,使生成不同来源的三阶交调失真(IMD3)在电域实现自抵消。仿... 详细信息

文中提出一种利用偏振调制器(PolM)提高系统无杂散动态范围(SFDR)的方案,并进行了仿真验证。实现线性优化的原理是通过对微波光子链路中上下两路光载波进行完全抑制和部分抑制,使生成不同来源的三阶交调失真(IMD3)在电域实现自抵消。仿真结果表明,IMD3的抑制比可达到61.9 dB,系统的三阶无杂散动态范围可达到107 dB·Hz^(2∕3)。该方案具有结构简单、实施难度低、大工作带宽和大动态范围的优势,在宽带无线通信、雷达、电子战系统中具有较大的应用潜力。

关键词：微波光子偏振调制器无杂散动态范围三阶交调失真偏振控制器光载波

维普期刊数据库博看期刊

六氟环氧丙烷三聚体羧酸(HFPO-TA)污染现状和生物毒性研究进展

在线全文

学校读者我要写书评

暂无评论

环境化学 2024年第5期43卷 1415-1428页

作者：刘梦琳王冰菁宿琪索秉旭冯精兰余浩河南师范大学环境学院黄淮水环境污染与防治教育部重点实验室河南省环境污染控制重点实验室水处理关键技术国际联合实验室新乡453007

全氟/多氟化合物(per-and polyfluoroalkyl substances,PFAS)是一类具有优良表面活性和稳定性的有机化合物,广泛应用于工业和消费领域,全氟辛烷羧酸(perfluorooctanoic acid,PFOA)是具有代表性的一类PFAS.由于具有持久性、生物蓄积性、... 详细信息

全氟/多氟化合物(per-and polyfluoroalkyl substances,PFAS)是一类具有优良表面活性和稳定性的有机化合物,广泛应用于工业和消费领域,全氟辛烷羧酸(perfluorooctanoic acid,PFOA)是具有代表性的一类PFAS.由于具有持久性、生物蓄积性、长距离迁移和生物毒性,PFOA已被限制生产和使用.六氟环氧丙烷三聚体羧酸(hexafluoropropylene oxide trimer acid,HFPO-TA)是一类新型的PFOA替代品.HFPO-TA在全球范围内的环境介质中广泛存在,在一些介质中的浓度接近甚至高于***能在生物体内蓄积并可产生生物毒性效应,由于其独特的化学结构和理化性质,HFPO-TA的生物积累潜能和生物毒性强于PFOA.本文从HFPO-TA的生产、用途、环境归趋、环境介质和生物体内的污染现状、生物毒性和降解进行综述,并对未来研究趋势和发展方向进行展望,为研究HFPO-TA在生物体内富集与转化机制和毒理学评价提供参考依据.

关键词：六氟环氧丙烷三聚体羧酸多介质分布生物富集生物毒性降解

维普期刊数据库博看期刊