北方交通大学交通运输学院系统工程与控制研究所
- 作品数：49 被引量：439H指数：11
- 相关作者：祝甲山黄溅华胡卉黄涛岳华更多>>
- 相关机构：兰州铁道学院信息与电气工程学院电信与自动控制系兰州铁道学院信息与电气工程学院更多>>
- 发文基金：铁道部重点科技项目国家自然科学基金教育部高等学校骨干教师资助计划更多>>
- 相关领域：经济管理交通运输工程机械工程环境科学与工程更多>>
- 一种系统安全性的形式化验证方法被引量：4
- 2003年
- 随着计算机系统应用的深入和广泛,系统安全性越来越成为人们关注的焦点,形式化模型检验是解决系统特性验证问题的一种有效途径,用有限自动机表示系统的设计和实现,用计算树逻辑CTL(ComputationalTreeLogic)公式表示系统的安全特性,探讨了系统安全性形式化验证的方法。
- 王海峰吕永波张仲义
- 关键词：计算机系统形式化验证方法有限自动机
- 软件度量模型及其方法的研究被引量：17
- 2004年
- 如何提高软件的质量始终是软件工程领域研究的重要方向。基于度量的量化管理是目前最有效的质量保证手段之一,为此对软件度量的概念和范围进行了研究,提出了一种软件度量模型和度量指标,并对相关度量模型方法进行了比较。
- 黄涛张红延蒋明青
- 关键词：软件工程软件度量模型软件质量软件开发
- 节能与资源综合利用被引量：4
- 2004年
- 我国是能源和资源的生产和消费大国,实施节能与资源综合利用可以减少一次能源的消耗和环境的污染。通过对国内外形势的全面分析,强调了节能和资源综合利用的重要性和迫切性,并从体制、政策、能源结构及技术等方面提出建议和具体措施,以提高能源和资源的有效利用,达到社会的可持续发展。
- 韩晓雪吕永波马舒曼
- 关键词：节能资源综合利用能源结构可持续发展
- 汽车排污的外部效应及其控制被引量：3
- 2002年
- 从经济学的外部性分析入手 ,阐述了汽车使用过程中产生的外部效应及其特点。在此基础上 ,从理论和实践角度探讨了其外部效应的控制对策。
- 卫振林雷黎
- 关键词：汽车环境污染内部化成本控制
- 清洁汽车与可持续发展被引量：1
- 2000年
- 在概述清洁汽车的基础上 。
- 苏文
- 关键词：可持续发展清洁汽车燃料能耗环境污染
- 基于GATS混合策略的多目标优化算法被引量：12
- 2000年
- 用遗传算法求解多目标优化问题的难点在于适应值函数难以定义。本文提出一种定义多目标优化问题适应值函数的方式 ,使遗传算法不仅满足于得到一个决策方案 ,而是以得到问题的全部非劣解为目标 ,最终的决策方案由决策人根据自己的偏好来决定。同时为避免提前收敛现象 ,本文根据遗传算法和 Tabu Search算法自身的特点 ,通过对二者的优势和不足进行分析 ,提出一种将二者混合使用的求解多目标优化问题的策略。它以遗传算法为基础 ,用遗传算法作全局搜索 ,用 Tabu Search算法作局部搜索 。
- 孙艳丰
- 关键词：多目标优化遗传算法
- 系统可靠性模型的建立及其在计算机联锁系统中的应用
- 本文主要讨论联锁机部分的可靠性计算而计算机联锁系统或其他的铁路信号设备都是可维修系统,冗余系统是提高系统可靠度的重要手段,没有维修工程配合,冗余单元的潜力不能发挥.
- 赵亚男兰州铁道学院电信与自动控制系王晓明郭进
- 关键词：铁路车站铁路信号计算机联锁系统自动控制
- 文献传递
- 公交优先的信号控制策略研究被引量：68
- 2001年
- 研究了公交优先信号控制策略 ,模拟路边设立公交车辆检测器的情况下 ,不同交通流量和公交车发车间隔的最优控制策略 .研究发现 :当交通流量小于 30 0辆 /h·车道时 ,公交优先信号控制策略能显著地减少乘客的延误时间 ,而当交通流量达到 5 0 0辆 /h·车道时 ,即使有公交优先信号控制策略 ,而无公交专用道路 ,也不能有效减少乘客的延误时间 .模拟实验的结果是 :找到了使公交优先信号控制有效的交通流量和公交车发车间隔的阈值 .
- 关伟申金升葛芳
- 关键词：公共交通信号控制交通管理
- 技术创新的力学模型及其应用被引量：3
- 1999年
- 李军祝甲吴绍忠
- 关键词：技术创新力学模型
- 公交车动态调度模型研究被引量：6
- 2003年
- 本文通过对照车辆行车时刻表与实际运行到达各站的偏差 ,建立动态调度模型 ,对车辆实施动态调度 ,以保证线路的行车间隔和车辆载客量均匀 。
- 邹迎黄溅华唐祯敏
- 关键词：公交汽车动态调度模型行车间隔载客量
