检索结果-南通市图书馆

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

EFSM模型字符串测试数据自动生成研究

计算机工程与设计 2014年第6期35卷 1968-1972页

作者：尤枫刘宜桦赵瑞莲北京化工大学信息科学与技术学院北京100029

字符串测试数据自动生成是目前的研究难点,还没有很好地解决方法。针对这个问题,提出了一种将符号执行约束求解与搜索算法相结合实现基于EFSM模型的字符串测试数据自动生成方法。将测试数据候选字符集中的字符通过取余编码转换为整数;... 详细信息

字符串测试数据自动生成是目前的研究难点,还没有很好地解决方法。针对这个问题,提出了一种将符号执行约束求解与搜索算法相结合实现基于EFSM模型的字符串测试数据自动生成方法。将测试数据候选字符集中的字符通过取余编码转换为整数;将目标路径上字符串约束转换成整数约束,通过约束求解获得中间解;采用搜索算法生成字符串测试数据。该方法能很好地减小字符串的搜索范围,有效地减少搜索算法的执行时间。实验结果表明,该方法达到了预期的效果,提高了测试数据生成效率。

关键词：扩展有限状态机符号执行搜索算法测试数据生成字符串

天然生物活性分子抗伪狂犬病病毒感染的研究进展

在线全文

学校读者我要写书评

暂无评论

微生物学报 2024年

作者：代宇刘宜雨叶超西南大学动物医学院动物健康与动物性食品安全国际合作联合实验室

伪狂犬病病毒(Pseudorabies virus， PRV)是疱疹病毒科水痘病毒属的成员，主要引起以母猪流产、仔猪神经和呼吸道症状为特征的伪狂犬病，对生猪养殖生产造成极大的威胁。疫苗免疫是预防猪伪狂犬病最重要的措施，但因病毒发生变异和具有... 详细信息

伪狂犬病病毒(Pseudorabies virus， PRV)是疱疹病毒科水痘病毒属的成员，主要引起以母猪流产、仔猪神经和呼吸道症状为特征的伪狂犬病，对生猪养殖生产造成极大的威胁。疫苗免疫是预防猪伪狂犬病最重要的措施，但因病毒发生变异和具有潜伏感染特性，导致传统疫苗防治效果不佳。因此，临床上亟需新的药物制剂辅助疫苗免疫来防治该病。研究发现，天然植物类多糖及黄酮、酚、酸等小分子物质能够通过直接抑制病毒感染过程或者通过调节免疫反应抑制PRV感染。另外，宿主抗病毒蛋白I型干扰素及其下游干扰素刺激基因对PRV的感染也具有显著的抑制作用，抗菌肽和防御素等宿主防御肽对PRV的感染也有较好的抑制作用。另外，研究人员最近发现细菌和真菌的提取物及其代谢产物也具有抗PRV的作用，未来有望将细菌和真菌及其产物应用于病毒病的防控和治疗。本文重点讨论了近年天然生物活性分子抗PRV感染的相关研究进展，以期为抗PRV感染药物的研发提供重要参考。

关键词：伪狂犬病病毒植物源抗病毒分子宿主防御肽 I型干扰素干扰素刺激基因细菌代谢物真菌代谢物

增强约束拼合式轻型钢-混凝土组合柱抗火性能试验研究

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

建筑结构学报 2024年第7期45卷 200-211页

作者：宋谦益王卫永黄浩原刘宜丰中国建筑西南设计研究院有限公司四川成都610040 重庆大学土木工程学院重庆400045

针对目前低层冷弯薄壁型钢房屋抗火性能较弱的特点,提出了一种应用于冷弯薄壁型钢承重结构体系的增强约束拼合式轻型钢-混凝土组合柱(以下简称“增强约束组合柱”)。通过对4个增强约束组合柱进行标准升温条件下的耐火性能试验,得到各组... 详细信息

针对目前低层冷弯薄壁型钢房屋抗火性能较弱的特点,提出了一种应用于冷弯薄壁型钢承重结构体系的增强约束拼合式轻型钢-混凝土组合柱(以下简称“增强约束组合柱”)。通过对4个增强约束组合柱进行标准升温条件下的耐火性能试验,得到各组合柱的轴向位移、侧向位移、测点温度、耐火极限及破坏模式。建立了增强约束组合柱抗火分析模型,采用试验数据对模型进行了验证,进而对影响增强约束组合柱耐火性能的因素进行参数分析。结果表明:荷载比对增强约束组合柱耐火极限影响较大,荷载比越小,耐火极限越大,当荷载比取0.3~0.7时,组合柱耐火极限范围为30~105 min;具有增强约束作用的内置钢筋笼对提高组合柱耐火极限也有显著效果,增幅为69%;组合柱耐火极限随其截面尺寸增大而提高,随着铆钉间距增大而降低;对于采用铆钉的拼合截面,建议铆钉间距不宜大于100 mm。

关键词：轻型钢-混凝土组合柱增强约束轴心受压受火试验有限元分析抗火性能

中国绘画在苏联——以20世纪中期两次展览的苏方评论为视点

在线全文

学校读者我要写书评

暂无评论

美术 2024年第3期 82-91页

作者：商桦南京师范大学美术学院

1940年、1950年在苏联举办的两次“中国艺术展览会”中,苏方文艺界对中国绘画尤为关注,相关评论体现出苏方对中国古今绘画的文化认知及政治认同。相隔10年的两次赴苏展览,其办展主体虽有不同,但都是关键历史时刻的国家行为,且在展览主... 详细信息

1940年、1950年在苏联举办的两次“中国艺术展览会”中,苏方文艺界对中国绘画尤为关注,相关评论体现出苏方对中国古今绘画的文化认知及政治认同。相隔10年的两次赴苏展览,其办展主体虽有不同,但都是关键历史时刻的国家行为,且在展览主题、展品组成及学术互动上存在延续性和一致性。两次“艺展”的苏方评论,不仅成为中国绘画日后参习苏联模式的理论起点,也作为必不可少的外部视点加深了中国画家对自身文化传统和民族特色的理解,甚至对20世纪50年代后期中国绘画走上民族化发展道路具有启示意义。

关键词：中国艺术展览会苏联美术评论美术交流

端粒在生命早期不良环境和代谢性疾病关系中的作用

在线全文

学校读者我要写书评

暂无评论

中国儿童保健杂志 2024年第8期 886-890+896页

作者：何雨桦熊菲四川大学华西第二医院儿科四川大学华西第二医院出生缺陷与相关妇儿疾病教育部重点实验室

大量流行病学和动物实验研究显示，除了生活方式和基因遗传外，生命早期不良因素暴露可能通过对胎儿端粒长度的影响，进而增加其成年后代谢性疾病的发生风险。然而早期不良因素暴露使代谢性疾病风险增加的机制尚不清楚。端粒生物学信息... 详细信息

大量流行病学和动物实验研究显示，除了生活方式和基因遗传外，生命早期不良因素暴露可能通过对胎儿端粒长度的影响，进而增加其成年后代谢性疾病的发生风险。然而早期不良因素暴露使代谢性疾病风险增加的机制尚不清楚。端粒生物学信息探索可能为预测生命早期不良环境暴露及生后健康问题提供新的途径。

关键词：端粒端粒酶宫内因素代谢性疾病

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

旋翼飞行机械臂固定时间滑模控制

电光与控制 2024年第1期31卷 69-76页

作者：刘宜成贺嘉辣严文四川大学电气工程学院成都610000

针对旋翼飞行机械臂轨迹跟踪控制中的不确定性和扰动问题,提出了一种基于固定时间滑模观测器的滑模控制算法。首先,在广义坐标系下建立了旋翼飞行机械臂运动学与动力学模型,并设计出固定时间观测器对模型参数不确定性与外部扰动进行估计... 详细信息

针对旋翼飞行机械臂轨迹跟踪控制中的不确定性和扰动问题,提出了一种基于固定时间滑模观测器的滑模控制算法。首先,在广义坐标系下建立了旋翼飞行机械臂运动学与动力学模型,并设计出固定时间观测器对模型参数不确定性与外部扰动进行估计,通过在滑模中引入分段函数和饱和函数抑制固定时间观测器的抖振,加快其收敛速度。随后,将旋翼飞行机械臂划分为位置、姿态以及机械臂3个子系统,基于固定时间理论,分别对3个子系统设计了新型固定时间滑模控制器,并设计自适应趋近律以抑制滑模控制器的抖振。与传统滑模控制器相比,该控制器具有更快的收敛速度与更好的跟踪性能。利用Lyapunov稳定性理论证明了系统的稳定性。最后通过仿真实验验证了所提算法的有效性,该算法对旋翼飞行机械臂轨迹跟踪控制具有较好效果。

关键词：无人机旋翼飞行机械臂固定时间观测器固定时间稳定轨迹跟踪动力学建模

在线全文

学校读者我要写书评

暂无评论

空间机器人预定义任意时间最优轨迹规划

电光与控制 2024年第2期31卷 58-64页

作者：刘宜成张飞越严文四川大学电气工程学院成都610000

针对双臂自由漂浮空间机器人(FFSR)在太空抓取任务中的轨迹规划问题,设计了一种FFSR系统的可实现误差预定义时间收敛的新型轨迹规划算法,用布谷鸟搜索算法进行参数优化,以实现末端执行器误差的快速收敛并获得平滑轨迹。首先,导出FFSR的... 详细信息

针对双臂自由漂浮空间机器人(FFSR)在太空抓取任务中的轨迹规划问题,设计了一种FFSR系统的可实现误差预定义时间收敛的新型轨迹规划算法,用布谷鸟搜索算法进行参数优化,以实现末端执行器误差的快速收敛并获得平滑轨迹。首先,导出FFSR的基于姿态误差的运动学模型;然后,将累积危险场避碰算法应用于预定义任意时间轨迹规划,实现高跟踪精度的快速避碰轨迹;最后,利用布谷鸟搜索算法对预定义任意时间参数进行优化,得到机械臂低关节角速度的运动轨迹。仿真结果表明所提算法能够在预定义的时间内实现末端执行器误差快速收敛,而且能够得到更平滑的运动轨迹。

关键词：空间机器人预定义时间快速避碰布谷鸟搜索算法轨迹规划

体外二氧化碳清除在急性呼吸窘迫综合征救治中的应用价值

在线全文

学校读者我要写书评

暂无评论

中华医学杂志 2024年第15期104卷 1242-1246页

作者：徐永昊刘宜坤席寅王亚黎毅敏广州医科大学附属第一医院重症医学科广州呼吸健康研究院国家呼吸医学中心呼吸疾病全国重点实验室广州510120

体外二氧化碳清除(ECCO_(2)R)是一种基于肺外气体交换的呼吸辅助体外生命支持技术,可以有效清除机体代谢生成的二氧化碳,以降低患者通气需求和呼吸机支持水平。随着体外生命支持相关技术的改进和临床经验的增多,研究提示ECCO_(2)R的临... 详细信息

体外二氧化碳清除(ECCO_(2)R)是一种基于肺外气体交换的呼吸辅助体外生命支持技术,可以有效清除机体代谢生成的二氧化碳,以降低患者通气需求和呼吸机支持水平。随着体外生命支持相关技术的改进和临床经验的增多,研究提示ECCO_(2)R的临床应用具有潜在价值。本文阐述了ECCO_(2)R使用的原理、救治急性呼吸窘迫综合征(ARDS)的相关适应证、研究成果、存在的问题以及研究方向,以期为ARDS患者的救治提供更多参考。

关键词：呼吸窘迫综合征,成人体外二氧化碳清除适应证并发症

中国光学十大进展：超冷中性原子光钟及其量子参考体系囚禁方案（特邀）

在线全文

学校读者我要写书评

暂无评论

激光与光电子学进展 2024年第13期 23-31页

作者：周彦桦常宏汪涛重庆大学物理学院重庆大学溧阳智慧城市研究院现代物理中心中国科学院国家授时中心

基于超冷中性原子的光钟近年来发展迅速，将人类对时间频率测量的水平提高到了空前的高度。其中，超冷中性原子光钟的性能极大程度上取决于其量子参考体系的囚禁方案。本文介绍了超冷中性原子的光钟原理与性能评估，并详细介绍了不同量... 详细信息

基于超冷中性原子的光钟近年来发展迅速，将人类对时间频率测量的水平提高到了空前的高度。其中，超冷中性原子光钟的性能极大程度上取决于其量子参考体系的囚禁方案。本文介绍了超冷中性原子的光钟原理与性能评估，并详细介绍了不同量子参考体系囚禁方案如何影响系统的不确定度与稳定度。

关键词：光学原子钟超冷原子囚禁势交流斯塔克效应超冷原子碰撞