检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

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

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

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

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

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

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

基于化学衍生化的质谱技术在脂质分析中的研究进展

同方期刊数据库

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

在线全文

学校读者我要写书评

暂无评论

分析测试学报 2025年第1期44卷 73-81页

作者：黄龙会石幸玉谢海洲周婷华南理工大学生物科学与工程学院广东广州510006

脂质不仅是细胞膜的主要组成部分,还参与多种生命活动如能量存储、信号传导等,在生命体中发挥着重要作用。质谱以其高灵敏度、准确度和快速分析能力,在结构表征中表现出色,已成为脂质分析的核心技术。然而,由于脂质的结构多样性和高度... 详细信息

脂质不仅是细胞膜的主要组成部分,还参与多种生命活动如能量存储、信号传导等,在生命体中发挥着重要作用。质谱以其高灵敏度、准确度和快速分析能力,在结构表征中表现出色,已成为脂质分析的核心技术。然而,由于脂质的结构多样性和高度相似性,其质谱定性、定量分析仍然面临着诸多挑战。化学衍生化技术通过对脂质进行结构修饰,可以改善脂质的离子化效率,并提高质谱检测的灵敏度与选择性,有效促进脂质的结构鉴定和定量分析。近年来,化学衍生化与质谱技术的结合策略广泛应用于脂质分析。该文综述了近十年来基于化学衍生化的质谱技术在解析脂质精确结构、提高检测灵敏度和定量准确性,以及结合新型质谱应用中的研究进展。

关键词：脂质化学衍生化质谱结构表征

系统性硬化症合并干燥综合征的临床特征分析及危险因素研究

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

在线全文

学校读者我要写书评

暂无评论

中国全科医学 2025年第6期28卷 737-741,750页

作者：邹松炎张日伊李孝东穆银玉浙江省宁波市医疗中心李惠利医院检验科 315040

背景系统性硬化症(SSc)是异质性疾病,常同时合并干燥综合征(SS),SSc患者部分症状与SS相似,临床诊治过程中容易漏诊SS。目的探讨SSc合并SS患者的临床和实验室特点及重叠发病的危险因素。方法回顾性纳入2019—2023年在宁波市医疗中心李惠... 详细信息

背景系统性硬化症(SSc)是异质性疾病,常同时合并干燥综合征(SS),SSc患者部分症状与SS相似,临床诊治过程中容易漏诊SS。目的探讨SSc合并SS患者的临床和实验室特点及重叠发病的危险因素。方法回顾性纳入2019—2023年在宁波市医疗中心李惠利医院住院治疗的SSc患者为研究对象,收集患者基线资料和实验室检查结果。依据是否合并SS将患者分为SSc组(n=91)和SSc合并SS组(n=36)。采用多因素Logistic回归分析探究SSc合并SS的危险因素。结果SSc合并SS组患者女性比例、病程、血液受累、局限性皮肤型SSc(lcSSc)、自身免疫性肝病比例高于SSc组,肺部受累比例、环磷酰胺使用比例低于SSc组(P<0.05)。SSc合并SS组患者血小板分布宽度、补体C4、抗硬皮病70抗体检出率低于SSc组,碱性磷酸酶、谷氨酰转肽酶、免疫球蛋白M(IgM)、抗着丝点蛋白B抗体(抗CENP-B抗体)、抗干燥综合征A/Ro52抗体(抗SSA/Ro52抗体)、抗干燥综合征A/Ro60抗体(抗SSA/Ro60抗体)、抗干燥综合征B抗体(抗SSB抗体)、抗线粒体M2抗体(AMA-M2)检出率高于SSc组(P<0.05)。多因素Logistic回归分析结果显示,IgM升高(OR=3.796,95%CI=1.021~14.115)、抗SSA/Ro52抗体阳性(OR=15.099,95%CI=1.750~130.264)、抗CENP-B抗体阳性(OR=11.681,95%CI=1.662~82.097)是SSc合并SS的独立危险因素(P<0.05)。结论SSc合并SS患者同时具备两者的特点,当SSc患者IgM偏高,抗SSA/Ro52抗体、抗CENP-B抗体阳性并出现相应临床症状时,应进行唇腺活检等系统全面的检查,以防漏诊。

关键词：硬皮病,系统性系统性硬化症干燥综合征临床特点实验室特点危险因素

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

在线全文

学校读者我要写书评

暂无评论

区域敏感的场景图生成方法

北京工业大学学报 2025年第1期51卷 51-58页

作者：王立春付芳玉徐凯徐洪波尹宝才北京工业大学信息学部北京100124 北京工业大学多媒体与智能软件技术北京市重点实验室北京100124

针对基于关系边界框提取的谓词特征粒度相对较粗的问题,提出区域敏感的场景图生成(region-sensitive scene graph generation,RS-SGG)方法。谓词特征提取模块将关系边界框分为4个区域,基于自注意力机制抑制关系边界框中与关系分类无关... 详细信息

针对基于关系边界框提取的谓词特征粒度相对较粗的问题,提出区域敏感的场景图生成(region-sensitive scene graph generation,RS-SGG)方法。谓词特征提取模块将关系边界框分为4个区域,基于自注意力机制抑制关系边界框中与关系分类无关的背景区域。关系特征解码器在进行关系预测时不仅考虑了物体对的视觉特征和语义特征,也考虑了物体对的位置特征。在视觉基因组(visual genome,VG)数据集上分别计算了RS-SGG方法针对场景图生成、场景图分类和谓词分类3个子任务的图约束召回率和无图约束召回率,并与主流的场景图生成方法进行了比较。实验结果表明,RS-SGG的图约束召回率和无图约束召回率均优于主流方法。此外,可视化实验结果也进一步证明了所提出方法的有效性。

关键词：图像理解场景图生成物体分类关系分类区域感知自注意力机制

在线全文

学校读者我要写书评

暂无评论

基于高阶矩特征选择和权值优化的信噪比估计

电子学报 2025年

作者：李涛苏楠韦荻山李勇朝朱若楠赵新玉周帅西安电子科技大学广州研究院西安电子科技大学通信工程学院北京跟踪与通信技术研究所

信噪比估计作为信号参数估计的一个重要组成部分，可为功率控制、调制方式识别、信道估计以及动态模式切换等技术提供先验信息.目前基于高阶矩的信噪比估计由于其计算复杂度低、实时性高的优势一直受到众多学者的关注，然而基于高阶矩... 详细信息

信噪比估计作为信号参数估计的一个重要组成部分，可为功率控制、调制方式识别、信道估计以及动态模式切换等技术提供先验信息.目前基于高阶矩的信噪比估计由于其计算复杂度低、实时性高的优势一直受到众多学者的关注，然而基于高阶矩的估计存在低信噪比和高信噪比两个极端情况下估计性能变差的缺陷.本文在分析信号高阶矩分布特性的基础上，设计了一种基于高阶矩特征选择和线性组合的信噪比估计算法.首先通过分析不同矩统计量与信噪比值之间的关系，对高阶矩特征进行筛选.在此基础上，对选择的高阶矩特征进行线性组合，并设计优化算法求解线性组合的权值系数.仿真结果表明，本文所提信噪比估计方法对低信噪比和高信噪比下的估计性能做了折衷，对比已有基于高阶矩的信噪比估计算法，在-10～20 dB范围内能够较好地兼顾低信噪比和高信噪比的估计性能.

关键词：信噪比估计高阶矩 Nakagami衰落信道特征选择权值优化

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

《身体的运动》与《竹节人》跨学科教学设计

小学科学 2025年第3期 49-51页

作者：杨琴玉张娟高锐乌鲁木齐市第二十一小学新疆新疆教育科学研究院乌鲁木齐市第三十小学

跨学科教学的案例设计与实施,可以解决教师个人在跨学科教学设计与实施中的“拦路虎”问题,提高学生的综合素质和能力,让学生跨越学科间的界限,寻找学科间的关联,促进学生全面发展。跨学科教学的设计与实施,使教学设计与实施有了抓手、... 详细信息

跨学科教学的案例设计与实施,可以解决教师个人在跨学科教学设计与实施中的“拦路虎”问题,提高学生的综合素质和能力,让学生跨越学科间的界限,寻找学科间的关联,促进学生全面发展。跨学科教学的设计与实施,使教学设计与实施有了抓手、学生的学习过程有了支架。

关键词：小学科学小学语文跨学科教学设计

通过低浓度混合有机二硒化物和有机二碲化物有序串联促进安时级高能量密度锂硫电池中的硫氧化还原动力学（英文）

在线全文

学校读者我要写书评

暂无评论

Science China Materials 2025年第1期 207-216页

作者：周江奇舒程勇张千玉唐伟吴宇平 School of Chemical Engineering and Technology Xi'an Jiaotong University School of Chemical Engineering Kunming University of Science and Technology College of Materials Science and Engineering Sichuan University School of Energy and Environment Southeast University

均相氧化还原介质可以有效缓解多硫化锂在锂硫电池中的穿梭效应和缓慢的氧化还原动力学,但由于多硫化锂的多步转化需要串联催化的多功能活性位点,因此无法实现多硫化物锂的完美性能.基于氧化还原共介导原理,本文提出了一种混合有机二硒...

均相氧化还原介质可以有效缓解多硫化锂在锂硫电池中的穿梭效应和缓慢的氧化还原动力学,但由于多硫化锂的多步转化需要串联催化的多功能活性位点,因此无法实现多硫化物锂的完美性能.基于氧化还原共介导原理,本文提出了一种混合有机二硒化物和有机二碲化物（混合-Se/Te）的促进剂,以诱导串联催化并提升多硫化锂的有效电化学转化.具体而言,二苯二硒化物促进了多硫化锂与硫之间的固-液和液-液转化,而二苯二碲化物则改善了硫化锂沉积的固-液转化.因此,即使在6.5 mg cm-2的高硫负载和5.88μL mg-1的低电解液/硫比下,10 mM的低浓度混合-Se/Te促进剂也提供了6.6 mAh cm-2的高放电容量和在0.5 C下4.1 mAh cm-2的良好倍率性能.此外,组装的1.5 Ah级锂硫软包电池在0.05 C时提供了332 Wh kg-1的能量密度和良好的循环稳定性.我们的研究展示了利用分离活性位点推动连续硫转化反应的适用性，并预计将激发针对能量相关氧还原反应的动力学促进剂的深度分子设计.

关键词：

同方期刊数据库

在线全文

学校读者我要写书评

暂无评论

地被菊新品种‘晚秋橘韵’的选育

北方园艺 2025年

作者：牛雅静吕明玉孟昕温博刘东焕张蒙蒙北京市植物园管理处北京市花卉园艺工程技术研究中心植物迁地保护国家林业和草原局重点实验室

‘晚秋橘韵’是以自育株系编号1802085为母本，1814156为父本，采用人工有性杂交技术，经多年的观测、扩繁及应用展示，选育出的托桂花型地被菊新品种。主要特异性及观赏性表现在开花过程中花色的变化，初花时为橘红色，后渐变成外轮为... 详细信息

‘晚秋橘韵’是以自育株系编号1802085为母本，1814156为父本，采用人工有性杂交技术，经多年的观测、扩繁及应用展示，选育出的托桂花型地被菊新品种。主要特异性及观赏性表现在开花过程中花色的变化，初花时为橘红色，后渐变成外轮为橙黄色，中间未开放部分为橘红色，完全开放后变成橙黄色。在北京地区10月上旬进入初花期，观赏期可持续到11月中旬。抗逆性强，株型圆整，可用于花坛、花海等景观布置。

关键词：菊花托桂花型人工杂交实生选育

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

艾蒿及其提取物在动物生产中的应用研究进展

饲料研究 2025年 158-162页

作者：王文哲梁芳类成通孔祥青王裕玉日照职业技术学院海洋技术系日照市东港区渔业技术推广站

随着健康养殖的不断发展，越来越多的天然植物及其提取物用作新型饲料添加剂。艾蒿是一种菊科蒿属多年生草本植物，其富含蛋白质、脂肪、必需氨基酸、必需脂肪酸、矿物质、维生素和可食用纤维等营养物质。此外，艾蒿还含有挥发油、黄酮... 详细信息

随着健康养殖的不断发展，越来越多的天然植物及其提取物用作新型饲料添加剂。艾蒿是一种菊科蒿属多年生草本植物，其富含蛋白质、脂肪、必需氨基酸、必需脂肪酸、矿物质、维生素和可食用纤维等营养物质。此外，艾蒿还含有挥发油、黄酮类和多糖类等生物活性成分，具有较高的药用价值和食用价值。艾蒿产品可作为蛋白饲料原料和添加剂，具有驱赶蚊虫、抗菌、抗炎、抗氧化、免疫调节等生物学功效，是一种非常具有应用价值的植物原料，在动物生产中具有广阔的应用前景。文章综述了艾蒿的营养价值及其在饲料中的应用研究，以期为其在动物生产中的应用提供参考。

关键词：艾蒿营养价值生物活性物质动物生产