形式化建模与验证相关论文
目前,互联网的核心是TCP/IP协议,该技术的设计初衷是针对端到端的主机通信。但随着互联网的高速发展,互联网用户的数量爆炸式增长......
云计算(Cloud Computing)是IT行业中新兴的计算范例,它以实现将“网络作为高性能计算机”为目的,以网络相连接的方式,对庞大的计算......
软件定义网络(Software-Defined Networking,SDN)是一种新兴的网络架构,能够解决传统网络层级复杂,以至难以管理和创新的问题。该......
快速、准确地确定故障距离,可加快永久故障的修复,及时消除隐患避免大量瞬时性故障的再次发生,对保证电力系统的安全稳定和经济运行有......
正在建设的时速300 km/h以上的高速铁路已采用CTCS-3级列车运行控制系统.车地信息交互流程是影响CTCS-3级列控系统的效率、可靠性......
在嵌入式系统和各类操作系统中,中断机制是确保实时响应各类异步事件的重要方法.通常在处理一个中断事件的过程中,往往会有更紧迫......