AADL; CPS; Dynamic Continuous Features; Lunar Rover; Modelica; Spatial-Temporal Features;
机译:基于Mpp降维的逆分析方法用于非线性和多维系统基于可靠性的设计优化
机译:系统设计的元数学将形式方法技术全面转移到网络物理系统
机译:基于平台的具有合同和相关工具的网络物理系统设计方法
机译:航空电子物理系统的多维分析与设计方法
机译:迈向自主航空航天网络物理系统的协同设计。
机译:基于RST-SOM算法的以双层设计空间为中心的以系统架构替代能力为重点的航空航天系统的探索
机译:走向自主航空航天网络物理系统的协同设计。
机译:使用火用和分解技术开发通用分析,以及适用于航空/航天系统综合/设计的优化方法