检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

单分支线性约束循环程序的终止性分析

软件学报 2024年第3期35卷 1307-1320页

作者：李轶唐桐中国科学院重庆绿色智能技术研究院自动推理与认知中心重庆400714 中国科学院大学北京100049

秩函数法是循环终止性分析的主要方法,秩函数的存在表明了循环程序是可终止的.针对单分支线性约束循环程序,提出一种方法对此类循环的终止性进行分析.基于增函数法向空间的计算,该方法将原程序空间上的秩函数计算问题归结为其子空间上... 详细信息

秩函数法是循环终止性分析的主要方法,秩函数的存在表明了循环程序是可终止的.针对单分支线性约束循环程序,提出一种方法对此类循环的终止性进行分析.基于增函数法向空间的计算,该方法将原程序空间上的秩函数计算问题归结为其子空间上的秩函数计算问题.实验结果表明,该方法能有效验证现有文献中大部分循环程序的终止性.

关键词：循环程序线性秩函数增函数终止性多阶段秩函数

新型农村集体经济引领共同富裕的典型模式、发展困境及对策研究

在线全文

学校读者我要写书评

暂无评论

农业经济 2024年第5期 41-44页

作者：朱艳新乡学院河南新乡453000

全面推动新型农村集体经济发展不仅能进一步推动乡村产业振兴,为乡村经济建设提供支持,还能高效开发农村资源,带动农民共同奋斗,进而实现共同富裕。实现共同富裕的目标,需重点关注农村经济建设,全面展现公有制经济模式优势,并依托新型... 详细信息

全面推动新型农村集体经济发展不仅能进一步推动乡村产业振兴,为乡村经济建设提供支持,还能高效开发农村资源,带动农民共同奋斗,进而实现共同富裕。实现共同富裕的目标,需重点关注农村经济建设,全面展现公有制经济模式优势,并依托新型农村集体经济,有力推动乡村产业振兴。本文对新型农村集体经济发展存在的问题进行梳理,强调需注重农村发展、农户收入提高,共同富裕目标实现需要以农业农村现代化作为基础,并提出打破困境的建议,以期能够促进乡村振兴战略实施。

关键词：共同富裕新型农村集体经济乡村振兴

原位气/液或液/液界面分子的动态行为表征技术进展

在线全文

学校读者我要写书评

暂无评论

科学通报 2024年第7期69卷 878-890页

作者：樊漪陈思桐侯旭厦门大学化学化工学院厦门361005 厦门大学固体表面物理化学国家重点实验室厦门361005 厦门大学物理科学与技术学院厦门361005

气/液和液/液界面在生产生活中无处不在,一直以来都是动态表界面研究领域的热点.为了更深入理解表界面分子结构、分子运动行为模式以及界面动态变化机制,发展原位界面分子的动态行为表征技术将有助于实现动态表界面的实际应用.本文综述... 详细信息

气/液和液/液界面在生产生活中无处不在,一直以来都是动态表界面研究领域的热点.为了更深入理解表界面分子结构、分子运动行为模式以及界面动态变化机制,发展原位界面分子的动态行为表征技术将有助于实现动态表界面的实际应用.本文综述了原位气/液和液/液界面分子的动态行为表征技术所取得的一些研究成果.首先介绍了动态表界面分子的结构和动态行为模式特性;然后重点介绍了宏观和分子层面的动态表界面表征技术的进展,包括新型的表征技术;最后,综合分析了当前领域中存在的问题和发展方向,希望为未来表征技术的开发与应用奠定基础.

关键词：气/液界面液/液界面界面分子动态行为原位表征

含逆变型分布式电源和分支负荷的配电网自适应电流差动保护

在线全文

学校读者我要写书评

暂无评论

电网技术 2024年第6期48卷 2593-2602,I0099-I0102页

作者：王钢冯婧桐李杰华南理工大学电力学院广东省广州市510641

电流差动保护具有良好的选择性和灵敏性。但是,逆变型分布式电源(inverter-interfaced distributed generator,IIDG)和分支负荷接入改变了配电网的故障特性,现有配电网的电流差动保护面临拒动或误动的风险。为解决以上问题,该文在计及P/... 详细信息

电流差动保护具有良好的选择性和灵敏性。但是,逆变型分布式电源(inverter-interfaced distributed generator,IIDG)和分支负荷接入改变了配电网的故障特性,现有配电网的电流差动保护面临拒动或误动的风险。为解决以上问题,该文在计及P/Q控制的IIDG和分支负荷的故障等值建模基础上,从故障点、IIDG和分支负荷的相对位置出发,挖掘配电网线路两端正序电流差的幅值特征以及正序电流故障分量的相位特征。在此基础上,提出一种正序电流幅值与故障分量相角阈值配合的双比例制动系数自适应差动保护方案,并且利用幅相平面分析所提保护判据的可靠性和灵敏性。最后通过PSCAD/EMTDC验证了所提保护方案的有效性,仿真结果表明该方案适应不同故障类型、位置和过渡电阻,且不受IIDG以及分支负荷接入的影响。

关键词：配电网逆变型分布式电源分支负荷自适应电流差动保护正序故障分量

在线全文

学校读者我要写书评

暂无评论

姑臧城空间布局与五凉河西政治

敦煌学辑刊 2017年第2期2卷 55-63页

作者：朱艳桐兰州大学敦煌学研究所甘肃兰州730020

五凉时期姑臧城由东、西苑城,北城,匈奴城,南城五城构成。东、西二苑驻有兵户且东苑势力强大,其统治权往往影响五凉政治走向。西苑在后凉时期驻兵,兵力较东苑弱。南城政治意义较强,多成为政变首选场所。北城在后凉时期因吕氏宗亲居住而... 详细信息

五凉时期姑臧城由东、西苑城,北城,匈奴城,南城五城构成。东、西二苑驻有兵户且东苑势力强大,其统治权往往影响五凉政治走向。西苑在后凉时期驻兵,兵力较东苑弱。南城政治意义较强,多成为政变首选场所。北城在后凉时期因吕氏宗亲居住而发生过叛变。南凉时期北城屠各百姓发动了民变,但影响力有限。五城间各有城门、围墙,战时可封闭城门凭借围墙割据一城,这为执政者抵御外族侵袭提供了便利,也为叛乱者创造了条件。

关键词：姑臧五凉城市空间政治格局

艾灸治疗肝肾亏虚型类风湿关节炎量效关系研究及对疲劳状态的影响：随机对照试验

在线全文

学校读者我要写书评

暂无评论

中国针灸 2024年

作者：赵鸿芳赵会王淼朱艳安徽中医药大学研究生院安徽中医药大学第二附属医院老年病一科

目的：在西药治疗基础上，观察不同频次艾灸对肝肾亏虚型类风湿关节炎（RA）患者疾病活动度及疲劳状态的影响。方法：将135例肝肾亏虚型RA患者随机分为高频艾灸组（45例，脱落3例）、低频艾灸组（45例，脱落2例）和西药组（45例，脱落2... 详细信息

目的：在西药治疗基础上，观察不同频次艾灸对肝肾亏虚型类风湿关节炎（RA）患者疾病活动度及疲劳状态的影响。方法：将135例肝肾亏虚型RA患者随机分为高频艾灸组（45例，脱落3例）、低频艾灸组（45例，脱落2例）和西药组（45例，脱落2例，中止1例）。西药组予来氟米特片口服，每日1次，每次20 mg。在西药组治疗基础上，高频艾灸组和低频艾灸组均予艾灸阿是穴和双侧肾俞、三阴交，每次15 min。高频艾灸组每日艾灸1次，每周5次；低频艾灸组隔日艾灸1次，每周3次。3组均连续治疗12周。于治疗前后观察3组患者28个关节疾病活动度（DAS28）评分、红细胞沉降率（ESR）、C反应蛋白（CRP）、类风湿因子（RF）、中医证候积分、双手平均握力（GS）、30 s坐立起身测试（STS）、起立-行走时间测试（TUG）、20 m步行测试（20MWT）、焦虑自评量表（SAS）评分、抑郁自评量表（SDS）评分，于治疗前后及治疗结束后1、3个月随访观察3组患者疲劳视觉模拟量表（VAS）评分、Bristol类风湿关节炎疲劳数值评定量表（BRAF-NRS）评分、Bristol类风湿关节炎疲劳多维度问卷（BRAF-MDQ）评分，于治疗后依据美国风湿病学会（ACR）20/50/70标准评定病情缓解情况。结果：治疗后，3组患者DAS28评分、ESR、CRP、RF、中医证候积分、TUG、20MWT、SAS评分、SDS评分均较治疗前降低（P<0.01，P<0.05），双手平均GS、STS较治疗前升高（P<0.01，P<0.05）。治疗后，高频艾灸组患者DAS28评分、ESR、CRP、中医证候积分、SAS评分、SDS评分均低于西药组及低频艾灸组（P<0.01，P<0.05），双手平均GS、STS高于西药组及低频艾灸组（P<0.01，P<0.05），TUG、20MWT低于西药组（P<0.01，P<0.05）；低频艾灸组DAS28评分、ESR、CRP、中医证候积分、TUG、SAS评分、SDS评分均低于西药组（P<0.05，P<0.01），双手平均GS高于西药组（P<0.01）。治疗后各时点，3组患者疲劳VAS、BRAF-NRS评分较治疗前降低（P<0.01），高频艾灸组和低频艾灸组患者BRAF-MDQ评分较治疗前降低（P<0.01）；治疗后，西药组患者BRAF-MDQ评分较治疗前降低（P<0.01）。高频艾灸组患者治疗后各时点疲劳VAS、BRAF-NRS及BRAF-MDQ评分均低于西药组（P<0.01），治疗结束后1个月随访疲劳VAS、BRAF-NRS评分及治疗后BRAF-MDQ评分低于低频艾灸组（P<0.01，P<0.05）；低频艾灸组治疗后各时点疲劳VAS、BRAF-NRS及BRAF-MDQ评分低于西药组（P<0.01，P<0.05）。治疗后，高频艾灸组及低频艾灸组患者ACR20、ACR50比例均高于西药组（P<0.01）；高频艾灸组患者ACR70比例高于低频艾灸组及西药组（P<0.05，P<0.01）；低频艾灸组ACR70比例高于西药组（P<0.05）。结论：在西药治疗基础上，艾灸可有效降低肝肾亏虚型RA患者疾病活动度，改善疲劳状态，其疗效与灸频呈正相关。

关键词：类风湿关节炎艾灸量效关系疾病活动度疲劳肝肾亏虚

类风湿关节炎患者合并焦虑抑郁危险因素分析及与中医证型关系

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

中国中西医结合杂志 2024年

作者：赵会王淼赵鸿芳朱艳安徽中医药大学研究生院安徽省针灸医院老年病一科

目的探究类风湿关节炎（RA）患者合并焦虑抑郁的危险因素及与中医证型的相关性。方法采用回顾性调查的方法，收集就诊于安徽中医药大学第二附属医院风湿科的216例RA患者的一般资料、中医证型及焦虑、抑郁评分。按照有无合并焦虑抑郁... 详细信息

目的探究类风湿关节炎（RA）患者合并焦虑抑郁的危险因素及与中医证型的相关性。方法采用回顾性调查的方法，收集就诊于安徽中医药大学第二附属医院风湿科的216例RA患者的一般资料、中医证型及焦虑、抑郁评分。按照有无合并焦虑抑郁将RA患者分为单纯RA组和RA合并焦虑抑郁组。危险因素采用二元Logistic回归分析；焦虑自评量表（SAS）和抑郁自评量表（SDS）评分与中医证型、各项指标间相关性采用Spearman或Pearson相关性分析。结果（1）二元Logistic回归分析显示：年龄>50岁、疾病活动度（DAS28）>5.1、贫血、抗环瓜氨酸肽（CCP）抗体阳性及白细胞介素-6(IL-6)异常升高是RA发生焦虑、抑郁的危险因素；（2）相关性分析发现：两组RA患者SAS、SDS评分与贫血指标均存在负相关（P<0.05），与DAS28、免疫、炎症指标均存在正相关（P<0.05）;(3)不同中医证型焦虑、抑郁分布规律如下：RA合并焦虑抑郁以湿热痹阻证最为常见，但肝肾亏虚证焦虑、抑郁程度最重，肝肾亏虚证患者SAS、SDS评分高于湿热痹阻证、痰瘀痹阻证（P<0.05）。结论不同中医证型RA患者焦虑、抑郁分布存在差异，轻度焦虑抑郁好发于湿热痹阻证、痰瘀痹阻证；中、重度焦虑抑郁好发于肝肾亏虚证。高龄、高疾病活动度、贫血、免疫炎症亢进可能是RA并发焦虑抑郁的高危因素。

关键词：类风湿关节炎焦虑抑郁中医证型危险因素

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

五凉时期姑臧城的扩建与城市形态

中国历史地理论丛 2016年第4期31卷 65-73页

作者：朱艳桐兰州大学敦煌学研究所甘肃兰州730000

姑臧城经前凉张轨扩建、张寔修灵钧台、张骏筑南城后,于354年前后形成了五城布局。五城分别是匈奴城、东苑城、西苑城、北城、南城。东、西苑城又可分别简称为东、西苑。张轨修筑的宫殿与灵钧台、闲豫堂、南宫等建筑物均位于匈奴城内,... 详细信息

姑臧城经前凉张轨扩建、张寔修灵钧台、张骏筑南城后,于354年前后形成了五城布局。五城分别是匈奴城、东苑城、西苑城、北城、南城。东、西苑城又可分别简称为东、西苑。张轨修筑的宫殿与灵钧台、闲豫堂、南宫等建筑物均位于匈奴城内,张骏修筑南城后将此部分改称北城。南城又名中城,通过广夏门与北城相连。张氏扩建姑臧城主要是为了安置涌入河西的人口、加强宫殿守卫、彰显执政者功绩。五凉时期姑臧城最大的特点是"拟中夏"。姑臧城门命名可能影响了北魏平城。

关键词：姑臧五凉城市形态五城布局

酒泉马氏与五凉王国——以《西凉建初四年(408)秀才对策文》与辛氏墓志中“马骘”为中心

在线全文

学校读者我要写书评

暂无评论

敦煌研究 2017年第5期 114-120页

作者：朱艳桐兰州大学敦煌学研究所甘肃兰州730000

《西凉建初四年(408)秀才对策文》记载的马骘与《辛祥墓志》《辛穆墓志》中辛绍先妻父马骘为同一人。其于408年参加西凉秀才策问,举主为凉州府。酒泉马氏在当地较有势力,西晋时期已自称"酒泉马氏";前凉时期涌现了三位马姓酒泉太守;西凉... 详细信息

《西凉建初四年(408)秀才对策文》记载的马骘与《辛祥墓志》《辛穆墓志》中辛绍先妻父马骘为同一人。其于408年参加西凉秀才策问,举主为凉州府。酒泉马氏在当地较有势力,西晋时期已自称"酒泉马氏";前凉时期涌现了三位马姓酒泉太守;西凉时期,酒泉马氏与敦煌、西平大族同为五凉秀孝,并与陇西辛氏联姻,可谓已跻身河西大族之列。

关键词：马骘酒泉马氏五凉《西凉建初四年(408)秀才对策文》辛氏墓志