The morphology of the protection film of AMT formed on bronze has been observed byscanning tunneling microscopy in angstrom scale. Three to five ellipse units join together to forma linear structure. Many such linear ...The morphology of the protection film of AMT formed on bronze has been observed byscanning tunneling microscopy in angstrom scale. Three to five ellipse units join together to forma linear structure. Many such linear structures make up the protection film to prevent corrosionprocess of bronze. After analysis the reactivity of AMT witll Cu (Ⅱ ) by XPS,XAES and IR, theconclusion has been obtained as follow: corrosion product Cu(Ⅱ ) combined with AMT forming acomplex compound which deposits on the bronze from the protection film. The structure has beendescribe in the letter.展开更多
Recently we reported STM THB(Thermochemical Hole Burning) Data Storage. Here we study the influence of pulse voltage and duration on hole size. It is demonstrated that with the increase of pulse voltage and duration, ...Recently we reported STM THB(Thermochemical Hole Burning) Data Storage. Here we study the influence of pulse voltage and duration on hole size. It is demonstrated that with the increase of pulse voltage and duration, the hole size increases correspondingly. Furthermore, theoretical analysis was conducted, which was successfully used to interpret our experimental results.展开更多
文摘The morphology of the protection film of AMT formed on bronze has been observed byscanning tunneling microscopy in angstrom scale. Three to five ellipse units join together to forma linear structure. Many such linear structures make up the protection film to prevent corrosionprocess of bronze. After analysis the reactivity of AMT witll Cu (Ⅱ ) by XPS,XAES and IR, theconclusion has been obtained as follow: corrosion product Cu(Ⅱ ) combined with AMT forming acomplex compound which deposits on the bronze from the protection film. The structure has beendescribe in the letter.
文摘状态迁移矩阵(state transition matrix,简称STM)是一种基于表结构的状态机建模方法,前端为表格形式,后端则具有严格的形式化定义,用于建模软件系统行为.但目前STM不具有时间语义,这极大地限制了该方法在实时嵌入式软件建模方面的应用.针对这一问题,提出了一种基于时间STM(time STM,简称TSTM)的形式化建模方法,通过为STM各单元格增加时间语义和约束,使其适用于实时软件行为刻画.此外,针对TSTM给出了一种基于界限模型检测(bounded model checking,简称BMC)技术的时间计算树逻辑(time computation tree logic,简称TCTL)模型检测方法,以验证TSTM时间及逻辑属性.最后,通过对某型号列控制软件进行TSTM建模与验证,证明了上述方法的有效性.
文摘Recently we reported STM THB(Thermochemical Hole Burning) Data Storage. Here we study the influence of pulse voltage and duration on hole size. It is demonstrated that with the increase of pulse voltage and duration, the hole size increases correspondingly. Furthermore, theoretical analysis was conducted, which was successfully used to interpret our experimental results.
