全文获取类型
收费全文 | 161篇 |
免费 | 10篇 |
国内免费 | 7篇 |
专业分类
航空 | 68篇 |
航天技术 | 26篇 |
综合类 | 45篇 |
航天 | 39篇 |
出版年
2023年 | 2篇 |
2022年 | 2篇 |
2021年 | 3篇 |
2020年 | 3篇 |
2019年 | 1篇 |
2018年 | 2篇 |
2017年 | 2篇 |
2016年 | 5篇 |
2015年 | 4篇 |
2014年 | 6篇 |
2013年 | 4篇 |
2012年 | 5篇 |
2011年 | 4篇 |
2010年 | 6篇 |
2009年 | 5篇 |
2008年 | 12篇 |
2007年 | 14篇 |
2006年 | 8篇 |
2005年 | 9篇 |
2004年 | 7篇 |
2003年 | 7篇 |
2002年 | 6篇 |
2001年 | 10篇 |
2000年 | 4篇 |
1999年 | 4篇 |
1998年 | 6篇 |
1997年 | 6篇 |
1996年 | 4篇 |
1995年 | 6篇 |
1994年 | 5篇 |
1992年 | 3篇 |
1991年 | 2篇 |
1990年 | 2篇 |
1989年 | 6篇 |
1987年 | 1篇 |
1986年 | 2篇 |
排序方式: 共有178条查询结果,搜索用时 15 毫秒
141.
格子波尔兹曼方法(Lattice Boltzmann method,LBM)和浸入边界方法(Immersed boundary method,IBM)皆为近年来发展的可替代Navier-Stokes(N-S)方程求解复杂流体力学问题的数值模拟方法。本文采用浸入边界-格子波尔兹曼方法(IB-LBM),将IBM作为一种边界处理格式应用到LBM中,模拟了静止单圆柱及并排双圆柱绕流,与文献对比结果吻合良好,证明该方法具有模拟复杂边界物体绕流的能力。与采用虎克定理、直接力法计算体积力项的传统方法不同的是本方法运用反馈定理,即采用流场和流场内物体之间的速度、位移反馈来计算体积力项,使得该方法易于实施并具有优良的并行性。 相似文献
142.
刘小运 《中国民航飞行学院学报》2009,20(3)
运用临界点理论中P. H. Rabinowitz的鞍点定理证明了常p-Laplace系统在(▽F(t,x),Vx)≤μF(t,x),|x|≥M下周期解的存在性. 相似文献
143.
文章针对一类非线性系统,研究了一种基于回馈递推法的自适应神经网络控制方法.首先基于隐函数定理和中值定理推导出模型跟踪误差的动态特性,再利用多层感知器神经网络并设计适当的权值调整规则使其能够自适应的逼近和补偿误差提高系统的鲁棒性.基于Lyapunov方法证明了闭环系统所有信号有界且跟踪误差收敛到一个很小的邻域,所得到的闭环系统是一致稳定的.仿真结果验证了所研究算法的有效性. 相似文献
144.
对嵌入式操作系统类安全关键软件,测试、模拟、分析等传统软件验证方法不能保证其正确性,需要使用形式化方法。综述了主流商用嵌入式操作系统所采用的形式化验证方法,分析了操作系统内核不同特性的形式化验证思路。通常对空间隔离、信息流控制、系统调用、进程间通信等的证明采用定理证明方式,而对时间隔离的证明则采用模型检测方式。 seL4的通用抽象和逐层精化方法、模型检测和定理证明的混合方法在工程使用中都有前途。 相似文献
145.
146.
147.
148.
149.
150.
四色定理论证的关键 总被引:1,自引:0,他引:1
一百多年来对"四色问题"的研究长期不得其解的关键在于:肯泊(A.Kempe)当年提出的"不可避免构形集"中一个国家(地域)具有五个邻国(邻域)的所谓"可约性"问题得不到解决。"《四色定理》论证"用数学归纳法,而"平面图的点着色方法"未用数学归纳法,两种方式论证"四色问题"都涉及到"一个(待着色)顶点有五个邻接顶点,已着有4种颜色,要将这4种颜色设法变成3种,把腾出来的1种颜色给该顶点着色。"———这就是四色定理论证的关键。再根据换色原理,用巧妙而深层次地换色办法,对这个关键进行更深刻地论述,其换(着)色最多六步就可以完成,进而更充实和完善了前述两文。 相似文献