全文获取类型
收费全文 | 434篇 |
免费 | 46篇 |
国内免费 | 85篇 |
专业分类
航空 | 272篇 |
航天技术 | 106篇 |
综合类 | 99篇 |
航天 | 88篇 |
出版年
2024年 | 1篇 |
2023年 | 5篇 |
2022年 | 14篇 |
2021年 | 10篇 |
2020年 | 19篇 |
2019年 | 12篇 |
2018年 | 15篇 |
2017年 | 23篇 |
2016年 | 24篇 |
2015年 | 16篇 |
2014年 | 16篇 |
2013年 | 17篇 |
2012年 | 24篇 |
2011年 | 29篇 |
2010年 | 22篇 |
2009年 | 28篇 |
2008年 | 20篇 |
2007年 | 22篇 |
2006年 | 31篇 |
2005年 | 20篇 |
2004年 | 18篇 |
2003年 | 11篇 |
2002年 | 18篇 |
2001年 | 16篇 |
2000年 | 9篇 |
1999年 | 17篇 |
1998年 | 8篇 |
1997年 | 11篇 |
1996年 | 12篇 |
1995年 | 10篇 |
1994年 | 12篇 |
1993年 | 12篇 |
1992年 | 8篇 |
1991年 | 4篇 |
1990年 | 6篇 |
1989年 | 8篇 |
1988年 | 8篇 |
1987年 | 7篇 |
1986年 | 2篇 |
排序方式: 共有565条查询结果,搜索用时 15 毫秒
1.
基于软件文档可执行的想法,设计了一个适用于指称语义描述的可执行规范说明语言——JZC,并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念,使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试,JZC核心子集编译器的开发采用了该种方法,其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介JZC的语言特点,给出了编译器开发过程的一个描述框架和证明梗概 相似文献
2.
3.
本文给出了无界域上不定二次规划一个算法。该算法将不定规划转化为一系列凸二次规划,并证明了算法的收敛性。 相似文献
4.
一个基于WINDOWS环境的网络连接服务 总被引:1,自引:0,他引:1
卢秉亮 《沈阳航空工业学院学报》2002,19(4):40-42
该文介绍了在校园网环境及WINDOWS平台,采用TCP/IP协议设计并开发PING网络连接服务和客户机/服务器功能的VC^ 程序。 相似文献
5.
利用回归分析方法得到国家财政部分主要支出项目,部分税收收入与国内生产总值构成的回归方程,由此构成线性规划问题的约束方程组。再用M单纯形法求最优解。 相似文献
6.
ADA-1612转换板是12位的模入模出板。它可以直接用于具有S-100总线接口的单板机系统。本文简单分析了ADA-1612转换板的结构原理,详细内容参见文[2]。TP86A采用INTEL 8086CPU的十六位单板机。本文为它设计了连接ADA-1612转换板的S-100总线接口。并介绍了该接口电路和使用该接口的编程方法。现在,该接口已经实际应用到几种TP86A组成的系统。 相似文献
7.
双层多目标规划若干问题的研究 总被引:2,自引:0,他引:2
研究了下层决策者无关联的双层多目标规划问题,在不同偏好意义下,给出了各自解的定义,讨论了线性双层多目标规划问题。 相似文献
8.
民用机场停机位优化配置 总被引:6,自引:0,他引:6
停机位配置指为到港或离港航班指定适宜的登机口,确保航班正点。航班停机位的高效、合理安排是机场地面作业中的一项核心任务。本文在系统分析国内繁忙机场停机位配置情况的基础上,提出以旅客登转机时间(旅客满意度)、机型与停机位类型匹配(机场效益)为优化目标,同时考虑航班类型(国内短途、国际长途)、航班数量与密度(忙时、闲时)、停机时间的停机位配置的数学模型,并设计求解模型的禁忌搜索(TS)算法。数值仿真证明了模型和算法的有效性。 相似文献
9.
10.
刘荣萍 《航空精密制造技术》2006,42(1):56-58
介绍了一种利用加工中心配备专用磨头磨削凸轮复杂型面的特殊加工方法,研究解决了复杂凸轮型面的仿形加工、计量检测及数控加工编程技巧等问题。 相似文献