全文获取类型
收费全文 | 93篇 |
免费 | 10篇 |
国内免费 | 5篇 |
专业分类
航空 | 63篇 |
航天技术 | 14篇 |
综合类 | 12篇 |
航天 | 19篇 |
出版年
2023年 | 3篇 |
2022年 | 4篇 |
2021年 | 4篇 |
2020年 | 2篇 |
2019年 | 1篇 |
2018年 | 2篇 |
2017年 | 1篇 |
2016年 | 2篇 |
2015年 | 3篇 |
2014年 | 4篇 |
2013年 | 2篇 |
2012年 | 1篇 |
2011年 | 1篇 |
2010年 | 3篇 |
2009年 | 5篇 |
2008年 | 6篇 |
2007年 | 7篇 |
2006年 | 8篇 |
2005年 | 2篇 |
2004年 | 1篇 |
2003年 | 4篇 |
2002年 | 2篇 |
2001年 | 1篇 |
2000年 | 3篇 |
1999年 | 2篇 |
1998年 | 2篇 |
1996年 | 2篇 |
1995年 | 1篇 |
1994年 | 6篇 |
1993年 | 3篇 |
1992年 | 1篇 |
1991年 | 2篇 |
1990年 | 4篇 |
1989年 | 5篇 |
1988年 | 1篇 |
1987年 | 1篇 |
1986年 | 1篇 |
1981年 | 3篇 |
1979年 | 1篇 |
1977年 | 1篇 |
排序方式: 共有108条查询结果,搜索用时 312 毫秒
1.
基于软件文档可执行的想法,设计了一个适用于指称语义描述的可执行规范说明语言——JZC,并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念,使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试,JZC核心子集编译器的开发采用了该种方法,其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介JZC的语言特点,给出了编译器开发过程的一个描述框架和证明梗概 相似文献
2.
3.
对歼击机机翼全尺寸模拟疲劳试验的耳片断口进行了观察和分析,从断裂处存在磨痕和磨屑的形貌及耳片受力变形状态,证明耳片属于微动疲劳断裂。本文提出铝合金耳片和钢衬套接触时,微动疲劳裂纹萌生过程的模型。 相似文献
4.
5.
为了提高频率稳定性测量的置信度,研制了一种1—16路同轴射频开关,分析了开关的性能,给出了单路、多路隔离度测试结果。测试结果表明,对于5MHz 的信号,开关的单路隔离度可达130dB,而对于25MHz 的信号,其单路隔离度在115dB 以上。 相似文献
6.
介绍了动态系统的计算机辅助直接优化方法的原理及其在低空风切变改出飞行中的应用,利用较真实的风切变工程化模型,选择适当的控制函数模型,性能准则及其约束条件,通过计算机直接地,系统地和迭代地探寻最优条件,对飞机改出低空风切变控制进行了优化,获得了最佳改出性能飞行参数曲线,并与没有优化的改出引导策略结果作了比较,结果表明,通过优化,飞机改出低空风切变的性能获得了明显的改善。 相似文献
7.
8.
1997年初,IEEE批准了一个新的测试接口标准,称为IEEESTD993“测试设备描述语言(TEDL)”。多年以来,工业界已经使用非标准术语在测试语言与仪器标准之间作了连接,前者如ATLAS,后者如GPIB/VXI。这个标准将提供测试规范和仪器控制之间的标准接口。 相似文献
9.
本文将阐明IEEE716C/ATLAS自动测试环境下数字测试能力。本文描述了关于716C/ATLAS适合在不同级别的组件,特别是重点在LRU/WRA级别上进行数字测试的问题,在项目涉及把LASAR数据二次处理进一个现代的C/ATLAS环境中时,作者描述了这些问题。本文对自动测试界说明了使用C/ATLAS执行数字测试是可能的。说明了在与传统的数字测试环境比较时,IEEE标准方案执行得很好,被描述的优点(如可移植性,重宿主能力)和缺点(如性能)可使最终用户对IEEE的标准做出有见地的决策。本文所论述的工作是基于实际经验的,是ATE界的现在趋势以及在这个领域频繁涉及的问题。 相似文献
10.
根据带式输送机胶带上部物料断面形状的不同假定,本文推导了带式输送机设计中的物料断面系数的计算公式。通过研究给出了确定的托辊长度与有效宽度的比值θ,从而实现了对设计参数连续变化的计算,克服了现行设计中表格法的不足,有利于计算机程序的实现。本文提出的公式法计算结果基本符合日本和德国的计算标准。 相似文献