检索结果-南通市图书馆

阿托伐他汀钙联合苯磺酸氨氯地平治疗动脉粥样硬化的临床研究

在线全文

学校读者我要写书评

暂无评论

临床医学工程 2024年第1期31卷 37-38页

作者：陈君尹俊锋逄涛郑州市第一人民医院神经内科河南郑州450004

目的探讨阿托伐他汀钙联合苯磺酸氨氯地平治疗动脉粥样硬化的临床效果。方法选取2020年2月至2023年2月我院收治的74例动脉粥样硬化患者,随机分为对照组(37例,苯磺酸氨氯地平)和观察组(37例,阿托伐他汀钙联合苯磺酸氨氯地平)。比较两组... 详细信息

目的探讨阿托伐他汀钙联合苯磺酸氨氯地平治疗动脉粥样硬化的临床效果。方法选取2020年2月至2023年2月我院收治的74例动脉粥样硬化患者,随机分为对照组(37例,苯磺酸氨氯地平)和观察组(37例,阿托伐他汀钙联合苯磺酸氨氯地平)。比较两组的治疗效果、血脂水平及脂蛋白相关磷脂酶A2(LP-PLA2)水平。结果观察组治疗总有效率、HDL-C水平明显高于对照组,TC、TG、LDL-C及LP-PLA2水平明显低于对照组(P<0.05)。结论阿托伐他汀钙联合苯磺酸氨氯地平治疗动脉粥样硬化的效果显著,对调节患者血脂代谢、改善血管炎性状态具有积极作用。

关键词：阿托伐他汀钙苯磺酸氨氯地平动脉粥样硬化治疗效果

波长约束与非约束型变量选择方法对定量建模结果的影响

在线全文

学校读者我要写书评

暂无评论

香料香精化妆品 2024年第3期 141-147页

作者：张翼鹏颜克亮唐丽文里梁姜慧陈爱明逄涛杨乾栩朱保昆曾仲大云南中烟工业有限责任公司云南昆明650231 大连达硕信息技术有限公司辽宁大连116023 云南省烟草农业科学研究院云南玉溪653100 大连大学环境与化学工程学院辽宁大连116622

近红外光谱中多组分信息高度重叠的特点,决定了变量选择在构建稳健近红外定性定量模型中的特殊重要性。以8个产区、4个部位,共计655个烟叶样本中的总糖、还原糖、总氮、钾、氯和烟碱6个指标为对象,深入研究波长区间约束与3个典型非约束... 详细信息

近红外光谱中多组分信息高度重叠的特点,决定了变量选择在构建稳健近红外定性定量模型中的特殊重要性。以8个产区、4个部位,共计655个烟叶样本中的总糖、还原糖、总氮、钾、氯和烟碱6个指标为对象,深入研究波长区间约束与3个典型非约束型变量选择方法对定量建模结果的影响,探索近红外光谱在完全基于数学与统计方法建模,以及加入约束特征波长后的结果差异性,并与全波长与全特征波长区间建模的差异性进行比较,发现针对目标数据,131个外部验证数据的偏最小二乘(partial least squares,PLS)的Q2值的变异系数(coefficient of variation,CV)均在3%以内,而所选择的变量和波长区间存在较大的差异性。这些结果充分说明,基于近红外数据“二次分析”模型构建,存在其内在模型效果“瓶颈”与变量间的协同规律性,过度的变量选择算法与建模分析并不一定能较好地提升模型质量、改善预测分析结果,反而极大地降低模型的化学可解释性。

关键词：近红外光谱变量选择波长约束稳健性化学计量学

在线全文

学校读者我要写书评

暂无评论

基于特征增强的光学遥感图像建筑物变化检测

计算机工程 2023年第4期49卷 182-187页

作者：逄涛张学敏姚亚洲高明柯中国电子科技集团公司第三十二研究所上海201808 装备发展部军事代表局驻上海地区军事代表室上海200082 南京理工大学计算机科学与工程学院南京210094

遥感图像变化检测是识别同一区域前后时段两张图像之间像素级变化,能够精确判断目标区域状态变化。现有的遥感图像变化检测方法是在不同时间流中引入注意力机制来强化变化区域图像特征,并将其叠加以实现特征融合,不能有效地挖掘与应用... 详细信息

遥感图像变化检测是识别同一区域前后时段两张图像之间像素级变化,能够精确判断目标区域状态变化。现有的遥感图像变化检测方法是在不同时间流中引入注意力机制来强化变化区域图像特征,并将其叠加以实现特征融合,不能有效地挖掘与应用不同时间流特征之间的关系。基于特征提取网络,提出一种在时间维度上基于像素位置偏移的图像特征差异增强方法。该方法可学习不同时相图像特征之间对应区域的像素变化偏移量,增强单时相特征图中发生变化区域和无关区域之间的特征差异。在此基础上,构建一个针对光学遥感图像中建筑物变化的检测框架,以ResNet18网络和多层感知机结构分别作为编码器、解码器,在LEVIR-CD、LEVIR-CD+和S2Looking 3个公开数据集上进行实验,结果表明,基于特征增强的图像变化检测方法的F1值分别为90.74%、86.11%和62.25%,相比目前最优的BIT方法分别提高了1.43、3.31和0.4个百分点。

关键词：遥感图像变化检测差异增强深度学习语义特征

在线全文

学校读者我要写书评

暂无评论

WISHBONE片上总线符号模型检测

计算机研究与发展 2014年第12期51卷 2759-2771页

作者：逄涛段振华西安电子科技大学计算理论与技术研究所西安710071

随着多核体系结构的出现和普及,片上总线逐渐成为影响片上系统功能和性能的关键部件.因此,片上总线的验证成为片上系统设计中一个重要组成部分.模型检测作为一种主流的形式化验证方法,可以自动化穷举搜索系统行为以决定片上系统的设计... 详细信息

随着多核体系结构的出现和普及,片上总线逐渐成为影响片上系统功能和性能的关键部件.因此,片上总线的验证成为片上系统设计中一个重要组成部分.模型检测作为一种主流的形式化验证方法,可以自动化穷举搜索系统行为以决定片上系统的设计是否满足设计规范.然而,模型检测受制于状态空间爆炸问题,且现有规范语言如计算树逻辑和线性时序逻辑等的描述能力有限.提出了一种基于命题投影时序逻辑的WISHBONE片上总线符号模型检测方法.该方法将以Verilog硬件描述语言实现的WISHBONE总线转化为以NuSMV模型检测工具的建模语言SMV描述的系统模型,使用命题投影时序逻辑描述WISHBONE总线期望的性质,通过PLSMC工具验证系统模型是否满足期望的性质.实验结果表明该方法能够有效验证WISHBONE片上总线的定性性质,以及时间敏感和迭代性等定量性质.

关键词：时序逻辑符号模型检测 WISHBONE总线片上系统形式化验证

PDCA循环用于糖尿病视网膜病变患者的效果分析

在线全文

学校读者我要写书评

暂无评论

中文科技期刊数据库（全文版）医药卫生 2022年第10期 20-23页

作者：逄涛海军971医院山东青岛266000

研究分析PDCA循环用于糖尿病视网膜病变患者的临床应用效果。方法选取我院门诊于2019年11月-2020年11月期间接收的糖尿病视网膜病变患者96例做本次研究对象,根据随机原则分为观察组和对照组,对照组实施常规护理方式,观察组实施PDCA循... 详细信息

研究分析PDCA循环用于糖尿病视网膜病变患者的临床应用效果。方法选取我院门诊于2019年11月-2020年11月期间接收的糖尿病视网膜病变患者96例做本次研究对象,根据随机原则分为观察组和对照组,对照组实施常规护理方式,观察组实施PDCA循环模式,观察护理期间两组的并发症发生率、护理满意度以及护理质量情况。结果观察组的并发症发生率明显低于对照组,护理质量和护理满意度情况明显高于对照组,P<0.05,表示数据具有统计学意义。结论 PDCA循环用于糖尿病视网膜病变患者的临床应用效果显著,能够有效控制个体并发症发生率,提高患者护理满意度加速个体健康恢复进度,提高医院护理质量。

关键词： PDCA循环糖尿病视网膜病变应用效果

超高效液相色谱-串联质谱法定量分析烟叶中的12种类黄酮物质

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

色谱 2015年第7期33卷 746-752页

作者：李勇林茜逄涛师君丽云南省烟草农业科学研究院云南玉溪653100 玉溪师范学院云南玉溪653100

类黄酮物质是烟草非常重要的次生代谢物。本研究建立了一种烟叶中12种类黄酮物质的定量分析方法，相对于传统方法增加了10种类黄酮物质的定量分析。采用甲醇-水-氯仿（5∶2∶2，v／v／v）对类黄酮物质进行提取和色素剔除，采用超高效液... 详细信息

类黄酮物质是烟草非常重要的次生代谢物。本研究建立了一种烟叶中12种类黄酮物质的定量分析方法，相对于传统方法增加了10种类黄酮物质的定量分析。采用甲醇-水-氯仿（5∶2∶2，v／v／v）对类黄酮物质进行提取和色素剔除，采用超高效液相色谱-串联质谱进行分析，整个仪器分析时间为13 min。该方法对所有被测类黄酮物质的线性相关系数（ r2）均高于0.99，检出限在0.3～100μg／L 之间，定量限在1.2～400μg／L 之间，日内重复性在3.5％～7.4％之间，日间重复性在5.2％～11.4％之间，回收率在81.2％～111.9％之间，符合定量分析要求。将该方法应用于11种不同品种烟草的类黄酮物质检测，发现不同烟草之间的类黄酮物质含量相差很大，而结构相似的类黄酮物质在烟叶中的含量分布存在显著的正相关关系。

关键词：超高效液相色谱-串联质谱类黄酮烟草

Verilog程序的命题投影时序逻辑符号模型检测

在线全文

学校读者我要写书评

暂无评论

西安电子科技大学学报 2014年第2期41卷 79-84页

作者：逄涛段振华刘晓芳西安电子科技大学计算理论与技术研究所陕西西安710071 西安电子科技大学综合业务网理论及关键技术国家重点实验室陕西西安710071

为了保证以Verilog硬件描述语言设计的片上系统的正确性,提出了Verilog程序的符号模型检测方法.依据形式化操作语义将Verilog程序建模为有限状态机,将设计规范用命题投影时序逻辑公式描述,并采用命题投影时序逻辑符号模型检测工具对程... 详细信息

为了保证以Verilog硬件描述语言设计的片上系统的正确性,提出了Verilog程序的符号模型检测方法.依据形式化操作语义将Verilog程序建模为有限状态机,将设计规范用命题投影时序逻辑公式描述,并采用命题投影时序逻辑符号模型检测工具对程序进行验证,从而证明片上系统满足设计规范.以Verilog程序描述的四位同步二进制计数系统的验证实例表明,Verilog程序的命题投影时序逻辑符号模型检测方法是可行的.

关键词：时序逻辑符号模型检测硬件描述语言片上系统验证

在线全文

学校读者我要写书评

暂无评论

网球击球教学评测软件的设计与实现

网球击球教学评测软件的设计与实现

作者：逄涛北京工业大学

学位级别：硕士

网球运动是一项拥有很高技术含量的体育竞技项目。首先，从生物学的角度来看，良好的技术是力量与控制力的完美结合，并且可以把受伤降低到最小程度。在研究球员及纠正球员的正手击球动作的过程中，对生物力学的深入理解，合理地运用生... 详细信息

网球运动是一项拥有很高技术含量的体育竞技项目。首先，从生物学的角度来看，良好的技术是力量与控制力的完美结合，并且可以把受伤降低到最小程度。在研究球员及纠正球员的正手击球动作的过程中，对生物力学的深入理解，合理地运用生物力学知识帮助运动员更好的掌握网球基本技术，帮助运动员发现问题之所在并且及时解决他们的问题。现代竞技体育的发展越来越多地涉及生物技术和计算机技术的介入，期望可以最大限度地挖掘出人体心理和生理的极限潜能，许多人认为，大部分运动训练项目已经达到了人体的极限，已经不太可能再创造新的纪录。然而，在运动捕捉技术的帮助下，通过矫正动作的姿势，运动员的成绩仍有可能大幅提升。近些年，运动捕捉技术已广泛地应用到各种项目的运动训练之中。本文首先介绍了网球击球教学评测系统的研究背景和意义，并分析了与该系统相关的发展的状况。运用系统开发的基本方式，以网球击球力学需求分析入手，进而提出对击球数据化的需求分析，并结合当今先进的动作捕捉系统，围绕正手击球运动捕捉与实现的过程进行论述，着重进行系统的力学模块设计、肌群模块设计、骨骼模块设计。从而构建一个系统的击球动作评分系统，将运动捕捉提供的数据与该评分系统进行对比，进而实现对学生动作进行打分的功能。由于网球正手击球动作速度快，仅凭肉眼有时无法准确判断学生的技术动作，然而本系统通过动作捕捉技术准确获取学生击球的角度、力度、速度，为评分系统的实现提供了可靠的保障。通过对学生动作的准确统计并打分，教师可以更快地发现学生击球过程中存在的问题，更加有针对性地对每位学生进行指导，提高了教学的效率。

关键词：正手击球动作捕捉教学评测

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

一个命题投影时序逻辑符号模型检测器

软件学报 2015年第8期26卷 1968-1982页

作者：逄涛段振华刘晓芳西安电子科技大学计算理论与技术研究所陕西西安710071 综合业务网理论与关键技术国家重点实验室(西安电子科技大学) 陕西西安710071

现有模型检测工具的形式化规范语言,如计算树逻辑(computation tree logic,简称CTL)和线性时序逻辑(linear temporal logic,简称LTL)等的描述能力不足,无法验证ω正则性质.提出了一个命题投影时序逻辑(propositional projection tempora... 详细信息

现有模型检测工具的形式化规范语言,如计算树逻辑(computation tree logic,简称CTL)和线性时序逻辑(linear temporal logic,简称LTL)等的描述能力不足,无法验证ω正则性质.提出了一个命题投影时序逻辑(propositional projection temporal logic,简称PPTL)符号模型检测工具——PLSMC(PPTL symbolic model checker)的设计与实现过程.该工具基于著名的符号模型检测系统NuSMV,实现了PPTL的符号模型检测算法.PLSMC的规范语言PPTL具有完全正则表达能力,这使得定性性质和定量性质均可被验证.此外,PLSMC可以有效地缓解模型检测工具中容易发生的状态空间爆炸问题.最后,利用PLSMC对铁路公路交叉道口护栏控制系统的安全性质和周期性性质进行验证.实验结果表明,PPTL符号模型检测工具扩充了NuSMV系统的验证能力,使得时间敏感、并发性和周期性等实时性质可以被描述和验证.

关键词：符号模型检测时序逻辑模型检测器嵌入式系统验证