全文获取类型
收费全文 | 134篇 |
免费 | 6篇 |
国内免费 | 6篇 |
专业分类
航空 | 64篇 |
航天技术 | 32篇 |
综合类 | 4篇 |
航天 | 46篇 |
出版年
2024年 | 1篇 |
2023年 | 1篇 |
2022年 | 1篇 |
2021年 | 1篇 |
2020年 | 2篇 |
2019年 | 6篇 |
2018年 | 2篇 |
2017年 | 2篇 |
2016年 | 3篇 |
2015年 | 4篇 |
2014年 | 8篇 |
2013年 | 1篇 |
2012年 | 10篇 |
2011年 | 10篇 |
2010年 | 7篇 |
2009年 | 7篇 |
2008年 | 8篇 |
2007年 | 4篇 |
2006年 | 9篇 |
2005年 | 11篇 |
2004年 | 9篇 |
2003年 | 9篇 |
2002年 | 6篇 |
2001年 | 4篇 |
2000年 | 4篇 |
1999年 | 1篇 |
1998年 | 4篇 |
1997年 | 6篇 |
1996年 | 1篇 |
1995年 | 3篇 |
1992年 | 1篇 |
排序方式: 共有146条查询结果,搜索用时 31 毫秒
81.
针对数据访问冲突问题的检测方法及工具的研究很多,但缺少对其进行评估的基准测试集。文章基于大量真实航天嵌入式软件中断数据访问冲突案例研究的结果,总结出影响数据访问冲突检测的6类要素,设计开发了嵌入式软件中断数据访问冲突基准测试集程序RaceBench,对SpaceDRC工具进行了指标评估。结果表明,RaceBench能够有效评估工具的适用性。 相似文献
82.
航天嵌入式软件动力学仿真环境的通用软件架构 《空间控制技术与应用》2017,43(3):66-70
针对航天嵌入式软件测试环境通用化需求,提出动力学软件的通用化设计方法.基于航天动力学仿真的特点,设计灵活、通用和易于扩展的软件框架、接口数据结构和接口函数,适用于在研型号的所有接口处理方式.该方法在实际型号工作中完成应用,显著提高了动力学软件的研制速度,动力学软件运行稳定,精度满足测试要求. 相似文献
83.
84.
为了更好的进行航天软件的测试工作,解决硬件测试环境的局限性,提高测试技术水平,实现测试工作自动化,采用了全数字仿真技术搭建软件仿真测试环境的方法。本文描述了目前航天软件进行确认测试过程中使用的测试环境,介绍了硬件测试环境和用全数字仿真技术搭建的软件仿真测试环境在航天型号软件测试中的应用情况,重点通过对软、硬件测试环境的实际使用,对2种测试环境进行了分析,指出了软件仿真测试环境相对于硬件测试环境的优势。 相似文献
85.
86.
87.
研究了共享数据临界保护正确性测试,提出一种基于共享数据地址监控的临界保护正确性测试方法(SVAM,Shared Variable Address Monitor).SVAM由实时地址监控模块和共享变量地址列表组成.当系统运行时,SVAM在地址总线上实时监测共享变量的写操作,当系统在更新共享变量值时没有关闭中断说明对该变量的操作破坏了临界保护,存在运行风险.理论分析证明了SVAM的正确性,仿真试验证明了该方法的有效性. 相似文献
88.
89.
蔡永强 《航空精密制造技术》2007,43(6):55-57
从提高软件质量的重要性出发,简要介绍了软件测试的目的和原则,分析了当前智能设备应用软件在开发、管理和测试方面存在的主要问题以及重视软件测试,提高软件质量和可靠性水平应采取的措施。 相似文献
90.
归纳、分析了机载软件所特有的实时性、反应性、嵌入式、高度的可靠性及安全性的特点,并依据其特点提出了机载软件的测试策略。在综合分析讨论的基础上,总结得出了进行机载软件测试的原则和方法,对保证机载软件质量,提高其稳定性、可靠性、安全性具有指导意义。 相似文献