面向访问验证保护级的安全VMM形式化原型系统设计和实现

操作系统是计算机软件系统的基础,具有控制逻辑复杂、安全性和可靠性要求高等特点。在国内外高等级安全操作系统的规范和标准中,都提出了对内核进行形式化规范和验证的要求。近年来国内相关研究机构相继开发了满足GB 17859-1999"强制访问控制级"和"结构化保护级"的安全操作系统原型,但对更高级别的安全操作系统的研发尚属空白。在"面向访问验证保护级安全操作系统"课题的研究中,设计并实现了一个基于Haskell的安全VMM原型系统——CASVisor。CASVisor严格定义了系统的形式化规范,可用于指导高性能的C程序的实现,并为形式化的分析和验证打下基础,同时CASVisor具备模拟功能,以便实施基于快速原型的开发方法。

一种并发程序原子性错误的检测方法及工具

原子性错误的检测对于多线程程序并发错误的分析有着重要意义,其检测难点在于从违反原子性的情况中识别出会导致程序出错的执行序列。为了解决这个问题,采用测试训练提取原子性迁移对集合以及模型检测方法,提出原子性错误自动检测算法MC-AVIO。基于MC-AVIO实现原子性错误检测工具AtomFinder,通过对多组开源软件的测试,证明MC-AVIO对原子性错误的检测是有效的。

一种基于单条程序执行路径的错误定位方法

当程序在测试中发生错误时,将形成一条错误的程序执行路径,程序员将会花费很多精力去检测程序代码和定位最终的程序错误.提出一种基于单条程序执行路径的错误定位方法,该方法通过对程序进行反向执行,计算出多个最弱前置条件及其相对应的疑似错误语句集,并生成错误定位树,来辅助程序员进行快速错误定位.对西门子测试数据集进行的实验表明了该方法具有良好的效果.

右旋糖酐铁结合健脾生血颗粒对缺铁性贫血患儿血红蛋白水平的影响

目的探讨右旋糖酐铁结合健脾生血颗粒治疗缺铁性贫血患儿对血红蛋白水平的影响。方法回顾性分析2018年9月—2019年12月我院收治的65例缺铁性贫血患儿的临床资料,根据治疗方案的不同将其随机分为对照组(基础治疗+右旋糖酐铁,33例)与观察组(基础治疗+右旋糖酐铁+健脾生血颗粒,32例),对比2组患儿血红蛋白(Hb)、平均红细胞血红蛋白含量(MCH)、平均血红蛋白浓度(MCHC)及红细胞平均体积(MCV)水平及不良反应。结果2组患儿治疗前Hb、MCH、MCHC、MCV水平比较,差异无统计学意义(P>0.05);2组患儿治疗后Hb、MCH、MCHC、MCV水平均比治疗前高,且观察组高于对照组,差异有统计学意义(P<0.05);2组不良反应总发生率比较,差异无统计学意义(P>0.05)。结论右旋糖酐铁结合健脾生血颗粒治疗缺铁性贫血患儿可显著改善血红蛋白水平,缓解贫血症状,且不良反应较少,安全性高。

RISC-V技术及生态专题前言

RISC-V作为一个开放的指令集架构标准,已经在产业界和学术界产生广泛影响,被《麻省理工科技评论》评选为2023年“全球十大突破性技术”之一.随着RISC-V技术在高性能、安全、并行计算等领域的进一步发展,必然会迎来新的挑战和机遇.今年的专题采取了自由投稿和定向邀请相结合的方式,共收到9篇稿件,其中8篇通过了形式审查.特约编辑先后邀请了12位相关领域专家参与审稿工作,每篇投稿至少邀请2位专家进行评审.稿件经初审、多轮复审、终审,并在RISC-V技术及生态研讨会上进行报告,最终有4篇论文入选本专题.这些论文涵盖了RISC-V平台的指令追踪、内存安全、操作系统及向量扩展优化等诸多方面的内容.

社区儿童保健的实施对婴幼儿生长发育的影响

对实施社区儿童保健对婴幼儿生长发育的影响进行分析,并对护理效果进行观察。方法:研究样本选取我院出生的88例婴儿,将其分为观察组和对照组。分别应用常规护理和儿童保健,对两组婴幼儿的护理质量进行分析。结果:在实施社区儿童保健后,观察组身高、体重、胸围和头围各项身体指标显著优于对照组,P<0.05。结论:在婴幼儿护理中应用社区儿童保健,能取得非常显著的保健效果,对婴幼儿身高、体重、头围以及胸围进行明显改善,促进婴幼儿生理和心理健康水平的显著提高。