检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

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

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

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

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

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

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

不同地磁暴强度下非差非组合PPP定位性能分析

在线全文

学校读者我要写书评

暂无评论

测绘科学 2024年第1期49卷 41-49页

作者：吴志文詹艳春唐国礼何林禹陈华湖南省第一测绘院长沙410114 武汉大学卫星导航定位技术研究中心武汉430079 武汉大学测绘学院武汉430079

针对地磁暴会影响全球卫星导航系统卫星姿态、刺激电离层发生扰动,导致卫星信号丢失和产生大量周跳,降低定位精度与可靠性的问题,从非差非组合精密单点定位用户的需求出发,以全球均匀分布的110个国际GNSS服务测站为研究对象,评估了不同... 详细信息

针对地磁暴会影响全球卫星导航系统卫星姿态、刺激电离层发生扰动,导致卫星信号丢失和产生大量周跳,降低定位精度与可靠性的问题,从非差非组合精密单点定位用户的需求出发,以全球均匀分布的110个国际GNSS服务测站为研究对象,评估了不同地磁暴强度下非差非组合精密单点定位性能。研究表明:不同强度等级的地磁暴对非差非组合定位均存在一定的影响,该影响在高纬度地区和低纬度地区尤为明显。相较于无地磁暴,发生大和特大等级的地磁暴时,定位结果的三维均方根RMS均值分别增加了151.8%和451.8%。当发生特大等级的地磁暴时,垂直总电子含量较大的区域,定位结果的可靠性严重下降,部分测站的三维RMS值可能会超过3 m。在地磁暴对N、E、U方向的定位影响研究中发现,其对北方向的精度影响最大。相较于没有发生地磁暴,发生大和特大等级地磁暴时北方向的三维RMS均值分别增加了168.0%和542.5%。

关键词：地磁暴强度精密单点定位非差非组合模型全球垂直总电子含量

肌内效贴对脑卒中后肩关节半脱位患者肩峰-肱骨头间距影响的Meta分析

在线全文

学校读者我要写书评

暂无评论

中华物理医学与康复杂志 2024年第1期46卷 50-54页

作者：王积方奎吴淼湖北省中医院武汉430061 湖北中医药大学附属医院武汉430061 湖北省中医药研究院武汉430074 中国医科大学附属第一医院沈阳110001

目的系统评价肌内效贴对脑卒中后肩关节半脱位患者肩峰-肱骨头间距的影响。方法利用计算机检索PubMed、EMbase、The Cochrane Library、Web of Science、PEDro、中国知网、万方数据、维普期刊和中国生物医学9个数据库,搜集有关肌内效贴... 详细信息

目的系统评价肌内效贴对脑卒中后肩关节半脱位患者肩峰-肱骨头间距的影响。方法利用计算机检索PubMed、EMbase、The Cochrane Library、Web of Science、PEDro、中国知网、万方数据、维普期刊和中国生物医学9个数据库,搜集有关肌内效贴对脑卒中后肩关节半脱位患者肩峰-肱骨头间距治疗效果的随机对照试验,检索时限均为建库至2023年5月。由2名研究者独立筛选文献、提取资料并评价纳入研究的偏倚风险后,采用RevMan5.4软件进行Meta分析。结果共纳入9篇文献,包含401例患者。Meta分析结果显示,与对照组相比,肌内效贴可减小肩峰-肱骨头间距[标准化均数差(SMD)=-0.59,95%CI(-0.79,-0.40),P<0.01],改善上肢运动功能[SMD=1.30,95%CI(0.42,2.17),P<0.01],减轻肩关节疼痛[SMD=-0.89,95%CI(-1.31,-0.48),P<0.01]。结论肌内效贴可有效减小脑卒中后肩关节半脱位患者的肩峰-肱骨头间距,改善上肢运动功能,减轻肩关节疼痛。

关键词：肌内效贴脑卒中肩关节半脱位肩峰-肱骨头间距 Meta分析

在线全文

学校读者我要写书评

暂无评论

蓝莓微波冷冻干燥特性及品质分析

中国食品学报 2024年第6期24卷 248-263页

作者：袁迪李洋陈丰张欣硕黄积微东北林业大学土木与交通学院哈尔滨150040

为研究蓝莓微波冷冻干燥特性及品质变化,本文探究不同微波功率(300,400,500,600 W)、真空度(50,100,150,200 Pa)和物料装载量(60,120,180,240 g)对蓝莓干燥特性及其品质的影响。在单因素实验基础上进行Box-Behnken中心组合试验设计,以... 详细信息

为研究蓝莓微波冷冻干燥特性及品质变化,本文探究不同微波功率(300,400,500,600 W)、真空度(50,100,150,200 Pa)和物料装载量(60,120,180,240 g)对蓝莓干燥特性及其品质的影响。在单因素实验基础上进行Box-Behnken中心组合试验设计,以蓝莓的干燥速率、色差、收缩率、复水比、维生素C保存率、花青素保留率的综合评分为评价指标。结果表明:蓝莓在干燥前期的干燥速率较大,且随着微波功率的增加而变大,Page模型的R^(2)均大于0.95,能较好地预测蓝莓干燥过程中的水分变化情况,蓝莓有效水分扩散系数在3.341×10^(-8)~5.110×10^(-8)m^(2)/s之间,且受微波功率和装载量影响显著(P真空度>装载量。当蓝莓干制品的干燥参数为微波功率400 W、真空度100 Pa、装载量120 g时,蓝莓的微波冷冻干燥效果最好,此时蓝莓色泽、复水比、质构特性、VC和花青素含量及内部孔隙分布情况相对最好,品质最佳。

关键词：蓝莓微波冷冻干燥干燥特性综合评分品质

同方期刊数据库

跑出“银龄健康”加速度——苏州市健康老龄化工作成效显著

在线全文

学校读者我要写书评

暂无评论

人口与健康 2024年第1期 25-28页

作者：唐德春王丛李婷苏州市卫生健康委不详

一直以来,江苏省苏州市人均期望寿命保持在全国前列。伴随人均期望寿命的稳步提高,全市老龄化、高龄化持续加深,失能、高龄、空巢、纯老、独居等重点服务对象继续增加,人口老龄化形势较为严峻。

关键词：人均期望寿命健康老龄化高龄化人口老龄化重点服务对象江苏省苏州市加速度成效显著

电商集中度、物流效率对耐储农产品价格的影响研究

在线全文

学校读者我要写书评

暂无评论

价格理论与实践 2024年

作者：陈积志来逢波山东交通学院经济与管理学院

农产品价格事关国计民生。本文基于2008-2021年省际面板数据，构建电商产业集中度指数，评价农产品供应链物流效率，并实证分析其对耐储型农产品价格的影响。研究结论显示：电商产业发展能够抑制耐储农产品价格上涨；随着电商产业集中... 详细信息

农产品价格事关国计民生。本文基于2008-2021年省际面板数据，构建电商产业集中度指数，评价农产品供应链物流效率，并实证分析其对耐储型农产品价格的影响。研究结论显示：电商产业发展能够抑制耐储农产品价格上涨；随着电商产业集中度提高，物流效率也将同步提高，从而抑制耐储农产品价格上涨。此外，电商产业集中度对农产品价格的影响存在区域异质性。基于此，应提高耐储农产品种植户积极性，加快县乡村三级电商体系建设，规范农村电商发展，以实现农产品保供稳价，推动农业高质量发展。

关键词：电商产业集中度物流效率耐储农产品价格农产品流通

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

遵循课程标准建设数学有效课堂的教学策略

山西青年 2024年第7期 105-107页

作者：杨积春张金传邢素芬籍红扎兰屯职业学院

学生难管课难教，是职业学校数学课堂的普遍现象。数学课上讲什么？怎么讲？讲多少？是困扰数学教师的三大难题。探索一条学生喜欢学、教师乐意教的职业学校数学教学新路，是每一位职业学校数学教师都潜心研究的重要课题。遵循重实践、... 详细信息

学生难管课难教，是职业学校数学课堂的普遍现象。数学课上讲什么？怎么讲？讲多少？是困扰数学教师的三大难题。探索一条学生喜欢学、教师乐意教的职业学校数学教学新路，是每一位职业学校数学教师都潜心研究的重要课题。遵循重实践、轻理论，重实用、轻系统，重思维、轻技巧的教学策略，以课程标准为指导，以数学教材为依据，以专业需要为准绳，合理选取教学内容，主动适应信息时代教学模式，深化数学教学改革，合理构建职教数学教学体系，努力追求职业学校数学课堂的高效化、最优化。

关键词：职业学校数学教学课程标准教学策略

基于级联蒸馏的输电线路隐患部件检测方法研究

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

基于级联蒸馏的输电线路隐患部件检测方法研究

作者：臧积业东北电力大学

学位级别：硕士

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

面向海上风机登乘机构相对位置估计方法研究

海洋工程 2024年

作者：刘娇刘积昊林志良上海交通大学海洋工程全国重点实验室

面向海上风机运维人员登乘场景，为获取准确的船舶与风机平台相对位置姿态关系，提出采用端-端的深度学习网络方法来训练基于风机平台RGB图像的位置估计器。首先，设计搭建能够精准控制位置姿态的图像数据采集装置，用以采集带有圆柱坐... 详细信息

面向海上风机运维人员登乘场景，为获取准确的船舶与风机平台相对位置姿态关系，提出采用端-端的深度学习网络方法来训练基于风机平台RGB图像的位置估计器。首先，设计搭建能够精准控制位置姿态的图像数据采集装置，用以采集带有圆柱坐标标签的训练、测试和验证图像数据集。其中，训练集图像12 586张，测试集图像3 198张。训练集样本标签的空间为：径向2.1～18.9 cm，高度1.2～9.0 cm，角度66°～114°；采样间隔密度为：径向0.6 cm，高度0.6 cm，角度1.6°。然后，通过学习训练获得基于ResNet50网络的船舶-风机平台相对位置估计器，利用多组数据测试集评估了该位置估计器包括误差分布情况和运动模糊条件下的鲁棒性等性能。根据数据分析，相对位置估计器在径向、高度和角度三个自由度的平均绝对误差分别为0.1 cm、0.07 cm、0.28°，且对轻度运动模糊具备鲁棒性。

关键词：风机登乘机构位置估计深度学习 ResNet50 单目视觉