针对工业界实现的无线抄表路由协议WM2RP(Wireless Meter Reading Routing Protocol),提出将CBMC有界模型检测工具运用到该协议实现的验证方法。WM2RP协议实现是嵌入式C程序,CBMC工具主要针对嵌入式软件的验证,运用CBMC对WM2RP进行验证...针对工业界实现的无线抄表路由协议WM2RP(Wireless Meter Reading Routing Protocol),提出将CBMC有界模型检测工具运用到该协议实现的验证方法。WM2RP协议实现是嵌入式C程序,CBMC工具主要针对嵌入式软件的验证,运用CBMC对WM2RP进行验证十分适用。CBMC能够直接对C/C++源码进行验证,这样不仅省去了传统模型检测技术需要对代码抽象建模的工作,而且不用担心模型和代码之间可能存在的不一致性问题。首先利用CBMC系统自生成断言验证技术,找到WM2RP协议实现中可能存在的漏洞,并对实现协议的公司给予反馈。然后进一步借助CBMC提供的用户自定义断言技术,通过自定义断言的插入以及对实现代码的适当处理,验证了WM2RP协议的网络层接收函数实现与协议规范的相符性。展开更多
The Ti_(2)AlN-reinforced TiAl(WMS)composites with different contents of Ti_(2)AlN were prepared by an in situ method of reactive arc-melting technique.According to the results of X-ray diffraction(XRD)analysis,the Ti_...The Ti_(2)AlN-reinforced TiAl(WMS)composites with different contents of Ti_(2)AlN were prepared by an in situ method of reactive arc-melting technique.According to the results of X-ray diffraction(XRD)analysis,the Ti_(2)AlNreinforced WMS composites consist ofγ-TiAl,α_(2)-Ti_(3)Al,and Ti_(2)AlN phases.Microstructure analysis results indicate that Ti_(2)AlN reinforcements with rod-like in shape form in the WMS matrix with aα_(2)/γlamellar structure containing some bulk y phases.With volume fraction of Ti_(2)AlN increasing,the grain size of the composites decreases significantly and the elasticity modulus(E)increases.The compressive strength and compressive fracture strain of the composite with 3 vol%Ti_(2)AlN have a maximum value of 1,654 MPa and 22.5%,respectively,which are approximately improved by 45.84%and 29.31%,respectively,compared with that of the unreinforced WMS alloy.展开更多
文摘针对工业界实现的无线抄表路由协议WM2RP(Wireless Meter Reading Routing Protocol),提出将CBMC有界模型检测工具运用到该协议实现的验证方法。WM2RP协议实现是嵌入式C程序,CBMC工具主要针对嵌入式软件的验证,运用CBMC对WM2RP进行验证十分适用。CBMC能够直接对C/C++源码进行验证,这样不仅省去了传统模型检测技术需要对代码抽象建模的工作,而且不用担心模型和代码之间可能存在的不一致性问题。首先利用CBMC系统自生成断言验证技术,找到WM2RP协议实现中可能存在的漏洞,并对实现协议的公司给予反馈。然后进一步借助CBMC提供的用户自定义断言技术,通过自定义断言的插入以及对实现代码的适当处理,验证了WM2RP协议的网络层接收函数实现与协议规范的相符性。
基金financially supported by the National Basic Research Program of China(No.2011CB605503)the Program of Introducing Talents of Discipline to Universities(No.B08040)。
文摘The Ti_(2)AlN-reinforced TiAl(WMS)composites with different contents of Ti_(2)AlN were prepared by an in situ method of reactive arc-melting technique.According to the results of X-ray diffraction(XRD)analysis,the Ti_(2)AlNreinforced WMS composites consist ofγ-TiAl,α_(2)-Ti_(3)Al,and Ti_(2)AlN phases.Microstructure analysis results indicate that Ti_(2)AlN reinforcements with rod-like in shape form in the WMS matrix with aα_(2)/γlamellar structure containing some bulk y phases.With volume fraction of Ti_(2)AlN increasing,the grain size of the composites decreases significantly and the elasticity modulus(E)increases.The compressive strength and compressive fracture strain of the composite with 3 vol%Ti_(2)AlN have a maximum value of 1,654 MPa and 22.5%,respectively,which are approximately improved by 45.84%and 29.31%,respectively,compared with that of the unreinforced WMS alloy.
