全文获取类型
收费全文 | 181篇 |
免费 | 1篇 |
国内免费 | 1篇 |
专业分类
航空 | 87篇 |
航天技术 | 44篇 |
综合类 | 5篇 |
航天 | 47篇 |
出版年
2023年 | 1篇 |
2022年 | 1篇 |
2019年 | 1篇 |
2017年 | 1篇 |
2016年 | 3篇 |
2015年 | 3篇 |
2014年 | 9篇 |
2013年 | 1篇 |
2012年 | 10篇 |
2011年 | 12篇 |
2010年 | 11篇 |
2009年 | 14篇 |
2008年 | 4篇 |
2007年 | 12篇 |
2006年 | 10篇 |
2005年 | 12篇 |
2004年 | 18篇 |
2003年 | 15篇 |
2002年 | 20篇 |
2001年 | 10篇 |
2000年 | 3篇 |
1999年 | 4篇 |
1997年 | 1篇 |
1996年 | 1篇 |
1995年 | 2篇 |
1992年 | 2篇 |
1991年 | 1篇 |
1990年 | 1篇 |
排序方式: 共有183条查询结果,搜索用时 15 毫秒
181.
182.
183.
自动飞行控制系统(Automatic flight control system,AFCS)是现代飞机中重要的安全关键系统之一,飞行引导控制系统(Flight guidance control system,FGCS)是其重要的组成部分。FGCS中的飞行模式有数十种,模式转换逻辑十分复杂,在各个模式间转换时易出现模式混淆等问题,难以对其安全性和正确性进行验证。而利用计算机科学中的形式化方法,通过对安全关键系统进行形式化建模和验证,可以提高系统的正确性和安全性。本文以典型FGCS中的自动飞行模式转换逻辑作为研究对象,采用自主研制的软件工具ART(Avionics requirement tool)对其进行形式化建模与验证,并与Matlab/Simulink中的Design Verifier工具进行了验证能力和效率的对比分析。实例研究结果表明,采用形式化方法对FGCS的自动飞行模式转换逻辑进行建模、验证可行,所研制的软件平台具有更完善的验证能力和更好的验证效率。 相似文献