全文获取类型
收费全文 | 388篇 |
免费 | 16篇 |
专业分类
公路运输 | 80篇 |
综合类 | 87篇 |
水路运输 | 137篇 |
铁路运输 | 78篇 |
综合运输 | 22篇 |
出版年
2024年 | 3篇 |
2023年 | 4篇 |
2022年 | 3篇 |
2021年 | 18篇 |
2020年 | 20篇 |
2019年 | 13篇 |
2018年 | 6篇 |
2017年 | 9篇 |
2016年 | 4篇 |
2015年 | 16篇 |
2014年 | 35篇 |
2013年 | 18篇 |
2012年 | 33篇 |
2011年 | 29篇 |
2010年 | 32篇 |
2009年 | 27篇 |
2008年 | 20篇 |
2007年 | 30篇 |
2006年 | 35篇 |
2005年 | 17篇 |
2004年 | 7篇 |
2003年 | 4篇 |
2002年 | 5篇 |
2001年 | 9篇 |
2000年 | 3篇 |
1999年 | 1篇 |
1990年 | 1篇 |
1989年 | 1篇 |
1986年 | 1篇 |
排序方式: 共有404条查询结果,搜索用时 140 毫秒
1.
基于对流效应的寒区路堤块石层临界高度研究 总被引:3,自引:2,他引:1
为了研究块石路堤降温效应与块石层高度之间的关系,基于多孔介质自然对流理论和热传导理论引入了表征寒区块石路堤自然对流降温效应的自然对流指数,利用热传导温度分布函数获得了路堤自然对流指数随块石层高度变化的近似公式。分析表明:自然对流指数最小值对应于路堤块石层的最小高度,而其最大值对应于路堤块石层的最大高度。另外介绍了一种利用自然对流指数近似公式估算路堤块石层临界高度的方法,并具体给出了算例,最后进行了数值验算。结果表明:通过自然对流指数确定的临界高度可为寒区工程的路堤设计提供参考。 相似文献
2.
系统有4种运行状态:正常、异常、隐患和故障,系统从正常依次经异常、隐患到达故障。正常状态、异常状态和隐患状态为系统的工作状态,系统处于哪种工作状态检测诊断后才能知道,系统故障时不需检测诊断就能知道。系统每次开始正常工作后,每隔一段随机时间对它检测诊断一次,直到系统故障或检测诊断出系统处于异常或隐患状态为止,并且诊断正常和异常时结果有可能出现错误,隐患诊断结果不会出错。在系统的寿命为连续型随机变量,检测间隔时间服从指数分布的假设下,利用向量Markov过程方法求出了系统的可靠性指标、系统的最优检测策略。 相似文献
3.
为探究如何更加实际地评价全自动运行(FAO)系统核心子系统功能的安全完整性等级(SIL),通过研究欧
洲电工标准化委员会(CENELEC)标准中风险模型的构造,给出风险降低因素(RRF)的定义;通过定义的风险降低
因素,建立可容忍事故率(TAR)与可容忍危害率(THR)的换算关系,进而评估出 FAO 系统核心子系统功能次级危
害的可容忍危害率;最后通过其与安全完整性等级的对应关系,得到核心子系统功能的安全完整性等级。应用结
果表明:结合实际的 FAO 工程项目应用成果,给出风险降低因素中各要素的具体示例,可供借鉴;与直接采用
可容忍事故率保守估计安全完整性等级的方法相比,在考虑风险降低因素后评估得到的安全完整性等级更接近实
际情况。 相似文献
4.
5.
6.
计算机联锁系统是铁路信号控制系统的核心设备,是有着苛刻安全要求的复杂控制系统。本文采用Prover形式化开发工具对联锁软件安全需求进行形式化验证。通过模型检验的形式化验证方法,遍历系统输入变量的所有状态空间.验证联锁特定应用满足系统安全需求,确保系统的安全性得以正确实现。在保证系统安全性的基础上,以全状态空间查找反例的检验方法进一步提升产品的质量。 相似文献
7.
对STAAD.Pro软件在海洋工程模块建造的加工设计阶段的应用进行了探讨。通过STAAD.Pro软件的可视化操作平台,对实际海洋工程模块进行建模、加载、计算和分析,通过计算得出模块的质量和质心位置,并根据规范对模块进行整体强度校核,从而对海洋工程模块的吊点布置及其吊装过程起到实际的指导作用。 相似文献
8.
9.
10.
A trial application of FSA methodology to the hatchway watertight integrity of bulk carriers 总被引:2,自引:0,他引:2
Formal safety assessment (FSA) is a formal, structured and systematic methodology, aimed at enhancing maritime safety, including protection of life, property and marine environment, by using risk and cost–benefit assessments. For the application of this methodology to the rule-making process, the International Maritime Organization (IMO) presented the Interim Guidelines, which describe procedures of FSA and inputs/outputs of each procedure in detail. This paper basically deals with an application of FSA methodology according to the IMO's Interim Guidelines to the hatchway watertight integrity of bulk carriers, which was carried out as a cooperative research between Korean Register of Shipping and Seoul National University. As results of this application study, 18 hazards are identified and 32 risk control measures are devised to reduce the associated risks. Potential risks, costs and benefits when some Risk Control Options are introduced are evaluated in monetary unit of US $. Finally, some discussions and recommendations based on experiences are also given for both future work and better application of this FSA methodology to the rule-making process. 相似文献