全文获取类型
收费全文 | 16375篇 |
免费 | 1280篇 |
国内免费 | 836篇 |
专业分类
航空 | 10098篇 |
航天技术 | 2385篇 |
综合类 | 1126篇 |
航天 | 4882篇 |
出版年
2024年 | 86篇 |
2023年 | 272篇 |
2022年 | 334篇 |
2021年 | 442篇 |
2020年 | 401篇 |
2019年 | 355篇 |
2018年 | 208篇 |
2017年 | 286篇 |
2016年 | 369篇 |
2015年 | 365篇 |
2014年 | 599篇 |
2013年 | 646篇 |
2012年 | 1002篇 |
2011年 | 951篇 |
2010年 | 747篇 |
2009年 | 921篇 |
2008年 | 1176篇 |
2007年 | 1184篇 |
2006年 | 920篇 |
2005年 | 937篇 |
2004年 | 794篇 |
2003年 | 812篇 |
2002年 | 526篇 |
2001年 | 647篇 |
2000年 | 462篇 |
1999年 | 359篇 |
1998年 | 355篇 |
1997年 | 375篇 |
1996年 | 306篇 |
1995年 | 256篇 |
1994年 | 262篇 |
1993年 | 205篇 |
1992年 | 215篇 |
1991年 | 170篇 |
1990年 | 189篇 |
1989年 | 206篇 |
1988年 | 51篇 |
1987年 | 59篇 |
1986年 | 23篇 |
1985年 | 8篇 |
1984年 | 3篇 |
1983年 | 1篇 |
1982年 | 4篇 |
1981年 | 2篇 |
排序方式: 共有10000条查询结果,搜索用时 62 毫秒
861.
针对卫星导航所需的高精度地球定向参数(EOP)中的UT1-UTC预报问题,提出了基于双差分LS+AR的UT1-UTC参数预报方法。对UT1-UTC观测数据进行跳秒检测、固体地球带谐潮汐项改正,然后对改正后的UT1-UTC数据进行双差分处理,增强数据平稳性;采用最小二乘拟合(LS)与自回归(AR)分析方法对差分处理后的数据进行分析与预报;对预报结果进行逆差分处理与潮汐项改正外推、跳秒恢复,获取高精度的UT1-UTC预报值。通过与国际EOP_PCC预报结果对比表明,UT1-UTC短期预报精度与EOP_PCC较优的预报精度相当,其中1天UT1-UTC预报精度优于0.03ms,优于EOP_PCC预报结果。介绍了北京航天飞行控制中心的UT1-UTC每日例行预报情况。 相似文献
862.
嵌入式系统开发与传统软件开发有着很大不同.嵌入式系统具有内核小、专用性强、高时效性、高可靠性、目标平台复杂等特点,这就对系统设计者提出更高的要求.面对目前嵌入式系统开发过程中的这些问题,尤其针对开发过程复杂,程序自动化程度不高等问题,提出一种基于Esterel代码自动生成的方法.该方法主要利用Esterel语言来对目标系统进行建模,实现将同一个Esterel模型编译为多个目标平台的代码.通过操作系统(OS)抽象层的设计,使系统开发人员不用关心目标平台相关的实现细节,更加容易进行多目标平台程序设计,从而实现嵌入式系统的程序设计自动化.通过实验表明,Esterel模型可以正确、高效地编译为多目标平台的代码,实现目标平台代码的自动生成. 相似文献
863.
航天器作为一个典型的安全苛刻系统,其可信性研究需求迫切,支持可信性评估的数据来自于航天器测试用例的执行,而航天器测试需求是测试用例生成的重要依据.在实际应用中,对航天器这类复杂系统,面临测试需求庞杂、测试需求编制周期长、人工经验编制方式难以保证测试需求的充分性、完备性及可复用性等问题.针对这些问题,通过分析航天器组织结构特点,建立航天器形式化模型,基于航天器测试任务流程,给出了航天器静态测试需求和动态测试需求形式化描述规范,并给出航天器测试需求自动生成方法,保证了测试需求的充分性和完备性,提高了测试需求复用性,与人工编制方式相比,缩短了测试需求编制周期.最后设计并实现航天器测试需求生成应用系统,验证所提出方法的有效性. 相似文献