Büchi自动机的优化综述

对Büchi自动机进行优化是提高基于自动机的模型检测效率的重要手段.对直接模拟关系、延迟模拟关系和公平模拟关系的概念,进行了比较,并探讨了基于这些模拟关系的自动机优化方法.基于左右语言的优化是完全基于自动机理论的优化方法,于是深入探讨了利用左右语言对Büchi自动机的优化绍方法.最后对未来的研究方向作了简要的介绍.     

炎症显像剂99Tcm-LVFX的标记与动物实验研究

核医学影像检查对炎症疾病的诊断有独特的价值,标记抗生素是近来新开发的一类炎症显像剂。本文用Tc标记了左旋氧氟沙星(LVFX),研究其生物分布和动物模型的显像结果。使用酒石酸亚锡作为还原剂,快速标记LVFX。研究了^99Tc^m-LVFX在炎症动物模型内的生物分布和炎症动物模型注射^99Tc^m-LVFX后的显像结果。结果表明标记方法简单迅速,标记物稳定。生物分布和显像结果均表明^99Tc^m-LVFX在炎症组织内有较高的摄取。研究提示^99Tc^m-LVFX是一种潜在的炎症显像剂。     

锚杆静压桩设计理论探讨

分析了各学者在锚杆静压桩理论与实践上的贡献,简述了锚杆静压桩的工作原理和目前采用的设计方法.通过阐述复合地基理论,表明目前锚杆静压桩设计方法的不足.提出了采用复合地基理论的建议锚杆静压桩设计理论,实例表明该设计理论是合理可靠的,可以节省大量投资,产生可观的经济效益和社会效益.     

IEEE1394接口——从数码摄像机到PC的桥梁

随着电子技术的不断发展,DV(数码摄像机)、PC(个人计算机)也越来越“平民化”了,走进了百姓家庭,怎样才能更好运用它们,捕捉、编辑、制作出自己真正想要的视频影像作品呢? 一、IEEE1394接口的基础知识DV一般都有两个连接计算机的接口:一是串口或者USB接口,另一个是IEEE1394接口。由于串口及USB口传输速度较慢,一般用来采集静态图像。而IEEE1394接口则允许每台设备的最大传输速度达400Mbps,适合采集DV视频。     

软件模型检测中的抽象

软件模型检测对保证软件的正确性和可靠性具有十分重要的意义，而抽象是减轻模型检测中状态爆炸问题最重要的技术之一。本文综述当前广泛应用于软件模型检测中的抽象技术，介绍了该领域的进展及研究方向。