检索结果-南通市图书馆

维普期刊数据库博看期刊

SMTLOC:基于多源频谱的SMT求解器缺陷定位

在线全文

学校读者我要写书评

暂无评论

软件学报 2024年第7期35卷 3314-3331页

作者：王笑爽周志德李晓晨江贺任志磊大连理工大学软件学院辽宁大连116024 高安全系统的软件开发与验证技术工业和信息化部重点实验室(南京航空航天大学) 江苏南京210016

SMT求解器作为重要的基础软件,其存在的缺陷可能会导致依赖于它的软件功能失效,甚至带来安全事故.然而,修复SMT求解器缺陷是一个十分耗时的任务,因为开发者需要花费大量的时间和精力来理解并找到缺陷的根本原因.虽然已有许多软件缺陷定... 详细信息

SMT求解器作为重要的基础软件,其存在的缺陷可能会导致依赖于它的软件功能失效,甚至带来安全事故.然而,修复SMT求解器缺陷是一个十分耗时的任务,因为开发者需要花费大量的时间和精力来理解并找到缺陷的根本原因.虽然已有许多软件缺陷定位方面的研究,但尚未有系统的工作研究如何自动定位SMT求解器缺陷.因此,提出一种基于多源频谱的SMT求解器缺陷定位方法SMTLOC.首先,对于给定的SMT求解器缺陷,SMTLOC提出一种枚举算法,用以对触发该缺陷的公式进行变异,从而生成一组不触发缺陷,但与触发缺陷的公式具有相似执行路径的证人公式.然后,SMTLOC根据证人公式的执行路径以及SMT求解器的源码信息,提出一种融合覆盖频谱和历史频谱的文件可疑度计算方法,从而定位可能存在缺陷的文件.为了验证SMTLOC的有效性,收集60个SMT求解器缺陷.实验结果表明,SMTLOC的缺陷定位效果明显优于传统的频谱缺陷定位方法,SMTLOC可以将46.67%的缺陷定位在TOP-5的文件内,定位效果提升了133.33%.

关键词： SMT求解器缺陷定位覆盖频谱历史频谱

新型自复位变摩擦耗能支撑及其在桥墩抗震中的应用

在线全文

学校读者我要写书评

暂无评论

中国公路学报 2024年第1期37卷 66-80页

作者：董慧慧胡潇韩强杜修力北京工业大学城市与工程安全减灾教育部重点实验室北京100124 北京工业大学城市建设学部北京100124

为了减小传统摩擦耗能支撑在强震作用下的残余变形,提出一种基于形状记忆合金(SMA)板材的新型装配式自复位变摩擦耗能支撑(S-SCFB),该支撑主要包括SMA板圆环自复位系统和摩擦耗能系统。首先阐述了新型支撑的基本构造,揭示了其工作机理... 详细信息

为了减小传统摩擦耗能支撑在强震作用下的残余变形,提出一种基于形状记忆合金(SMA)板材的新型装配式自复位变摩擦耗能支撑(S-SCFB),该支撑主要包括SMA板圆环自复位系统和摩擦耗能系统。首先阐述了新型支撑的基本构造,揭示了其工作机理和自复位原理;通过开展SMA板材的材性试验研究了其力学性能,基于SMA板材的力学性能和支撑的工作机理,建立了新型支撑的简化分析模型;然后基于ABAQUS有限元软件建立了新型支撑的精细化实体有限元模型,将数值模拟结果与简化分析模型进行了对比分析,系统地研究了新型支撑的滞回性能及影响规律,同时在OpenSees软件中2次开发了新型支撑的恢复力模型;最后,基于新型支撑优良的滞回性能,将其应用到双柱式桥墩中提升桥墩的抗震韧性。研究结果表明:SMA板材本构模型呈“旗帜”型,具有承载力高,变形能力强,自恢复能力良好等优点;基于SMA板材装配的S-SCFB具有稳定的耗能能力和优良的自复位功能,卸载后无残余变形,同时建立的简化分析模型与数值模拟结果吻合较好;通过调整S-SCFB的设计参数,可有效实现调节S-SCFB滞回性能的目的,具有良好的可调节性;附加S-SCFB可以有效提高桥墩的强度和刚度,降低结构的残余位移,有效提高桥墩结构的抗震性能。

关键词：桥梁工程抗震韧性材性试验数值模拟自复位变摩擦耗能支撑形状记忆合金(SMA)板材滞回性能

Modifiable risk factors for esophageal cancer in endoscopic screening population:A modeling study

在线全文

学校读者我要写书评

暂无评论

Chinese Medical Journal 2024年第3期137卷 350-352页

作者： Qian Zhang Fan Wang Hao Feng Jie Xing Shengtao Zhu Hao Zhang Yang li Wenqiang wei Shutian Zhang Department of Gastroenterology Beijing Friendship HospitalCapital Medical UniversityNational Clinical Research Center for Digestive DiseaseBeijing Digestive Disease CenterBeijing Key Laboratory for Precancerous Lesion of Digestive DiseaseBeijing 100050China Center for Applied Statistics and School of Statistics Renmin University of ChinaBeijing 100872China Statistical Consulting Center Renmin University of ChinaBeijing 100872China National Cancer Center National Clinical Research Center for CancerCancer InstituteChinese Academy of Medical Sciences and Peking Union Medical CollegeBeijing 100021China Peking Union Medical College Hospital Chinese Academy of Medical Sciences and Peking Union Medical CollegeBeijing 100730China Department of Gastroenterology Jizhong Energy Fengfeng Group HospitalHandanHebei 056000China RSS and China-Re life Joint Lab on Public Health and Risk Management Renmin University of ChinaBeijing 100872China

To the Editor:Esophageal cancer,one of the most common cancer types in China,with an estimated 346,633 new cases and 323,600 deaths in 2022,is becoming an increasingly serious clinical and public health problem.^([1])The successful promotion of the self-management strategy has indicated that lifestyle modifications can be valuable in the primary prevention of cancer *** a healthy lifestyle has become a novel strategy for primary prevention and risk reduction in high-risk *** epidemiological studies have identified several lifestyle-related risk factors for esophageal cancer,including smoking and diet.^([2])Each factor can typically explain a modest proportion of cancer ***,when combined,these known risk factors may substantially affect the risk of esophageal ***,some risk factors for esophageal cancer are non-modifiable,including age,low socioeconomic status,and family *** and how these non-modifiable risk factors affect primary cancer prevention by intervening with modifiable risk factors remain unclear.

关键词： esophageal prevention promotion

在线全文

学校读者我要写书评

暂无评论

极化雷达图像目标超分辨率重建研究进展

电子与信息学报 2024年第5期46卷 1806-1826页

作者：李铭典肖顺平陈思伟国防科技大学电子科学学院长沙410073

成像雷达具有全天时、全天候的观测能力,能够通过成像处理获得目标雷达图像信息,是对地观测、侦察监视等民用和军用领域中的重要遥感设备。高分辨率雷达图像能够提供目标的详细轮廓和精细结构,有利于后续目标分类识别等应用。对获取的... 详细信息

成像雷达具有全天时、全天候的观测能力,能够通过成像处理获得目标雷达图像信息,是对地观测、侦察监视等民用和军用领域中的重要遥感设备。高分辨率雷达图像能够提供目标的详细轮廓和精细结构,有利于后续目标分类识别等应用。对获取的雷达图像,如何利用信号和信息处理等理论方法进一步提升分辨率,突破分辨率瑞利极限,具有重要的科学研究和实际应用价值。另一方面,作为电磁波的重要属性之一,极化在目标特性的获取和挖掘中发挥着重要作用,能够为目标超分辨率重建带来丰富信息。为此,该文梳理了极化雷达图像目标超分辨率重建的概念及性能评价指标,并重点归纳整理了极化雷达图像目标超分辨率重建方法及其应用。最后,总结了现有方法的局限性并展望了未来的技术发展趋势。

关键词：雷达图像极化超分辨率重建信号处理深度学习

自适应双稳态浮子式波浪能发电装置在不规则波中的能量捕获性能研究

在线全文

学校读者我要写书评

暂无评论

船舶力学 2024年第5期28卷 689-696页

作者：李扬张显涛肖龙飞上海交通大学海洋工程国家重点实验室上海200240 上海交通大学重庆研究院重庆401135

传统双稳态波能装置已被证实在规则波中可以通过添加“自适应”特性,来解决由阱内振荡引起的低能量吸收问题。本文以自适应双稳态浮子式波浪能发电装置为研究对象,探讨装置在不规则波中的能量捕获性能情况。通过四阶龙格库塔法数值求解... 详细信息

传统双稳态波能装置已被证实在规则波中可以通过添加“自适应”特性,来解决由阱内振荡引起的低能量吸收问题。本文以自适应双稳态浮子式波浪能发电装置为研究对象,探讨装置在不规则波中的能量捕获性能情况。通过四阶龙格库塔法数值求解装置的运动控制方程,探究在不同装置参数下,自适应双稳态浮子式波浪能发电装置和传统双稳态浮子式波浪能发电装置以及线性浮子式波浪能发电装置的能量捕获性能表现。结果表明,选取适当的装置参数可以使自适应双稳态浮子式波浪能发电装置显著提升能量捕获性能,而且与线性和常规双稳装置相比,更适应于实际海况中波浪能量捕获。

关键词：波浪能自适应双稳态能量捕获性能

Effect of inorganic salt impurities on seeded precipitation of silica hydrate from sodium silicate solution

在线全文

学校读者我要写书评

暂无评论

Transactions of Nonferrous Metals Society of China 2024年第9期34卷 3016-3028页

作者： xiao-bin li xiao-bing GAO Qiu-sheng ZHOU Yi-lin WANG Tian-gui QI Lei-ting SHEN Gui-hua liU Zhi-hong PENG School of Metallurgy and Environment Central South UniversityChangsha 410083China

To clarify the precipitation of silica hydrate from the real desilication solutions of aluminosilicate solid wastes by adding seeds and improve integrated waste utilization,the seeded precipitation was studied using synthesized sodium silicate solution containing different inorganic salt *** results show that sodium chloride,sodium sulfate,sodium carbonate,or calcium chloride can change the siloxy group *** number of high-polymeric siloxy groups decreases with increasing sodium chloride or sodium sulfate concentration,which is detrimental to seeded *** chloride favors the polymerization of silicate ions,and even the chain groups precipitate with the precipitation of high-polymeric sheet and cage-like siloxy *** introduced sodium cations in sodium carbonate render a more open network structure of high-polymeric siloxy groups,although the carbonate ions favor the polymerization of siloxy *** matter how the four impurities affect the siloxy group structure,the precipitates are always amorphous opal-A silica hydrate.

关键词： aluminosilicate sodium silicate solution siloxy group impurity silica hydrate

在线全文

学校读者我要写书评

暂无评论

弹性浮体的二阶平均漂移力研究

船舶力学 2024年第5期28卷 651-662页

作者：李帅付世晓张仕元上海交通大学海洋工程国家重点实验室上海200240 高新船舶与深海开发装备协同创新中心上海200240

本文基于离散模块思想,提出一种求解弹性浮体二阶平均漂移力的数值方法。首先将连续弹性浮体离散为弹性梁连接的刚性模块系统,实现弹性梁刚度和各模块水动力信息的耦合,在频域内求解浮体一阶水弹性响应。然后利用二阶多体水动力理论,并... 详细信息

本文基于离散模块思想,提出一种求解弹性浮体二阶平均漂移力的数值方法。首先将连续弹性浮体离散为弹性梁连接的刚性模块系统,实现弹性梁刚度和各模块水动力信息的耦合,在频域内求解浮体一阶水弹性响应。然后利用二阶多体水动力理论,并考虑计及结构弹性变形影响后的各模块一阶运动信息,获得各刚性模块上的二阶平均漂移力。最后,利用该方法求解自由柔性驳船的平均漂移力,并与基于模态叠加思想的三维水弹性理论的计算结果进行对比验证。此外,由于本文方法在水动力求解方面的离散特性,该方法可直接拓展到非均匀波浪场下浮体的水弹性响应分析。

关键词：水弹性离散模块平均漂移力频域

甲磺酸去铁胺促进去势骨质疏松大鼠颌骨缺损的修复

在线全文

学校读者我要写书评

暂无评论

中国组织工程研究 2024年第20期28卷 3143-3149页

作者：田艾李丽肖天骄康佳兵湛济帆韦艳陈河林贵州医科大学口腔医学院贵州省贵阳市550004 贵州医科大学附属口腔医院口腔修复种植科贵州省贵阳市550004

背景:甲磺酸去铁胺(deferoxamine mesylate,DFO)是一种抗骨质疏松的潜在药物,具有铁螯合、血管再生、抗氧化等作用,近年来研究表明DFO的应用可扩展到组织再生工程领域。目的:以高铁干预去势大鼠模拟绝经后骨质疏松症患者体内铁蓄积状态... 详细信息

背景:甲磺酸去铁胺(deferoxamine mesylate,DFO)是一种抗骨质疏松的潜在药物,具有铁螯合、血管再生、抗氧化等作用,近年来研究表明DFO的应用可扩展到组织再生工程领域。目的:以高铁干预去势大鼠模拟绝经后骨质疏松症患者体内铁蓄积状态,探讨DFO干预铁过载骨质疏松大鼠下颌骨缺损植骨后的修复效果。方法:首先构建铁蓄积去势骨质疏松模型,模型组大鼠行双侧卵巢切除术,第2周开始腹腔注射枸橼酸铁铵(90 mg/kg,每周2次,持续干预11周),假手术组大鼠去除卵巢周围部分脂肪,给予等量生理盐水干预11周。确认模型建立成功后,实验大鼠分为假手术组(n=6)、高铁去势组(n=6)和高铁去势DFO治疗组(n=6),于双侧下颌骨建立直径5 mm的骨缺损并植入Bio-Oss骨粉,术后第4天开始高铁去势DFO治疗组腹腔注射DFO(100 mg/kg,每周3次),假手术组及高铁去势组予以等量生理盐水干预,植骨术后2,12周取下颌骨、肝脏及血液样本,行肝脏及颌骨普鲁士蓝染色、血清铁蛋白EliSA检测体内各组织铁水平;苏木精-伊红染色、Masson染色观察骨缺损区炎症细胞浸润及早期成骨情况;抗酒石酸酸性磷酸酶染色观察破骨细胞分化情况;EliSA法检测血清中降钙素、Ⅰ型胶原C-末端肽水平;Micro-CT检测、苏木精-伊红染色观察中晚期成骨情况。结果与结论:①高铁去势组胫骨骨小梁数目减少,骨小梁排列稀疏;②与假手术组比较,植骨术后2周高铁去势组肝脏、颌骨及血清中铁水平明显升高,DFO干预后铁水平降低,差异均有显著性意义(P<0.05);③骨缺损修复早期,高铁去势组较假手术组有较多炎性细胞浸润,新生骨基质较少,Ⅰ型胶原纤维生成较少(P<0.05);DFO干预后炎性细胞浸润减少,少量新生骨基质生成,胶原纤维增加显著(P<0.05);④骨缺损修复中晚期,Micro-CT显示高铁去势组较假手术组新骨生成减少,DFO治疗后新生骨质增加(P<0.05);⑤与假手术组比较,高铁去势组破骨细胞数量、血清降钙素、Ⅰ型胶原C-末端肽水平升高,DFO干预后破骨细胞数量减少,骨代谢指标得到改善;⑥结果表明:高铁干预去势大鼠体内铁水平升高,伴随下颌骨骨缺损区新骨生成能力减弱;DFO可通过清除组织内铁沉积改善骨代谢与抑制破骨细胞活性,提高铁蓄积骨质疏松大鼠的骨形成能力,促进下颌骨缺损区骨愈合。

关键词：甲磺酸去铁胺骨质疏松铁骨缺损新骨生成

Mediating function of heart failure in the causal relationship between diastolic blood pressure and hypertensive renal disease with renal failure:a mediated Mendelian randomization study

在线全文

学校读者我要写书评

暂无评论

Frontiers of Nursing 2024年第3期11卷 285-294页

作者： Lei Pang Zi-Jun Ding Hong-Qiang Chai Fei li Ming Wu wei-Bing Shuang Department of Urology The Fifth Hospital of Shanxi Medical University(Shanxi Provincial People’s Hospital)TaiyuanShanxi 030012China First Clinical Medical College of Shanxi Medical University TaiyuanShanxi 030012China Department of Neonatology Shanxi Children’s HospitalTaiyuanShanxi 030013China Department of Urology The First Hospital of Shanxi Medical UniversityTaiyuanShanxi 030012China

Objective:To study the causality relationship between diastolic blood pressure(DBP)and hypertensive renal disease with renal failure(HRDRF)and the mediating role of hear t failure(HF)in the causality relationship by network Mendelian randomization(MR).Methods:Genome-wide analysis of DBP,HRDRF,and HF was downloaded from the public database(Genome-Wide Analysis Study[GWAS])and was used to analyze the results and to conduct mediated MR ***:Analysis showed that DBP was positively correlated with HRDRF(OR=1.0002,95%CI:1.0001–1.0003,P=1.8076e-05)and DBP was positively correlated with HF(OR=1.0295,95%CI:1.0221–1.0370,P=2.5292e-15).HF and HRDRF had a positive causal effect(OR=1.0001,95%CI:1.0000–1.0001,P=0.0152).Mediation analysis showed that the contribution ratio of HF to the combined effect of DBP and HRDRF was 24.69%.Conclusions:DBP can increase the risk of renal disease with renal failure,and HF may play an impor tant role in mediating this causal relationship.

关键词： atherosclerotic heart disease diastolic blood pressure heart arrhythmia heart failure hypertensive renal disease with renal failure Mendelian randomization