全文获取类型
收费全文 | 4961篇 |
免费 | 578篇 |
国内免费 | 302篇 |
专业分类
航空 | 2402篇 |
航天技术 | 1097篇 |
综合类 | 328篇 |
航天 | 2014篇 |
出版年
2024年 | 49篇 |
2023年 | 115篇 |
2022年 | 181篇 |
2021年 | 202篇 |
2020年 | 150篇 |
2019年 | 161篇 |
2018年 | 89篇 |
2017年 | 123篇 |
2016年 | 134篇 |
2015年 | 180篇 |
2014年 | 254篇 |
2013年 | 234篇 |
2012年 | 299篇 |
2011年 | 266篇 |
2010年 | 281篇 |
2009年 | 319篇 |
2008年 | 287篇 |
2007年 | 315篇 |
2006年 | 210篇 |
2005年 | 205篇 |
2004年 | 213篇 |
2003年 | 176篇 |
2002年 | 148篇 |
2001年 | 173篇 |
2000年 | 132篇 |
1999年 | 111篇 |
1998年 | 110篇 |
1997年 | 136篇 |
1996年 | 70篇 |
1995年 | 97篇 |
1994年 | 71篇 |
1993年 | 63篇 |
1992年 | 80篇 |
1991年 | 58篇 |
1990年 | 44篇 |
1989年 | 50篇 |
1988年 | 26篇 |
1987年 | 23篇 |
1986年 | 3篇 |
1985年 | 1篇 |
1983年 | 1篇 |
1982年 | 1篇 |
排序方式: 共有5841条查询结果,搜索用时 14 毫秒
11.
12.
并发演算CC(Concurrent Calculus)是高阶并发通信系统的数学模型,它把λ-演算作为子理论并包含一阶通信系统演算CCS、活动进程演算CMP、和高阶通信系统演算CHOCS的主要特征。在CC中,通信端口可为任意表达式并且进程和通信端口都可以作为在通信中传递的一等对象(First-class Objects)。从而CC不仅可以描述一阶通信行为而且可以刻划通信网络的动态自修改行为。另外,由于CC把λ-演算和进程演算纳入同一形式系统,故CC可以作为并发函数式程序设计的核心语言和理论模型。本文首先给出CC的语法、语义和例子,然后研究CC的高阶双向模拟等价关系以及CC的代数定律。最后简单讨论了相关的工作和今后的研究方向。 相似文献
13.
14.
本文描述了高短靶场测量飞机(ARIA)及其目前和未来在全球范围内保障试验和鉴定活动的计划。 相似文献
15.
分析了飞机各管路系统中导管标带识别、涂色识别和印章识别传统方法的不足,提出了采用激光刻制导管图号标记的新方法,阐明其基本原理和方法,并与传统方法作了比较分析。激光刻制方法使设计人员不用再在图样上注明导管的标志和辅助标志,减轻了设计的工作量,提高了工作效率,缩短了导管制造周期;同时减轻了飞机的重量,改善飞机性能;标记清晰、美观易认,有利于飞机的检查和维修。 相似文献
16.
一、危机概念美国学者罗森豪尔特认为,危机是指“对一个社会系统的基本价值和行为准则架构产生严重威胁,并且在时间压力和不确定性极高的情况下必须对其作出关键决策的事件。”也就是指危机状态威胁到了现存的秩序。对于民航通信导航监视来说,危机是指对民航通信导航监视的保障 相似文献
17.
18.
1 引言2 0世纪末影响人类经济生活最大事件莫过于信息产业的崛起和迅猛发展。电子测试技术和仪器产业无例外地受到它的冲击。 2 0 0 0年初 ,国外资料表明 ,面向通信 ,主要包括网络通信、移动通信、光纤通信、卫星通信等的电子测试仪器 ,在整个电子仪器市场销售中所占份额已增至 5 0 %左右。本世纪这种增长势头肯定还要扩大 ,而成为电子仪器产业中的主导产品。促使电子测试技术快速发展的主要因素是大量引用计算机技术 ,甚至与计算机一体化 ,如自动测试标准接口系统 ,虚拟仪器等的出现和发展。预计在本世纪初这些技术会有更大的发展和新的突… 相似文献
19.
20.