全文获取类型
收费全文 | 818篇 |
免费 | 73篇 |
国内免费 | 106篇 |
专业分类
航空 | 527篇 |
航天技术 | 206篇 |
综合类 | 85篇 |
航天 | 179篇 |
出版年
2024年 | 2篇 |
2023年 | 5篇 |
2022年 | 5篇 |
2021年 | 35篇 |
2020年 | 19篇 |
2019年 | 17篇 |
2018年 | 19篇 |
2017年 | 25篇 |
2016年 | 37篇 |
2015年 | 37篇 |
2014年 | 45篇 |
2013年 | 44篇 |
2012年 | 49篇 |
2011年 | 55篇 |
2010年 | 37篇 |
2009年 | 43篇 |
2008年 | 44篇 |
2007年 | 40篇 |
2006年 | 49篇 |
2005年 | 49篇 |
2004年 | 40篇 |
2003年 | 60篇 |
2002年 | 51篇 |
2001年 | 35篇 |
2000年 | 26篇 |
1999年 | 16篇 |
1998年 | 25篇 |
1997年 | 26篇 |
1996年 | 7篇 |
1995年 | 9篇 |
1994年 | 7篇 |
1993年 | 8篇 |
1992年 | 8篇 |
1991年 | 7篇 |
1990年 | 11篇 |
1989年 | 4篇 |
1988年 | 1篇 |
排序方式: 共有997条查询结果,搜索用时 15 毫秒
171.
调查了西门子测试集中的程序失败用例的规模和谓词评估偏差的分布.结果表明,中心极限定理的前提和参数假设检验的假设条件无法得到普遍满足.所以,已有的基于参数假设检验的方法存在潜在的问题.针对这一现象,提出了基于非参数假设检验定位程序缺陷的方法.实验结果表明,该方法在非正态分布的样本集上仍具有较好的适用性,且在缺陷定位效率上优于已有的基于程序谓词的缺陷定位技术.同时比较了基于2种常用的非参数假设检验模型的缺陷定位方法的效率.一种方法基于Kolmogorov-Smirnov检验,另一种方法基于Cramér-von-Mises准则.比较结果表明,在西门子测试集上,基于Kolmogorov-Smirnov检验的方法在缺陷定位效率上优于基于Cramér-von-Mises准则的方法. 相似文献
172.
综合模块化航电软件仿真测试环境研究 总被引:7,自引:0,他引:7
伴随着综合模块化航空电子(IMA)软件在新一代飞机上的应用,其高复杂性、高度综合的特点以及分层的健康监控和故障管理模式给软件测试提出了挑战。传统的仿真测试环境在应对IMA软件测试中难以满足RTCA DO-178B中规定的对验证过程结果的验证的要求。本文在分析IMA软件特点的基础上,根据DO-178B的要求,综合国外的发展情况和国内的研究进展情况,研究综合模块化航电软件仿真测试环境需求,提出了基于软件故障注入的综合模块化航电软件灰盒仿真测试环境方案,并给出优势分析。该仿真测试环境方案以IMA软件为测试对象,应用软件故障注入技术和代码插装技术满足测试规范文件的要求。其具有通用灵活、适配性强、强实时性等特点,为中国新一代航电软件的系统验证和测试奠定了基础。 相似文献
173.
设计一种轻量级软件总线体系结构,将软件总线思想引入到单机软件系统的定制与集成.软件总线技术源于分布式异构环境搭建提出的,应用于分布式系统.对传统软件总线结构进行改进,采用双总线结构,摒除不必要的分布式功能,使轻量级软件总线成为一种适用于单机环境的软件体系结构.通过创建一个基于轻量级软件总线体系结构的模拟银行服务排队系统,验证轻量级软件总线作为单机软件系统的搭建架构具有可行性. 相似文献
174.
为满足系统通信中的时间性能要求,设计一种利用中断接收和发送CAN总线数据的通信方法,给出了算法的C语言流程图实现.当增加GPS作为总线主节点发送广播引起CAN并发通信导致硬件中断冲突时,针对并发通信的硬件中断冲突原理作了分析,重新设计了下位机CAN总线通信软件,解决CAN总线并发通信冲突. 相似文献
175.
基于Eclipse的航天嵌入式软件集成开发环境设计与实现 《空间控制技术与应用》2015,41(4):44-48
针对当前航天器软件研制过程中需要使用多种开发工具的问题,设计实现了集工程管理、代码编辑、语法检查、编译链接和调试测试于一体的航天嵌入式软件集成开发环境.研究成果已应用于航天器嵌入式软件的研发,缩短了软件研发周期并提高了软件质量,同时也为软件集成开发环境的研发提供借鉴. 相似文献
176.
177.
整体式盒式应变天平有限元设计 总被引:3,自引:0,他引:3
为了满足大飞机的测力试验要求,应用CATIA软件建立整体式盒式应变天平的虚拟样机,以该软件的有限元功能分析了该天平的静力学、贴片梁的微应变及模态,得出了天平在给定载荷下的应力和模态振型。静态标定结果表明有限元方法比传统计算方法的结果更可靠,同时说明了CATIA作为参数化设计及分析的一体化软件应用于天平的设计可在设计阶段降低天平的线性与非线性干扰,分析与设计效率得到了较大的提高。 相似文献
178.
Suppressing jitter noises in a phase locked loop(PLL) is of great importance in order to keep precise and continuous track of global positioning system(GPS) signals characterized by low carrier-to-noise ratio(C/N0).This article proposes and analyzes an improved Kalman-filter-based PLL to process weak carrier signals in GPS software receivers.After reviewing the optimal-bandwidth-based traditional second-order PLL,a Kalman-filter-based estimation algorithm is implemented for the new PLL by decorrelating the model error noises and the measurement noises.Finally,the efficiency of this new Kalman-filter-based PLL is verified by experimental data.Compared to the traditional second-order PLL,this new PLL is in position to make correct estimation of the carrier phase differences and Doppler shifts with less overshoots and noise disturbances and keeps an effective check on the disturbances out of jitter noises in PLL.The results show that during processing normal signals,this improved PLL reduces the standard deviation from 0.010 69 cycle to 0.007 63 cycle,and for weak signal processing,the phase jitter range and the Doppler shifts can be controlled within ±17° and ±5Hz as against ±25° and ±15 Hz by the traditional PLL. 相似文献
179.
基于COTS的航空电子软件开发 总被引:3,自引:0,他引:3
介绍了商用货架产品(COTS)在航空电子软件开发中应用的优点和缺点,和基于COTS的航电软件构架;并给出了一个开发过程和部分开发工具。最后通过一个实例说明基于COTS的航电软件开发是实际可行的。 相似文献
180.
星载计算机软件自动化测试平台研究 总被引:2,自引:0,他引:2
自动化测试可提高测试效率和测试的准确性,尤其对于大规模软件的增量测试和回归测试。自动软件测试则作为一个重要的控制机制,确保软件每次重构的准确性与稳定性。文章的主要工作是通过实践构建了适用于星载计算机软件的自动化测试平台,实际应用表明该平台提高了软件的测试效率,降低了测试成本。 相似文献