检索结果-南通市图书馆

使用模型检测方法对Paxos算法进行验证与改进

在线全文

学校读者我要写书评

暂无评论

小型微型计算机系统 2022年第5期43卷 1109-1113页

作者：何东炼杨晋吉赵淦森管金平华南师范大学计算机学院广州510631

因通信的同步问题、网络分区的可靠性问题等,分布式系统难以在通信、分区等环节失效的情况下对特定的状态达成共识.Paxos是近年分布式系统中常见且有效的共识算法,本文通过使用模型检测的方法对Paxos算法进行形式化建模,分析和验证了Pa... 详细信息

因通信的同步问题、网络分区的可靠性问题等,分布式系统难以在通信、分区等环节失效的情况下对特定的状态达成共识.Paxos是近年分布式系统中常见且有效的共识算法,本文通过使用模型检测的方法对Paxos算法进行形式化建模,分析和验证了Paxos作为共识算法所应当满足的性质,结果表明,Paxos算法满足安全性、活性,但执行过程中有发生活锁的可能,并通过模型检测器重现了算法发生活锁时的运行轨迹.最后通过对算法进行改进,以应对现有算法执行过程中可能出现的活锁问题,并通过了模型检测器的验证.

关键词：形式化验证模型检测 Paxos SPIN

在线全文

学校读者我要写书评

暂无评论

直径对甲烷水合物球燃烧特性影响的实验研究

实验室研究与探索 2022年第1期41卷 1-5,21页

作者：崔淦王顺董增瑞郭涛李自力中国石油大学(华东)储运与建筑工程学院山东省油气储运安全重点实验室山东青岛266580

为研究直径对甲烷水合物球燃烧特性的影响规律,设计了甲烷水合物球燃烧特性的复合实验测试系统,分别构建了水合物火焰特性以及分解特性实验测试装置。定量分析了火焰高度、火焰温度、脉动频率等水合物火焰特性以及质量变化速率、表面形... 详细信息

为研究直径对甲烷水合物球燃烧特性的影响规律,设计了甲烷水合物球燃烧特性的复合实验测试系统,分别构建了水合物火焰特性以及分解特性实验测试装置。定量分析了火焰高度、火焰温度、脉动频率等水合物火焰特性以及质量变化速率、表面形态演变等水合物分解特性,结合这两类燃烧特性,探讨了甲烷水合物球燃烧的复杂传热传质过程。结果表明,受火焰传热以及水合物分解的作用,甲烷水合物球燃烧过程中的直径变化满足D^(2)定律;甲烷水合物的火焰高度主要受质量变化速率与水合物球初始直径两方面的影响,随着水合物球直径的增大,质量变化速率迅速增大,火焰高度也显著增大;较大直径的甲烷水合物球燃烧均匀稳定,利于直接燃烧应用,而较小直径的甲烷水合物球燃烧性能差,利于天然气储运应用。

关键词：甲烷水合物直径燃烧火焰

氯化银-聚醚砜复合膜制备及吸附去除水中Br-研究

在线全文

学校读者我要写书评

暂无评论

水处理技术 2018年第5期44卷 22-26页

作者：管若伶王海增中国海洋大学化学化工学院海洋化学理论与工程技术教育部重点实验室山东青岛266100

通过共混法将自制高纯度氯化银颗粒与聚醚砜成型制备复合膜材料,利用各类表征手段(BET、SEM、XRD和机械性能测试)对膜材料的结构进行分析研究。采用静态吸附方法,探讨了氯化银含量、吸附时间、吸附温度、溶液初始p H等因素对Br-吸附去... 详细信息

通过共混法将自制高纯度氯化银颗粒与聚醚砜成型制备复合膜材料,利用各类表征手段(BET、SEM、XRD和机械性能测试)对膜材料的结构进行分析研究。采用静态吸附方法,探讨了氯化银含量、吸附时间、吸附温度、溶液初始p H等因素对Br-吸附去除的影响。结果表明,复合膜去除Br-的优化条件为:m(Ag Cl)/m(PES)为0.50,吸附时间7 h,吸附温度25℃,溶液初始p H为7。Langmuir线性等温模型和准2级动力学模型能更好的描述Br-在Ag Cl-PES复合膜上的去除过程,m(Ag Cl)/m(PES)为0.50的Ag Cl-PES复合膜的理论最大吸附量为71.42 mg/g。

关键词：氯化银溴离子聚醚砜复合膜吸附去除

基于复合模糊物元-熵权组合模型的淮河干流健康综合评价

在线全文

学校读者我要写书评

暂无评论

水资源保护 2021年第3期37卷 145-151页

作者：杜现增袁榆梁孟钰管新建郑州大学水利科学与工程学院河南郑州450001 河南省水利勘测设计研究有限公司河南郑州450016

选取河流的物理特征、水文情势、水环境质量、生物多样性4个方面建立河流健康综合评价指标体系,构建基于复合模糊物元与熵权法的河流健康综合评估数学模型,对淮河干流关键断面进行实例应用研究。结果表明,淮河干流淮滨、王家坝、鲁台子... 详细信息

选取河流的物理特征、水文情势、水环境质量、生物多样性4个方面建立河流健康综合评价指标体系,构建基于复合模糊物元与熵权法的河流健康综合评估数学模型,对淮河干流关键断面进行实例应用研究。结果表明,淮河干流淮滨、王家坝、鲁台子与蚌埠4个关键河段的河流健康指数分别为0.470、0.435、0.462和0.432,河流综合健康水平整体不高,自上游到下游呈下降趋势,由于国家政策和人类活动影响,鲁台子河段的河流健康状况明显升高。

关键词：评价指标体系复合模糊物元熵权法淮河干流河流健康

在线全文

学校读者我要写书评

暂无评论

宝应县秸秆犁耕深翻还田工作实践与思考

江苏农机化 2020年第6期 38-41页

作者：王金淦朱枫成管飚宝应县农业农村局宝应县人民政府

介绍了稻秸秆犁耕深翻还田技术路线和作业要求,结合宝应县犁耕深翻还田实施情况,提出做好犁耕深翻还田工作的思考和建议。

关键词：犁耕深翻秸秆还田实践与思考

在线全文

学校读者我要写书评

暂无评论

浅谈智能纺的发展现状和未来趋势

棉纺织技术 2019年第5期47卷 1-4页

作者：李增润管幼平经纬智能纺织机械有限公司山西晋中030601

从纺纱设备、配套设施、纺纱车间三个层面,以经纬智能纺织机械有限公司目前的技术方案为例,探讨纺纱智能化的发展现状和未来趋势,并预测了未来纺织行业对智能化生产的软硬件需求。指出:随着科技更新速度的加快,应用技术难度和经济成本... 详细信息

从纺纱设备、配套设施、纺纱车间三个层面,以经纬智能纺织机械有限公司目前的技术方案为例,探讨纺纱智能化的发展现状和未来趋势,并预测了未来纺织行业对智能化生产的软硬件需求。指出:随着科技更新速度的加快,应用技术难度和经济成本的降低,以高度智能化的技术方案取代人工来保证生产流程是纺织产业发展的必然趋势。认为:作为纺织机械研发制造企业,能够给纺织企业提供适宜的个性化、智能化技术方案,是推动自身和行业智能化发展的基本要求。

关键词：智能纺棉纺成套设备智能纺纱系统环锭纺纺纱流程

电源切换试验时应急空压机无法正常启动的改造优化

在线全文

学校读者我要写书评

暂无评论

通信电源技术 2022年第2期39卷 163-166页

作者：管增福张少凯中广核工程有限公司广东深圳518000

某核电机组执行应急配电盘电源从电网切换到柴油发电机试验(简称BAS试验)时,在切至柴油发电机供电后,核应急空压机出现无法正常带载问题。针对该问题,深入分析了空压机结构组成、电气原理和控制逻辑等,多方面联合进行模拟试验,设计和实... 详细信息

某核电机组执行应急配电盘电源从电网切换到柴油发电机试验(简称BAS试验)时,在切至柴油发电机供电后,核应急空压机出现无法正常带载问题。针对该问题,深入分析了空压机结构组成、电气原理和控制逻辑等,多方面联合进行模拟试验,设计和实施了电源改进和逻辑优化的改造方案,从根本上解决了问题。改进结果表明,改进后的空压机运行稳定,符合机组应急运行程序要求,既满足了电源切换对空压机的带载要求,又提高了核应急空压机对机组安全运行的保障,也为解决同类问题提供了参考。

关键词：空压机控制器电源切换供电方式控制逻辑

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

某电厂汽轮机高调阀座合金裂纹分析与处理

安徽电气工程职业技术学院学报 2022年第1期27卷 87-91页

作者：林增雷管绪友淮南矿业集团发电有限责任公司顾桥电厂安徽淮南232100

某电厂2号机组高压调节汽阀十字头改造期间,1号高压调节汽阀阀座司太立合金堆焊部位发现3处裂纹、1处脱落。经检验分析,高压调节汽阀阀座司太立合金堆焊部位裂纹是由于熔合线区域应力集中,在长期负荷波动较大的工况运行条件下发生的。... 详细信息

某电厂2号机组高压调节汽阀十字头改造期间,1号高压调节汽阀阀座司太立合金堆焊部位发现3处裂纹、1处脱落。经检验分析,高压调节汽阀阀座司太立合金堆焊部位裂纹是由于熔合线区域应力集中,在长期负荷波动较大的工况运行条件下发生的。文章对汽轮机高压调节汽阀阀座司太立合金裂纹原因进行了分析,对施工方案的选择进行了论证,并提出了预防措施,经过长期运行后,没有出现阀座密封面裂纹、脱落等类似现象。

关键词：高压调节汽阀阀座司太立合金裂纹冲击载荷

在线全文

学校读者我要写书评

暂无评论

IgA肾病发病机制的研究进展

中华肾脏病杂志 2024年第3期40卷 225-230页

作者：王淦淦郑可李雪梅中国医学科学院、北京协和医学院、北京协和医院肾内科北京100730

IgA肾病(IgA nephropathy,IgAN)是目前全球范围内最常见的原发性肾小球肾炎,20%~40%的患者在诊断后20年内进展为终末期肾病。IgAN的发病机制尚不明确,临床治疗主要以控制病情进展为主,缺乏特异性治疗方案。围绕半乳糖缺乏的IgA1(galacto... 详细信息

IgA肾病(IgA nephropathy,IgAN)是目前全球范围内最常见的原发性肾小球肾炎,20%~40%的患者在诊断后20年内进展为终末期肾病。IgAN的发病机制尚不明确,临床治疗主要以控制病情进展为主,缺乏特异性治疗方案。围绕半乳糖缺乏的IgA1(galactose-deficient IgA1,Gd-IgA1)开展的一系列研究提示IgAN发病涉及多个环节。该文从IgA1的结构特征、IgAN患者体内Gd-IgA1抗体及含Gd-IgA1免疫复合物、Gd-IgA1免疫复合物在肾脏中的沉积、Gd-IgA1免疫复合物沉积对肾脏的损伤、补体在IgAN中的作用、IgA肾病的基因组学及黏膜免疫与IgAN等方面,综述了IgAN发病机制的研究进展,为进一步的研究和临床治疗提供线索和思路。

关键词：肾小球肾炎,IgA 免疫球蛋白A 抗原抗体复合体半乳糖缺乏的IgA1 多重打击假说发病机制