全文获取类型
收费全文 | 1851篇 |
免费 | 83篇 |
国内免费 | 83篇 |
专业分类
航空 | 1092篇 |
航天技术 | 180篇 |
综合类 | 120篇 |
航天 | 625篇 |
出版年
2024年 | 10篇 |
2023年 | 30篇 |
2022年 | 32篇 |
2021年 | 58篇 |
2020年 | 49篇 |
2019年 | 38篇 |
2018年 | 21篇 |
2017年 | 31篇 |
2016年 | 33篇 |
2015年 | 46篇 |
2014年 | 46篇 |
2013年 | 65篇 |
2012年 | 78篇 |
2011年 | 87篇 |
2010年 | 66篇 |
2009年 | 86篇 |
2008年 | 96篇 |
2007年 | 97篇 |
2006年 | 81篇 |
2005年 | 102篇 |
2004年 | 107篇 |
2003年 | 127篇 |
2002年 | 91篇 |
2001年 | 89篇 |
2000年 | 80篇 |
1999年 | 33篇 |
1998年 | 51篇 |
1997年 | 48篇 |
1996年 | 30篇 |
1995年 | 31篇 |
1994年 | 42篇 |
1993年 | 29篇 |
1992年 | 27篇 |
1991年 | 27篇 |
1990年 | 30篇 |
1989年 | 11篇 |
1988年 | 8篇 |
1987年 | 2篇 |
1986年 | 2篇 |
排序方式: 共有2017条查询结果,搜索用时 15 毫秒
791.
在面向对象建模的基础上,首先给出了FMS的对象模型,着重研究了FMS动态调度软件自动生成的关键技术。在FMS调度软件的自动生成中,作者提出了运用构造调度指令表的方法,比较好地解决了FMS高度软件自动生存中系统触发唯一高度活动问题,而且将源代码自动生存的顺序,转化为调度摊在调度指令表中的顺序的生存,降低了软件自动生成的难度。文中给出了关键操作的算法,并考虑了死锁的预防,文末给出了应用实例。 相似文献
792.
三轴飞行模拟转台实时控制软件的开发 总被引:2,自引:1,他引:2
李秀娟 《南京航空航天大学学报》1998,30(4):443-446
三轴飞行模拟转台可以模拟飞行器在空中的各种飞行动作和姿态,是飞行控制系统地面含实物仿真的关键设备之一。本文讨论FT型电动三轴飞行模拟转台微机实时控制软件的功能和实现方法。该软件为模块化结构,采用中文菜单显示,C语言与汇编语言混合编程,实时图形变尺度显示,余度变量,动态刷新,超时中断等技术。实践表明,该软件性能好,工作稳定。 相似文献
793.
在工程上,复合材料主要是指一种材料以人工方法均匀地分散在另一种材料中,以达到克服单一材料的某些弱点,发挥综合性能的目的.一般说来,复合材料是由较强的、脆性的、高模量的增强材料和较弱的、韧性的低模量的基体组成的. 相似文献
794.
随着扩频技术的应用,航天测控网形成了传统测控体制与扩频测控体制相结合的局面,会出现潜在的相互干扰问题。针对这种情况,运用仿真软件建立模型,根据传统测控信号经过相关器后频谱的变化,分析扩频测控系统的处理增益,并详细说明了在扩频测控信号接收带宽内距中心载波不同位置的传统测控信号对扩频测控系统处理增益的影响,以及不同扩频码速率下系统处理增益的变化情况。最后运用本文的分析成果进行举例计算。 相似文献
795.
SAMTECH软件有限公司是世界上著名的有限元软件SAMCEF的开发商及供应商,公司成立于1986年,专注于机械系统虚拟仿真、结构有限元分析和多学科优化领域的软件工具,例如SAMCEF for Composite(复合材料结构分析专业集成软件包). 相似文献
796.
《北华航天工业学院学报》2016,(1):27-29
工作流的概念在软件工程中出现已有很多年,比如银行系统、物流系统以及各种通信软件都属于业务密集并且工作流庞大的软件系统。我们知道软件系统是需要不断进化和发展的。一般情况下,软件系统在发布之后,软件开发人员需要不断的进行维护以及更新新的功能。因此很多软件系统变得越来越庞大,这给软件的后期开发与维护带来了较大的困难。为此作者在本文提出了解决这一问题的模块化分与插件技术相结合的方法。 相似文献
797.
海南航空引进的波音787-9机型均选装了蜂窝无线传输模块,但在对该模块进行客户化激活过程中,多次尝试未果,故本文从系统原理入手进行了细致梳理,最终通过对CSM自动发起证书请求这一非常规现象的关注使故障消除。 相似文献
798.
新型机载飞控软件综合了更多的应用功能,需配备合适的操作系统作为基础.根据新型机载飞控软件开发需求,对操作系统和配套开发工具的要求进行讨论,形成相应的评估表.同时对国内外在飞控上有应用的4个操作系统进行分析评估,选出最适合目标机载飞控软件的操作系统. 相似文献
799.
模型检验技术作为一种有效的形式化方法,能够提供严格的软件质量保证.介绍了面向软件源程序的模型检验技术的工作流程,并在此基础上针对规约性质描述问题,提出一种与源代码独立的、语法简单易用的、符合程序员开发习惯的规约描述语言,并给出一种轻量级的程序模型检验方法,它基于程序控制流图的路径遍历,支持函数过程内验证、函数过程间验证、规约检查. 相似文献
800.