全文获取类型
收费全文 | 837篇 |
免费 | 76篇 |
国内免费 | 91篇 |
专业分类
航空 | 543篇 |
航天技术 | 198篇 |
综合类 | 83篇 |
航天 | 180篇 |
出版年
2024年 | 2篇 |
2023年 | 4篇 |
2022年 | 7篇 |
2021年 | 33篇 |
2020年 | 15篇 |
2019年 | 13篇 |
2018年 | 20篇 |
2017年 | 26篇 |
2016年 | 34篇 |
2015年 | 36篇 |
2014年 | 48篇 |
2013年 | 47篇 |
2012年 | 49篇 |
2011年 | 55篇 |
2010年 | 38篇 |
2009年 | 42篇 |
2008年 | 46篇 |
2007年 | 42篇 |
2006年 | 50篇 |
2005年 | 46篇 |
2004年 | 46篇 |
2003年 | 66篇 |
2002年 | 53篇 |
2001年 | 32篇 |
2000年 | 28篇 |
1999年 | 14篇 |
1998年 | 29篇 |
1997年 | 26篇 |
1996年 | 7篇 |
1995年 | 9篇 |
1994年 | 6篇 |
1993年 | 8篇 |
1992年 | 6篇 |
1991年 | 7篇 |
1990年 | 8篇 |
1989年 | 5篇 |
1988年 | 1篇 |
排序方式: 共有1004条查询结果,搜索用时 15 毫秒
181.
基于COTS的航空电子软件开发 总被引:3,自引:0,他引:3
介绍了商用货架产品(COTS)在航空电子软件开发中应用的优点和缺点,和基于COTS的航电软件构架;并给出了一个开发过程和部分开发工具。最后通过一个实例说明基于COTS的航电软件开发是实际可行的。 相似文献
182.
星载计算机软件自动化测试平台研究 总被引:2,自引:0,他引:2
自动化测试可提高测试效率和测试的准确性,尤其对于大规模软件的增量测试和回归测试。自动软件测试则作为一个重要的控制机制,确保软件每次重构的准确性与稳定性。文章的主要工作是通过实践构建了适用于星载计算机软件的自动化测试平台,实际应用表明该平台提高了软件的测试效率,降低了测试成本。 相似文献
183.
针对航天嵌入式系统中存在多级中断情况下的时间分析问题,提出了中断与任务混合的响应时间计算模型。该模型中断与任务使用统一的优先级定义,将多级中断嵌套的响应时间分析与任务嵌套的响应时间分析相结合,推导出了混合模型下响应时间计算公式。并进一步比较了中断与任务的异同,阐述了公式中关键参数的含义与计算方法。最后利用开源的LEON3平台和Modelsim软件对所述方法进行了仿真验证,结果表明,任务最差响应时间过估小于5%,可以得到准确的分析结果,有较高的工程应用价值。 相似文献
184.
185.
186.
187.
188.
基于仿真系统的GUI测试模型的规划方法,将GUI软件界面的各种图形对象以及其属性看作是维度,图像对象的属性的具体值作为维度数据,将软件的各种功能操作看作是事件,在不同的事件交互中,通过抽取不同的维度,建立测试模型,并对模型中抽取的维度映射维度数据,用模型语言完整准确地描述被测试软件系统,并使用事件交互图完成测试模型与自动化的测试工具的对接,提出了一种全新的GUI软件测试方法。 相似文献
189.
率先引入rFAA(美国联邦航空局)提出的软件成熟度的概念。局方正式签发TIA(型号检查核准书)前,在软件的构型和符合性均未达到最终冻结状态的情况下,通过对软件的成熟度进行有效评估,可以为验证试飞前软件的工程批准提供有力的支持与保障,在一定程度上降低局方飞行试验的风险,保障适航验证试飞活动的顺利开展。由于机载软件成熟度足一个新兴的概念,目前局方(FAA、CAAC)对于如何进行成熟度评估尚未形成正式的、通用的政策性指导文件,国内主机厂对此问题也没有相关的处理经验和具体的操作方法。基于机载软件本身的特点,参考局方在机载软件审查时的主要关注点,提出了TIA前机载软件成熟度评估的基本考虑要素与分析重点。 相似文献
190.
航天器空间交会对接难度大,GNC软件对任务的完成起到重要作用.由于交会对接控制软件功能复杂,时序要求严格,这对软件测试提出了很高的要求.基于黑盒测试环境,利用FPGA设计方法和时序分析技术,实现了对交会对接软件重要数据运行时序的捕获和对上下行信号相位关系的跟踪,完善了故障触发和上行注入手段.该测试环境在交会对接软件研制过程中起到重要作用. 相似文献