针对工业界实现的无线抄表路由协议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协议的网络层接收函数实现与协议规范的相符性。展开更多
Cell therapy was proposed as a potential treatment intervention for liver cirrhosis recently due to the fact that the therapeutic protocol for primary biliary cirrhosis (PBC)-associated refractory umbilical hernia and...Cell therapy was proposed as a potential treatment intervention for liver cirrhosis recently due to the fact that the therapeutic protocol for primary biliary cirrhosis (PBC)-associated refractory umbilical hernia and hepatic hydrothorax is not well defined currently. We report herein the case of a 58-year-old woman who received routine treatments for PBC, which developed into an incarcerated hernia and uncontrolled hydrothorax. This subject’s condition was significantly improved and maintained stable condition after receiving human umbilical cord blood-derived mononuclear cell (CBMC) transplantation. Consequently, this new strategy may be a potential treatment option for the refractory umbilical hernia and hydrothorax caused by PBC. However, sufficient data from large-scale controlled and double-blinded clinical trials are needed to further confirm the treatment efficacy and longterm safety before this cell transplantation can be used as a regular therapy for liver cirrhosis.展开更多
文摘针对工业界实现的无线抄表路由协议WM2RP(Wireless Meter Reading Routing Protocol),提出将CBMC有界模型检测工具运用到该协议实现的验证方法。WM2RP协议实现是嵌入式C程序,CBMC工具主要针对嵌入式软件的验证,运用CBMC对WM2RP进行验证十分适用。CBMC能够直接对C/C++源码进行验证,这样不仅省去了传统模型检测技术需要对代码抽象建模的工作,而且不用担心模型和代码之间可能存在的不一致性问题。首先利用CBMC系统自生成断言验证技术,找到WM2RP协议实现中可能存在的漏洞,并对实现协议的公司给予反馈。然后进一步借助CBMC提供的用户自定义断言技术,通过自定义断言的插入以及对实现代码的适当处理,验证了WM2RP协议的网络层接收函数实现与协议规范的相符性。
文摘Cell therapy was proposed as a potential treatment intervention for liver cirrhosis recently due to the fact that the therapeutic protocol for primary biliary cirrhosis (PBC)-associated refractory umbilical hernia and hepatic hydrothorax is not well defined currently. We report herein the case of a 58-year-old woman who received routine treatments for PBC, which developed into an incarcerated hernia and uncontrolled hydrothorax. This subject’s condition was significantly improved and maintained stable condition after receiving human umbilical cord blood-derived mononuclear cell (CBMC) transplantation. Consequently, this new strategy may be a potential treatment option for the refractory umbilical hernia and hydrothorax caused by PBC. However, sufficient data from large-scale controlled and double-blinded clinical trials are needed to further confirm the treatment efficacy and longterm safety before this cell transplantation can be used as a regular therapy for liver cirrhosis.
