基于通信的列车控制系统数据安全影响分析

为在设计阶段验证交互数据在系统中的安全特性，基于有色Petri网与失效传播模型提出了一种对系统模型自动分析得到输入数据失效最小割集的安全影响分析方法。首先，建立系统的有色Petri网模型，通过对库所数值离散化处理得到用例，对变迁进行单元测试得出失效行为函数，获得具有失效行为变迁的失效传播有色Petri网；然后基于有色Petri网模型的状态空间，通过失效空间生成算法与变迁回溯法，实现由模型状态空间到失效状态空间，再到失效状态树的转换，并通过失效状态树的合并与计算，获得系统失效最小割集。最后通过实验，比较不同数据安全保障措施下系统的失效最小割集变化，验证了安全保障措施对系统安全的作用，实验结果证明了该分析方法的正确性与有效性。     

满秩Petri网可达性判定算法的设计与实现

通过对Petri网可达性的分析,给出满秩Petrl网可达性算法及其实现过程,在VC＋＋平台上对算法进行验算,并对算法运行结果进行可达性讨论;该算法为满秩Petri网可达性的判定提供了一种快速有效的求解方法．     

基于Petri网的遥感卫星业务运行管理单元模型设计与仿真

本文首先介绍了Petri网和四种工作流原语向Petri网映射的方法及其性能分析算法;然后通过研究遥感卫星业务运行管理单元的业务运行流程,实现了基于Petri网对遥感卫星业务运行管理单元常规模式和应急模式的工作流程的层次化建模;最后利用Petri网仿真软件Visual Object Net 对常规模式和应急模式的工作流程进行仿真并分析其时间性能。仿真结果表明本文所建立的基于Petri网的工作流模型是正确的,并且业务运行流程在采用应急模式时,业务运行管理单元节省了大约60%的系统运行时间,故该模型运行效果良好。     

基于着色Petri网的双向搜索关键路径算法

提出一种基于着色Petri网的双向搜索关键路径算法,首先将AOE网转换成带时间状态的着色Petri网,然后运行带时间状态的着色Petri网,分别从源点和汇点双向搜索关键路径,最后给出了对典型实例的仿真实验,结果验证了双向搜索关键路径算法的执行效率优于传统单向搜索关键路径算法．     

一种基于混合Petri网的批过程动态调度算法

针对批处理过程动态调度问题的特点，以赋色时间限制混合Petri网为工具，建立了批过程动态调度的混合Petri网模型，将批过程的调度问题映射技术为求Petri网中变迁的最优激发序列问题。在此模型基础上，根据动态规划基本原理，以资源的终极利用即最短生产周期作为调度目标，提出了一种基于赋色时间限制混合网模型求取变迁的最优激发序列的方法，并针对实际情况中出现的复杂的中间产品存贮策略，讨论了在各存贮策略约束下该模型中时间限制区间的确定方法，最后以炼钢－连铸生产系统的过程调度为例，对该算法进行仿真。多次仿真结果表明，当任务和设备的初始时刻或者过程的动态过程发生改变时，调度结果各不相同，从而验证了该算法的有效性。     

部分可观时间Petri网故障的贝叶斯诊断

针对双组元推进系统中环境复杂且部分关键信息无法通过传感器获取,提出基于部分可观时间Petri网故障诊断性的贝叶斯估计方法。研究了基于部分可观时间Petri网的双组元推进系统故障诊断性的贝叶斯估计问题。系统过程的变迁分为可观和不可观,结合变迁触发关系和变迁时间信息,建立Petri网模型的状态类图。遍历所有满足可观测变迁触发时间和序列信息的路径,对于诊断结果为可能故障系统,建立故障变迁对应的贝叶斯Petri网模型,将不可观变迁设置为贝叶斯变迁,根据可观变迁触发状态估计不可观变迁触发概率,进一步判断系统故障状态。最后,建立了基于部分可观Petri网的整体推进系统模块,通过仿真实验验证了算法的有效性。     

基于随机Petri网的流通加工系统建模研究

流通加工系统是一个动态离散系统,影响该系统的因素多具有并发性、异步性及随机性的特点,所以定性和定量分析流通加工系统较为复杂.以三华农副产品加工基地农副产品的一次流通加工为研究背景,利用随机Petri网构建了反映该企业流通加工系统的实际组成及运行状态的随机Petri网模型,并对该模型进行了定性分析和定量分析.其中,定性分析是根据连续时间的随机Petri网同构于连续时间马尔科夫链的特点对模型的活性、可达性、有界性等进行了分析;定量分析是利用带有模糊参数的随机Petri网求解出库所繁忙的概率、系统变迁的利用率、系统平均延时时间及流入系统的标记流速.根据所得数据分析可知:应进一步优化加工环节,流入系统的标记流速还应加快.     

扩展Petri网结合遗传算法求解Job-Shop问题

针对Job-Shop问题的复杂性,本文定义了一类扩展的时间Petri网对问题进行建模,该模型解决了一般Petri网存在的“死锁”现象,使原始问题转变为状态转移问题,并结合遗传算法进行调度优化。仿真验证了该调度算法的有效性。     

基于规则推理的模糊Petri网误用入侵检测算法

FPN（Fuzzy Petri Nets）是模糊Petri网,它是Petri网与模糊理论结合的产物,目前不少学者将Petri网应用到入侵检测系统中,取得了不少成果,但是现在的推理计算法较复杂,算法时间复杂度也较高。为提高推理计算的性能,本文根据推理存在前后顺序的特点提出一种新的推理计算方法,并对该算法和现有的算法进行了分析比较,本算法提高了推理的通用性与计算速度。     

Petri网的遗传算法在Job-Shop问题中的应用研究

提出了一种基于扩展时间Petri网（ETPN）的单亲遗传算法,并利用该算法对Job-Shop调度问题进行了求解．首先定义一种扩展时间Petri网,然后利用定义的扩展时间Petri网对Job-Shop调度问题进行建模,最后应用单亲遗传算法对模型进行优化调度．通过实例证明了该建模方法和优化算法的有效性和正确性．     

电动公交车线路和充电设施及策略规划方法研究

针对电动公交车充电设施配置不合理的现象,对电动公交车线路和充电设施及策略规划方法进行研究。综合考虑充电站及充电桩配置与公交线路运营特征设计参数两者的相互影响,以充电等待时间和运力为约束条件,建立社会福利最大化模型。基于两种不同的充电策略,讨论其对充电站内车辆排队充电等待时间的影响。以拉格朗日函数求解算法和遗传算法对模型进行求解,并以苏州市931路纯电动公交线路为算例对模型与算法进行了验证。研究结果表明,相比于遗传算法,基于拉格朗日函数的求解算法效率更高,求解结果更稳定。根据所构建模型设计的充电桩数量及线路运营特征参数,在满足充电等待时间约束的条件下可以实现社会福利最大。该研究所提出的模型可为电动公交车线路规划提供决策依据。     

PCI总线的I/O空间直接访问方法

PCI总线的开发包括PCI硬件的开发以及相应驱动程序的编写。PCI总线驱动程序的实质是通过相应板卡配置空间的访问来配置系统资源。该文通过对配置空间的分析，给出了不用DDK、WINDRIVER等开发工具，而直接用I／O命令简单地访问配置空间的方法。     

间歇式化工形式化建模与顺序控制器设计

摘要：
针对间歇式化工生产过程,根据执行机构网元件提出了其受控Petri网模型的设计方法,将工艺流程描述为变迁串的顺序控制目标,继而根据基本变迁串将工艺流程描述为Petri网的线性约束.最后,利用库所不变量方法设计监控库所,给出顺序Petri网监控器,实现了复杂化工过程的闭环控制系统的形式化建模、分析和优化.
关键词：
离散事件系统; Petri网; 间歇式化工; 顺序控制; 监控
中图分类号： TB 61; TK 31
文献标志码： A     

基于公交运行数据的到站时间填充方法

公交实时到站数据是乘客出行行为分析的基础,但是现有公交运行数据存在到站时间缺失问题。以公交实时到站数据为基础,结合公交车辆的运行特性以及拥堵传播特性,建立考虑多因素加权的多项式插值方法,对公交车辆的到站缺失数据进行填补。填补后的到站时间能够更详细地描述车辆运行过程,得到更精确的车辆到站间隔。应用该方法对北京市地面公交运行数据进行补全,得到了修正的时刻表,并对公交运行间隔与串车现象进行分析。     

基于多层次综合评价的公交运行瓶颈诊断

运行瓶颈诊断对公交发车时刻表调整和车辆调度优化具有重要意义。从公交乘客和公交运营企业的不同关切点出发,结合公交GPS和IC卡等实时运营数据,提出一种公交运行瓶颈诊断方法。在公交企业运营效益、公交乘客出行效率等因素分析的基础上,分别从站点层面提出公交车头时距、车辆延误度等运行评价方法,在线路层面构建公交行程时间与运输效益评价方法,以及基于站点、线路评价结果的线网层面综合分析方法。最后,利用案例获取的公交车位置、行驶速度、公交乘客数量等实时数据,以及公交站点、线路、线网和调度方案等静态数据,对所提方法进行检验。结果表明,公交运行瓶颈诊断结果与公交实际运行状况具有较高符合度,能够实时、有效反应公交运行状态,具有较好的工程实用价值。     

基于公交运行数据的到站时间填充方法

公交实时到站数据是乘客出行行为分析的基础,但是现有公交运行数据存在到站时间缺失问题。以公交实时到站数据为基础,结合公交车辆的运行特性以及拥堵传播特性,建立考虑多因素加权的多项式插值方法,对公交车辆的到站缺失数据进行填补。填补后的到站时间能够更详细地描述车辆运行过程,得到更精确的车辆到站间隔。应用该方法对北京市地面公交运行数据进行补全,得到了修正的时刻表,并对公交运行间隔与串车现象进行分析。     

基于模糊神经网络的短时公交到站时间预测

研究了中国公交运营特点,利用全球定位系统和电子票务收费系统收集的车辆实时信息,建立了路段和站点补偿模糊神经网络模型,分别预测车辆的路段行驶时间和站点停留时间.路段预测模型的输入是所有重合线路的站点行驶数据,改变了现有预测模型只采用单线路数据的不足.以济南市一条实际公交线路为例,利用VISSIM模拟专用道和非专用道两种道...     

基于FPGA的CAN总线通信事务的现场测试系统设计

针对CAN总线网络中节点性能的测试应用,研究并设计了基于FPGA的CAN总线通信事务的现场测试系统;该系统可以针对不同属性的被测节点进行接口配置和波特率匹配,同时能够模拟CAN总线主节点,对从节点发送命令或数据,并能实时接收CAN总线上任意被测节点发送的数据。CAN测试节点采用单片机C8051F040内部集成的CAN控制器,单片机通过并行端口实现和FPGA的通信,FPGA通过USB接口实现与上位机之间的数据传输。实验表明,该系统实用性强,可靠性高,并已成功应用于某航天测试设备中。     

Campus Bus Network Design and Evaluation Based on the Route Property

A campus bus network design and evaluation,taking Tsinghua University as an example,is investigated in this paper.To minimize the total cost for both passengers and operator,the campus bus system planning in a sequential approach is discussed,including the route network design,headway(i.e.,the inverse of service frequency) optimization,and system evaluation.The improved genetic algorithm is proposed to optimize the route network based on the route property,and the impacts of the fluctuation of passenger demand and average traveling time are analyzed.The identity proportion in the headway optimization is then introduced with full consideration of its impacts.Based on the actual variety of passenger demand,a non-fixed schedule demonstrates its efficiency.VISSIM is finally adopted to simulate the campus bus system and a comprehensive evaluation system for the campus bus is developed.Compared with the current bus network and the one without considering the route property,the evaluation of the proposed approach shows an improvement of 18.7% and 10.1%,respectively.Moreover,the sequential approach shows an efficiency improvement over the alternative method.It is of great significance for the development of public transit systems in large industrial parks to decrease the total cost for both passengers and operator.     

城市快速公交系统运营的可行性分析方法

以TransCAD软件与Vissim软件为技术支撑,对城市快速公交系统运营的可行性分析方法进行了研究。主要应用TransCAD软件中的回归分析模型、Logit模型与Vissim软件中的仿真与评价模块来解决政府部门在决策时遇到的:(1)出行者对快速公交系统的交通需求预测;(2)其运营对其他出行方式的影响预测。同时能够得出快速公交系统的最佳的设计方案。最后,以参数计算为例演示了可行性分析与最佳方案得出的流程。