搜索筛选:
搜索耗时0.7171秒,为你在为你在102,285,761篇论文里面共找到 4 篇相符的论文内容
发布年度:
[期刊论文] 作者：林荣峰, 施健, 朱晏庆, 沈怡颹, 周宇,,
来源：计算机工程 年份：2019
高安全性应用开发环境(SCADE)的形式化验证组件Design Verifier能够验证航空航天领域嵌入式软件系统的安全性质,但不能充分描述拥有复杂时序性质的安全需求。为解决该问题,构...
[期刊论文] 作者：胡金辉, 沈怡颹, 范蕾懿, 余维, 彭妮,,
来源：计算机测量与控制 年份：2019
卫星遥测信号解析是卫星综合测试系统的重要组成部分;传统的遥测信号采集方案,基于Windows非实时平台,降低了系统解析的实时性和和判读的有效性;从故障预案的模型系统应用场...
[期刊论文] 作者：林荣峰, 施健, 朱晏庆, 沈怡颹, 周宇,
来源：计算机工程 年份：2019
...
[期刊论文] 作者：沈怡颹, 张程, 何益康, 林荣峰, 朱晏庆,,
来源：计算机测量与控制 年份：2019
动态系统建模工具可以按照设定的仿真步长对控制器的行为动态模拟,也可以在仿真环境下模拟控制器所在的系统架构和动态数据交互,因此传统的卫星控制系统方案设计时一般采用在...
相关搜索：
