全文获取类型
收费全文 | 1805篇 |
免费 | 82篇 |
国内免费 | 83篇 |
专业分类
航空 | 1068篇 |
航天技术 | 180篇 |
综合类 | 107篇 |
航天 | 615篇 |
出版年
2024年 | 10篇 |
2023年 | 30篇 |
2022年 | 32篇 |
2021年 | 58篇 |
2020年 | 49篇 |
2019年 | 37篇 |
2018年 | 21篇 |
2017年 | 30篇 |
2016年 | 32篇 |
2015年 | 46篇 |
2014年 | 43篇 |
2013年 | 64篇 |
2012年 | 77篇 |
2011年 | 87篇 |
2010年 | 65篇 |
2009年 | 85篇 |
2008年 | 96篇 |
2007年 | 97篇 |
2006年 | 72篇 |
2005年 | 97篇 |
2004年 | 102篇 |
2003年 | 121篇 |
2002年 | 88篇 |
2001年 | 85篇 |
2000年 | 77篇 |
1999年 | 33篇 |
1998年 | 50篇 |
1997年 | 47篇 |
1996年 | 30篇 |
1995年 | 31篇 |
1994年 | 42篇 |
1993年 | 29篇 |
1992年 | 27篇 |
1991年 | 27篇 |
1990年 | 30篇 |
1989年 | 11篇 |
1988年 | 8篇 |
1987年 | 2篇 |
1986年 | 2篇 |
排序方式: 共有1970条查询结果,搜索用时 343 毫秒
781.
《北华航天工业学院学报》2016,(1):27-29
工作流的概念在软件工程中出现已有很多年,比如银行系统、物流系统以及各种通信软件都属于业务密集并且工作流庞大的软件系统。我们知道软件系统是需要不断进化和发展的。一般情况下,软件系统在发布之后,软件开发人员需要不断的进行维护以及更新新的功能。因此很多软件系统变得越来越庞大,这给软件的后期开发与维护带来了较大的困难。为此作者在本文提出了解决这一问题的模块化分与插件技术相结合的方法。 相似文献
782.
海南航空引进的波音787-9机型均选装了蜂窝无线传输模块,但在对该模块进行客户化激活过程中,多次尝试未果,故本文从系统原理入手进行了细致梳理,最终通过对CSM自动发起证书请求这一非常规现象的关注使故障消除。 相似文献
783.
新型机载飞控软件综合了更多的应用功能,需配备合适的操作系统作为基础.根据新型机载飞控软件开发需求,对操作系统和配套开发工具的要求进行讨论,形成相应的评估表.同时对国内外在飞控上有应用的4个操作系统进行分析评估,选出最适合目标机载飞控软件的操作系统. 相似文献
784.
模型检验技术作为一种有效的形式化方法,能够提供严格的软件质量保证.介绍了面向软件源程序的模型检验技术的工作流程,并在此基础上针对规约性质描述问题,提出一种与源代码独立的、语法简单易用的、符合程序员开发习惯的规约描述语言,并给出一种轻量级的程序模型检验方法,它基于程序控制流图的路径遍历,支持函数过程内验证、函数过程间验证、规约检查. 相似文献
785.
786.
787.
788.
徐行 《西安航空技术高等专科学校学报》2001,19(1):3-6
本重点介绍了在用Excel97编制“教育管理系统”软件过程中,控件、宏及VBA等功能的使用。 相似文献
789.
目前正在继续探讨 SDI 全动战略防御软件是否能够在任何时候都不会出错.如果给定有效资源和时间的有限特性.一千万条代码完全不出错是不太可能的.但是,容错软件的应用可在合适的时间内使软件可靠性满足调度要求.SDI 软件的目标就是要在敌方的弹道导弹的助推阶段.进入空间的中途阶段或者进入大气层的最后阶段摧毁它。为此需要在美 相似文献
790.
简要讲述了目前无线电通信终端软件化的情况,提出了把不同通信终端设备通过软件集成的方法改造为软件终端的技术方案. 相似文献