全文获取类型
收费全文 | 183篇 |
免费 | 45篇 |
国内免费 | 8篇 |
学科分类
航空航天 | 236篇 |
出版年
2024年 | 4篇 |
2023年 | 5篇 |
2022年 | 9篇 |
2021年 | 7篇 |
2020年 | 6篇 |
2019年 | 15篇 |
2018年 | 6篇 |
2017年 | 7篇 |
2016年 | 9篇 |
2015年 | 11篇 |
2014年 | 10篇 |
2013年 | 11篇 |
2012年 | 3篇 |
2011年 | 7篇 |
2010年 | 8篇 |
2009年 | 9篇 |
2008年 | 7篇 |
2007年 | 9篇 |
2006年 | 15篇 |
2005年 | 7篇 |
2004年 | 8篇 |
2003年 | 5篇 |
2002年 | 5篇 |
2001年 | 1篇 |
2000年 | 1篇 |
1999年 | 3篇 |
1998年 | 4篇 |
1997年 | 2篇 |
1996年 | 4篇 |
1995年 | 2篇 |
1994年 | 6篇 |
1993年 | 9篇 |
1992年 | 3篇 |
1991年 | 3篇 |
1990年 | 5篇 |
1988年 | 3篇 |
1987年 | 2篇 |
1985年 | 1篇 |
1983年 | 1篇 |
1982年 | 1篇 |
1979年 | 1篇 |
1964年 | 1篇 |
排序方式: 共有236条查询结果,搜索用时 0 毫秒
1.
2.
基于软件文档可执行的想法,设计了一个适用于指称语义描述的可执行规范说明语言——JZC,并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念,使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试,JZC核心子集编译器的开发采用了该种方法,其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介JZC的语言特点,给出了编译器开发过程的一个描述框架和证明梗概 相似文献
3.
4.
5.
基于超高速撞击物理实验数据对蜂窝夹层板撞击极限方程进行修正是获得高可信度新方程的一种常用方法,为了提高物理实验数据的可靠性,以国外131个碳纤维复合材料(CFRP)面板的蜂窝夹层板实验数据为对象,进行野值判别方法研究,发现该批数据中存在1个野值。将该野值剔除并基于剩余的130个数据重新进行方程修正后,新方程的总体预测率和安全预测率分别达到82.3%和93.1%,其绝对误差平方和、相对误差平方和分别为0.010、0.506,相对于剔除野值前的修正方程有所改善,表明实验数据野值判别方法可行、有效。为考核方法的适用性,对铝合金面板的蜂窝夹层板的实验数据也进行野值判别分析,结果显示该方法可合理识别野值。 相似文献
6.
8.
9.
针对等离子鞘套热力学波动造成电磁波传播特性变化的问题,结合湍流理论、等离子理论和电磁波传播理论,得到了热力学参数波动与介电常数间的关系。计算了不同状态下热力学参数波动引起S和Ka波段电磁波透射和反射系数的变化。结果表明,当电子密度增大,S波段反射系数变化减小、透射系数变化增大;当Ka波段在碰撞频率10MHz时,反射系数变化增大、透射系数变化减小,在碰撞频率1GHz和50GHz时透射系数变化反射系数变化先增后减。不同高度下波动的影响也不同,S波段透射和反射系数变化随高度升高先减后增;Ka波段透射系数变化先减后增、反射系数变化先减后增而后再次减小。因此,应根据实际环境状态获得波动的包络范围,进而针对性开展测控通信系统设计。 相似文献
10.