全文获取类型
收费全文 | 6671篇 |
免费 | 124篇 |
专业分类
公路运输 | 1873篇 |
综合类 | 1319篇 |
水路运输 | 2068篇 |
铁路运输 | 1371篇 |
综合运输 | 164篇 |
出版年
2024年 | 33篇 |
2023年 | 135篇 |
2022年 | 190篇 |
2021年 | 247篇 |
2020年 | 219篇 |
2019年 | 139篇 |
2018年 | 65篇 |
2017年 | 93篇 |
2016年 | 92篇 |
2015年 | 186篇 |
2014年 | 312篇 |
2013年 | 284篇 |
2012年 | 318篇 |
2011年 | 336篇 |
2010年 | 368篇 |
2009年 | 394篇 |
2008年 | 544篇 |
2007年 | 458篇 |
2006年 | 331篇 |
2005年 | 275篇 |
2004年 | 299篇 |
2003年 | 238篇 |
2002年 | 164篇 |
2001年 | 179篇 |
2000年 | 132篇 |
1999年 | 91篇 |
1998年 | 97篇 |
1997年 | 94篇 |
1996年 | 88篇 |
1995年 | 68篇 |
1994年 | 78篇 |
1993年 | 61篇 |
1992年 | 47篇 |
1991年 | 53篇 |
1990年 | 39篇 |
1989年 | 40篇 |
1988年 | 3篇 |
1987年 | 1篇 |
1986年 | 3篇 |
1985年 | 1篇 |
排序方式: 共有6795条查询结果,搜索用时 31 毫秒
1.
2.
对于一阶逻辑定理证明器,子句集化简一直是必不可少的步骤,这将有助于提高后续一阶逻辑定理证明器的证明效率. 针对子句冗余性的判断,提出了一种评估子句冗余性的原则:集合蕴涵模归结原则. 并且证明了该原则在不带等词一阶逻辑上的可靠性,根据该原则删除子句,不会影响原始子句集的不可满足性或者可满足性. 此外,依据该原则提出了两种新型的一阶逻辑预处理方法:集合归结包含消去(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方法更为有效. 相似文献
3.
利用大型密度分层水槽开展了下凹型内孤立波作用在FPSO上的载荷特性系列实验;并依据实验工况,考虑KdV、eKdV和MCC内孤立波理论的适用性条件,数值研究了FPSO内孤立波载荷成分构成;基于实验结果和载荷成分构成,建立了FPSO内孤立波载荷的理论预报模型.研究表明:FPSO内孤立波水平载荷由粘性力和Froude-Krylov力组成,而垂向载荷主要为垂向Froude-Krylov力;Froude-Krylov力可通过动压力沿FPSO浮体湿表面积分得到,粘性力则通过经实验回归的摩擦系数Cf、形状修正因数K乘以内孤立波诱导水质点切向速度沿FPSO浮体湿表面积分得到.系列实验结果得出:摩擦系数Cf和形状修正因数K与雷诺数Re、KC数和流体层深度比h1/h有关;摩擦系数与Re呈自然对数关系;而形状修正因数K与KC数呈幂函数关系.理论预报模型预报的水平载荷、垂向载荷结果均与系列实验和数值结果吻合较好,并且发现随着内孤立波振幅的增加,载荷幅值近乎线性增加,而且上层流体深度对水平力幅值有明显的影响. 相似文献
4.
为刻画拥堵空间排队与溢出现象对交通流分配的影响,提出考虑拥堵空间排队与溢出的道路网静态交通流分配问题,并构建相关的求解算法,用于描述交通需求在起讫点移动过程中路网整体的宏观运行状态。首先,丰富和完善考虑拥堵空间排队与溢出的静态交通流分配的相关假设,提出次生瓶颈、拥堵干扰与渗透和分段化路段阻抗等基本概念和理论,来刻画拥堵交通瓶颈、拥堵空间排队等交通现象;其次,建立网络瓶颈识别算法和空间排队回溯算法,基于此构建考虑拥堵空间排队和溢出的增量分配算法,用于求解交通流分配的结果;最后,通过使用一个具有说明型的算例进行对比分析。研究结果表明:建立的瓶颈识别、排队回溯和增量分配算法可以识别路网中的瓶颈位置及其拥堵排队区域,并可计算得到各路段上的分段分配流量;与点排队只影响瓶颈路段的运行状况和均一的路段分配结果相比,可有效描述路网整体的宏观运行状态以及由于拥堵空间排队所导致的拥堵干扰与渗透现象;不同于“时间片”的伪动态交通流分配模型,新建算法的分配结果是“全时段”与“整体性”的路网宏观运行状态,包含了拥堵瓶颈的具体位置和空间排队的干扰与渗透情况;一般拥堵点排队模型和基于“时间片”的拥堵空间排队模型难以刻画拥堵干扰与渗透现象以及路网整体的宏观运行状态,故所建立的分配方法是对传统拥堵交通流分配的丰富和发展。 相似文献
5.
现有高速铁路轨道长波不平顺静态检测主要采用矢距差法或简化矢距差法,存在与检测起点相关、含有里程相位差、基础变形时检测幅值偏大、与车体振动加速度匹配性较差等缺点。利用中点弦测法对轨道长波不平顺进行静态检测,通过对中点弦测法不同测弦长度有效测量波长范围和列车敏感波长分析,采用60 m测弦长度的中点弦测法最适合时速300~350 km运营期高速铁路;利用车辆-轨道动力学仿真分析和最小二乘法拟合相结合方法,提出运营期高速铁路300及350 km·h^-1速度下的轨道长波高低不平顺控制标准,并进行实例验证。结果表明:60 m弦中点弦测法既可保证轨道长波不平顺检测的准确性,又能很好地体现车体振动响应;时速300 km运营期高速铁路轨道长波高低不平顺3级控制标准建议值分别为9,15,21 mm;时速350 km分别为7,11,15 mm。 相似文献
6.
在滚滚的历史长河中,每个时期都有每个时期的独特故事,也有着自然生存法则赋予的轮回更替。在二汽建设之初,总装配厂、车架厂和车身厂原本是同步规划,一体设计的,然而,由于历史的原因和条件所限,最终只能分开设厂。历经50年的发展变革,如今,几年前已与重型车厂合并的总装配厂,又与车架厂整合成为车辆工厂,让50年前未实现的愿景,在今天部分成为了现实。东风商用车有限公司是东风公司的长子,这一变革必将实现更加健康稳健的发展。今天,让我们一起走近曾参与总装配厂设计规划并见证了总装配厂50年建厂历史的元老战权理(原总装配厂总工程师),一起听他讲述当初建厂时的故事。 相似文献
7.
董正敏 《辽宁省交通高等专科学校学报》2020,22(1):37-40
马克思在神圣家族中深刻的批判了英雄创造历史的唯心主义历史观,创造性的指出人民群众是历史的真正创造者,但同时也肯定了英雄在历史发展中起着重要的作用。中华民族是一个英雄辈出的民族,中华民族也素来尊重英雄、崇尚英雄。在新时代捍卫和传承英雄精神有着重要意义,从国家层面上讲,为实现中华民族伟大复兴的中国梦注入强大的精神动力;从社会层面上讲,为中国特色社会主义事业汇聚起强大的正能量;从个人层面讲,可以感染广大劳动者勤奋做事、勤勉为人、勤劳致富,培育践行社会主义核心价值观。 相似文献
8.
摆辗机是一种新型的采用液压—电机联合驱动 ,使被加热的工件不断产生变形 ,从而获得所需形状和尺寸的锻件热锻设备。该设备广泛应用于汽车半轴锻件 ,也适用于其他行业中的类似锻件 ,与其他热锻设备相比有省力、变形均匀、无冲击、投资少等优点。摆辗模是在高温下无冲击加压 ,以局部变形代替常规锻造中的整体变形 ,强迫加热金属变形的成形模具。其在工作中除承受较大的压力和耐受较长时间的高温外 ,还要受到因反复加热、冷却而引起体积反复变化的交变应力等多种应力的作用 ,极易导致热疲劳龟裂的产生。所以 ,如何提高摆辗模的耐热性能和耐热… 相似文献
9.
10.
许焕明 《广东交通职业技术学院学报》2002,(3):61-63
本文主要阐述了PN码产生器的构造原理、PN码的特性;并根据PN码的性质,介绍了PN码在保密通信中应用的设想。 相似文献