检索结果-南通市图书馆

Energy & Environmental Materials 2024年第1期7卷 68-76页

作者： yusi lei Liang Yue Yuruo Qi Yubin Niu Shujuan Bao Jie Song Maowen Xu Faculty of Materials and Energy Institute for Clean Energy&Advanced MaterialsSouthwest UniversityChongqing 400715China Shandong Zero-One-Four Advanced Materials Co. Ltd.Feicheng 271099China

Sodium dentrite formed by uneven plating/stripping can reduce the utilization of active sodium with poor cyclic stability and,more importantly,cause internal short circuit and lead to thermal runaway and ***,sodium dendrites and their related problems seriously hinder the practical application of sodium metal batteries(SMBs).Herein,a design concept for the incorporation of metal-organic framework(MOF)in polymer matrix(polyvinylidene fluoride-hexafluoropropylene)is practiced to prepare a novel gel polymer electrolyte(PH@MOF polymer-based electrolyte[GPE])and thus to achieve high-performance *** addition of the MOF particles can not only reduce the movement hindrance of polymer chains to promote the transfer of Na^(+)but also anchor anions by virtue of their negative charge to reduce polarization during electrochemical reaction.A stable cycling performance with tiny overpotential for over 800 h at a current density of 5 mA cm^(-2)with areal capacity of 5 mA h cm^(-2)is achieved by symmetric cells based on the resulted GPE while the Na_(3)V_(2)O_(2)(PO_(4))_(2)F@rGO(NVOPF)|PH@MOF|Nacell also displays impressive specific cycling capacity(113.3 mA h g^(-1)at 1 C)and rate capability with considerable capacity retention.

关键词： dendrite-free gel polymer electrolyte metal organic framework sodium batteries

On the complexity of ω-pushdown automata

在线全文

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2017年第11期60卷 156-170页

作者： yusi lei Fu SONG Wanwei LIU Min ZHANG Shanghai Key Laboratory of Trustworthy Computing East China Normal University School of Information Science and Technology Shanghai Tech University School of Computer Science National University of Defense Technology

Finite automata over infinite words(called ω-automata) play an important role in the automatatheoretic approach to system verification. Different types of ω-automata differ in their succinctness and complexity of their emptiness problems, as a result, theory of ω-automata has received considerable research *** automata over infinite words(called ω-PDAs), a generalization of ω-automata, are a natural model of recursive programs. Our goal in this paper is to conduct a relatively complete investigation on the complexity of the emptiness problems for variants of ω-PDAs. For this purpose, we consider ω-PDAs of five standard acceptance types: B¨uchi, Parity, Rabin, Streett and Muller acceptances. Based on the transformation for ω-automata and the efficient algorithm proposed by Esparza et al. in CAV’00 for verifying the emptiness problem of ω-PDAs with B¨uchi acceptance, it is trivial to check the emptiness problem of other ω-PDAs. However, this naive approach is not optimal. In this paper, we propose novel algorithms for the emptiness problem of ω-PDAs based on the observations of the structure of accepting runs. Our algorithms outperform algorithms that go through B¨uchi PDAs. In particular, the space complexity of the algorithm for Streett acceptance that goes through B¨uchi acceptance is exponential, while ours is polynomial. The algorithm for Parity acceptance that goes through B¨uchi acceptance is in O(k3n2m) time and O(k2nm) space, while ours is in O(kn2m) time and O(nm) space, where n(resp. m and k) is the number of control states(resp. transitions and index). Finally,we show that our algorithms yield a better solution for the pushdown model checking problem against linear temporal logic with fairness.

关键词： pushdown automata emptiness ω-words model checking linear temporal logic

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

高陡岩质临坡地基承载力试验研究与数值模拟

矿业科学学报 2024年第4期9卷 597-607页

作者：雷勇刘子魁陈于斯何昌杰李建新湖南科技大学岩土工程稳定控制与健康监测湖南省重点实验室湖南湘潭411100 中国建筑第五工程局有限公司湖南长沙410004

针对高陡岩质临坡地基开展了不同坡角、坡距下承载力试验。结合深废矿坑工程采用数值模拟对高陡岩质临坡地基承载力影响因素进行了模拟计算与分析。研究结果表明:(1)承载力系数(η)随坡角(β)的增大而逐渐减小,随坡距(B)的增大呈非线性... 详细信息

针对高陡岩质临坡地基开展了不同坡角、坡距下承载力试验。结合深废矿坑工程采用数值模拟对高陡岩质临坡地基承载力影响因素进行了模拟计算与分析。研究结果表明:(1)承载力系数(η)随坡角(β)的增大而逐渐减小,随坡距(B)的增大呈非线性增长,当B超过一定距离时,η几乎不再增长且接近1.0;(2)相较β,地质强度指标(GSI)对η的影响更大,二者呈非线性同步增长;(3)锚索可提高η,设置4道锚索对η的提升效果较好,继续增加锚索数量对η的影响较小。

关键词：临坡地基地基承载力试验研究数值模拟承载力系数

CRISPR/Cas9敲除pyk2基因对人脑胶质瘤细胞增殖、迁移及侵袭能力的影响

在线全文

学校读者我要写书评

暂无评论

生物技术进展 2017年第4期7卷 338-344,J0003页

作者：汪超甲王辉胡钧涛胡胜利张宇强成于思雷尚国十堰市太和医院(湖北医药学院附属医院)神经外科湖北十堰442000 十堰市郧西县人民医院神经外科湖北十堰442600

为了探讨富含脯氨酸的酪氨酸激酶(proline rich tyrosine kinase2,Pyk2)对人脑胶质瘤U251细胞增殖及侵袭能力的影响,设计了2对以pyk2为靶基因的sgRNA片段,以px335质粒为载体,构建CRISPR/Cas9重组质粒,转染至人脑胶质瘤U251细胞中,同时... 详细信息

为了探讨富含脯氨酸的酪氨酸激酶(proline rich tyrosine kinase2,Pyk2)对人脑胶质瘤U251细胞增殖及侵袭能力的影响,设计了2对以pyk2为靶基因的sgRNA片段,以px335质粒为载体,构建CRISPR/Cas9重组质粒,转染至人脑胶质瘤U251细胞中,同时设置野生型U251细胞作为对照组。通过酶切鉴定及Western blot分析筛选阳性单克隆细胞,并测序揭示突变位点。筛选出的阳性单克隆细胞作为实验组,经RTCA法比较后,发现实验组细胞的增殖能力较对照组明显下降,且具有统计学意义(P<0.05);Transwell小室法及划痕实验的结果均证实,较对照组,实验组细胞的体外侵袭及迁移能力受到明显的抑制,差异显著(P<0.05)。作为验证侵袭能力的代表,基质金属蛋白酶9(matrix metalloprotein 9,MMP9)在Western blot实验中表达量较对照组也明显下降。通过上述方法成功得到目的基因敲除的稳定细胞株,并证实敲除pyk2基因能明显的抑制人脑胶质瘤细胞的增殖、迁移及侵袭能力。

关键词： CRISPR/Cas9 pyk2基因人脑胶质瘤细胞增殖、迁移及侵袭能力

华卟啉钠光动力疗法对人舌鳞癌SCC-15细胞的作用

在线全文

学校读者我要写书评

暂无评论

实用口腔医学杂志 2019年第4期35卷 562-567页

作者：马垚张磊黄宇思刘鑫哈尔滨医科大学口腔医学院

目的:研究华卟啉钠( DVDMS)介导的光动力治疗( DVDMS-PDT)对舌鳞癌细胞SCC-15 体外增殖、凋亡及迁移能力的影响。方法:体外培养SCC-15 细胞,CCK-8 法检测DVDMS 药物毒性,酶标仪M3 及荧光显微镜确定孵育时间。将SCC-15细胞随机分成空白... 详细信息

目的:研究华卟啉钠( DVDMS)介导的光动力治疗( DVDMS-PDT)对舌鳞癌细胞SCC-15 体外增殖、凋亡及迁移能力的影响。方法:体外培养SCC-15 细胞,CCK-8 法检测DVDMS 药物毒性,酶标仪M3 及荧光显微镜确定孵育时间。将SCC-15细胞随机分成空白对照组、单药组、单光组、DVDMS-PDT 组,CCK-8 检测细胞存活率,流式检测细胞凋亡,划痕实验检测细胞的迁移能力。结果: DVDMS 浓度≤2 μg /ml 对SCC-15 细胞无明显杀伤作用,其在SCC-15 细胞内的最佳孵育时间为6 h,浓度为2 μg /ml 的DVDMS-PDT 对SCC-15 呈剂量依赖性抑制作用( P < 0. 05)。DVDMS-PDT 诱导SCC-15 凋亡率显著高于对照组、单药组和单光组( P < 0. 001)而划痕愈合百分比明显低于各对照组( P < 0. 05)。结论: DVDMS-PDT 能抑制舌鳞癌SCC-15细胞的增殖和迁移能力,促进细胞凋亡。

关键词：舌鳞癌华卟啉钠(DVDMS) 光动力疗法细胞凋亡细胞迁移

14000 kW救助船恶劣海况下失速系数数值研究

在线全文

学校读者我要写书评

暂无评论

船舶工程 2021年第9期43卷 43-49页

作者：尹含张佳宁邓雨思张雷大连海事大学船舶与海洋工程学院辽宁大连116026

为研究救助船舶在恶劣海况条件下的失速性能,保证救助船舶的航行安全性,选取非线性势流计算方法和黏流CFD方法,计算KCS船在静水和规则波中的波浪增阻及船舶运动。将计算结果与船模试验数据进行对比可得:2种数值模拟计算方法在计算波浪... 详细信息

为研究救助船舶在恶劣海况条件下的失速性能,保证救助船舶的航行安全性,选取非线性势流计算方法和黏流CFD方法,计算KCS船在静水和规则波中的波浪增阻及船舶运动。将计算结果与船模试验数据进行对比可得:2种数值模拟计算方法在计算波浪增阻时,误差均在3.6%以内,但非线性势流理论方法相较于黏流CFD方法能够大量节约时间。因此,选定非线性势流理论计算方法为救助船数值试验计算方法,将救助船非线性势流理论计算结果与静水船模试验结果对比,在设计航速17.5 kn时,阻力误差绝对值为2.22%,选取方法有效。根据ITTC 2014年提出的失速系数计算方法进行目标船型失速预报,在设计航速17.5 kn条件下,5级海况时失速系数最大,为0.93,7级海况时失速系数最小,为0.66。

关键词：救助船波浪增阻失速系数非线性势流理论黏流CFD

基于AWSST和GCV的矿山微震信号联合降噪新方法

在线全文

学校读者我要写书评

暂无评论

有色金属（矿山部分） 2023年第2期75卷 35-42页

作者：冯小鹏袁于思张磊中铁武汉电气化局集团第一工程有限公司武汉430074 武汉科技大学武汉430081

由于露天矿山开采环境的复杂性和各异性,传感器采集得到的微震信号包含大量的噪声干扰,为了获得更加准确的微震信号特征,提出了基于自适应同步压缩小波变换(Adaptive Synchrosqueezing Wavelet Transform,AWSST)和广义交叉验证(Generali... 详细信息

由于露天矿山开采环境的复杂性和各异性,传感器采集得到的微震信号包含大量的噪声干扰,为了获得更加准确的微震信号特征,提出了基于自适应同步压缩小波变换(Adaptive Synchrosqueezing Wavelet Transform,AWSST)和广义交叉验证(Generalized Cross-Validation,GCV)的联合降噪方法,从而对微震事件定位和判断开挖过程中岩体状态提供可靠的数据保障。首先在自适应小波变换(Adaptive Wavelet Transform,AWT)的基础上,对每个尺度中的小波系数进行阈值化处理,利用GCV方法自动确定每个成分的最佳阈值水平,达到去除噪声的目的。然后,通过同步压缩变换(Synchrosqueezing Transform,SST)的后处理操作,在时频平面对小波变换系数进行二次重分配,从而提升时频表达的能量聚集性。最后,应用于微震信号的降噪处理,并与现有的时频分析方法进行比较,结果表明提出的联合去噪方法降噪效果更好、时频分析的分辨率更高。

关键词：露天矿山微震信号噪声自适应小波变换同步压缩变换最佳阈值广义交叉验证降噪方法

夜间灯光数据驱动的成渝城市群空间形成过程重建及分析

在线全文

学校读者我要写书评

暂无评论

地球信息科学学报 2017年第5期19卷 653-661页

作者：杨任飞罗红霞周盛程玉丝陈婧祎向海燕雷茜西南大学地理科学学院重庆400715 安徽大学资源与环境工程学院合肥230601

2016年4月发布的《成渝城市群发展规划》首次正式确定了成渝城市群的内涵和具体边界,重建成渝城市群的形成过程,有利于把握未来发展趋势,并合理优化与调整其发展过程。在重建技术方面,对DMSP/OLS夜间灯光数据传统的不变目标区域校正法... 详细信息

2016年4月发布的《成渝城市群发展规划》首次正式确定了成渝城市群的内涵和具体边界,重建成渝城市群的形成过程,有利于把握未来发展趋势,并合理优化与调整其发展过程。在重建技术方面,对DMSP/OLS夜间灯光数据传统的不变目标区域校正法加以改进,将成渝城市群2013年城市市区范围内的全部像元加入校正模型的拟合中,设计了统计数据的校正规则,再通过二分比较法较好地恢复了成渝城市群内各城市建成区的时序空间信息。提取面积与统计面积总体平均相对误差为-0.38%,利用高分辨率Google Earth图像验证的建成区提取准确率达到98.29%,相比其他研究结果,经方法改进后的提取结果精度高且稳定。在结果分析方面,基于提取结果展开对城市群建成区重心转移过程与城市聚合过程的深层次研究,剖析了城市群的内部格局与时空变化特征。分析表明,成渝城市群的聚合情况与《成渝城市群发展规划》高度吻合,城市群已进入快速发育阶段,随着区域差异的持续扩大,成都、重庆都市圈的核心地位逐渐形成,而重庆的发展态势稍好。

关键词： DMSP/OLS 建成区重心分离度

在线全文

学校读者我要写书评

暂无评论

电化学技术在印制电路板含铜废液处理的应用

环境工程 2011年第1期29卷 36-38,50页

作者：雷一锋蒋玉思黄奇书张建华程华月广州有色金属研究院稀有金属科技公司广州510651

电化学技术因具有工艺灵活、易于控制和环境友好等优点倍受研究者关注。简要介绍了常用的电化学技术,包括内电解、常规电解和膜电解等基本原理。综述了上述电化学技术在印制电路板含铜废液再生或铜电解回收中的应用概况,分析了各种技术... 详细信息

电化学技术因具有工艺灵活、易于控制和环境友好等优点倍受研究者关注。简要介绍了常用的电化学技术,包括内电解、常规电解和膜电解等基本原理。综述了上述电化学技术在印制电路板含铜废液再生或铜电解回收中的应用概况,分析了各种技术的优缺点,并展望了处理含铜废液电化学技术的发展前景。

关键词：印制电路板含铜废液电化学技术应用

在线全文

学校读者我要写书评

暂无评论

基于多簇回声状态网络的边坡变形预测

水利与建筑工程学报 2022年第2期20卷 108-112页

作者：华莎袁于思易灿灿张磊中铁武汉电气化局集团第一工程有限公司湖北武汉430074 武汉科技大学湖北武汉430081

由于边坡失稳是一个循序渐进的过程,利用时间序列分析的方法来预测边坡未来变形,有利于实现边坡的稳定性评价。相比于传统的时间序列分析方法,多簇回声状态网络(MCESN)采用动态储备池将输入信号转换为高维状态向量,选择一组最优的状态... 详细信息

由于边坡失稳是一个循序渐进的过程,利用时间序列分析的方法来预测边坡未来变形,有利于实现边坡的稳定性评价。相比于传统的时间序列分析方法,多簇回声状态网络(MCESN)采用动态储备池将输入信号转换为高维状态向量,选择一组最优的状态向量来表示与任务相关的输入动态。为了验证模型的有效性,采用差分整合移动平均自回归模型(ARIMA)、回归支持向量机(SVM)、长短期记忆网络(LSTM)和传统的回声状态网络(ESN)以及MCESN对三峡船闸高边坡位移进行建模与分析,通过对比均方根误差(RMSE)和复相关系数,发现MCESN的预测精度和模型泛化能力更好。结果表明,MCESN在边坡变形预测具有良好的应用前景。

关键词：边坡变形多聚类回声状态网络时间序列预测位移预测