自动化分析论文

软件时序故障树建模与分析技术研究
论文摘要FTA(故障树分析)是系统可靠性和安全性分析的一种简单、有效的方法。它最初是由美国贝尔实验室在研究电话拨号机的自动控制系统可靠性时提出的,至今已有50年历史,在安全关键...
微流控芯片与计算机间通信模型的研究
论文摘要微流控芯片及其相关分析系统是一个涉及到化学、生物学、微电子学、机械学、控制科学、信息学等多学科的研究领域，由于其涉及学科的多样性，所以在设计和实施上存在许多困难。现阶段...
两种安全协议形式化理论的研究
论文摘要在本文中，我们探讨了有关两种安全协议形式化理论的若干问题，其中，工作重点集中在对三方认证密钥交换协议的形式化分析上。网络技术具有快速实现信息共享的特点，这大大提高了人们...