全文获取类型
收费全文 | 1875篇 |
免费 | 107篇 |
专业分类
公路运输 | 609篇 |
综合类 | 627篇 |
水路运输 | 474篇 |
铁路运输 | 217篇 |
综合运输 | 55篇 |
出版年
2024年 | 22篇 |
2023年 | 85篇 |
2022年 | 71篇 |
2021年 | 75篇 |
2020年 | 59篇 |
2019年 | 78篇 |
2018年 | 38篇 |
2017年 | 44篇 |
2016年 | 36篇 |
2015年 | 79篇 |
2014年 | 98篇 |
2013年 | 83篇 |
2012年 | 108篇 |
2011年 | 134篇 |
2010年 | 116篇 |
2009年 | 121篇 |
2008年 | 106篇 |
2007年 | 94篇 |
2006年 | 78篇 |
2005年 | 76篇 |
2004年 | 62篇 |
2003年 | 37篇 |
2002年 | 47篇 |
2001年 | 37篇 |
2000年 | 32篇 |
1999年 | 17篇 |
1998年 | 22篇 |
1997年 | 18篇 |
1996年 | 18篇 |
1995年 | 15篇 |
1994年 | 12篇 |
1993年 | 12篇 |
1992年 | 20篇 |
1991年 | 10篇 |
1990年 | 9篇 |
1989年 | 10篇 |
1988年 | 2篇 |
1965年 | 1篇 |
排序方式: 共有1982条查询结果,搜索用时 531 毫秒
991.
一阶逻辑是数理逻辑中重要的分支,对其逻辑公式的自动推理是人工智能领域重要的研究热点之一. 目前一阶逻辑自动定理证明大多采用二元归结方法,每次只有2个子句进行归结,只消去1组互补对,导致演绎归结式文字数较多,影响了演绎效率. 为此,基于矛盾体分离规则提出了一种多元协同演绎算法,该算法每次允许多个子句进行协同演绎,消去多组互补对,从而演绎分离式文字数较少且可控,能有效提高推理能力;并且,该算法通过有效演绎权重和无效演绎权重调整子句演绎顺序,利用回溯机制搜索较优路径,有效规划演绎路径. 将该算法应用于国际顶尖证明器Eprover 2.1,以CADE2017竞赛例(FOF组)为测试对象,对加入多元协同演绎算法的Eprover 2.1证明器进行试验. 试验结果表明其能力超过了Eprover 2.1:多证明定理8个;能证明Eprover 2.1未证明定理31个,占未证明总数的28.2%. 相似文献
992.
为提升路面冬季运营安全,实现路面低温动态预警,开展了路面低温变色复配物的制备及热色特性的研究。考虑变色温度、变色色差,确定了低温变色复配物各组成材料;通过改变各组分用量,讨论了其对变色复配物热色特性的影响规律;基于加权优序法优选出变色复配物的最优组成比例;在此基础上,通过差示扫描量热法和红外光谱试验揭示了变色复配物的显色机制,并将变色复配物应用于变色标线的制备中,体现出了良好的变色性能与耐久性,验证了变色复配物在道路工程应用的可行性。研究结果表明:显色剂种类决定变色色差,溶剂种类决定变色温度,随着显色剂用量的增加,变色复配物的变色色差和变色温度均减小,随着溶剂用量的增加,变色复配物的变色色差先增加后减小,变色温度升高;通过加权优序法确定隐色剂、显色剂、溶剂的最佳质量比为1∶1∶20;变色复配物的热变色行为是由温度主导的结晶紫内酯与正癸醇之间的相互竞争引起的,低温时结晶紫内酯争夺得到更多的双酚A使体系有色,高温时正癸醇俘获较多的双酚A使体系无色,通过室外耐候耐久试验、磨耗试验、耐污试验证明了变色标线具有良好的变色效果和耐久性。 相似文献
993.
为了探讨新建隧道下穿既有隧道时对既有隧道的静力影响程度,应用可拓学物元理论,考虑新建下穿隧道与既有隧道间的相互关系,建立了考虑既有隧道洞径、新建隧道洞径、两隧道净距、围岩级别以及既有隧道埋深的静力影响程度评价模型,并将该模型得到的工程实例评价结果与实际结果进行了比较.结果表明,所建立的模型能够满足实际工程需要,可用于对下穿隧道对既有隧道静力影响程度的定性分析和定量评价. 相似文献
994.
针对传统三元阵安装布放要求较高,且只能给出目标二维位置信息的问题,提出了一种基于矢量水听器的任意形状三元阵三维定位算法,采用一个矢量水听器和两个声压水听器组成阵列,利用矢量水听器给出的信息解算目标方位角,推导了任意形状三元阵条件下目标俯仰角和距离的计算公式,从而实现了对目标三维位置信息的获取.消声水池的实验结果表明:新方法能够对声源目标准确定位,在环境噪声干扰下表现出较好的性能,具有一定的工程应用价值. 相似文献
995.
针对高硫煤还原分解磷石膏的反应复杂性,采用FactSage 6.1计算软件对其化学热力学平衡反应进行计算,并与相同条件下的磷石膏分解反应试验结果进行了比较.结果表明高硫煤还原分解磷石膏的主要产物为CaO,CaS,SO2等.综合分析表明温度是影响高硫煤还原分解磷石膏产物组成及含量的重要因素且在1 100℃时分解效果较好,可作为最佳温度的选择标准.计算结果虽与试验结果在确定组分含量上存有一定差异但产物组成及变化趋势相近,表明化学热力学平衡分析方法可作为磷石膏分解反应特性研究的指导性手段. 相似文献
996.
997.
998.
交通流模型一直是交通系统中最基本的研究内容.适当的交通流模型可用于路网交通流预测和信号控制.以北京环形快速路为背景,采用改进的元胞传输模型(modified cell transmission model,MCTM)进行建模.在MCTM模型中,放宽了原始CTM模型均等划分元胞的限制,并采用密度代替车辆数表示元胞状态,对不同元胞连接方式(简单连接、融合、分离)建立了元胞交通流传输关系.与广泛应用的微观仿真软件Paramics进行了仿真对比分析.结果表明,与原始CTM相比MCTM虽然大大减少了计算复杂性,但仍然可以准确地描述环形快速路交通流动态特性,从而为进一步的交通流预测和匝道控制提供模型基础. 相似文献
999.
1000.
从综合交通体系的内涵和发展要求出发,分析了衡量综合交通体系发展水平的评价指标,构建综合交通体系的评价指标体系,然后在确定各指标隶属度及权重的基础上,应用模糊物元分析的方法对综合交通体系进行评价,为综合交通的科学发展提供定量化的指导方案.最后,以湖北省综合交通体系为例进行分析,运用所建立的评价方法对其近几年的发展情况进行评价,结果表明该评价方法是合理的、可行的. 相似文献