多孔氧化铝模板中交流沉积钴纳米线阵列

利用二次阳极氧化法制备了多孔氧化铝模板(PAM).用交流电化学沉积方法成功地在模板孔道内制备了Co纳米线.采用扫描电子显微镜(SEM)、X射线衍射仪(XRD)对Co纳米线的形貌、晶体结构进行了研究.结果表明,模板的孔径均匀,孔道平直.Co纳米线均匀分布在PAM纳米孔隙中,直径与PAM孔径一致,约50 nm,并沿Co(111)晶面择优生长.     

交流电化学沉积铜纳米线阵列及其机理探讨

利用二次阳极氧化的方法制备孔高度有序的阳极氧化铝(AAO)为模板,采用交流电化学沉积方法,在AAO模板孔道内制备Cu纳米线。采用扫描电子显微镜(SEM)、透射电子显微镜(TEM)和X射线衍射仪(XRD)对Cu纳米线的形貌、晶体结构进行研究。结果表明:模板的孔径均匀,孔道平直。Cu纳米线均匀分布在AAO模板纳米孔隙中,直径均一,并沿Cu(Ⅲ)晶面择优生长;AAO模板孔道生长铜纳米线不光滑,成凹凸状,并对此沉积机理进行探讨。     

基于约束分析与模型检测的代码安全漏洞检测方法研究

与传统的程序分析相比,模型检测具有较高的检测精度,但无法将其直接应用于缓冲区溢出、代码注入等安全漏洞的检测.为解决此问题,提出了基于约束分析与模型检测相结合的安全漏洞自动检测方法.首先,通过约束分析跟踪代码中缓冲区的信息,在涉及缓冲区操作的危险点生成相应的属性传递和属性约束语句,并将安全漏洞检测问题转化为模型检测方法可接受的可达性检测问题.然后,采用模型检测方法对安全漏洞的可达性进行判断.同时采用程序切片技术,以减少状态空间.对6个开源软件的检测结果表明,基于该方法实现的CodeAuditor原型系统发现了18个新漏洞,误报率为23％.对minicom的切片实验显示,检测性能有较大提高.     

交流电化学沉积FeCo合金纳米线阵列及其磁性能研究

采用二步阳极氧化法制备孔结构高度有序的多孔氧化铝(AAO)模板。在不同Fe2+/Co2+摩尔比的电解液中,利用交流电化学沉积,在模板孔内成功制备了FeCo合金纳米线阵列。分别采用透射电子显微镜(TEM),场发射扫描电子显微镜(FE-SEM),X射线衍射仪(XRD)和震动样品磁强计(VSM)对样品的形貌,结构及磁学性能进行了表征。结果表明,制备的FeCo合金纳米线排列有序,粗细均匀;其直径与模板孔径一致,填充率较高,且具有明显的[110]择优取向。VSM测试结果表明,不同溶液浓度下制备的FeCo合金纳米线阵列均具有良好的垂直磁各向异性,易磁化轴沿着纳米线轴线方向。随着电解液Fe2+/Co2+摩尔比的不同,可在一定范围内对FeCo合金纳米线阵列的磁性进行调控,并对其原因进行了讨论。