检索结果-内蒙古大学图书馆

软件学报 2025年第1期36卷 27-46页

作者：陈小红刘少彬金芝上海市高可信计算重点实验室(华东师范大学) 上海200062 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学计算机学院北京100871

随着嵌入式系统的广泛应用,其需求正变得越来越复杂,需求分析成为嵌入式系统开发的关键阶段,如何准确地建模和描述需求成为首要问题.系统地调研嵌入式系统的需求描述,并进行全面的比较分析,以便更深入地理解嵌入式系统需求的核心关注点... 详细信息

随着嵌入式系统的广泛应用,其需求正变得越来越复杂,需求分析成为嵌入式系统开发的关键阶段,如何准确地建模和描述需求成为首要问题.系统地调研嵌入式系统的需求描述,并进行全面的比较分析,以便更深入地理解嵌入式系统需求的核心关注点.首先采用系统化文献综述方法,对1979年1月–2023年11月间发表的相关文献进行识别、筛选、汇总和分析.通过自动检索和滚雪球等检索过程,筛选出150篇与主题密切相关的文献,力求文献综述的全面性.其次,从需求描述关注点、需求描述维度、需求分析要素等方面,分析现有嵌入式需求描述语言的表达能力.最后,总结现有嵌入式系统软件需求描述所面临的挑战,并针对嵌入式软件智能合成任务,提出对嵌入式系统需求描述方法表达能力的要求.

关键词：嵌入式系统需求描述需求描述语言需求分析系统需求

来源：评论

学校读者我要写书评

暂无评论

复杂嵌入式系统需求一致性的组合验证方法

引用

软件学报 2025年第4期36卷 1413-1434页

作者：杨晓王小齐陈小红金芝上海市高可信计算重点实验室(华东师范大学) 上海200062 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学计算机学院北京100871

形式化方法在需求一致性验证领域已经取得了显著的成就.然而,随着嵌入式系统需求复杂度的不断提升,需求一致性验证面临着状态空间过大的挑战.为了有效约减验证的状态空间,同时考虑到嵌入式系统需求所涉及的设备强依赖性,提出一种复杂嵌... 详细信息

形式化方法在需求一致性验证领域已经取得了显著的成就.然而,随着嵌入式系统需求复杂度的不断提升,需求一致性验证面临着状态空间过大的挑战.为了有效约减验证的状态空间,同时考虑到嵌入式系统需求所涉及的设备强依赖性,提出一种复杂嵌入式系统需求一致性的组合验证方法.它基于需求分解,识别需求间的依赖关系,通过这些依赖关系组装验证子系统,从而实现对复杂嵌入式系统需求的组合验证,并能初步定位到不一致的需求.具体而言,采用问题框架方法对需求进行建模和分解,并预设领域设备知识库对设备的物理特性进行建模.在验证子系统的组装过程中,生成预期软件的行为模型,并结合物理设备的模型进行动态组装.最后,采用航空领域机载侦查系统进行了实例研究,验证了方法的可行性和有效性,并通过5个案例评估证实了验证状态空间的显著减小.此方法为复杂嵌入式系统需求的验证提供了一种切实可行的解决方案.

关键词：复杂嵌入式系统需求一致性组合验证

来源：评论

学校读者我要写书评

暂无评论

智能网联汽车的车载网络攻防技术研究进展

引用

软件学报 2025年第1期36卷 341-370页

作者：陈博言沈晴霓张晓磊张鑫李聪吴中海北京大学软件与微电子学院北京102600 软件工程国家工程研究中心(北京大学) 北京100871 北京大学计算机学院北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

随着人工智能和5G技术在汽车行业的应用,智能网联汽车应运而生,它是一种由众多来自不同供应商的电子控制单元(ECU)组成的复杂分布式异构系统,通过以CAN为代表的车载网络协议交互协同控制各ECU.然而,攻击者可能通过各种接口攻击智能网联... 详细信息

随着人工智能和5G技术在汽车行业的应用,智能网联汽车应运而生,它是一种由众多来自不同供应商的电子控制单元(ECU)组成的复杂分布式异构系统,通过以CAN为代表的车载网络协议交互协同控制各ECU.然而,攻击者可能通过各种接口攻击智能网联汽车,渗透到车载网络,再攻击车载网络及其各组成部分如ECU.因此,智能网联汽车的车载网络安全成为近些年车辆安全研究的焦点之一.在介绍智能网联汽车整体结构、ECU、CAN总线和车载诊断协议等基础之上,首先总结了目前车载网络协议的逆向工程技术进展,逆向工程的目标是获取汽车行业通常不公开的车载网络协议实现细节,也是实施攻击和防御的前提条件.然后从车载网络攻、防两个角度展开:一方面概括了车载网络攻击向量及主要攻击技术,包括通过物理访问和远程访问方式实施的攻击技术,以及针对ECU和CAN总线实施的攻击技术;另一方面,讨论了车载网络现有的防御技术,包括基于特征工程和机器学习方法的车载网络入侵检测和基于密码学方法的车载网络协议安全增强技术.最后展望了未来的研究方向.

关键词：智能网联汽车车载网络逆向工程入侵检测协议安全增强

来源：评论

学校读者我要写书评

暂无评论

喜马拉雅造山带东段发现富铷‒铯‒铊天河石伟晶岩

引用

大地构造与成矿学 2025年第2期49卷 386-396,I0009-I0016页

作者：王宏立张进江王佳敏北京大学地球与空间科学学院造山带与地壳演化教育部重点实验室北京100871 中国科学院地质与地球物理研究所岩石圈演化与环境演变全国重点实验室北京100029

随着喜马拉雅稀有金属成矿研究的深入,喜马拉雅造山带已被确定为我国一条新的重要稀有金属成矿带。目前造山带内发现的稀有金属主要集中在错那洞、琼嘉岗、洛扎、卓木古以及夏如等喜马拉雅中东段地区,以Li-Be-Nb-Ta-Sn组合为主,主要产... 详细信息

随着喜马拉雅稀有金属成矿研究的深入,喜马拉雅造山带已被确定为我国一条新的重要稀有金属成矿带。目前造山带内发现的稀有金属主要集中在错那洞、琼嘉岗、洛扎、卓木古以及夏如等喜马拉雅中东段地区,以Li-Be-Nb-Ta-Sn组合为主,主要产出于锂辉石、铁锂云母、锂电气石、透锂长石、铌钽矿、绿柱石、锡石等矿物中。本次研究在喜马拉雅造山带东段隆子县准巴乡东北约10 km处的伟晶岩脉中发现了天河石矿物,该伟晶岩脉侵位于准巴岩体白云母花岗岩中。准巴白云母花岗岩矿物组合为石英+斜长石+钾长石+白云母+电气石+黑云母+石榴子石,天河石伟晶岩的矿物组合为石英+天河石(正长石)+斜长石+白云母+电气石+石榴子石。天河石的主量元素组成与结构为正长石,原位微量元素测试结果显示其含有较高的Rb(4714~6455μg/g)、Cs(304~1166μg/g)和Tl(51.5~77.9μg/g),较低的Sr(6.50~31.0μg/g)和Ba(15.5~92.7μg/g)。年代学测试结果表明白云母花岗岩年龄为37.7~45.2 Ma,由天河石伟晶岩脉与白云母花岗岩的接触关系,推测天河石伟晶岩是岩浆后期的裂隙充填,其年龄可能晚于37.7 Ma。新发现的天河石伟晶岩是喜马拉雅造山带又一新的富含稀有金属矿产的岩石类型,可能是喜马拉雅造山带稀有金属找矿方面的新突破,对认识和理解喜马拉雅稀有金属成矿作用具有重要意义。

关键词：天河石伟晶岩准巴岩体铷‒铯‒铊稀有金属矿产喜马拉雅造山带

来源：评论

学校读者我要写书评

暂无评论

基于医疗保险数据的中国系统性红斑狼疮流行病学调查

引用

科学通报 2025年第12期70卷 1682-1685页

作者：曹梦琢白羽李慕聪吴婵媛李梦涛曾小峰高培中国医学科学院北京协和医学院北京协和医院风湿免疫科国家皮肤与免疫疾病临床医学研究中心(NCRC-DID)风湿免疫病学教育部重点实验室疑难重症及罕见病全国重点实验室北京大学公共卫生学院流行病与卫生统计学系重大疾病流行病学教育部重点实验室(北京大学)北京大学临床研究所真实世界证据评价中心

系统性红斑狼疮（systemic lupus erythematosus, SLE）是最常见的系统性自身免疫性疾病之一,其临床表现复杂,常导致多脏器受累,大幅降低患者生活质量,造成较重的社会经济负担.全球SLE的年发病率为（1.4～11）/10万人, SLE患病率34.9/1... 详细信息

系统性红斑狼疮（systemic lupus erythematosus, SLE）是最常见的系统性自身免疫性疾病之一,其临床表现复杂,常导致多脏器受累,大幅降低患者生活质量,造成较重的社会经济负担.全球SLE的年发病率为（1.4～11）/10万人, SLE患病率34.9/10万人～7713.5/10万人,其中女性患者占比超80%[1].

关键词：系统性红斑狼疮流行病学调查医疗保险数据

来源：评论

学校读者我要写书评

暂无评论

EGFR基因突变非小细胞肺癌中基于治疗药物监测的埃克替尼真实世界研究

引用

中国肺癌杂志 2025年第1期28卷 33-39页

作者：韩森米岚方健马旭北京大学肿瘤医院暨北京市肿瘤防治研究所•恶性肿瘤发病机制及转化研究教育部重点实验室北京100145

背景与目的真实世界中,埃克替尼(Icotinib)治疗携带表皮生长因子受体(epidermal growth factor receptor,EGFR)基因突变的非小细胞肺癌(non-small cell lung cancer,NSCLC)的血浆药物浓度范围尚不明确,药物浓度与其疗效及不良事件之间... 详细信息

背景与目的真实世界中,埃克替尼(Icotinib)治疗携带表皮生长因子受体(epidermal growth factor receptor,EGFR)基因突变的非小细胞肺癌(non-small cell lung cancer,NSCLC)的血浆药物浓度范围尚不明确,药物浓度与其疗效及不良事件之间可能存在关联。本研究通过治疗药物监测(therapeutic drug monitoring,TDM),分析NSCLC靶向治疗中埃克替尼的药物暴露情况,研究埃克替尼的血浆药物浓度与其治疗效果和安全性之间的关系。方法前瞻性收集2022年4月至2024年7月在北京大学肿瘤医院接受埃克替尼治疗的伴有EGFR敏感突变的NSCLC患者的血液样本,检测埃克替尼的血浆谷浓度,并结合患者的临床病历资料,进一步探究药物浓度与疗效及其毒副作用之间的关系。结果22例接受埃克替尼治疗的患者接受了TDM,但其中1例因停药时间过长药物浓度未检测出。其余21例患者,每人抽血1-7次,共获得32份血浆药物浓度数据。埃克替尼药物浓度为126.9-2317.1 ng/mL。21例患者中女性18例(85.7%),男性3例(14.3%),年龄44-85岁。病理类型均为肺腺癌。除5例接受术后辅助治疗外,接受埃克替尼治疗的16例疗效可评价患者的客观缓解率为43.8%(7/16),疾病控制率为100.0%(16/16)。21例患者埃克替尼的中位药物浓度为805.5 ng/mL。疗效评价为部分缓解的患者和病情稳定者相比,其中位药物浓度分别为497.2和1195.5 ng/mL(P=0.017)。治疗中未发生不良反应的患者和发生过不良反应者,中位药物浓度分别为997.0和828.6 ng/mL(P=0.538)。结论埃克替尼在治疗携带EGFR基因突变的NSCLC中表现出较好的疗效且具有可耐受的毒性。埃克替尼的血浆药物浓度与其治疗效果之间具有一定的负性相关,而与安全性无明显的关联。

关键词：埃克替尼肺肿瘤 EGFR突变不良反应治疗药物监测

来源：评论

学校读者我要写书评

暂无评论

探讨网织纤维染色在评估成人淋巴瘤骨髓侵犯中的价值

引用

中华病理学杂志 2025年第4期54卷 361-367页

作者：曹友俊李宁宁李向红廉沈沂谢彦宋卫卫赖玉梅刁新婷时云飞北京大学肿瘤医院暨北京市肿瘤防治研究所病理科恶性肿瘤发病机制及转化研究教育部重点实验室北京100142 北京大学肿瘤医院暨北京市肿瘤防治研究所淋巴肿瘤内科恶性肿瘤发病机制及转化研究教育部重点实验室北京100142

目的探讨成人淋巴瘤患者骨髓活检样本中应用网织纤维染色及分级评估淋巴瘤骨髓侵犯的价值。方法回顾性收集2023年11月至2024年5月北京大学肿瘤医院诊断的成人淋巴瘤病例共354例。骨髓样本同步进行了骨髓穿刺活检标本的网织纤维染色、免... 详细信息

目的探讨成人淋巴瘤患者骨髓活检样本中应用网织纤维染色及分级评估淋巴瘤骨髓侵犯的价值。方法回顾性收集2023年11月至2024年5月北京大学肿瘤医院诊断的成人淋巴瘤病例共354例。骨髓样本同步进行了骨髓穿刺活检标本的网织纤维染色、免疫组织化学染色及骨髓液的流式细胞学检测。网织纤维染色按照欧洲分级共识进行分级,高分级(2~3级)提示存在骨髓侵犯。研究设定的骨髓侵犯综合评估标准为网织纤维染色、免疫组织化学染色和流式细胞学检测中≥2个结果提示侵犯。本研究采用SPSS V23.0软件完成统计学分析。结果本组淋巴瘤患者男性占52.3%(185/354);>60岁者占35.0%(124/354)。其中网织纤维染色提示骨髓侵犯率为34.5%(122/354),按照组别依次是:淋巴母细胞白血病/淋巴瘤组(4/4),惰性B细胞淋巴瘤组(49.1%,53/108),转化的B细胞淋巴瘤组(2/5),侵袭性B细胞淋巴瘤组(26.5%,41/155),T和NK细胞淋巴瘤组(27.3%,12/44),经典型霍奇金淋巴瘤组(26.3%,10/38)等;若按照具体类型则常见的为T淋巴母细胞白血病/淋巴瘤(2/2)、B淋巴母细胞白血病/淋巴瘤(2/2)和慢性淋巴细胞白血病/小淋巴细胞淋巴瘤(8/10)。不同性别及年龄分组网织纤维染色分级差异无统计学意义(χ2=3.416,P=0.032;χ2=4.200,P=0.241);但不同病理组别和类型的网织纤维染色阳性率差异有统计学意义(χ2=29.961,P=0.012;χ2=102.546,P=0.001)。同步进行的免疫组织化学染色及流式细胞学检测提示骨髓侵犯率依次为25.4%(90/354)及13.8%(49/354),综合评估总体骨髓侵犯率为24.3%(86/354),网织纤维染色、免疫组织化学染色及流式细胞学检测3种方法的灵敏度依次为90.8%、97.8%、55.8%;特异度依次为84.1%、99.6%、98.9%;网织纤维染色与免疫组织化学染色及流式细胞学检测的总体符合率为83.6%及74.0%。其中侵袭性B细胞淋巴瘤组为85.8%及74.2%;惰性B细胞淋巴瘤组为79.6%及75.0%;T和NK细胞淋巴瘤组为84.1%及75.0%;经典型霍奇金淋巴瘤组为81.6%及73.7%;转化的B细胞淋巴瘤组为5/5及2/5;而淋巴母细胞白血病/淋巴瘤组为4/4和3/4。结论网织纤维染色在评估成人淋巴瘤骨髓侵犯中具有较高的灵敏度和特异度,且与免疫组织化学染色及流式细胞学检测均具有较高的符合率,三者联合使用有助于更精确评估成人淋巴瘤骨髓侵犯情况。

关键词：淋巴瘤骨髓免疫组织化学染色流式细胞学网织纤维染色染色与标记

来源：评论

学校读者我要写书评

暂无评论

金塔南山第四纪构造地貌演化及其对青藏高原北向生长的启示

引用

大地构造与成矿学 2025年第1期49卷 17-33,I0001-I0005页

作者：郑剑磊张进江冯琳古大祥俞晶星栾天翔彭冰柔程楚捷北京大学地球与空间科学学院造山带与地壳演化教育部重点实验室北京100871 紫金矿业集团股份有限公司福建厦门361000 中国地震局地质研究所地震动力学国家重点实验室北京100029

河西走廊是研究青藏高原新生代隆升和扩展的关键地区。金塔南山是位于河西走廊北部的年轻抬升山体,其构造地貌演化对理解青藏高原北向生长过程具有重要意义。本次研究以最新发现的金塔南山第四纪沉积剖面为研究对象,开展了沉积特征分析... 详细信息

河西走廊是研究青藏高原新生代隆升和扩展的关键地区。金塔南山是位于河西走廊北部的年轻抬升山体,其构造地貌演化对理解青藏高原北向生长过程具有重要意义。本次研究以最新发现的金塔南山第四纪沉积剖面为研究对象,开展了沉积特征分析、年代学约束、构造变形分析和物源示踪等研究。结果表明,金塔南山剖面存在一期平行不整合面,将该剖面分为上下两部分:(1)下部层位为河流相地层,由来源于北祁连的碎屑物经过长距离搬运沉积而成,沉积时代为中更新世(0.64~0.60Ma);(2)上部层位为冲积扇相地层,是金塔南山山前近缘快速堆积的产物,沉积时代为晚更新世(118~80ka),明确揭示了金塔南山中更新世时期(0.6~0.1Ma)存在一期构造抬升事件,其构造变形直接控制了区域地貌演化过程:约0.6Ma之前,金塔南山还未显著抬升,来自北祁连山的碎屑物广泛沉积于该地区,形成一个大型的山前古冲洪积平原;0.6~0.1 Ma,北祁连前缘逆冲体系向北扩展至金塔南山断裂,金塔南山发生强烈的构造抬升,成为阻挡河流相地层沉积的地形屏障,造成沉积间断并形成平行不整合面;晚更新世时期(约0.1 Ma),平行不整合面之上堆积了一套来源于金塔南山的近缘冲积扇相沉积物。综合前人研究成果,认为晚新生代以来青藏高原东北缘构造变形向北渐次扩展,河西走廊第四纪以来仍进行着显著的高原北向生长过程。

关键词：河西走廊金塔南山高原生长第四纪沉积记录构造地貌

来源：评论

学校读者我要写书评

暂无评论

胃癌保功能手术的发展现状和前景展望

引用

中华胃肠外科杂志 2025年第2期28卷 127-133页

作者：邢继尧苗儒林陕飞李子禹北京大学肿瘤医院暨北京市肿瘤防治研究所胃肠肿瘤中心、恶性肿瘤发病机制及转化研究教育部重点实验室北京100142

胃癌保功能手术是一种以改善术后功能为核心目标的治疗策略, 在确保肿瘤学安全性的前提下, 通过保留贲门、幽门和迷走神经等重要解剖结构以及消化、分泌、排空和抗反流等关键功能, 最大限度地减少对患者术后生活质量的负面影响。随着新... 详细信息

胃癌保功能手术是一种以改善术后功能为核心目标的治疗策略, 在确保肿瘤学安全性的前提下, 通过保留贲门、幽门和迷走神经等重要解剖结构以及消化、分泌、排空和抗反流等关键功能, 最大限度地减少对患者术后生活质量的负面影响。随着新辅助治疗模式的广泛应用和抗肿瘤药物疗效的不断提高, 保功能手术的应用前景和适应证范围也有望进一步拓展。本文从胃癌保功能手术的主要类型、新辅助治疗后的应用以及新技术探索等方面阐述其发展现状和未来前景。

关键词：胃肿瘤保功能手术新辅助治疗

来源：评论

学校读者我要写书评

暂无评论

结直肠癌手术后并发症的经济影响研究

引用

中华胃肠外科杂志 2025年第1期28卷 41-47页

作者：魏天笑顾庭菲吴舟桥陕飞李子禹季加孚北京大学肿瘤医院暨北京市肿瘤防治研究所胃肠肿瘤中心一病区、恶性肿瘤发病机制及转化研究教育部重点实验室北京100142

目的对结直肠癌术后并发症进行经济影响分析。方法采用回顾性队列研究的方法。纳入2017年3月至2022年3月期间在北京大学肿瘤医院胃肠肿瘤中心一病区接受手术治疗的392例结直肠癌患者,对术后并发症(POC)、住院费用和术后住院时间进行描... 详细信息

目的对结直肠癌术后并发症进行经济影响分析。方法采用回顾性队列研究的方法。纳入2017年3月至2022年3月期间在北京大学肿瘤医院胃肠肿瘤中心一病区接受手术治疗的392例结直肠癌患者,对术后并发症(POC)、住院费用和术后住院时间进行描述性统计。按照术后是否发生并发症建立队列,研究术后POC组与无并发症(non-POC)组术后经济学方面的差异。为了减少潜在混杂因素的影响,采用倾向评分匹配分析。结果392例结直肠癌患者中,90例(23.0%)发生术后并发症,无并发症组302例。两组患者在手术时长、切除范围和造口方面差异存在统计学意义(均P<0.05);其余基线指标差异无统计学意义(均P>0.05)。术后出现吻合口漏的患者中位住院费用为115973元,比non-POC组77059元增加38941元(增长50.5%);术后出现机械性肠梗阻的患者中位住院费用为111477元,比non-POC组增加34418元(增长44.7%);术后出现切口感染的患者中位住院费用为95860元,比non-POC组增加18801元(增长24.4%)。吻合口漏、机械性肠梗阻和切口感染患者中位术后住院时间分别为22.0、22.0和18.5 d,较non-POC组的9.0 d延长分别13.0、13.0和9.5 d。倾向评分匹配后,两组各有68例患者,两组间的术前和术中观察指标差异均无统计学意义(均P>0.05);与non-POC组比较,术后POC组住院费用显著增加(89165元比75437元;P<0.001),术后住院时间明显延长(14.0 d比8.0 d,P<0.001),差异有统计学意义。结论结直肠癌术后并发症会显著增加住院费用和延长住院时间,本项研究为后续卫生经济决策提供了具体准确的参考数据。

关键词：结直肠肿瘤术后并发症经济影响

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：