排序方式: 共有17条查询结果,搜索用时 0 毫秒
11.
12.
数组越界是软件中普遍存在的一种故障类型,并对软件安全造成了潜在的威胁.传统的故障检测使用程序插装的方法,并相应的以编译优化技术来排除掉多余的数组边界检查.这种检测方法不仅降低了程序运行效率,增加了开销,而且往往不能对故障进行彻底的测试,容易造成漏报.本文在对程序进行静态分析的基础上,通过引入区间概念,建立了整型区间集和数组区间集,进而给出了数组越界的故障模型,模型的建立对软件故障进行了规范.本文随后给出了故障检测算法,最后给出了实验.结果表明这种方法比以往的测试方法具有更强的故障检测能力. 相似文献
13.
将经油酸改性的纳米高岭土用作润滑添加剂,利用四球摩擦试验机研究了其在#40机油中的减摩行为。利用扫描电子显微镜、X射线光电子能谱仪、Fourier变换红外光谱仪、Raman光谱仪、比表面积测定仪和热重分析仪等手段对摩擦接触面和摩擦前后纳米颗粒的性质进行表征。结果表明:润滑油中的纳米颗粒粘附在摩擦接触面上,并与摩擦副发生摩擦化学反应,最终在摩擦接触面上生成富含Si、Al、Fe、O和C等元素化合物的自修复保护膜,阻止摩擦副间直接接触,从而降低摩擦、减少磨损;尤其当纳米颗粒在基础油中的质量分数为1.0%时,摩擦副的平均摩擦系数和磨斑直径最小,与纯基础油时相比,分别降低了约23%和16%,且表面更为平整、犁沟更浅。与摩擦前相比,摩擦后的纳米高岭土性质(如颗粒尺寸、晶体结构等)也有所变化。另外,讨论了在润滑油中纳米高岭土的减摩原理。 相似文献
14.
15.
16.
17.
PNiTa-PZT三元系压电陶瓷性能 总被引:1,自引:0,他引:1
采用传统陶瓷工艺制备了0.02Pb(Ni1/3Ta2/3)O3+0.98Pb(ZrxTi1–x)O3(x=0.50~0.55,PNiTa-PZT)三元系压电陶瓷,研究了n(Zr)/n(Ti)变化对陶瓷性能的影响。结果表明:随其比值的变化,陶瓷样品均为钙钛矿结构,且对陶瓷显微结构影响不大;当n(Zr)/n(Ti)为52/48时,陶瓷具有较优的压电、介电性能:kp为0.583,d33为266pC/N,tC为394℃,tanδ为0.0055,ε3T3/ε0为1297。其中tC比目前文献报道的PZT基压电材料高30~50℃,有望在高温压电陶瓷领域获得应用。 相似文献