全文获取类型
收费全文 | 1640篇 |
免费 | 220篇 |
国内免费 | 170篇 |
专业分类
航空 | 910篇 |
航天技术 | 422篇 |
综合类 | 197篇 |
航天 | 501篇 |
出版年
2024年 | 16篇 |
2023年 | 26篇 |
2022年 | 49篇 |
2021年 | 62篇 |
2020年 | 32篇 |
2019年 | 34篇 |
2018年 | 46篇 |
2017年 | 51篇 |
2016年 | 62篇 |
2015年 | 78篇 |
2014年 | 100篇 |
2013年 | 97篇 |
2012年 | 101篇 |
2011年 | 128篇 |
2010年 | 79篇 |
2009年 | 84篇 |
2008年 | 77篇 |
2007年 | 92篇 |
2006年 | 100篇 |
2005年 | 105篇 |
2004年 | 79篇 |
2003年 | 101篇 |
2002年 | 80篇 |
2001年 | 56篇 |
2000年 | 46篇 |
1999年 | 32篇 |
1998年 | 40篇 |
1997年 | 36篇 |
1996年 | 15篇 |
1995年 | 22篇 |
1994年 | 13篇 |
1993年 | 13篇 |
1992年 | 15篇 |
1991年 | 10篇 |
1990年 | 19篇 |
1989年 | 9篇 |
1988年 | 14篇 |
1987年 | 6篇 |
1986年 | 4篇 |
1984年 | 1篇 |
排序方式: 共有2030条查询结果,搜索用时 15 毫秒
1.
《中国航空学报》2020,33(10):2716-2727
In this paper, an Unmanned Aerial Vehicle (UAV) enabled Mobile Edge Computing (MEC) system is studied, in which UAV acts as server to offer computing offloading service to the Mobile Users (MUs) with limited computing capability and energy budget. We aim to minimize the total energy consumption of MUs by jointly optimizing the bit allocation for uplink, computing at the UAV and downlink, along with the UAV trajectory in a unified framework. To this end, a trajectory constraint model is employed to avoid sudden changes of velocity and acceleration during flying. Due to high-order information in use, we lead to a more reasonable nonconvex optimization problem than prior arts. An Alternating Direction Method of Multipliers (ADMM) method is introduced to solve the optimization problem, which is decomposed into a set of easy sub-problems, to meet the requirement on the efficiency in edge computing. Numerical results demonstrate that our approach leads a smoother UAV trajectory, significantly save the energy consumption for UAV during flying. 相似文献
2.
本文提出了一种基于虚拟页地址映射的NAND Flash管理算法.该算法通过定义坏块表、对应表等结构,以及设计的坏块替换策略和虚拟页地址到实际物理页地址的转换算法,实现上层软件采用虚拟地址对NAND Flash的无坏块连续页地址访问.该算法是一种高效的地址映射算法,能高效地对数据进行索引,占用SRAM空间较少,使系统达到高性能,并使得闪存使用的更加稳定持久. 相似文献
3.
摘要: 为了更好地满足航空航天领域中使用的多种嵌入式软件的高可靠性要求,设计一种软件脆弱性自动分析定位的方法.该方法基于程序切片技术,改进现有的前向计算动态切片算法,利用动态程序切片收集程序运行时的动态信息,构造程序切片谱,设定相关统计量统计程序语句的脆弱性可疑度,生成脆弱性定位报告.在发现软件中存在的脆弱性后,该方法对导致此脆弱性的程序代码根源实现了自动分析定位.基于此方法设计开发了软件脆弱性自动定位工具并进行了实例验证分析,实验证明了该方法的有效性. 相似文献
4.
并发演算CC(Concurrent Calculus)是高阶并发通信系统的数学模型,它把λ-演算作为子理论并包含一阶通信系统演算CCS、活动进程演算CMP、和高阶通信系统演算CHOCS的主要特征。在CC中,通信端口可为任意表达式并且进程和通信端口都可以作为在通信中传递的一等对象(First-class Objects)。从而CC不仅可以描述一阶通信行为而且可以刻划通信网络的动态自修改行为。另外,由于CC把λ-演算和进程演算纳入同一形式系统,故CC可以作为并发函数式程序设计的核心语言和理论模型。本文首先给出CC的语法、语义和例子,然后研究CC的高阶双向模拟等价关系以及CC的代数定律。最后简单讨论了相关的工作和今后的研究方向。 相似文献
5.
6.
本文研究的是四维飞行性能管理系统的核心环节-飞机在终端区域内的四维下降技术,首先探讨了基于常值航迹角的定常M数/指示空速下降飞行技术,论述了其高度剖面的构成与特点,通过尤拉积分方法求解飞机运动方程,实现了高度冲面的解算。其次开发了对速度剖面的迭代过程,选取原则及方法。本文在进行理论分析的同时,还开发了满意的仿真软件,一了其应用价值。 相似文献
7.
光学中心偏测量仪软件研制 总被引:3,自引:0,他引:3
文章介绍了北京空间机电研究所自行研制的光学中心偏测量仪的软件设计思路、工作原理 ,并对一些关键技术进行了讨论。 相似文献
8.
9.
10.
实验教学遥测系统中的一种码型反变换方法 总被引:1,自引:0,他引:1
在遥测系统中有许多种数字信号码型可以使用。在遥测解调分系统中 ,通常采用 NRZL 码作为输出码型 ,这就需要将系统输入的其它码型反变换为 NRZL 码。文中介绍一种在实验教学遥测系统中采用的利用匹配滤波、门限判决、采样、移位、异或的手段来实现码型反变换的方法。 相似文献