全文获取类型
收费全文 | 2179篇 |
免费 | 55篇 |
专业分类
公路运输 | 461篇 |
综合类 | 415篇 |
水路运输 | 587篇 |
铁路运输 | 742篇 |
综合运输 | 29篇 |
出版年
2024年 | 20篇 |
2023年 | 57篇 |
2022年 | 59篇 |
2021年 | 79篇 |
2020年 | 56篇 |
2019年 | 36篇 |
2018年 | 34篇 |
2017年 | 34篇 |
2016年 | 49篇 |
2015年 | 66篇 |
2014年 | 82篇 |
2013年 | 98篇 |
2012年 | 116篇 |
2011年 | 107篇 |
2010年 | 108篇 |
2009年 | 123篇 |
2008年 | 133篇 |
2007年 | 132篇 |
2006年 | 130篇 |
2005年 | 92篇 |
2004年 | 117篇 |
2003年 | 106篇 |
2002年 | 81篇 |
2001年 | 62篇 |
2000年 | 41篇 |
1999年 | 28篇 |
1998年 | 38篇 |
1997年 | 29篇 |
1996年 | 34篇 |
1995年 | 14篇 |
1994年 | 13篇 |
1993年 | 13篇 |
1992年 | 17篇 |
1991年 | 8篇 |
1990年 | 12篇 |
1989年 | 8篇 |
1988年 | 2篇 |
排序方式: 共有2234条查询结果,搜索用时 15 毫秒
1.
对于一阶逻辑定理证明器,子句集化简一直是必不可少的步骤,这将有助于提高后续一阶逻辑定理证明器的证明效率. 针对子句冗余性的判断,提出了一种评估子句冗余性的原则:集合蕴涵模归结原则. 并且证明了该原则在不带等词一阶逻辑上的可靠性,根据该原则删除子句,不会影响原始子句集的不可满足性或者可满足性. 此外,依据该原则提出了两种新型的一阶逻辑预处理方法:集合归结包含消去(set resolution subsumption, SRSE)方法和集合归结不对称恒真消去(set resolution asymmetric tautology elimination, SRATE)方法,并证明了这两种子句消去方法在不带等词一阶逻辑子句集上的可靠性. 最后在理论上比较了SRSE方法和归结包含消去(sesolution subsumption elimination, RSE)方法以及SRATE方法和归结不对称恒真(sesolution asymmetric tautology elimination, RATE)方法之间的有效性,结果表明SRSE方法和SRATE方法分别比RSE方法和RATE方法更为有效. 相似文献
2.
3.
海洋石油钻井平台的设备多而且杂,运用传统的维修方式往往不能达到满足现场的要求.本文通过分析,认为基于风险维修方式最适合海洋石油钻井平台的设备.这种维修方式可以提高设备的可靠性,能够真正发挥维修的作用,降低维修成本,提高企业经济效益.本文着重介绍了基于风险维修方式的原理、程序及其应用. 相似文献
4.
5.
中型客车车身骨架的参数化设计方法研究 总被引:1,自引:0,他引:1
将先进的参数化思想运用于客车车身骨架的设计中,总结出一套基于特征和约束的参数化设计方法和原则。根据客车通用的结构特点,以已有车型作为参照,在Pro/Engi-neer的平台上利用Pro/Program进行二次开发,创建了中型客车车身骨架的参数化模型,并提出了参数测试的方法和步骤。本方法的应用将大大缩短设计开发周期,并有效降低设计成本。 相似文献
6.
7.
赵海良 《学术动态(成都)》2005,(2):14-17
非线性未知系统的多目标最佳化控制一直是控制领域一个比较困难的问题,它是多目标最佳化问题与控制问题的结合体。其困难主要表现在几个方面,一是被控对象没有可利用的数学模型,仅能依据经验或其输人输出数据对它进行认识;二是系统各个控制目标不能用精确解析式子进行定量描述;三是系统的涉及的变量和因素较多,运行状态有很多不确定性。上述三方面的困难使得已有的基于模型的多目标最佳化理论不能有效解决。 相似文献
8.
介绍了900t龙六钩头弱磁升速控制系统的技术改造,提出了一种弱磁升速的逻辑控制方法,研制了一种直流电动机弱磁速用位能性负载检测装置。 相似文献
9.
IGCT作为一种新型大功率半导体开关器件,吸取了GTO和IGBT的优点,但其驱动则需要借助配套的门极驱动电路板才能实现.介绍了IGCT的基本工作原理,并根据驱动电路的要求分析设计原理,对1 100 A/4 500V逆导IGCT集成门极驱动电路的设计方法进行了具体分析和研究,实验结果验证了设计方法的可行性和正确性. 相似文献
10.
DF8B型机车逻辑控制单元设计 总被引:4,自引:4,他引:0
从DF8B LCU功能需求出发,介绍了MVB与CAN总线两种通信网络特点,并对其性能进行比较,重点是MVB方案的LCU功能、硬件系统组成及软件设计。DF8B LCU简化了机车线路,提高了系统可靠性,完全满足机车性能要求。 相似文献