首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   309篇
  免费   55篇
  国内免费   37篇
航空   232篇
航天技术   35篇
综合类   69篇
航天   65篇
  2024年   6篇
  2023年   8篇
  2022年   16篇
  2021年   21篇
  2020年   16篇
  2019年   24篇
  2018年   17篇
  2017年   12篇
  2016年   10篇
  2015年   17篇
  2014年   22篇
  2013年   26篇
  2012年   28篇
  2011年   25篇
  2010年   16篇
  2009年   17篇
  2008年   10篇
  2007年   18篇
  2006年   13篇
  2005年   12篇
  2004年   3篇
  2003年   9篇
  2002年   3篇
  2001年   10篇
  2000年   3篇
  1999年   5篇
  1998年   7篇
  1997年   7篇
  1996年   4篇
  1995年   2篇
  1994年   4篇
  1993年   2篇
  1992年   5篇
  1991年   1篇
  1990年   1篇
  1989年   1篇
排序方式: 共有401条查询结果,搜索用时 15 毫秒
1.
随机抽取广州市2 905家企业人事经理的管理信念、劳动关系和谐度、企业经济绩效和非经济绩效的问卷调查数据进行多重回归,检验中介效应,并比较守法企业与非守法企业的差异.结果发现:(1)守法企业与非守法企业在管理信念、劳动关系和谐度、企业经济绩效和非经济绩效的表现上均存在极其显著的差异;(2)管理信念对企业经济绩效和非经济绩效都有正向性的影响;(3)企业的劳动关系和谐度发挥积极的中介作用.  相似文献   
2.
空间光学遥感器主镜背部形状的选择   总被引:6,自引:0,他引:6  
本文阐述了空间光学遥感器中主镜轻量化的必要性.对双凹、平背、单拱和双拱4种形状主镜在重力载荷下的变形进行了分析计算,得出了背部3点支撑方式下双凹主镜最优的结论,并进一步研究了3点支撑的双凹主镜面形变化RMS值随规一化支撑半径r/R的变化规律.  相似文献   
3.
对直升机加装桅杆式瞄准具后 ,聚焦式隔振系统的特性进行了分析与试验研究。考虑旋转翼轴、桅杆支撑结构的弹性影响 ,提出了一个新的 5个自由度的桅杆 /隔振系统 /机身耦合模型。为了验证该模型并有利于桅杆式瞄准技术的进一步研究 ,加工了一套瞄准具假件及其支撑结构 ,并在直 -×型机上进行了频率和传递函数测试 ,计算结果与试验结果吻合。研究表明 ,加装 80 kg的瞄准具 (被隔振重量的 1 2 % ) ,聚焦式隔振系统的一阶频率下降了 3 9% ;结构弹性对隔振系统隔振效率有很大影响 ,即使是原型机也达到了 40 3 %。  相似文献   
4.
本文以喷流模拟、柱体环形喷管喷流对模型底压影响、以及尾支撑和侧支撑对模型底压影响为基础,从定性、定量得出,用尾支撑作喷流试验,支撑干扰小,可做到既经济又可靠,数据准度较高。  相似文献   
5.
根据IS—LM模型中的中介目标选择理论,并通过对我国IS—LM曲线的分析,指出在我国现阶段的货币需求函数由于受到货币乘数、货币流通速度、外汇占款等因素波动的影响而变得很不稳定,因此货币供应量在目前已不适于作为当前的货币政策中介目标。在现阶段我国利率还没有完全市场化的条件下,货币政策中介目标的选择中应选择包括货币供应量在内的简单泰勒规则,使利率成为货币政策中介目标中的关键变量。要做到这一点,必须加大利率市场化改革的力度,完善经济主体的微观基础,充分发挥市场的作用。  相似文献   
6.
阐述了自主创新的重心在于推进科技进步,标准化是支撑科技进步的重要基点之一.标准是创新成果的表现形式和竞争的基础,是创新结果固化与传播的重要载体.加强标准化不会妨碍创新,同时,标准化工作必须开拓创新.  相似文献   
7.
时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用。基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL。讨论了它的形式系统和语义解释,但未论及其完备性。本文对MTL系统作进一步的讨论。在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备。  相似文献   
8.
中介时序逻辑系统MTL的模型论性质   总被引:1,自引:0,他引:1  
时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备.  相似文献   
9.
多模态逻辑作为模态逻辑的扩充,是模态逻辑进行时态和动态扩充的基础。中介逻辑是一个新的逻辑系统,自创立后得到了很大发展,并在数理逻辑及计算机科学领域中得到广泛应用。为将中介逻辑进行时态和动态扩充,本文构造了一种基于中介逻辑的多模态逻辑系统MMK,讨论了它的推理规则和语义解释,并证明了MMK的可靠性和完备性,在此基础上给出了一种基于中介逻辑的时态逻辑系统MT,对它的可靠性和完备性进行了讨论。最后,分析了相应的经典多模态逻辑系统与MMK系统及经典时态逻辑系统和MT系统之间的关系。  相似文献   
10.
在中介公理集合论系统(MS)中重新定义了良集的概念,讨论了它的性质。证明良集完全满足经典公理集合论系统(ZFC-:ZFC系统中去掉正则公理)的全部公理,且其配套的逻辑系统恰为中介逻辑的二值子系统FI*ML,说明整个经典数学也能奠基于MS之上,从而最终回答了中介数学与经典数学的包含关系问题。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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