全文获取类型
收费全文 | 3905篇 |
免费 | 69篇 |
专业分类
公路运输 | 1091篇 |
综合类 | 946篇 |
水路运输 | 1068篇 |
铁路运输 | 727篇 |
综合运输 | 142篇 |
出版年
2024年 | 2篇 |
2023年 | 10篇 |
2022年 | 58篇 |
2021年 | 126篇 |
2020年 | 87篇 |
2019年 | 32篇 |
2018年 | 34篇 |
2017年 | 32篇 |
2016年 | 57篇 |
2015年 | 68篇 |
2014年 | 113篇 |
2013年 | 198篇 |
2012年 | 261篇 |
2011年 | 272篇 |
2010年 | 313篇 |
2009年 | 320篇 |
2008年 | 293篇 |
2007年 | 413篇 |
2006年 | 391篇 |
2005年 | 254篇 |
2004年 | 79篇 |
2003年 | 74篇 |
2002年 | 65篇 |
2001年 | 91篇 |
2000年 | 75篇 |
1999年 | 50篇 |
1998年 | 39篇 |
1997年 | 31篇 |
1996年 | 36篇 |
1995年 | 19篇 |
1994年 | 13篇 |
1993年 | 17篇 |
1992年 | 17篇 |
1991年 | 12篇 |
1990年 | 7篇 |
1989年 | 9篇 |
1988年 | 2篇 |
1987年 | 1篇 |
1985年 | 1篇 |
1984年 | 2篇 |
排序方式: 共有3974条查询结果,搜索用时 0 毫秒
151.
152.
153.
154.
In this paper, a novel approach for service substitutions based on the service type in terms of its interface type and behavior semantics is proposed. In order to analyze and verify behavior-consistent service substitutions in dynamic environments, we first present a formal language to describe services from control-flow perspective, then introduce a type and effect system to infer conservative approximations of all possible behaviors of these services. The service behaviors are represented by concurrent behavior expressions (CBEs). Built upon the interpretation of CBEs, behavior-consistent service substitutions are defined and analyzed by subtyping technology. The correctness of the analysis approach is guaranteed by type safety theorem, which is mechanically proved in the Coq proof assistant. Finally, applications in web services show that our method is effective and feasible. 相似文献
155.
国内已开发出多种11-12m长的低入口城市客车,而市场需求量大的8m长低入口城市客车还是空白.本文应用轮顶悬架前桥及短后悬结构专利技术,成功开发出低成本的8m长短后悬低入口城市客车. 相似文献
156.
157.
158.
以实际工程为背景,探讨了体外预应力加固桥墩盖梁的方法,经过优化设计采用钢锚梁进行预应力锚固。介绍了钢锚梁的具体构造,采用土木仿真有限元软件模拟分析,对盖梁混凝土承载能力、正常使用和持久状况应力、钢锚梁强度和稳定性进行研究,研究结果验证了加固措施的合理性,探讨了加固施工工艺。 相似文献
159.
交通仿真是采用计算机数字模型来反映复杂的交通现象,对交通运动随时间和空间的变化进行跟踪描述和分析。不同精度的交通仿真模型有不同的优缺点,要客观的评估城市的交通管理和控制系统优化措施,应将不同精度的模型配合,作为分析工具。本次研究采用中宏观的SATURN作为主导模型,对南宁市的宏观的交通进行整体分析,以及对不同交通改善方案进行评估。选用TSIS、SYNCHRO交通仿真软件作为辅助的交通分析工具,对局部地区的交通及信号配时作较为具体的分析,以利于本研究针对各种建议方案进行客观性的整合分析与应用。 相似文献
160.