全文获取类型
收费全文 | 239篇 |
免费 | 95篇 |
国内免费 | 60篇 |
专业分类
航空 | 249篇 |
航天技术 | 53篇 |
综合类 | 22篇 |
航天 | 70篇 |
出版年
2024年 | 2篇 |
2023年 | 17篇 |
2022年 | 22篇 |
2021年 | 21篇 |
2020年 | 20篇 |
2019年 | 38篇 |
2018年 | 20篇 |
2017年 | 26篇 |
2016年 | 16篇 |
2015年 | 22篇 |
2014年 | 22篇 |
2013年 | 14篇 |
2012年 | 24篇 |
2011年 | 22篇 |
2010年 | 13篇 |
2009年 | 15篇 |
2008年 | 9篇 |
2007年 | 10篇 |
2006年 | 11篇 |
2005年 | 6篇 |
2004年 | 7篇 |
2003年 | 7篇 |
2002年 | 7篇 |
2001年 | 5篇 |
2000年 | 5篇 |
1999年 | 3篇 |
1998年 | 2篇 |
1997年 | 1篇 |
1996年 | 3篇 |
1995年 | 1篇 |
1992年 | 2篇 |
1986年 | 1篇 |
排序方式: 共有394条查询结果,搜索用时 15 毫秒
1.
介绍了几种整体检定直流电阻仪器的检定方法 ,着重分析了用数字多用表整体检定高准确度直流电阻仪器的工作原理和检定方法 ,并进行了不确定度的计算。 相似文献
2.
利用一种设计好的专用检具 ,使两束被检热电偶分别从检定炉的两端安装均可保证符合检定规程的要求 ,从而在不添置新设备的情况下 ,使检定热电偶效率大大提高。 相似文献
3.
并发演算CC(Concurrent Calculus)是高阶并发通信系统的数学模型,它把λ-演算作为子理论并包含一阶通信系统演算CCS、活动进程演算CMP、和高阶通信系统演算CHOCS的主要特征。在CC中,通信端口可为任意表达式并且进程和通信端口都可以作为在通信中传递的一等对象(First-class Objects)。从而CC不仅可以描述一阶通信行为而且可以刻划通信网络的动态自修改行为。另外,由于CC把λ-演算和进程演算纳入同一形式系统,故CC可以作为并发函数式程序设计的核心语言和理论模型。本文首先给出CC的语法、语义和例子,然后研究CC的高阶双向模拟等价关系以及CC的代数定律。最后简单讨论了相关的工作和今后的研究方向。 相似文献
4.
基于软件文档可执行的想法,设计了一个适用于指称语义描述的可执行规范说明语言——JZC,并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念,使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试,JZC核心子集编译器的开发采用了该种方法,其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介JZC的语言特点,给出了编译器开发过程的一个描述框架和证明梗概 相似文献
5.
以9500示波器自动检定系统为例,介绍了在VB6.0开发环境下,引用其强大的数据库功能。通过建立9500程控代码数据库、仪器登记数据库、检定参数设置信息库、检定结果信息库,实现了各库之间的数据访问和存储,达到了对各种示波器的半自动和全自动检定。并将部分代码加以介绍,可以直接在其它自动测试中应用,因此具有广泛的应用和借鉴价值。 相似文献
6.
7.
对求解偏微分方程问题的程序的严格验证,一直以来由于其精确解有限,较难进行,针对这种情况,本文给出了一种新的程序验证方法,虚构解方法,该方法旨在解决大型科学计算程序如何较严格地进行程序验证这一问题;该方法通过构造虚构解,修改原控制方程,然后通过对计算结果的分析处理达到对程序的精确验证;文中给出了一组通用的虚构解的选取办法,解决了虚构解方法验证过程中确定虚构解的问题;同时还给出了运用该方法对非结构二维Euler计算程序进行验证的具体例子,网格收敛分析结果表明该方法是一种有效的程序验证方法,并且具有较好的通用性。 相似文献
8.
介绍了直流电阻仪器自动检测系统的组成、测量原理和检定方法以及系统实现的功能和特点 ,并进行了测量不确定度评定 相似文献
9.
某型飞机发动机安装架强度分析 总被引:3,自引:0,他引:3
李春刚 《燃气涡轮试验与研究》2010,23(2):38-42
某型飞机在换装新型大功率发动机后,对其发动机安装架也进行了相应的改进设计。本文就改进设计后的发动机安装架建立了有限元模型,并对其进行了载荷分析和强度校核。结果表明,该型飞机发动机安装架改进设计合理,改进后强度能满足使用要求。 相似文献
10.
通过对航空气压高度表的工作原理和检定方法进行分析,提出了一种新的气压高度表检定方法。该方案采用广泛应用的PPC2气体压力控制器模拟产生精密气压高度信号,直接对航空气压高度表、航空大气数据计算机的静压和气压高度等项目进行检定,对具有RS232数据输出功能的电子式气压高度表可以实现自动检定,对这种方法的测量不确定度进行了分析。该方法具有操作便捷、可靠性高的特点。 相似文献