检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

多值交互时序逻辑的模型检验研究

郑州大学学报（理学版） 2025年第2期57卷 78-84页

作者：凌灿红常亮周洁潘海玉桂林电子科技大学广西可信软件重点实验室广西桂林541004 上海师范大学数理学院上海200234

为了对包含多值信息的开放系统进行形式化验证,在多值逻辑的基础上提出了多值交互时序逻辑并研究了该逻辑的模型检验问题。首先,引入多值并发博弈结构作为此类开放系统的模型,该模型的最大特点是可以建模带有多值信息的开放系统。其次,... 详细信息

为了对包含多值信息的开放系统进行形式化验证,在多值逻辑的基础上提出了多值交互时序逻辑并研究了该逻辑的模型检验问题。首先,引入多值并发博弈结构作为此类开放系统的模型,该模型的最大特点是可以建模带有多值信息的开放系统。其次,给出基于此模型的多值交互时序逻辑的语法和语义,该逻辑可以描述带有多值信息的待验证属性。最后,基于不动点理论给出多值交互时序逻辑的模型检验算法,并对算法的时间复杂度进行了分析,结果表明,可以在多项式时间内完成对多值交互时序逻辑的模型检验。

关键词：模型检验多值逻辑交互时序逻辑并发博弈结构

同方期刊数据库

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

中医药临床优势病种探讨——特应性皮炎

中国实验方剂学杂志 2025年第1期 244-252页

作者：刘俊峰莫秀梅莫美李红毅林颖张霄潇陈达灿广东省中医院广东省中医皮肤病研究所现代中药创制全国重点实验室中华中医药学会

特应性皮炎（AD）是临床常见的瘙痒性、慢性炎症性皮肤病，是中医药治疗的优势病种之一。随着生物制剂和小分子药物的上市，诊疗指南、临床路径、疾病的全程管理等标准的制定与实施，中重度特应性皮炎临床疗效得以明显提升，但是目前仍... 详细信息

特应性皮炎（AD）是临床常见的瘙痒性、慢性炎症性皮肤病，是中医药治疗的优势病种之一。随着生物制剂和小分子药物的上市，诊疗指南、临床路径、疾病的全程管理等标准的制定与实施，中重度特应性皮炎临床疗效得以明显提升，但是目前仍存在诸多未能满足的临床需求，需要更多有效的方法来满足这些临床需求。为落实《中共中央国务院关于促进中医药传承创新发展的意见》和全国中医药大会精神，中华中医药学会组织中医皮肤科、西医皮肤科、交叉学科、产业等20余名专家，围绕AD治疗中的难点和中医优势进行了探讨。中医药治疗AD不但可以改善皮疹、缓解瘙痒，而且可以解决存在的诸多兼证；丰富的中医外治疗法可针对不同的特殊人群、不同的皮疹特点发挥其优势作用；中医治未病的理念契合于特应性进程的预防、治疗、防止复发的慢病管理模式；此外，中医药疗法可减少外用糖皮质激素的使用量，且安全性较好。AD的共病应倡导中西医并重、多学科联合治疗，实现患者受益最大化。中西医之间的相互交流明确了中医药干预AD过程中的定位和优势，为临床和科研提供了指导。

关键词：特应性皮炎优势病种中医药疗法多学科联合诊疗专家指导建议

同方期刊数据库

颈椎前路椎体骨化物可控前移融合对后纵韧带骨化物和内植物影响的有限元分析

在线全文

学校读者我要写书评

暂无评论

中国组织工程研究 2025年第9期29卷 1761-1767页

作者：李良奎黄永灿王鹏于滨生遵义医科大学珠海校区广东省珠海市519041 深圳市脊柱外科重点实验室北京大学深圳医院脊柱外科广东省深圳市518036 深圳北京大学香港科技大学医学中心骨病研究所广东省深圳市518036 安徽医科大学北京大学深圳医院临床学院广东省深圳市518036

背景:颈椎前路椎体骨化物可控前移融合对颈椎力学的影响尚未明确,既往研究主要集中在颈椎前路椎体骨化物可控前移融合的手术技巧、中长期疗效和术后并发症等。目的:运用有限元方法分析颈椎前路椎体骨化物可控前移融合对颈椎后纵韧带骨... 详细信息

背景:颈椎前路椎体骨化物可控前移融合对颈椎力学的影响尚未明确,既往研究主要集中在颈椎前路椎体骨化物可控前移融合的手术技巧、中长期疗效和术后并发症等。目的:运用有限元方法分析颈椎前路椎体骨化物可控前移融合对颈椎后纵韧带骨化物和内植物生物力学的影响。方法:选择一名健康男性志愿者进行全颈椎薄层CT扫描,应用有限元分析软件构建正常全颈椎模型,与既往文献进行对比验证其有效性;随后在模型上构建累及C4、C5和C6节段的连续型颈椎后纵韧带骨化物的术前模型;以术前模型为基础,创建颈椎前路椎体骨化物可控前移融合手术三维有限元模型,约束2个模型C7椎体下表面,于C1椎体上表面施加50 N的轴向力和1.0 N·m的力矩,在屈伸、侧弯、旋转6个工况下,分析颈椎前路椎体骨化物可控前移融合对骨化物和内植物应力的影响。结果与结论:①从术前模型得出骨化物应力主要集中在C4/5节段,在前屈、后伸、左侧弯、右侧弯、左旋转、右旋转6个工况下骨化物最大应力分别为10.1,148.6,68.9,74.8,83.8和85.1 MPa;②颈椎前路椎体骨化物可控前移融合术后,骨化物应力集中分布区域未见明显改变,但该手术会改变骨化物应力大小,除在前屈位颈椎前路椎体骨化物可控前移融合模型骨化物应力较术前模型增大(+44.7%)外,在其他5个工况下,骨化物应力较术前模型明显降低,其中后伸位下降最明显(-74.1%),在左侧弯、右侧弯、左旋转、右旋转下骨化物应力分别下降62.2%,63.3%,66.4%,67.9%;③钛板、螺钉应力主要集中在头尾两端,后伸应力最大(149.5 MPa),前屈应力最小(43.3 MPa);4个椎间融合器应力主要集中在C3/4、C6/7融合器,应力主要分布在融合器的上下表面周围,后伸应力最大(30.8 MPa),前屈应力最小(11.5 MPa);内植物(钛板、螺钉和椎间融合器)应力主要集中于头尾两端,应力较大易导致头尾两端钛板、螺钉断裂和内植物下沉;④提示颈椎前路椎体骨化物可控前移融合能明显降低骨化物应力,可能有助于防止过度增生从而压迫神经,在术后需密切关注头尾两端螺钉松动、断裂或钛板移位、断裂等情况。

关键词：颈椎后纵韧带骨化症颈椎前路椎体骨化物可控前移融合术有限元分析韧带骨化物内植物生物力学

重复经颅磁刺激对阿尔茨海默病小鼠海马齿状回钾离子通道的影响

在线全文

学校读者我要写书评

暂无评论

中国组织工程研究 2025年第12期29卷 2544-2552页

作者：钱磊于洪丽赵秀芝朱俞灿河北工业大学生命科学与健康工程学院天津市300130 河北工业大学天津市生物电工与智能健康重点实验室天津市300130 河北工业大学省部共建电工装备可靠性与智能化国家重点实验室天津市300130

背景:经颅磁刺激已经被用于治疗阿尔茨海默病,但其机制尚未完全明确。目的:分析重复经颅磁刺激对阿尔茨海默病小鼠海马齿状回神经兴奋性的作用机制。方法:采用随机数字表法,将16只C57BL/6小鼠随机分为对照组(n=8)、对照+磁刺激组(n=8),... 详细信息

背景:经颅磁刺激已经被用于治疗阿尔茨海默病,但其机制尚未完全明确。目的:分析重复经颅磁刺激对阿尔茨海默病小鼠海马齿状回神经兴奋性的作用机制。方法:采用随机数字表法,将16只C57BL/6小鼠随机分为对照组(n=8)、对照+磁刺激组(n=8),将16只APP/PS1小鼠随机分为痴呆组(n=8)、痴呆+磁刺激组(n=8),对照+磁刺激组与痴呆+磁刺激组给予重复经颅磁刺激,2 h/d,连续刺激14 d。磁刺激结束后,采用水迷宫实验检测小鼠认知能力,全细胞膜片钳技术采集动作电位,分析阿尔茨海默病对动作电位的影响;全细胞膜片钳技术采集钾离子通道电流,分析其动力学特性对神经兴奋性的作用。结果结论:①水迷宫实验结果显示,正常小鼠接受重复经颅磁刺激后能够更加精准地找到确定原平台位置,阿尔茨海默病导致小鼠学习记忆能力下降,找到平台次数下降,海马齿状回神经元退化,而重复经颅磁刺激可提高阿尔茨海默病小鼠的学习记忆能力;②全细胞膜片钳技术检测结果显示,重复经颅磁刺激能够使阿尔茨海默病小鼠神经元更容易发生去极化,使神经元更易兴奋;③钾离子通道电流分析结果显示,阿尔茨海默病使得瞬时外向钾通道半数激活电压增大,失活曲线向着去极化方向偏移,复活时间常数延长,使得延迟整流钾通道激活曲线向着去极化的方向偏移,而重复经颅磁刺激干预延迟了钾离子通道的打开与关闭,抑制了细胞内钾离子的外流,使得细胞内保持较高浓度K^(+),提高了神经元兴奋性;④结果表明,重复经颅磁刺激可能通过提高海马齿状回颗粒神经元兴奋性来缓解认知能力的衰退。

关键词：重复经颅磁刺激全细胞膜片钳 K+通道水迷宫神经兴奋性学习记忆动作电位

酵母水解物对哺乳犊牛生长性能、血清抗氧化指标和瘤胃菌群的影响

在线全文

学校读者我要写书评

暂无评论

动物营养学报 2025年

作者：李元晓刘丹晏克灿孙成振孙娟娟皮庆洁鲁志民张才河南科技大学动物科技学院河南省动物福利与健康养殖国际联合实验室中国农业科学院草原研究所南京农业大学动物科技学院济源市伟恒牛业有限公司

本试验旨在探讨补饲酵母水解物对哺乳犊牛生长性能、血清抗氧化指标及瘤胃菌群的影响。试验选取30头1日龄、健康、体重[（39±2） kg]相近的荷斯坦母犊牛,随机分为对照组（不补饲酵母水解物）和试验组（每头犊牛每天补饲5 g酵母水解物）... 详细信息

本试验旨在探讨补饲酵母水解物对哺乳犊牛生长性能、血清抗氧化指标及瘤胃菌群的影响。试验选取30头1日龄、健康、体重[（39±2） kg]相近的荷斯坦母犊牛,随机分为对照组（不补饲酵母水解物）和试验组（每头犊牛每天补饲5 g酵母水解物）,每组15个重复,每个重复1头牛。试验期为63 d。记录犊牛体重和采食量,采集血清和瘤胃液样品,测定血清抗氧化指标和瘤胃菌群多样性。结果显示:1)补饲酵母水解物显著增加了犊牛14和28日龄的胸围以及28和42日龄的体斜长（P0.05）。2)63日龄时,试验组血清中丙二醛（MDA）含量显著低于对照组（P<0.05）,总抗氧化能力（T-AOC）显著高于对照组（P<0.05）;7日龄时,试验组血清谷胱甘肽过氧化物酶（GSH-Px）活性显著高于对照组（P<0.05）。3)补饲酵母水解物使犊牛瘤胃菌群的Alpha多样性指数（Chao1和Observed-species指数）显著降低（P<0.05）;同时,Beta多样性也发生了显著变化（P<0.05）。30日龄时,试验组瘤胃菌群中互养菌门（Synergistota）的相对丰度显著低于对照组（P<0.05）,而放线菌门（Actinobacteriota）的相对丰度显著高于对照组（P<0.05）;试验组瘤胃菌群中理研菌科RC9肠道群（RikenellaceaeRC9gutgroup）的相对丰度在60日龄时显著低于对照组（P<0.05）,而解琥珀酸菌属（Succiniclasticum）和普雷沃氏菌属7（Prevotella7）的相对丰度在30日龄时显著高于对照组（P<0.05）。综上可知,在本试验条件下,每天每头补饲5 g酵母水解物对哺乳犊牛整体生长性能无显著影响,但显著提高了犊牛的抗氧化能力,并调节了瘤胃菌群结构,有助于改善犊牛健康状况。

关键词：酵母水解物哺乳犊牛生长性能抗氧化指标瘤胃菌群

曲靖市马龙区资源变资产青山变金山——云南省首单水土保持项目碳汇交易纪实

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

中国水土保持 2025年第1期 94-97页

作者：陆灿崔晋男刘学恩曲靖市马龙区水务局

2024年11月6日,云南省曲靖市马龙区水土保持项目碳汇交易在第五届中国水土保持学术大会上成功签约,此次交易转让水土保持碳汇量11.56万t,金额381.48万元,平均33元/t。在签约仪式上,中国水土保持学会理事长田学斌,云南省人民政府副省长杨... 详细信息

2024年11月6日,云南省曲靖市马龙区水土保持项目碳汇交易在第五届中国水土保持学术大会上成功签约,此次交易转让水土保持碳汇量11.56万t,金额381.48万元,平均33元/t。在签约仪式上,中国水土保持学会理事长田学斌,云南省人民政府副省长杨洋,中国科学院院土崔鹏、邵明安,中国工程院院士王金南为5家受让方颁发“碳票”,云南省水利厅党组书记、厅长胡朝碧宣读碳汇交易协议,曲靖市副市长海建才及曲靖市水务局、马龙区人民政府主要负责同志作为监签人共同见证签约仪式。

关键词：水土保持项目中国水土保持中国工程院院士中国科学院院士碳汇交易云南省曲靖市水务局

磁性纳米功能材料MFC对镉污染稻田土壤微生物和酶活性的影响

在线全文

学校读者我要写书评

暂无评论

西南大学学报（自然科学版） 2025年第2期47卷 122-132页

作者：曾微王强江湘婷万灿张立志黎洁西南大学资源环境学院重庆400715 重庆环保投资集团有限公司重庆401120 绵阳市涪城区住房和城乡建设局四川绵阳621000 重庆京东方显示技术有限公司重庆400713

以磁性纳米Fe 3O 4和磷酸盐为主要原料,制备出超顺磁性纳米功能材料[magnetic nano-Fe 3O 4@Ca(H 2PO 4)2 functionalized materials,MFC],利用MFC对镉污染稻田进行大田原位磁选修复后进行水稻栽培试验,研究MFC磁选修复镉污染稻田对水... 详细信息

以磁性纳米Fe 3O 4和磷酸盐为主要原料,制备出超顺磁性纳米功能材料[magnetic nano-Fe 3O 4@Ca(H 2PO 4)2 functionalized materials,MFC],利用MFC对镉污染稻田进行大田原位磁选修复后进行水稻栽培试验,研究MFC磁选修复镉污染稻田对水稻不同生育期土壤微生物群落组成和土壤酶活性的影响。结果表明:施加MFC修复镉污染稻田,可有效降低土壤总镉和有效镉含量,投加0.5%和1.0%MFC,土壤总镉分别降低22.14%和24.08%,有效镉分别降低2.29%和12.21%;施加MFC的处理组,3个时期的土壤Shannon指数与Chao1指数均高于该时期对照组,表明提高了水稻生长期土壤细菌群落多样性和丰富度;与对照组相比,抽穗期处理组土壤的Ascomycota丰度占比提升,成熟期处理组土壤的Rozellomycota丰度占比提升,差异有统计学意义(p<0.05),表明提高了水稻拔节期和成熟期土壤真菌群落的多样性和丰富度。同时,提高了水稻生长期土壤脲酶、脱氢酶活性,其中,成熟期Y-0.5%处理组的土壤脲酶活性提升达到55.40%,抽穗期和成熟期Y-0.5%处理组的土壤脱氢酶活性分别提高了44.40%和37.21%,差异有统计学意义(p<0.05),而土壤过氧化氢酶的活性降低。

关键词：超顺磁性纳米功能材料土壤镉土壤微生物土壤酶活性

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

猴痘4例皮肤镜特征及鉴别分析

中国皮肤性病学杂志 2025年第1期 88-91页

作者：黄家灿郑文军苏家光李文宇吕秀文李恬恬陈日凤温斯健广西医科大学第一附属医院皮肤性病科

报告4例猴痘，并分析其皮肤镜特征以及与其他临床易误诊疾病皮肤镜鉴别。4例猴痘皮肤镜下特征具有特异性，主要表现为同时存在中央黄色无结构，周围可见边界清晰白色晕，其中2例可见粉色或红色团块。特别是当皮肤镜下出现粉色或红色团... 详细信息

报告4例猴痘，并分析其皮肤镜特征以及与其他临床易误诊疾病皮肤镜鉴别。4例猴痘皮肤镜下特征具有特异性，主要表现为同时存在中央黄色无结构，周围可见边界清晰白色晕，其中2例可见粉色或红色团块。特别是当皮肤镜下出现粉色或红色团块时，对于临床医生诊断猴痘具有高度提示作用，建议转诊定点医院，进行猴痘病毒核酸检查及治疗。

关键词：猴痘皮肤镜鉴别诊断

同方期刊数据库

敌草快对鸡输卵管膨大部组织结构、细胞凋亡及繁殖性能相关基因表达的影响

在线全文

学校读者我要写书评

暂无评论

农业生物技术学报 2025年第1期33卷 146-156页

作者：戴逸园丁香胡威刘犇肖佩怡杨雪郑文亚樊庆灿宜春学院生命科学与资源环境学院江西省高等学校硒农业工程技术研究中心江西绿科农牧科技有限公司

联吡啶类除草剂敌草快(Diquat)作为现代农业生产中常用的农药，极易引起禽类发生氧化应激，为探究敌草快诱导的氧化应激对鸡输卵管膨大部的影响，本研究选取45只健康且体重相近的180日龄康乐黄母鸡(Gallus gallus)，随机分成3组，每组1... 详细信息

联吡啶类除草剂敌草快(Diquat)作为现代农业生产中常用的农药，极易引起禽类发生氧化应激，为探究敌草快诱导的氧化应激对鸡输卵管膨大部的影响，本研究选取45只健康且体重相近的180日龄康乐黄母鸡(Gallus gallus)，随机分成3组，每组15只。各组鸡均饲喂基础饲粮且自由饮水，经1周适应性饲养后，实验组分别一次性腹腔注射10和20 mg/kg BW(body weight,体重)的敌草快，对照组腹腔注射等剂量的生理盐水，21 d后采集输卵管膨大部组织，利用抗氧化功能检测试剂盒检测抗氧化指标，利用苏木素-伊红(hematoxylin-eosin, HE)染色技术观察病理损伤，利用免疫组织化学(immunohistochemistry, IHC)技术检测相关蛋白的分布，利用qPCR和Western blot技术检测细胞凋亡和繁殖性能相关基因及蛋白的表达。结果显示，敌草快组的输卵管膨大部中过氧化氢酶(catalase, CAT)、总超氧化物歧化酶(total superoxide dismutase, T-SOD)活性显著降低(P<0.05)，丙二醛(malondialdehyde, MDA)浓度显著升高(P<0.05)。HE染色结果显示，敌草快组的输卵管膨大部管径减小，固有层细胞分布稀疏，黏膜上皮游离面纤毛受损，敌草快20 mg/kg组的黏膜上皮细胞出现空泡化。IHC结果显示，敌草快组的输卵管膨大部黏膜上皮和固有层中增殖细胞核抗原(proliferating cell nuclear antigen, PCNA)的染色强度降低，无翅型鼠乳腺癌病毒整合位点4(Wingless-related murine mammary tumor virus integration site 4, Wnt4)在黏膜上皮游离面的染色强度也降低。qPCR结果显示，敌草快20 mg/kg组的输卵管膨大部中抗凋亡相关基因B-细胞淋巴瘤-2(B-cell lymphoma-2, Bcl-2)表达水平显著下调(P<0.05)，敌草快组促凋亡相关基因Bcl-2相关X蛋白(Bcl-2 associated X protein, Bax)和半胱氨酸蛋白酶3(Caspase3)的基因表达水平及Bax/Bcl-2均显著上调(P<0.05)；繁殖性能相关基因透明带精子结合蛋白2(zona pellucida sperm-binding protein 2, ZP2)和Wnt4的基因表达水平显著下调(P<0.05)。Western blot结果显示，Bcl-2、Bax、Caspase3、ZP2和Wnt4的蛋白表达水平与基因表达的变化趋势基本一致。上述研究结果表明，敌草快能够诱导鸡输卵管膨大部发生氧化应激和细胞凋亡，进而损伤膨大部组织结构及抑制繁殖性能相关基因的表达。本研究为缓解联吡啶类农药对禽类输卵管的损伤及保护繁殖性能提供理论参考。

关键词：敌草快氧化应激母鸡输卵管膨大部细胞凋亡繁殖性能相关基因