简介:左R-模M称为Eω-内射模,如果对环R中任意的ω阶Euclid理想I来说,任何R-模同态能够拓展为R-模同态。左R-模M称为Eω-投射模,若对环R中任意的ω阶Euclid理想I和任何R-模同态f∈HomR(M,R/I),存在R-模同态g∈HomR(M,R)使得f=πg,其中π是自然同态。本文证明P和Q均是Eω-投射模当且仅当PQ是Eω-投射模。进而,又证明了每一个左R-模是Eω-投射的当且仅当每一个左R-模是Eω-内射。
简介:近年来,蓬勃发展的自动驾驶技术为自动驾驶汽车的E/E架构设计提出了新的挑战。除了高带宽,高传输速率和其他基本功能元件外,考虑周全的E/E架构安全性是实现自动驾驶技术的重要因素。本文讨论了在功能安全性和预期功能安全性(SOTIF)方面系统故障后安全回退的设计步骤和解决方案。在安全性回退的基础上,本文提出了E/E架构的安全设计,提出了一种技术上可行的设计方法,同时也着重于车辆中安全网络拓扑和冗余系统的设计,并提出了一个可实现的解决方案。在安全性回退方面,本文结合了特定的自动驾驶场景,说明基于功能安全性和预期功能安全性(SOTIF)的安全回退设计方法。在车辆系统冗余方面,本文从主控制系统冗余、制动系统冗余、转向系统冗余、供电系统冗余、通信系统冗余和传感器冗余六个方面提出具体的设计方法。