-
在边缘计算环境中基于RISC-V平台的深度学习:硬件与软件支持的探讨
摘要在资源有限的设备中,对始终处于活跃状态的人工智能的需求不断增长,这使得深度学习在边缘设备的部署成为既必要又具有挑战性的任务。这类设备需要具备高效性、可扩展性和灵活性。RISC-V 已经成为现代边缘计算平台的事实标准架构,主要用于处理深度学习工作负载,而这一趋势因越来越多针对推理任务设计的商业解决方案的出现而得到进一步加强。本调查对用于边缘计算的深度学习硬件架构进行了系统分类,这些架构根据其并行处理数据的方式、数据表示方法、数据传输优化方式以及是否采用特定应用的设计进行了划分。同时,还涵盖了相关的支持软件工具,包括硬件-软件协同设计方法、自动调优工具和编译器框架等。最后,本文总结了一系列关键
来源:ACM Computing Surveys
时间:2025-11-08
-
使用NuXMV和GROOVE对Alpha Swarm算法进行规范化和验证
摘要群体机器人系统由众多简单的机器人组成,这些机器人以分散的方式协作以实现共同的目标。由于缺乏中央控制器,确保单个机器人的行为能够产生期望的群体级结果是具有挑战性的。本文使用了两种框架来促进机器人群体的形式化规范和验证:1) NuXMV,它将系统建模为有限状态机,使用时态逻辑指定属性,并通过BDD(行为驱动开发)和SMT(符号模型检测)求解器进行模型验证;2) GROOVE,它将系统建模为图语法,使用带有图形状态的时态逻辑指定属性,并通过特定于图的模型检测算法进行验证。我们通过建模Alpha群体聚合算法来比较这两种形式化方法,该算法确保任何与群体断开连接的机器人(仅能进行短距离无线通信)最终都
来源:Formal Aspects of Computing
时间:2025-11-08
-
基于变化的、基于查询的运行时监控时序属性的基础
摘要在模型驱动工程中,通常通过基于查询的运行时监控来监视具有复杂动态结构的系统行为:运行时模型捕获系统状态的基于图的快照,而感兴趣的属性则通过图查询来表示,并在线对模型进行评估。对于时间属性,具有时间戳记录的快照跟踪被编码到运行时模型中,这些快照通过时间图查询来进行监控。在这种情况下,查询评估需要考虑到跟踪可能是不完整的,因此模型未来的变化可能会影响当前的查询结果。在本文中,我们首次对基于查询的运行时监控进行了全面的形式化处理,该监控用于处理编码了不完整跟踪的时间属性。首先,我们为之前提出的一种查询方法引入了查询评估语义:之前的(普通)语义没有考虑不完整的跟踪,因此可能会返回可能受到模型未来变
来源:Formal Aspects of Computing
时间:2025-11-08
-
有符号社交网络中的影响力最大化:一项综述
摘要影响力最大化(IM)问题因其在计算机科学和社会科学中的应用潜力而受到了广泛关注。最近的研究进展主要集中在无符号社交网络中的正面关系(如朋友、信任等)上。在有符号社交网络中,通过引入正面和负面关系(如敌人、不信任等),影响力最大化问题尚未得到充分研究。因此,本研究探讨了有符号社交网络中的影响力最大化问题。据我们所知,这是首次系统性地研究网络中与极性相关的影响力最大化问题。首先,我们讨论了社交网络的基本概念和极性,为影响力最大化问题的研究奠定了基础。接着,我们描述了有符号社交网络中的信息传播过程和模型。随后,我们对基于极性的影响力最大化算法进行了分析和比较,并对其性能进行了评估。最后,我们探讨
来源:ACM Computing Surveys
时间:2025-11-08
-
比较医疗保险人群中前路颈椎间盘切除术与融合术在住院、门诊及门诊手术中心(ASC)环境下的并发症发生情况及费用
摘要 通俗语言总结 研究设计 这是一项回顾性队列研究。 研究目的 本研究的目的是比较在住院治疗、医院门诊或门诊手术中心(ASC)为Medicare费用报销受益人实施的1-2级前路颈椎椎间盘切除融合术(ACDF)在术后再入院率、并发症和费用方面的差异。 背景数据概述 前路颈椎椎间盘切除融合术(ACDF)越来越多地在门诊环境中进行。目前关于在门诊环境中进行这些手术的安全性和费用差异的
-
患有科斯特洛综合征(Costello Syndrome)的儿童患者中的轨道型横纹肌肉瘤
摘要简而言之 Costello综合征(CS)是由HRAS基因的种系突变引起的。CS患者的横纹肌肉瘤可发生于身体多个部位,但眼眶除外。我们报告了首例CS患者发生眼眶横纹肌肉瘤的病例。这名18个月大的男孩因患有CS而就诊,表现为眼球逐渐突出的症状以及眼周水肿。就诊时,他出现眼球向外下方偏移、结膜充血的现象。紧急进行的计算机断层扫描显示左侧眼眶内有一个肿块,从眼球后部延伸至眼眶顶端,病理检查确诊为胚胎型横纹肌肉瘤。治疗方案包括使用长春新碱、放线菌素D和环磷酰胺进行化疗,并接受了8个周期的光子束放射治疗。12个月的随访显示没有复发或转移病灶的迹象。CS患者发生横纹肌肉瘤的风险较高,临床医生在遇到任何眼
来源:Ophthalmic Plastic & Reconstructive Surgery
时间:2025-11-08
-
C-反应蛋白-白蛋白-淋巴细胞(CALLY)指数与2型糖尿病患者全因死亡率的关系:基于1999–2010年NHANES回顾性队列研究的结果
在当今全球健康问题日益严峻的背景下,糖尿病作为一种慢性代谢性疾病,已成为影响人类健康的重大挑战之一。根据国际糖尿病联盟的数据,截至2021年,全球糖尿病患者已达到5.37亿,预计到2045年这一数字将上升至7.83亿。糖尿病不仅与心血管疾病、慢性肾病等并发症密切相关,还显著增加全因死亡风险。因此,探索一种能够全面评估糖尿病患者健康状况的生物标志物,对于改善临床风险评估、优化个体化治疗策略具有重要意义。近年来,研究者们发现单一的生物标志物难以全面反映糖尿病患者的复杂病理生理变化,特别是在代谢、免疫和炎症之间的交互作用。为此,科学家们提出了多种综合生物标志物,其中C反应蛋白-白蛋白-淋巴细胞(CA
来源:Medicine
时间:2025-11-08
-
红细胞输注量≥2个单位是接受外科治疗的感染性心内膜炎患者长期生存的风险因素
### 研究背景与目的感染性心内膜炎(Infectious Endocarditis, IE)是一种影响心脏瓣膜及心腔内壁的严重感染性疾病。它不仅具有较高的早期死亡率,而且在长期随访中,其死亡率仍然很高。全球范围内,IE的发病率持续上升,且其治疗过程复杂,涉及手术干预、抗生素治疗和长期管理等多个方面。在手术治疗IE的过程中,血液输注是一种常见的辅助治疗手段,用于改善患者的组织供氧能力。然而,关于红细胞(RBC)输注对IE患者长期预后的影响,目前研究较少,缺乏明确的临床指导。本研究旨在探讨红细胞输注对接受心脏手术的IE患者长期生存率的影响。通过回顾性分析2006年至2022年间本院接受心脏手术的
来源:Medicine
时间:2025-11-08
-
中性粒细胞百分比与白蛋白比值的评估作为骨关节炎的诊断生物标志物:一项利用NHANES数据的横断面研究
骨关节炎(Osteoarthritis, OA)是一种全球范围内的重大公共卫生问题,严重影响患者的生活质量。随着人口老龄化趋势的加剧,OA的发病率持续上升,使得其早期诊断和治疗的重要性日益凸显。传统上,OA的诊断依赖于临床评估、影像学检查以及实验室检测,但这些方法可能成本较高,且对部分患者而言不够便捷。因此,寻找一种成本低、易于获取的生物标志物成为研究的重点。近年来,中性粒细胞百分比与白蛋白比值(Neutrophil Percentage to Albumin Ratio, NPAR)作为一种潜在的炎症指标,引起了广泛关注。NPAR是通过测量血液中中性粒细胞百分比与白蛋白浓度的比值来评估全身炎
来源:Medicine
时间:2025-11-08
-
血清胆红素、胆石症与肝胆和胰腺恶性肿瘤之间的因果关系:一项双向双样本孟德尔随机化研究
本研究聚焦于胆结石(cholelithiasis)与血清胆红素水平及肝胆胰恶性肿瘤之间的因果关系。长期以来,对于这些因素之间的因果关系,学界的研究结果并不一致,存在争议。为了尽可能控制混杂因素并排除反向因果关系的影响,研究采用了孟德尔随机化(Mendelian randomization, MR)方法,对不同暴露因素与肝胆胰恶性肿瘤的因果联系进行了深入分析。研究选取了四个暴露因素,包括胆结石、总胆红素、直接胆红素和间接胆红素,并利用双样本和双向MR方法进行分析。研究发现,直接胆红素与胆囊癌之间存在显著的因果关系,而其他暴露因素则未显示出与肝胆胰恶性肿瘤的显著因果联系。### 一、背景与研究意义
来源:Medicine
时间:2025-11-08
-
肥胖患者接受全膝关节置换术后住院时间:一项单中心研究
膝关节骨关节炎(Knee Osteoarthritis, OA)是全球骨关节炎负担的主要组成部分,约占全球OA总负担的80%。根据研究,40岁及以上人群的全球总体患病率高达22.9%(95%置信区间为19.8%至26.1%)。这种疾病不仅严重影响患者的生活质量,还对医疗系统带来沉重的负担。随着人口老龄化和生活方式的变化,OA的患病率持续上升,尤其是在肥胖和高龄人群中更为常见。因此,寻找有效的治疗方法和优化术后管理成为医疗领域的重要课题。全膝关节置换术(Total Knee Arthroplasty, TKA)作为治疗严重膝关节骨关节炎的一种重要手段,因其能够显著缓解疼痛、改善关节功能和提高生活
来源:Medicine
时间:2025-11-08
-
系统性免疫炎症指数与癌症患者体重指数之间的关联:一项基于2013至2018年NHANES数据的横断面研究
在现代医学研究中,肥胖已成为全球范围内一个重要的公共卫生问题,其影响不仅限于心血管疾病和代谢综合征,还与多种癌症的发生和发展密切相关。随着肥胖人群的不断扩大,探索其与癌症患者免疫炎症状态之间的潜在联系,对于理解癌症的发病机制、优化治疗策略以及改善患者预后具有重要意义。本文研究了系统性免疫炎症指数(SII)与身体质量指数(BMI)之间的关系,旨在揭示肥胖如何通过系统性炎症对癌症患者的免疫系统产生影响,并探讨SII作为衡量这种系统性炎症状态的指标是否能够反映BMI的变化趋势。SII是一种基于血常规检测结果的综合生物标志物,由血小板计数、中性粒细胞计数和淋巴细胞计数共同构成。它通过计算血小板和中性粒
来源:Medicine
时间:2025-11-08
-
开发并验证一种诺模图,用于预测未接受手术治疗的老年胰腺癌患者的总生存期
胰腺癌(Pancreatic Cancer, PC)是一种高度恶性的消化系统肿瘤,其预后通常较差。近年来,随着医学技术的发展,PC的筛查和诊断手段有所进步,但其发病隐匿、进展迅速的特点使得多数患者在确诊时已处于晚期,且超过一半的病例在诊断时已发生转移,80%以上的患者无法接受手术治疗。因此,针对非手术治疗的胰腺癌患者,尤其是老年群体,准确评估其生存预后对于制定个体化治疗方案具有重要意义。本研究聚焦于年龄大于65岁的非手术治疗胰腺癌患者,旨在识别影响其总体生存率(Overall Survival, OS)的关键预后因素,并建立一个能够准确预测患者1年、2年和3年生存率的模型。研究数据来源于美国国
来源:Medicine
时间:2025-11-08
-
FZD4基因的一种新变异导致家族性渗出性玻璃体视网膜病变:病例报告与文献综述
本文探讨了一例由新型 *FZD4* 基因突变引起的家族性渗出性玻璃体视网膜病变(FEVR)病例。FEVR 是一种遗传性眼病,主要影响视网膜血管的发育,可能导致视力受损甚至失明。由于该疾病的临床表现高度异质性,早期诊断和干预对于改善预后至关重要。本研究通过临床观察与基因检测相结合,揭示了 *FZD4* 基因突变在 FEVR 发病机制中的作用,并强调了在新生儿期进行眼底筛查和基因分析的重要性。在临床实践中,FEVR 的诊断通常依赖于眼底检查,特别是对视网膜血管发育异常的识别。本案例中的新生儿在出生后第3天接受了 RetCam III 眼底成像系统的筛查,结果显示右眼颞侧存在白色分界线,左眼则出现了
来源:Medicine
时间:2025-11-08
-
血清Sema5A和IGFBP-3在伴有甲状腺功能亢进的2型糖尿病中的临床意义
本研究探讨了在患有2型糖尿病(T2DM)的患者中,同时患有甲状腺功能亢进(HT)的临床意义。随着生活方式的改变和人口老龄化,T2DM的发病率在全球范围内持续上升,已成为影响人类健康的重大慢性代谢性疾病之一。与此同时,HT作为一种常见的内分泌和代谢障碍,其特征是甲状腺激素分泌过多,导致代谢速率加快,可能引发一系列生理变化,如体重减轻、心悸、焦虑和多汗等。值得注意的是,T2DM与HT的共存现象在临床上并不罕见,但目前关于两者共同存在的代谢异常机制仍不完全明确。因此,本研究旨在分析T2DM合并HT患者中血清Sema5A和IGFBP-3水平的变化,以及它们与葡萄糖代谢指标之间的关系,探索这些生物标志物
来源:Medicine
时间:2025-11-08
-
慢性胆石症引起的瓷样胆囊伴充盈性胆结石:病例报告及简要文献综述
这篇病例报告描述了一位54岁女性患者,她因长期的右上腹疼痛和消化不良,被诊断为慢性胆囊结石。尽管她长期坚持非手术治疗,但最近一次急诊腹部CT检查发现胆囊壁呈现典型的“瓷化”影像学特征,最终决定进行腹腔镜胆囊切除术。术后病理证实为瓷化胆囊(Porcelain Gallbladder, PG),但未发现癌细胞。患者在术后一个月的随访中恢复良好,且无手术相关并发症。此案例为探讨瓷化胆囊的临床特征、诊断方法及手术治疗策略提供了新的视角。瓷化胆囊是一种罕见的胆囊疾病,其特征是胆囊壁出现钙化现象,常与慢性胆囊疾病相关。尽管该病的名称听起来像是某种病理状态,但实际上它代表了一种特殊的胆囊钙化表现。这种现象在
来源:Medicine
时间:2025-11-08
-
铁代谢状态与心力衰竭之间的因果关联:一项双样本双向孟德尔随机化研究
### 铁代谢与心力衰竭的因果关系研究心力衰竭(Heart Failure, HF)是一种严重的心血管疾病,其特征是心脏无法有效泵血以满足身体组织的代谢需求。随着医学研究的深入,人们逐渐认识到铁代谢在HF发病机制中的潜在作用。铁是人体必需的微量元素,参与多种生物过程,包括能量代谢、氧气运输、氧化还原反应等。然而,铁水平的异常(无论是缺乏还是过量)都可能对心血管系统产生不利影响。研究发现,HF患者常常表现出循环系统铁缺乏和心肌组织铁过载的双重现象。这种复杂的铁代谢紊乱不仅与贫血和运动能力下降有关,还可能通过诱导铁死亡(ferroptosis)加剧心脏损伤。因此,理解铁代谢与HF之间的因果关系对于
来源:Medicine
时间:2025-11-08
-
皮肤病医师协会2025年秋季年会摘要,会议时间为2025年11月5日至9日
在现代医学研究中,针对皮肤疾病治疗的新药和新疗法的临床试验和真实世界研究为改善患者的皮肤状况和生活质量提供了重要数据。这些研究不仅评估了药物的疗效,还关注了其安全性和长期使用的效果。以下是对几项关键研究的综合解读。### 1. Abrocitinib 对中重度特应性皮炎(AD)的疗效评估一项名为 JADE DARE 的研究分析了 abrocitinib 单药治疗在不同身体部位对 AD 症状改善的效果。结果显示,在治疗开始的第 2 周,abrocitinib 在所有身体部位的 AD 症状改善程度均高于 dupilumab,包括红斑、硬结/丘疹、搔抓和苔藓样变等。然而,到第 26 周时,两种药物在
来源:Journal of Dermatology for Physician Assistants
时间:2025-11-08
-
探索血清代谢物与口腔癌之间的关系:一项孟德尔随机化研究
```section> 摘要 通俗语言总结 背景: 口腔癌是一种常见的恶性肿瘤,约占所有肿瘤的5%到6%。这种疾病的5年生存率约为50%。然而,口腔癌的早期症状往往不明显,容易被忽视,导致误诊或漏诊的情况频繁发生。尽管一些先前的研究探讨了口腔癌与血清代谢物之间的关联,但确切的关系仍不清楚。因此,开发有效的早期诊断方法并探索口腔癌的发病机制对于提高患者的生存率和生活质量至关重要。 方法: 这项孟德尔随机化(MR)研究利用了全基因组关联研究(GWAS)目录来获取将486种血清代谢物与口腔癌联系起来的工具变量(IVs)。随后进行了因果分析,以血清代谢物作为暴露因素,口
来源:Journal of Craniofacial Surgery
时间:2025-11-08
-
对接受连续肾脏替代治疗(CRRT)并采用区域柠檬酸盐抗凝的患者中出现的离子化低钙血症的故障排除
摘要通俗语言总结 区域性柠檬酸盐抗凝(RCA)是连续性肾脏替代疗法(CKRT)中首选的抗凝方法,前提是其使用不会导致体内柠檬酸盐过度积累。RCA的一个主要问题是与CKRT过程相关的离子化低钙血症。这种情况可能由两个主要原因引起:体内柠檬酸盐积累或血浆中钙的净丢失。当CKRT回血中的柠檬酸盐负荷超过身体代谢能力时,就会发生体内柠檬酸盐积累;而当通过血液滤器丢失的钙以及从细胞外液空间(由于组织隔离)丢失的钙超过补充的钙量时,就会发生钙的净丢失。这篇基于案例的综述概述了与RCA相关的低钙血症,并提供了在床边进行评估和管理的框架。 通俗语言总结区域性柠檬酸盐抗凝(RCA)在连续性肾脏替代疗法(CKRT
来源:ASN Publications
时间:2025-11-08