基于故障树分析的嵌入式系统AADL模型可靠性分析方法

采用架构分析与设计语言(AADL)建立嵌入式系统的半形式化模型,实现从AADL模型到静态故障树(Static Fault Tree,SFT)模型的转换,并根据故障树定量分析法对系统可靠性进行分析。首先结合AADL错误模型附件建立可靠性模型;然后设计了从AADL模型到SFT模型的语义映射规则,并实现了将AADL模型中的基本元素转换为静态故障树中相对应的元素;最后结合飞机车轮刹车系统实例,使用文献中提出的方法对其进行可靠性分析,从而验证 所提方法的可行性和有效性。     

铝厂污泥对低灰熔点气化型煤熔融特性的影响规律

研究了铝厂污泥在弱还原气氛下对福建建兴矿煤(JX)、永安矿煤(YA)和创宏矿煤(CH)熔融特性的影响,考察了添加铝厂污泥前后JX煤灰在不同热处理温度下的矿物组成变化. 结果表明,JX煤灰熔点低是1000℃以上形成低温共熔物引起的;加入铝厂污泥作为阻熔剂可提高JX煤灰的熔融温度,添加量达6%(w)时(以煤灰基计),可使JX煤灰软化温度提高到1250℃以上,满足气化炉固态排渣对灰熔点的要求;加入阻熔剂后,在1000℃以上JX煤灰内形成了莫来石,莫来石在灰渣中起骨架作用,并延缓低温共熔物形成,从而提高了灰熔点.     

生物质油水煤浆成浆特性研究

研究了三种福建无烟煤在不同种分散剂下制备的生物质油水煤浆的成浆性。结果表明:在添加2～5%的水葫芦,15-20%的重油,1%的分散剂,40-45%的粉煤,其余为水,制得的生物质油水煤浆表观粘度均在0.8-1.2Pa.s之间,且稳定性较好。     

3种水果果皮农药残留的初筛检测

目的：应用试纸条速检法了解果皮中有机磷和氨基甲酸酯类农药的残留情况。方法：采用试纸条速检法初步检测3种水果果皮中农药的残留量。结果：番石榴、四季橘、新会茶枝柑青果的果皮农药残留筛检结果均为阴性;3年及以上的茶枝柑陈皮农药残留检测结果的阴性率≥88.89%,快速检测试纸条法和农药残留快速检测仪法对茶枝柑果皮农药残留筛检结果的一致性达到80%。结论：快速检测试纸条法可以用于果皮中农药残留的初筛检测,并能为水果生产中农药的使用管理和进一步服务好农业的生产实践提供基础参考数据。     

密闭电石炉气脱氧催化剂的制备和表征

为脱除密闭电石炉气中体积分数为2%的O₂,制备了以铜为主催化剂,锰和钴为助催化剂,以活性炭为载体的低温高活性脱氧催化剂。在120 ℃,该催化剂可将体积分数为98%的CO、2%的O₂且流量为1.5 L·min^-1的原料气中的O₂脱除至0.2%以下,满足将密闭电石炉气作为化工原料气的要求。正交实验结果表明,催化剂活性组分质量分数为铜6.5%、锰4%和钴0.5%时,能将O₂体积分数脱至0.054 1%。BET比表面积和XRD表征表明,制备的催化剂是一种组分负载量接近其在载体上的单层分散阈值的氧化态Cu-Co-Mn负载型催化剂,其中,Co对活性组分均匀分布于活性炭表面起重要作用。     

基于自适应背景模板与空间先验的显著性物体检测方法

目前,显著性检测已成为国内外计算机视觉领域研究的一个热点,但现有的显著性检测算法大多无法有效检测出位于图像边缘的显著性物体.针对这一问题,本文提出了基于自适应背景模板与空间先验的显著性物体检测方法,共包含三个步骤:第一,根据显著性物体在颜色空间上具有稀有性,获取基于自适应背景模板的显著图.将图像分割为超像素块,提取原图的四周边界作为原始背景区域.利用设计的自适应背景选择策略移除原始背景区域中显著的超像素块,获取自适应背景模板.通过计算每个超像素块与自适应背景模板的相异度获取基于自适应背景模板的显著图.并采用基于K-means的传播机制对获取的显著图进行一致性优化;第二,根据显著性物体在空间分布上具有聚集性,利用基于目标中心优先与背景模板抑制的空间先验方法获得空间先验显著图.第三,将获得的两种显著图进行融合得到最终的显著图.在公开数据集MSRA-1000、SOD、ECSSD和新建复杂数据集CBD上进行实验验证,结果证明本文方法能够准确有效地检测出图像中的显著性物体.