全文获取类型
收费全文 | 336篇 |
免费 | 5篇 |
专业分类
公路运输 | 38篇 |
综合类 | 193篇 |
水路运输 | 79篇 |
铁路运输 | 29篇 |
综合运输 | 2篇 |
出版年
2024年 | 3篇 |
2023年 | 8篇 |
2022年 | 2篇 |
2021年 | 9篇 |
2020年 | 9篇 |
2019年 | 11篇 |
2018年 | 6篇 |
2017年 | 6篇 |
2016年 | 3篇 |
2015年 | 9篇 |
2014年 | 5篇 |
2013年 | 3篇 |
2012年 | 9篇 |
2011年 | 9篇 |
2010年 | 14篇 |
2009年 | 18篇 |
2008年 | 16篇 |
2007年 | 30篇 |
2006年 | 16篇 |
2005年 | 21篇 |
2004年 | 13篇 |
2003年 | 24篇 |
2002年 | 6篇 |
2001年 | 16篇 |
2000年 | 13篇 |
1999年 | 7篇 |
1998年 | 5篇 |
1997年 | 7篇 |
1996年 | 9篇 |
1995年 | 6篇 |
1994年 | 3篇 |
1993年 | 7篇 |
1992年 | 2篇 |
1991年 | 4篇 |
1990年 | 5篇 |
1989年 | 7篇 |
排序方式: 共有341条查询结果,搜索用时 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.
川藏铁路建设面临着涉及专业广泛,施工条件恶劣等诸多挑战,导致技术接口繁多且管理难度大.川藏铁路修建的桥梁总数超过120座,铁路桥梁工程与其他工程的技术接口便成为川藏铁路接口管理的重点与难点,因此对其进行科学有效的管理是提升川藏铁路工程质量,降低管理成本的关键.采用结合三角模糊数确信度(triangular fuzzy number certitude degree,TFNCD)算子的模糊决策试验评估实验室(fuzzy DEMATEL)方法对川藏铁路桥梁与其他工程的技术接口进行研究分析.研究结果表明:桥隧连接与路桥过渡段对技术接口系统的影响最大,应分配更多的资源以确保工程质量;电力、通信、信号电缆的上下桥预留等技术接口有极强的相似性,可以采用类似的管理方法,提高技术接口的管理效率. 相似文献
4.
提出了一种基于机器码存储的改进遗传算法,适于优化大型多变量问题。开发的C 基本位操作算子,使此算法仍可沿用传统二进制遗传算法的交叉变异操作。这一算法在内存和时间上占优势,是一种稳健的、全局搜索能力较强的优化算法,并在建立河北省某地区的年降雨神经网络预测模型的实践中得到了验证。 相似文献
5.
6.
公路网规划方案综合评价方法及应用 总被引:2,自引:0,他引:2
根据公路网的道路与交通特征参数指标,阐述了评价公路规划方案优劣的新模型,既多对模糊算子的二级综合评价模型,并结合运用AHP法来确定评价指标权重。 相似文献
7.
8.
舰船目标检测在国民经济、国家安全和环境保护等诸多方面有非常重要的地位。本文首先获取原始的光学遥感图像,进行预处理去除噪声等不良因素的干扰;其次进行目标增强,利用CRC自适应控制的结构元素尺寸,便于感兴趣的视觉焦点提取,运用自适应滤波器提取出划定的感兴趣区域的特征信息,利用图像信息融合检测出舰船目标;最后通过实验进行验证本文设计的算法,与传统舰船目标检测相比,提高了检测率,即使存在噪音等不利因素也能有效地检测出目标,并且降低了漏检率和虚警率。 相似文献
9.
一种免疫算法的改进 总被引:2,自引:1,他引:1
曾毅 《华东交通大学学报》2007,24(1):123-128
针对一种免疫算法在求解多模态函数优化问题的不足,利用基于相似结构的小生境技术和近优淘汰算子对免疫算法加以改进.通过仿真实验,本文分析了交叉算子、变异算子及近优淘汰算子对算法的影响.仿真结果表明改进后的算法的性能有明显的提高. 相似文献
10.
提出了一种合理有效的指纹图像二值化方法,先利用Kirsch算子得到指纹图像的方向场,然后对指纹图像进行方向中值滤波,最后通过图像的边缘强度设计局部自适应阈值对指纹图像进行分割,从而得到二值化图像。在自适应阈值的计算上,文中还提出了一种如何选择最佳图像分块大小的方法。实验结果表明,该方法不但处理效果好,而且运算速度快,满足了处理要求。 相似文献