检索结果-南通市图书馆

模态计数逻辑ML(#)在不同框架类下的可判定性

在线全文

学校读者我要写书评

暂无评论

逻辑学研究 2024年第3期17卷 86-101页

作者：付小轩赵之光中国政法大学人文学院泰山学院数学与统计学院

在本文中,我们给出模态计数逻辑ML(#)在不同框架类下的可满足性的判定过程。我们使用两种方法,一种是通过修改ML(#)相对于全部克里普克框架的可满足性的判定算法,另一种是将ML(#)的可判定性归约到基本模态逻辑。我们还证明了分次模态计... 详细信息

在本文中,我们给出模态计数逻辑ML(#)在不同框架类下的可满足性的判定过程。我们使用两种方法,一种是通过修改ML(#)相对于全部克里普克框架的可满足性的判定算法,另一种是将ML(#)的可判定性归约到基本模态逻辑。我们还证明了分次模态计数逻辑GML(#)相对于全部克里普克框架的可判定性。

关键词：可满足性模态逻辑可判定性归约克里普克判定算法框架类判定过程

在线全文

学校读者我要写书评

暂无评论

分子对接在中药开发的应用现状与挑战

中国中药杂志 2024年第3期49卷 671-680页

作者：杜海涛王琳丁洁杜亚轩王平山东省中医药研究院山东济南250014 山东中医药大学药学院山东济南250355 沈阳药科大学中药学院辽宁沈阳110016

中医药学是中国古代科学的瑰宝,也是打开中华文明宝库的钥匙。为将其“说清楚,讲明白”,相关药效物质基础及调控靶点的研究一直备受关注。分子对接技术是一种计算机辅助的药物设计方法,能够直观展示成分与靶点蛋白之间的相互作用关系。... 详细信息

中医药学是中国古代科学的瑰宝,也是打开中华文明宝库的钥匙。为将其“说清楚,讲明白”,相关药效物质基础及调控靶点的研究一直备受关注。分子对接技术是一种计算机辅助的药物设计方法,能够直观展示成分与靶点蛋白之间的相互作用关系。随着中药现代化的需求以及算法算力的更新,分子对接作为先导研究是中药新药研发的必然需求。该文总结近年来分子对接技术在中医药开发的研究进展,对于进一步推动中药活性成分的分子对接筛选研究提供一定的参考价值,为提高中药新药的研发提供思路与方法。

关键词：分子对接活性成分中药新药靶点筛选

在线全文

学校读者我要写书评

暂无评论

基于改进多输出支持向量的船舶航迹预测

系统工程与电子技术 2024年第1期46卷 173-181页

作者：杨振亚张智尚晓兵曹择骏孙喆轩哈尔滨工程大学智能科学与工程学院黑龙江哈尔滨150001

为保障智能船舶快速、安全、可靠地进行避碰工作,提出了一种基于改进樽海鞘群算法(salp swarm algorithm,SSA)的多输出支持向量的船舶航迹预测模型。本文采用的多输出支持向量模型可以对船舶进行整体建模,所构建的模型可以对船舶航迹状... 详细信息

为保障智能船舶快速、安全、可靠地进行避碰工作,提出了一种基于改进樽海鞘群算法(salp swarm algorithm,SSA)的多输出支持向量的船舶航迹预测模型。本文采用的多输出支持向量模型可以对船舶进行整体建模,所构建的模型可以对船舶航迹状态进行多输出预测,对于模型中存在的超参数采用改进的SSA进行寻优,算法加入了自适应权重与离群象算法,避免了算法早熟与高维易陷入局部最优的问题。最后,实验选取了实测数据对所提方法进行验证,并与其他常见模型进行对比实验,结果表明了所提方法的可行性与有效性。

关键词：多输出支持向量回归樽海鞘群算法船舶航迹预测数据驱动

川西低山丘陵区不同品种植茶土壤团聚体有机碳及养分特征

在线全文

学校读者我要写书评

暂无评论

农业资源与环境学报 2024年

作者：付泓宇杨俣杨佳张锡洲李廷轩四川农业大学资源学院

为探究不同品种植茶土壤团聚体组成及其有机碳和养分分布特征，以川西低山丘陵区福鼎大白、川茶3号、川沐217和川农黄芽早4个典型品种植茶土壤为研究对象，采集0～20 cm土层原状土，通过湿筛法将土样分为≥5、2～<5 、1～<2、0.5～<1、0... 详细信息

为探究不同品种植茶土壤团聚体组成及其有机碳和养分分布特征，以川西低山丘陵区福鼎大白、川茶3号、川沐217和川农黄芽早4个典型品种植茶土壤为研究对象，采集0～20 cm土层原状土，通过湿筛法将土样分为≥5、2～<5 、1～<2、0.5～<1、0.25～<0.5 mm和<0.25 mm粒径团聚体，对土壤团聚体组成及其有机碳和养分分布特征进行研究。结果表明：不同品种植茶土壤均以≥5 mm粒径团聚体为主，<5～2 mm粒径次之，<1～0.5 mm粒径最少，平均值分别为33.07%、14.99%和10.63%。土壤团聚体有机碳和全氮含量随粒径的减小而降低，≥5 mm粒径团聚体占比分别为18.36%～21.84%和17.90%～18.85%。碱解氮含量随着粒径的减小先增加后降低，有效磷含量随粒径的减小逐渐增加，而全磷、全钾和速效钾则在各粒径团聚体中分布均匀。不同品种植茶土壤≥5mm粒径团聚体的有机碳和各养分储量最高，占比分别为30.51%～46.52%和25.59%～41.96%。在不同品种植茶土壤中，除速效钾外，种植福鼎大白土壤各粒径团聚体平均重量直径(MWD)、有机碳、全氮和碱解氮含量较高，而川茶3号土壤MWD、有机碳、全量养分和碱解氮均相对较低，福鼎大白土壤的团聚体结构更稳定。种植福鼎大白土壤≥5 mm粒径团聚体有机碳、全量养分和有效磷、碱解氮储量均较高，川茶3号最低，而川农黄芽早和川茶3号<0.25 mm粒径团聚体有机碳和各养分储量均相对较高。研究表明，长期种植不同品种茶树后，福鼎大白土壤团聚体稳定性强、有机碳含量较高，有利于养分储存，而川茶3号土壤团聚体稳定性、氮磷钾等养分储存能力都较弱。选择福鼎大白等适宜的茶树品种进行替换种植能有效提升土壤肥力。

关键词：茶树水稳性团聚体粒径稳定性全量养分速效养分

老年单纯收缩期高血压患者血压晨峰现象与功能损伤及睡眠的关系

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

中国老年学杂志 2024年第4期44卷 851-854页

作者：苗晓琦付仲霞李芳赵昭秦素霞魏亚轩甘肃卫生职业学院甘肃兰州730207 甘肃省中心医院甘肃中医药大学甘肃省中医院黔南民族医学高等专科学校

目的分析老年单纯收缩期高血压患者血压晨峰现象与功能损伤及睡眠的关系。方法采用分层抽样的方式抽取社区内140例老年单纯收缩期高血压患者作为研究对象,患者均接受无创便携袖带式动态血压计检测24 h动态血压,统计血压晨峰值,应用蒙特... 详细信息

目的分析老年单纯收缩期高血压患者血压晨峰现象与功能损伤及睡眠的关系。方法采用分层抽样的方式抽取社区内140例老年单纯收缩期高血压患者作为研究对象,患者均接受无创便携袖带式动态血压计检测24 h动态血压,统计血压晨峰值,应用蒙特利尔认知评估(MoCA)量表和匹兹堡睡眠质量指数(PSQI)量表分别评估患者认知功能、睡眠质量;根据血压晨峰分组,比较不同血压晨峰患者动态平均收缩压(24 h、白昼、夜间、晨峰)、基线资料、MoCA及PSQI评分,Pearson相关性检验血压晨峰与认知功能损伤及睡眠的相关性,线性回归分析血压晨峰对患者认知功能(MoCA评分)及睡眠(PSQI评分)的影响。结果140例老年单纯收缩期高血压患者,血压晨峰值≥35 mmHg者63例(45.00%);晨峰组24 h、日间、夜间及晨峰收缩压均显著高于非晨峰组(P<0.05);晨峰组MoCA评分显著低于非晨峰组,PSQI评分显著高于非晨峰组(P<0.05);经Pearson相关性检验,血压晨峰与MoCA评分呈负相关关系(r=-0.346,P<0.05),与PSQI评分呈正相关关系(r=0.408,P<0.05);经多元线性回归得线性回归方程:Y认知功能=29.255-0.101X,Y睡眠=2.257+0.124X,血压晨峰是患者认知功能损伤、睡眠障碍的影响因素(P<0.05);结论老年单纯收缩期高血压患者普遍存在血压晨峰现象,可能对患者认知功能及睡眠产生影响,随着血压晨峰升高,患者认知功能损伤、睡眠障碍风险增加。

关键词：单纯收缩期高血压血压晨峰认知功能睡眠障碍

盐度超敏感离子水凝胶的制备及其在可视化盐度检测和智能液体阀上的应用

在线全文

学校读者我要写书评

暂无评论

Science China Materials 2024年第1期67卷 321-330页

作者：闫小草师琪蔡玉东佟亚轩吴继红翁云宣高海南 College of Chemistry and Materials Engineering Beijing Technology and Business UniversityBeijing 100048China Synthetic Resin Laboratory Petrochemical Research InstitutePetrochinaBeijing 102206China

对超低浓度盐溶液响应产生大尺度形变的功能水凝胶在海水渗透能收集、刺激响应分离材料、智能传感和致动器等方面具有广阔的应用前景.本文结合聚电解质和两性离子聚合物开发了一种盐度超敏感离子水凝胶.以稀盐作为分散介质时,水凝胶体... 详细信息

对超低浓度盐溶液响应产生大尺度形变的功能水凝胶在海水渗透能收集、刺激响应分离材料、智能传感和致动器等方面具有广阔的应用前景.本文结合聚电解质和两性离子聚合物开发了一种盐度超敏感离子水凝胶.以稀盐作为分散介质时,水凝胶体积缩小为原来1/60.本文研究了盐响应水凝胶的溶胀、形态和力学性能,并基于拉曼光谱对聚合物网络盐响应重构行为进行了表征.此外,利用毛细管和盐响应水凝胶成功设计了一种可视化、便携离子检测计,可媲美商用水质监测计.同时开发了具有传感和致动功能的智能液阀,用于自动感应调节液体的流出和输送.该盐敏感水凝胶在淡水监测和调控、海水渗透能收集、刺激响应分离材料、智能软机器人和电子穿戴等方面具有很大的应用潜力.

关键词：智能传感聚合物网络水凝胶自动感应机器人分离材料离子检测聚电解质

在线全文

学校读者我要写书评

暂无评论

中国加氢站商业模式及经济性比较

油气与新能源 2022年第5期34卷 8-13页

作者：付亚轩张丹隋朝霞中海石油气电集团技术研发中心

氢能应用场景丰富，被广泛认为是交通、工业等终端用能领域实现零碳化的重要方式之一。目前中国氢能产业正快速发展，氢能在交通运输领域已进入商业化和规模化发展阶段，加氢站是交通领域氢能产业链的关键环节，选择合适的商业模式将推... 详细信息

氢能应用场景丰富，被广泛认为是交通、工业等终端用能领域实现零碳化的重要方式之一。目前中国氢能产业正快速发展，氢能在交通运输领域已进入商业化和规模化发展阶段，加氢站是交通领域氢能产业链的关键环节，选择合适的商业模式将推动燃料电池车辆推广、基础设施建设和氢储运成本的降低，对加快氢能在其他领域的应用和产业化发展具有重要意义。以加氢站为研究对象，针对加氢站供应类型和加氢站功能类型组合分析加氢站的不同商业模式，并对不同模式的加氢站经济性进行比较分析。研究认为：目前阶段采用外供氢源方式的合建站是加氢站优选的运营模式，在氢源受限市场站内橇装制氢加氢一体化模式具有明显优势，加氢站布局、下游市场对氢能的需求是影响加氢站商业模式选择的关键因素。

关键词：氢能产业链加氢站商业模式经济性

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

生物基气凝胶的改性及功能化研究进展

中国塑料 2024年第2期38卷 87-94页

作者：佟亚轩高海南陈礼平翁云宣北京工商大学化学与材料工程学院北京100048 安徽丰原生物技术股份有限公司安徽蚌埠233705 北京工商大学塑料卫生与安全质量评价技术北京市重点实验室北京100048

主要综述了生物基气凝胶在阻燃和疏水性能及其他功能化改性方面的主要方法;并对改性的生物基气凝胶在防火阻燃、环境修复、储能、生物医药等领域的相关应用进展进行综述;最后,对生物基气凝胶的发展过程中仍存在的科学及技术问题进行分析... 详细信息

主要综述了生物基气凝胶在阻燃和疏水性能及其他功能化改性方面的主要方法;并对改性的生物基气凝胶在防火阻燃、环境修复、储能、生物医药等领域的相关应用进展进行综述;最后,对生物基气凝胶的发展过程中仍存在的科学及技术问题进行分析,并对功能化的生物基气凝胶发展前景进行展望。

关键词：生物基气凝胶阻燃性能疏水性能隔热性能储能材料

优质护理对血液透析患者隧道型导管留置的影响

在线全文

学校读者我要写书评

暂无评论

中国城乡企业卫生 2024年第3期39卷 209-211页

作者：祁亚轩天津市蓟州区人民医院血液透析室天津301900

目的分析在血液透析患者护理过程中应用优质护理对于隧道型导管留置效果的影响。方法选择2018年1月-2021年1月在天津市蓟州区人民医院进行血液透析治疗的60例患者作为研究对象,随机分为对照组和研究组各30例。对照组给予常规护理,研究... 详细信息

目的分析在血液透析患者护理过程中应用优质护理对于隧道型导管留置效果的影响。方法选择2018年1月-2021年1月在天津市蓟州区人民医院进行血液透析治疗的60例患者作为研究对象,随机分为对照组和研究组各30例。对照组给予常规护理,研究组给予优质护理。比较两组患者隧道型导管留置情况。结果护理前,两组患者医疗知识的掌握程度评分比较差异无统计学意义(P>0.05);护理后,两组患者医疗知识的掌握程度评分明显高于护理前,且研究组高于对照组,差异均有统计学意义(P0.05);护理后,两组患者HAMA、HAMD评分均低于护理前,且研究组低于对照组,差异均有统计学意义(P0.05);护理后,两组患者SF-36评分均高于护理前,且研究组高于对照组,差异有统计学意义(P<0.05)。研究组患者护理总满意率为93.33%,高于对照组的63.33%,差异有统计学意义(P<0.05)。结论在血液透析患者护理过程中,优质护理对于患者健康的恢复,生活水平的提高具有积极意义,优质护理可以确保患者在治疗过程中导管的合理留置,且可以有效降低不良事件发生率,有利于保障患者健康,值得在临床推广应用。

关键词：血液透析治疗隧道型导管留置水平护理满意度应用价值