状态空间约简相关论文
无人机飞行控制系统作为飞行器关键系统之一,负责飞行器从起飞至降落的整个飞行过程。飞控系统软件具有安全性能要求高、功能繁多......
随着人们对软硬件系统功能需求的日益增加,导致系统的规模越来越复杂,其安全性和可靠性也越来越难以得到保证。在一些关键领域,例......
随着现代航天科技的发展,嵌入式软件在航天领域的应用越来越广泛,航天嵌入式软件的规模、复杂度及其在整个航天系统中的功能比重急......
针对复杂并发计算机系统行为可信的动态度量研究中,细粒度动态度量所引发的状态空间爆炸问题一直是研究的难点。文中基于并发理论研......
为约简时间自动机的状态空间,对时间抽象互模拟技术进行研究,提出一种改进的符号状态拆分算法。通过在符号状态拆分的过程中将隐含......
目前安全协议分析的偏序归约算法较为复杂、不易实现,限制了其适用范围,且以动作为基础,粒度较小,对减少状态空间的作用有限。针对......