夏是天外火星2016任务的一部分在一个质子火箭发射从哈萨克斯坦的拜科努尔发射场发射。电火花加工,因为它也知道,是客观的验证和演示条目,降落和着陆在火星上准备天外火星2020任务。2016年10月19日,夏模块进入火星大气层14:42:07 (UTC)。夏不断在降落到火星大气中传输数据。夏的信号丢失14:47:22 (UTC), 43秒前预期在火星表面着陆。
一个详细的失效分析报告为一个文档。主要原因是大型振动身体饱和率导致惯性传感器。饱和值集成提供姿态角。cos(这一项乘以无线电高度表得到正确的高度。在角成为高达160度下降导致消极的高度被发送到控制器关闭复古的火箭。

金宝app仿真软件设计验证器是用来找出如果有机会的高度负面的。它带来了一个反例说明如何高度可以是负的。用户可以打开持久性阻止和改变15到较低的价值。这种变化不会引起负面的高度。这也是报告中找到。

这是一个微不足道的例子为了学生。这可以用于正式的教师类的方法。

我想承认Chethan铜问题,帮助我的模型。