基于TPM的可信文件系统CIVFS的研究和实现

本文提出一种利用可信计算技术增强文件系统可信性的方法,以Linux为基础,设计实现了一个可信文件系统原型CIVFS.CIVFS是一个结合加密和完整性校验两种保护措施的文件系统,它借助堆式文件系统技术,嵌入在Linux内核中,添加了文件加密和完整性校验模块,利用TPM芯片提供的可信计算和安全存储等功能,增强了对系统安全组件和数据的安全保护.     

气相色谱-串联质谱法测定5种植物源性食品中氯肽酸和草芽畏残留量

摘 要: 目的 建立气相色谱-串联质谱法测定水果、蔬菜、茶叶、粮谷及花生油等植物源食品中氯肽酸和草芽畏两种农药残留的分析方法。方法 针对非油基质样品, 选取柚子、生菜、茶叶及小麦粉样品, 经2%甲酸乙腈溶液提取, 三甲基硅烷化试剂衍生, MAS-Q盐包吸附色素等杂质, 再经HLB柱净化的前处理方法; 针对含油基质, 选取花生油样品, 经甲醇提取, 三甲基硅烷化试剂衍生, 再经HLB柱净化。净化后样品用气相色谱-串联质谱仪进行检测。结果 为消除基质效应影响,补偿前处理提取过程中的损失,采用过程标准校正法, 两种农药在不同基质样品中呈现良好的线性关系, 相关系数均大于0.99。在0.01、0.02、0.05 mg/kg加标水平下, 两种农药在不同基质中的回收率均在93.6%~113.6%之间, 相对标准偏差在0.9%~9.8%之间 (n=6)。结论 该方法灵敏度高, 选择性好, 在水果、蔬菜、粮谷、乃至茶叶、花生油等复杂基质中, 氯酞酸和草芽畏的定量限均可达到0.01 mg/kg, 满足GB 2763-2021《食品安全国家标准 食品中农药最大残留限量》临时限量的要求。     

WinCE系统中MLC型闪存的编程支持研究

基于WinCE6．0操作系统,以实现WinCE下驱动程序对MLCNAND闪存的支持及其驱动程序性能的提高为目的。介绍了NAND闪存驱动程序的整体架构;对Fish抽象层的功能及地址映射关系的建立进行分析,讨论了引用版本号的概念为MLCNAND闪存建立地址映射关系的过程,使Flash抽象层程序可以支持MLCNAND;对Flash介质驱动层进行分析,介绍了采用两片编程技术提高驱动性能的原理与实现,及4位EOC校验的步骤;经对两片编程与单片编程方式的写速度测试,结果表明前者比后者速度提高了92．2％。     

基于卷积神经网络的车道线语义分割算法

针对车道线检测环境复杂,光照变化复杂等特点,提出了一种新型车道线检测方法。首先运用可变形卷积神经网络提取特征,然后通过对白天、夜晚、雨天等复杂光照条件下的KITTI道路数据集进行联合训练,端到端获取车道线上下文信息。建立结构化道路车道线网络模型,进而对车道线进行图像语义分割,并判断车道线类型。该模型预测车道线像素所属的场景语义类别,实现车道线实时检测。实验结果表明,该方法具有较好的准确性和实时性,在多场景结构化道路上的车道线识别率可达96.83%。     

超长多层分离式挠性印制电路板层压质量改善研究

文章主要对超长(≥800 mm)多层分离式挠性印制板层压工艺进行研究,从优化文件设计,优化层压排板方式,优化压合参数等解决层压涨缩、层压偏移、层压白斑等常见质量问题,为后续批量化生产奠定技术基础.     

基于自适应无迹卡尔曼滤波的四旋翼无人机姿态解算

无人机在航姿模式下飞行时,姿态角误差波动较大,根据磁力计、加速度计和陀螺仪的互补性特点,提出一种自适应无迹卡尔曼滤波(AUKF)算法对MEMS传感器数据进行优化求解：以姿态四元数和陀螺漂移为状态量,加速度计和磁力计测量值为观测量,采用梯度下降法优化无迹卡尔曼滤波的关键参数,即过程噪声协方差,以提高四旋翼无人机姿态解算精度。对实际飞行数据的分析表明：分别与常规卡尔曼滤波和传统无迹卡尔曼滤波算法相比,该方法精度最高,可确保小型无人机在各种情况下飞行的稳定性。     

基于标准的智慧矿山安全管理模型与体系研究

矿业行业对支撑国民经济发展起到关键性作用,智慧矿山是转变煤炭行业发展方式和促进行业高质量发展的引擎驱动力,矿山安全是智慧矿山建设的重要议题之一。数字矿山与智慧矿山建设的背景下,首要任务是提升智慧矿山安全管理水平,安全标准化是实现智慧安全管理的重要驱动力。首先,探析安全标准视域下矿山安全管理的核心概念。其次,构建基于标准的智慧矿山安全管理模型,并剖析其内涵。最后,提出基于标准的智慧矿山安全管理体系。研究表明,安全标准视域下矿山安全管理的本质是基于安全标准的管理活动,基于标准的智慧矿山安全管理模型是实现智慧矿山安全管理的方法与工具,基于标准的智慧矿山安全管理体系是实现智慧矿山安全管理的基础和保障。     

一种半隐式的气动弹性时域求解方法

针对结构小幅运动、流动强非线性的气动弹性问题,基于Adams 隐式方法发展了一种半隐式的线性多步法(SILMS)。将隐式的广义气动力项采用显式插值求解,结构项仍采用隐式格式计算,该方法融合了显式方法耦合简单和隐式方法稳定性好的特点。结构运动采用模态坐标描述,流动方程应用计算流体力学(CFD)技术求解,二者采用松耦合方法进行时域推进。算例计算了一个标准气动弹性模型(Isogai wing)的颤振结果,并与几种经典的时域模拟方法进行了比较,证明该方法具有效率高、稳定性好、精度高的优点。     

基于非结构自适应网格技术的高超声速流动数值模拟

发展了一种基于非结构网格的自适应方法,对高超声速无粘流场进行了数值模拟。根据流场参数的变化梯度确定加密边,由加密准则进行自适应网格剖分后得到分布合理的较密网格。通过预先生成的初始极密表面网格将边界的加密点投影到边界上,使得边界保持初始外形。通过求解三维Euler 方程,对三维双椭球高超声速绕流问题进行了数值模拟,计算结果和实验数据相吻合,表明了该文所建立方法的正确性和可靠性。