首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   2122篇
  免费   34篇
  国内免费   30篇
航空   993篇
航天技术   79篇
综合类   217篇
航天   897篇
  2024年   4篇
  2023年   11篇
  2022年   17篇
  2021年   29篇
  2020年   29篇
  2019年   16篇
  2018年   10篇
  2017年   24篇
  2016年   17篇
  2015年   21篇
  2014年   55篇
  2013年   48篇
  2012年   65篇
  2011年   114篇
  2010年   62篇
  2009年   115篇
  2008年   140篇
  2007年   120篇
  2006年   148篇
  2005年   151篇
  2004年   164篇
  2003年   162篇
  2002年   116篇
  2001年   89篇
  2000年   113篇
  1999年   38篇
  1998年   50篇
  1997年   43篇
  1996年   32篇
  1995年   27篇
  1994年   42篇
  1993年   17篇
  1992年   20篇
  1991年   18篇
  1990年   15篇
  1989年   22篇
  1988年   5篇
  1987年   12篇
  1986年   2篇
  1985年   1篇
  1982年   1篇
  1981年   1篇
排序方式: 共有2186条查询结果,搜索用时 31 毫秒
131.
代码审查是航天嵌入式软件开发中的重要环节.近年来,随着嵌入式软件开发需求的增多,传统以人工为主的代码审查方法逐渐不能满足快节奏的软件开发流程.为了减轻审查人员的压力,提升审查效率,研究者们逐渐将目光转向以深度学习技术为首人工智能领域,尝试寻求技术上得突破,以开发更智能的审查系统.本文对近年来人工智能技术在代码审查及程序理解中应用的相关工作进行了归纳总结.首先简要介绍了嵌入式代码审查工作目前面临的困境及解决方案.然后引出了代码审查中的一项重要活动,即程序理解.并详细阐述了目前基于人工智能的程序理解在代码审查中的应用情况.最后根据相关领域的发展情况,对未来代码审查的发展方向作了进一步的探讨.  相似文献   
132.
根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10...  相似文献   
133.
紧凑热交换器优化设计   总被引:2,自引:0,他引:2  
对各种传热表面的板翅式紧凑热交换器进行了优化设计计算,建立了通用优化程序系统。此程序既适用于一般地面热交换器,也适用于飞机空调中的热交换器。与传统的设计计算相比较,优化设计的效果很好。热交换优化后,肋片的形状变得更加合理,芯体传热表面更加紧。通过各种肋片的计算得出,条状肋片为板翅式肋片中的最佳者。  相似文献   
134.
机场终端区着陆次序的排序规划算法   总被引:4,自引:0,他引:4  
讨论了机场终端区飞机到达流的排序规划问题。为了能够在终端区交通繁忙的情况下高效地为到达的飞机流安排合理的着陆次序,并在不违反飞机间距要求的情况下给出各飞机经过优化的着陆时间,提高机场跑道的利用率,提出了经过改进的先来先服务、带有时间提前量、带有约束的位置偏移三种排序算法。当进入机场终端区的飞机数量超过机场终端区的容量时,分航路对飞机排队并对飞机间的距离进行限制  相似文献   
135.
考虑四种主要随机因素:载荷(作用应力)、缺陷尺寸、断裂韧性、流变应力等参数的不确定性,针对较为常见的焊接结构型式,如平板、球罐、圆柱形容器等结构上可能存在的不同缺陷类型,基于双判据失效准则,编制了较为通用的含缺陷焊接结构概率安全评定程序。对国产CF-62钢制容积为1531m3的球罐可能存在的缺陷进行了概率安全评定,通过对评定参数的敏感性分析,指出了影响其可靠性的关键因素。  相似文献   
136.
空中交通管制系统是生产实际中的一种典型的离散事件动态系统(Discrete event dynamicsystem,DEDS),而Petri网理论是研究DEDS的有力工具之一。为了描述空中交通管制系统受到外部控制的交互机制及层次结构,文中引入Petri网概念的一类扩充--开放Petri网的概念,并用开放Petri网工中交通管制辅助决策系统进行建模与分析,阐述了空中交通管制辅助决策系统的开放Petr  相似文献   
137.
本文说明了符号微分程序系统的一些特征、功能、设计思想和程序设计技术。 该系统是使用人工智能专用语言LISP写成的,并且已经在CROMEMCO系统Ⅲ微型计算机上正确地运行。文中还给出了在该机器上求出的一些复杂函数的符号微分实例。  相似文献   
138.
二战后,航空业在全球绝大多数国家逐步脱离了军事化色彩而成为国民经济的一个组成部分。世界范围内,很多大型航空公司都是因国家注资而诞生,或经历过国有控股、国家出资的支持,如英国航空公司、法国航空公司、新加坡航空公司、印度航空公司、澳洲航空公司、韩国航空公司等等。20世纪60、70年代后,随着美国的航空业放松管制,全球航空公司的股权结构也开始变化,一些航空公司开启了民营化的实践。但是具体来讲,各个国家、地区航空公司民营化的情况是纷繁复杂的,本文拟对当前世  相似文献   
139.
近年来,我国民航迅猛发展,空中交通流量快速增长,各种新技术日新月异,安全间隔不断缩小,系统安全压力越来越大。空中交通管制员负责指挥飞机的起降以及飞行过程中的安  相似文献   
140.
马兆鑫  田浩  赵阳 《宇航学报》2010,31(2):536-540
针对测试序列自动执行程度低影响航天器测试效率的问题,提出了一种可控制流程的 高级语言形式的新型航天器测试语言(STL),并对其语言执行机构进行研究,设计并实现 了基于插件技术的以解释器为核心的集成开发环境——航天器测试语言运行平台。实践表 明航天器测试语言具有较强的通用性与实用性,该语言运行平台能够有效降低航天器地面测 试强度,节约测试成本,提高测试效率。
  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号