全文获取类型
收费全文 | 1289篇 |
免费 | 263篇 |
国内免费 | 123篇 |
出版年
2024年 | 5篇 |
2023年 | 6篇 |
2022年 | 35篇 |
2021年 | 43篇 |
2020年 | 69篇 |
2019年 | 18篇 |
2018年 | 15篇 |
2017年 | 54篇 |
2016年 | 21篇 |
2015年 | 68篇 |
2014年 | 90篇 |
2013年 | 84篇 |
2012年 | 142篇 |
2011年 | 155篇 |
2010年 | 145篇 |
2009年 | 128篇 |
2008年 | 128篇 |
2007年 | 119篇 |
2006年 | 91篇 |
2005年 | 69篇 |
2004年 | 54篇 |
2003年 | 35篇 |
2002年 | 37篇 |
2001年 | 38篇 |
2000年 | 25篇 |
1999年 | 1篇 |
排序方式: 共有1675条查询结果,搜索用时 15 毫秒
401.
时钟同步协议是时间触发网络的一个重要组成部分,是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模,基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步网络协议的正确性,也表明了扩展标记变迁模型对于协议验证的有效性。 相似文献
402.
403.
404.
405.
406.
407.
408.
409.
410.
提出了一种基于最优控制的翼伞路径规划方法。该方法以提高落点精度和减少操纵量为目标,将翼伞的轨迹优化问题转变为参数优化问题,并运用改进的粒子群优化算法进行了有效的求解,得到了基于最优控制的翼伞路径规划的近似最优解。为了验证该方法的可行性,在仿真环境中同时使用了传统分段控制方法和最优控制方法。归航的计算机仿真结果表明,基于最优控制的翼伞路径规划方法提高了落点的位置精度和方向精度,同时减少了操纵量。 相似文献