全文获取类型
收费全文 | 259篇 |
免费 | 21篇 |
专业分类
公路运输 | 67篇 |
综合类 | 138篇 |
水路运输 | 21篇 |
铁路运输 | 48篇 |
综合运输 | 6篇 |
出版年
2024年 | 5篇 |
2023年 | 13篇 |
2022年 | 18篇 |
2021年 | 10篇 |
2020年 | 15篇 |
2019年 | 19篇 |
2018年 | 9篇 |
2017年 | 7篇 |
2016年 | 13篇 |
2015年 | 14篇 |
2014年 | 10篇 |
2013年 | 12篇 |
2012年 | 10篇 |
2011年 | 23篇 |
2010年 | 17篇 |
2009年 | 16篇 |
2008年 | 6篇 |
2007年 | 13篇 |
2006年 | 11篇 |
2005年 | 3篇 |
2004年 | 9篇 |
2003年 | 3篇 |
2002年 | 4篇 |
2001年 | 5篇 |
2000年 | 3篇 |
1999年 | 4篇 |
1998年 | 1篇 |
1997年 | 1篇 |
1995年 | 1篇 |
1994年 | 3篇 |
1993年 | 1篇 |
1989年 | 1篇 |
排序方式: 共有280条查询结果,搜索用时 140 毫秒
1.
提出一种基于元胞自动机同时分析洪水漫延和人员疏散的新方法,以此研究洪水漫延对行人疏散过程的动态影响.基于元胞自动机原理,利用元胞及其周围相邻元胞上一个时间步长的相关状态变量进行水量转移计算,结合洪水漫延对行人的移动速度和运动方向的影响,建立洪水漫延下人员疏散的分析模型,通过数值仿真研究洪水漫延和人员疏散的动力过程.详细分析不同进水口位置和进水流量对地铁车站应急疏散效率的影响.研究结果表明:有洪水时人员疏散的效率显著低于无洪水的情况;进水流量的增加会导致人员疏散效率降低;进水口位置的不同也会对人员疏散的效率造成很大的影响. 相似文献
2.
针对高速铁路列控系统的混杂特性,提出一种基于混合通信顺序进程(HCSP)的列控系统形式化建模与验证方法。引入了HCSP的假设条件,建立列控系统的行为模型;定义了HCSP到混合自动机(HA)的转换规则,将HCSP模型转换成HA模型;利用模型检验工具PHAVer对HA模型进行自动验证。以高速铁路列控系统典型的行车许可运营场景为例,建立区间闭塞分区行车许可场景的HCSP模型;根据转换规则将行车许可场景的HCSP模型转换成HA模型;用PHAVer验证了所建立的区间闭塞分区行车许可场景模型的正确性,从而证明了基于HCSP的高速铁路列控系统建模及验证方法的有效性。 相似文献
3.
为分析高速铁路列车在追踪间隔缩小时的运行状态,根据准移动闭塞系统原理,设置列车区间运行和车站运行的演化规则,建立准移动闭塞条件下基于元胞自动机的列车群追踪运行仿真模型。利用元胞自动机对京沪高速铁路线路"上海虹桥—南京南"运行图中追踪运行的10列车进行建模仿真,分析仿真结果验证到达间隔时间是制约追踪间隔的瓶颈,并得出后行列车满足追踪间隔4 min或3 min的情况下,其运行速度不受前行列车的干扰。 相似文献
4.
基于混杂系统理论,建立了升压型开关变换器的混杂自动机模型,使得开关变换器的控制简化为混杂自动机模型的边界选择问题。与传统的状态空间平均法和电路平均法相比,该模型中没有任何假设和线性近似,建模精度高,可以对电力电子电路进行更好的分析与控制。根据开关变换器电感最小电流与输出电流的比较,将电感电流连续模式细分为完全电感供能模式和不完全电感供能模式两种子模式,提出一种新的混杂控制策略,应用电路理论方法给出了理想变换器和考虑输出电容寄生电阻的混杂控制边界的综合方法和计算公式。数值结果和分析表明了混杂建模和控制策略的有效性。 相似文献
5.
童超 《铁路通信信号工程技术》2010,7(1):5-7,15
基于时间自动机理论,在UPPAAL这种目前最先进的实时系统建模分析验证工具中,对RBC系统消息收发进行分析、建模及验证。最终对RBC系统控车消息收发流程的特性进行验证,对于保证RBC系统控车流程的安全性、减少系统开发周期及开发成本都有重要的实际意义。 相似文献
6.
7.
将NS模型中存在的车辆倒退现象以及刹车过急等与实际交通状况不相适应的地方进行改进,提出了反馈形式的交通流元胞自动机模型,该改进NS模型引入了前车状态的变化量以及一套全新的速度更新规则来模拟交通流的变化。仿真试验证明该模型更加符合实际交通基本特征,同时该模型使车流总体增大,也成为后续模型的基础模型。 相似文献
8.
9.
基于交通流元胞自动机模型的车辆当量换算 总被引:2,自引:1,他引:2
将一维元胞自动机模型用于模拟周期性边界条件下高速公路的车流运动,用随机慢化FI模型对一定交通环境下车流的车速与密度之间的关系进行仿真分析。探讨了不同车型和车速对道路最大流量(最大通行能力)的影响。依据不同车型在同一道路上的不同通行能力,提出了一种不同车型车辆之间当量换算系数的确定方法。在模拟仿真过程中,考虑不同类型车辆的最大行驶速度及所占空间不同,仿真模型具有不同的参数。通过计算机模拟,得到不同车型的交通流基本图,根据相同道路条件下的最大流量值,给出了以通行能力作为基准时当量换算系数的计算公式。 相似文献
10.
角色自律分散系统的RN-C形式化描述方法 总被引:1,自引:0,他引:1
旨在为角色自律分散系统的建模提供一种形式化方法,为形式化验证奠定基础.角色随时空变化的动态表达取决于系统的自律度和环境条件.在对几类系统自律性的度量指标分析比较的基础上,从内部视点和外部视点2个角度,以及行为层、协调层和规范层3个层次,定义了角色自律度矩阵;提出了角色规范-条件(RN-C)形式化描述方案,包括角色、角色空间、规范、角色转换、行为条件等基本要素.应用RN-C方案,建立了角色行为状态的自激状态声明和受控状态声明的形式化描述;给出了角色域与数据域双重驱动体系结构中的行为原语描述,包括操作行为原语、请求行为原语、改变行为状态原语、角色仲裁行为原语;实现了角色自律分散系统行为的形式化描述.指出基于分层有限自动机的角色演化建模,环境依存度与规范-条件的映射关系等是下一步研究的重点. 相似文献