城市路网模块结构探测及Hub路段诊断算法

为了剖析城市路网拓扑结构的复杂性,识别路网中的关键路段,根据模块结构理论,分析了城市路网的聚类特性,提出了一种适用于城市路网模块结构划分和Hub路段诊断的算法——GN-T算法.该算法通过逐条移除介值最大的路段实现模块结构的划分,从而诊断出路网中的Hub路段.为确定模块结构的最佳划分,提出了一个改进的模块度函数.以武昌区路网为例对该算法进行验证,结果显示:武昌区路网模块度的最大值为0.41,表明该路网具有明显的模块结构特性;利用该算法诊断出的Hub路段与实际情况相符,证明了该算法的有效性和实用性.      

��������·��·����ά�޼ƻ��Ż�ģ��

制定铁路线路养护维修计划既要保证线路充分维修,又要兼顾经济效益.为此,以区域路网为研究对象,建立了基于整数规划的铁路线路养护维修计划优化模型.模型考虑了路网中线路之间维修资源的约束,以维修时间和股道占用状态为决策变量,以股道占用费用、维修费用及惩罚费用总和最小化为目标,通过集中安排线路中各项养护维修活动节省维修支出,减少维修活动对股道的占用时间进而达到优化目的.基于启发式算法设计了模型求解方法,仿真实验结果表明,模型具有较好的实用性,能够为编制铁路线路年度养护维修计划提供决策支持.     

求解FDP问题的演化算法

影片递送问题（简称FDP）是组合优化的一个新问题,它比旅行商问题（简称TSP）复杂得多,介绍了一种新的演化算法,这种算法首先将FDP问题转换成TSP问题,然后基于次序杂交算子（OX）和反转变异算子获得最佳解,该算法不仅易于实现,而且计算的结果精确、快速。     

运行计划约束下的动态可达性分析与计算

在城市轨道交通中,随着各条线路的末班车按运行计划逐站完成载客任务,路网上OD两点间的可达路径逐渐变少,直至两点间不可达,这样的路网服务能力随时间的动态变化,称为动态可达性.本文研究运行计划约束下的路网动态可达性计算方法,以支持末班车开行的优化,实现搭乘末班车出行乘客目的地可达的最大化.本文首先分析了末班车开行带来的动态可达性,给出了最晚可达时间、路径可达性、OD可达性定义.在此基础上,提出了末班车开行下路网可达性的计算方法与最晚可达时间求解的递归算法.最后,以路网可达性最大为目标,将可达性计算方法应用于末班车换乘衔接优化.通过算例分析验证了可达性计算方法的有效性.     

遗传算法在高速公路路径计算中的应用

高速公路路网模型问题是一个十分重要的问题,各种路径的算法一直是高速公路路网模型中研究的重点.文中讨论了用遗传算法求解高速公路路网模型中路径的问题,详细介绍了路网模型的建立、遗传算法的设计和各种算子的选择;并通过仿真计算验证了用遗传算法解决路网模型中路径问题的可行性.     

公路重大交通基础设施哑铃型路网边界算法

针对公路重大交通基础设施(如特大桥、长大隧道等)的分布特征,从交通安全管理的角度,提出哑铃型路网的概念,重点对其路网边界算法进行探讨.在分析边界类型及约束特征基础上,构建时间成本效益函数作为目标函数,根据不同的交通流量,推导出哑铃型路网的边界算法.边界算法的实现是哑铃型路网整体算法的基础.为后期通路求解、路线诱行以及路网安全管理研究提供了分析平台.     

公路重大交通基础设施哑铃型路网边界算法

针对公路重大交通基础设施(如特大桥、长大隧道等)的分布特征,从交通安全管理的角度,提出哑铃型路网的概念,重点对其路网边界算法进行探讨.在分析边界类型及约束特征基础上,构建时间成本效益函数作为目标函数,根据不同的交通流量,推导出哑铃型路网的边界算法.边界算法的实现是哑铃型路网整体算法的基础.为后期通路求解、路线诱行以及路网安全管理研究提供了分析平台.     

���ڸ���ͼ���۵�·��������Ľ��㷨

在路网规划中,路网关键断面的确定对于解决路网中的交通瓶颈问题有很大的帮助。路网关键断面问题可以转变为寻找路网最大流最小割的问题。本文首先对现有求解网络最大流的各种算法进行了分析和比较。然后,基于图论中的辅助图理论和求解最大流中的Dijkstra算法,得到了一种求解无向路网中最小割集较为简便的算法,即通过构造辅助路网,利用求辅助路网最短路的方法得到最小割集,即原始路网的最大流。在此基础之上,利用VC++计算机语言程序实现了该算法。最后通过对天津市公路网的分析,进一步对本算法进行了说明。通过比较可知,这种方法是一种确定网络关键断面较为简便的算法,并且会对交通规划与管理提供重要的理论依据和数据支持。     

���мƻ�Լ���µĶ�̬�ɴ��Է��������

在城市轨道交通中,随着各条线路的末班车按运行计划逐站完成载客任务,路网上OD两点间的可达路径逐渐变少,直至两点间不可达,这样的路网服务能力随时间的动态变化,称为动态可达性。本文研究运行计划约束下的路网动态可达性计算方法,以支持末班车开行的优化,实现搭乘末班车出行乘客目的地可达的最大化。本文首先分析了末班车开行带来的动态可达性,给出了最晚可达时间、路径可达性、OD可达性定义。在此基础上,提出了末班车开行下路网可达性的计算方法与最晚可达时间求解的递归算法。最后,以路网可达性最大为目标,将可达性计算方法应用于末班车换乘衔接优化。通过算例分析验证了可达性计算方法的有效性。     

路网桥梁群监测优先级评价模型与算法设计

为了建立路网桥梁群监测优先级评价模型,基于对桥梁群监测中存在的项目级和网络级监测需求分析,建立了包含桥梁安全性、桥梁重要性和线路可靠性三要素的多目标路网桥梁群监测优先级数学规划模型,设计了基于Monte Carlo模拟和精英保留遗传算法的路网桥梁群最优监测目标求解方法。算例分析表明,考虑路网状态监测需求的选桥策略可以使被监测桥梁群分布在更多的线路上,避免当路网某些桥个体要素相差不大时,使筛选的桥梁过于集中于某几条线路。本研究可为建立区域路网桥梁群监测系统提供理论指导。     

结点水准网平差及精度评定的统计功能实现

指出结点水准网等权替代法进行平差计算的理论依据为序贯平差，在分析结点水准网序贯平差特点的基础上，给出了其逐次平差和精度评定的实现步骤。剖析了计算器中固化统计功能程序的实质，扩展了其应用范围，给出了在实数权情况下各统计功能的含义，结点水准网平差统计功能实现的方法，并通过算例进行了验证。     

一种工作流管理系统的模型化简方法

针对大规模复杂工作流管理系统的性能分析问题,将一个基于随机Petri网的模型化简算法应用于实际的工作流管理系统,即首先将工作流管理联盟定义的工作流模型映射为随机工作流网,在随机工作流网的4种基本模型的基础上.利用PH分布对简化之后的模型进行性能分析.通过供应链系统模型的化简与实际情况的比较,验证了本方法能够对大规模复杂随机工作流网的模型进行化简,降低了计算复杂度,同时也为工作流管理系统的性能分析提供了有效的方法.     

A FUZZY REASONING PETRI NET MODEL AND ITS REASONING ALGORITHM

ＩｎｔｒｏｄｕｃｔｉｏｎＰｅｔｒｉｎｅｔ（ＰＮ）ｉｓａｍｏｄｅｌｉｎｇｍｅｔｈｏｄｕｓｉｎｇｎｅｔｇｒａｐｈｓ．Ｕｓｕａｌｌｙ,Ｐｅｔｒｉｎｅｔｉｓｕｓｅｄｔｏｍｏｄｅｌａｎｄａｎａｌｙｚｅｄｉｓｃｒｅｔｅｅｖｅｎｔｓｙｓｔｅｍｓ（ＤＥＳ）,ｓｕｃｈａｓｃｏｍｍｕｎｉｃａｔｉｏｎ,ｍａｎｕｆａｃｔｕｒｉｎｇｓｙｓｔｅｍｓａｎｄｓｏｏｎ．Ｃｕｒｒｅｎｔｌｙ,ｓｏｍｅｗｏｒｋ［１,２］ｉｓｂａｓｅｄｏｎａｃｏｍ－ｂｉｎａｔｉｏｎｏｆＰｅｔｒｉｎｅｔｓａｎｄａｒｔｉｆｉｃｉａｌｉｎｔｅｌｌｉｇｅｎｃｅ…     

津秦客运专线CRTSⅡ型轨道板钢筋网制作加工技术

津秦铁路客运专线板式无砟轨道II型轨道板必须具备良好的绝缘性能,因此对其钢筋网制作加工要求高。介绍了Ⅱ型轨道板钢筋网制作工艺流程,具体包括热缩套管定位加工、上层和下层钢筋网片的制作等。根据工艺标准的要求,在钢筋网制作加工的工艺和设备工装上进行了优化创新,提高了轨道板钢筋网片制作加工的效率,确保了加工质量,为国内板式无砟轨道轨道板的施工提供了宝贵经验。     

Binary Logic State Transition Oriented Formal General Reliability Model

There were various conventional modeling techniques with varied semantics for system reliability assessment, such as fault trees(FT), Markov process(MP), and Petri nets. However, it is strenuous to construct and to maintain models utilizing these formalisms throughout the life cycle of system under development. This paper proposes a unified formal modeling language to build a general reliability model. The method eliminates the gap between the actual system and reliability model and shows details of the system clearly. Furthermore,the model could be transformed into FT and MP through specific rules defined by a formal language to assess system-level reliability.     

独立三边网在酉水大桥控制测量中的应用

结合西汉高速公路51标段酉水河大桥工程实践,从测边控制网测量设计、控制网内业平差计算以及精度评定三个方面进行论述。详细地介绍独立三边网控制测量的一种—中点多边形测边控制网,对工程实践有指导作用。     

UML状态图映射为Petri网模型的方法研究

UML广泛应用于软件建模,然而UML是半形式化的,这使得很难对其进行严格的语义分析和正确性验证。状态图作为UML动态描述机制的重要组成部分,同样存在这样的问题。Petri网作为一种图形化建模工具,具有严格的形式化语法语义,而且有很多成熟的分析方法。本文提出了将UML状态图映射为Petri网模型的方法,并结合实例对映射后的模型进行分析,验证了模型的一系列正确性。     

多媒体教学网的设计与应用

介绍了不同类型多媒体教学网的特点、多媒体教学网的硬件要求以及常见多媒体教学网的教学功能。结合工作实际介绍了多媒体教学网的使用方法。     

一种新型车道控制器的探索

三网合一的分布式车道控制器,基于成熟的技术在收费系统的合理应用,为当前普遍使用的以工控机为核心的车道控制器提出了一个很好的替代方案,且更适合于收费系统的需要,值得推广应用.     

Control Algorithm Using a Revised MIP Method to Deal with Livelocks in S~4R of Petri Nets

Livelocks, like deadlocks, can result in serious results in running process of flexible manufacturing systems(FMSs). Current deadlock control policies(DCPs) based on mixed integer programming(MIP) cannot detect siphons that cause and cope with livelocks in Petri nets. This study proposes a revised mixed integer programming(RMIP) method to directly solve the new smart siphons(NSSs) associated with livelocks in a system of sequential systems with shared resources(S~4 R), a typical subclass of generalized Petri net models. Accordingly,the solved NSSs are max'-controlled by adding the corresponding control places(CPs). As a result, an original S~4 R system with livelocks can be converted into the live controlled Petri net system. The related theoretical analysis and an example are given to demonstrate the proposed RMIP and the corresponding control algorithm(CA).