全文获取类型
收费全文 | 294篇 |
免费 | 7篇 |
专业分类
公路运输 | 61篇 |
综合类 | 81篇 |
水路运输 | 66篇 |
铁路运输 | 88篇 |
综合运输 | 5篇 |
出版年
2024年 | 2篇 |
2023年 | 5篇 |
2022年 | 6篇 |
2021年 | 6篇 |
2020年 | 6篇 |
2019年 | 5篇 |
2018年 | 1篇 |
2017年 | 2篇 |
2016年 | 2篇 |
2015年 | 13篇 |
2014年 | 8篇 |
2013年 | 13篇 |
2012年 | 12篇 |
2011年 | 16篇 |
2010年 | 12篇 |
2009年 | 22篇 |
2008年 | 33篇 |
2007年 | 23篇 |
2006年 | 10篇 |
2005年 | 16篇 |
2004年 | 19篇 |
2003年 | 16篇 |
2002年 | 8篇 |
2001年 | 9篇 |
2000年 | 6篇 |
1999年 | 7篇 |
1998年 | 3篇 |
1997年 | 2篇 |
1996年 | 4篇 |
1995年 | 1篇 |
1994年 | 2篇 |
1993年 | 1篇 |
1992年 | 2篇 |
1991年 | 5篇 |
1990年 | 2篇 |
1989年 | 1篇 |
排序方式: 共有301条查询结果,搜索用时 15 毫秒
161.
为了增强铁路道口控制系统设计的可靠性,使用一种形式化方法对该系统进行建模与验证. 基于道口管理规范,在分析系统各类属性与事件流程的基础上,使用UML图方法并结合精化策略建立了系统各层的Event-B语言模型. 通过对不变式的证明义务进行证明,验证了系统设计中的安全、时间特性,检查出了需求规范分析中的缺陷,提出了增强系统稳健性的改进方案,修正了系统的设计原型. 最后,通过不变式冲突与死锁检验进一步确认了模型的正确性. 研究表明文中方法提高了形式化建模过程的准确性与层次性,且确认得出目前规范中存在列车驶入道口时不能确保道口出清的缺陷,证实了使用本文形式化流程可以验证道口控制系统的需求规范并形成可靠的设计原型,从而可提高铁路道口的安全性. 相似文献
162.
为进一步提高全自动无人驾驶系统的安全性,采用Petri网理论在全生命周期早期对系统运营场景的实现流程进行形式化建模与验证。选取正线运营中的列车停站这一典型运营场景,进行对象提取与状态分析,结合各对象与库所、变迁的对应关系,建立Petri网模型,并利用仿真软件PIPE对其有效性和正确性进行形式化验证。针对可能出现的异常情况对模型进行优化,设置车门与站台门开关时序,避免乘客拥挤时出现安全隐患。试验结果表明:建立的Petri网模型有界、安全且无死锁,满足列车停站场景功能需求,模型的可靠性和有效性得以验证,为全自动无人驾驶系统的开发应用与安全分析提供理论支撑。 相似文献
163.
TJTS仿真系统的应用 总被引:4,自引:0,他引:4
介绍了TJTS仿真系统在路网动态交通状态描述方面的应用,其中包括路网的编码方式、车辆出行需求的描述方式、仿真的动画输出情况以及描述路网动态交通状态的各种指标数据的输出.最后以一个具体的示例介绍了TJTS仿真系统在公交专用道设计方面的应用. 相似文献
164.
基于UML的城市桥梁信息管理系统建模研究 总被引:1,自引:0,他引:1
章介绍了UML技术开发B/S架构的城市桥梁信息管理系统建模过程。开发的实用城市桥梁信息管理系统具有逻辑上和实现上的复杂性,因此对系统进行建模研究显得尤为重要。章以广州市城市桥梁信息管理系统为背景,详细描述该系统的建模过程。 相似文献
165.
城市快速路匝道连接段车头时距分布模型 总被引:6,自引:0,他引:6
在总结、分析现有车头时距分布规律及威布尔分布函数特性的基础上,建立了快速路匝道连接段车辆车头时距分布模型,并就参数估计的图形法和解析法进行讨论,解析法能够直接应用于交通流车头时距威布尔分布模型参数估计.运用实际匝道连接段数据进行验证,结果表明,三参数威布尔分布描述快速路匝道连接段车头时距分布规律较为理想,其对于高密度交通流描述效果较负指数分布、爱尔朗分布等具有明显优势. 相似文献
166.
随着CAN总线技术在汽车电子领域得到越来越广泛的应用,协议的一致规范表述变得日益重要。通过建立对于CAN应用层协议的描述模型,能够方便地建立起协议的通用构架,为协议的发布、实现和测试提供了统一的原始协议数据描述,为CAE提供了可能。文中采用面向对象的方法,基于跨平台的技术手段,采用UML作为建模语言,并选用XML作为UML模型的实现,在对CAN总线应用层协议进行抽象建模的基础上,给出了具有可机读和方便互换的XML实现,对于CAN总线应用层协议制定和发布以及基于CAN总线的测试系统的开发均有较好的支撑作用,对建立统一的行业语义标准进行了有益的探索工作。 相似文献
167.
为实现沥青再生机控制系统的自动化和数字化要求,采用PLC和触摸屏作为沥青再生机的运行主控单元。对控制系统的结构和硬件配置进行了描述.并通过PLC的程序设计以及触摸屏的程序设计2个方面对控制系统进行了软件设计。实践证明:采用所设计控制系统的沥青再生机调试阶段运行状态良好。 相似文献
168.
169.
多车型高速公路离散平衡网络设计的双层规划模型 总被引:2,自引:0,他引:2
为了建立高速公路新建路段的科学决策方法,将新建路段的位置、容量与收费费率的确定纳入一个决策过程,利用双层规划理论建立多车型高速公路离散平衡网络设计问题的优化模型.上层规划中将路网管理者(政府)作为绝对领导者,经营者的财务目标以及投资上限作为实现系统最优的约束条件.下层规划采用文中提出的多车型多准则用户均衡模型,考虑了不同车型道路使用者路径选择行为的差异性,从而更准确地描述了路网中的流量分布形态.最后以一个算例对模型的效果进行了验证说明.结果表明:应用该模型可同时优化出新建路段的位置、容量以及各路段的分车型收费费率. 相似文献
170.