河南省自然科学基金(0411012300)
- 作品数：6 被引量：31H指数：3
- 相关作者：叶阳东贾利民马军霞卢红星王娟更多>>
- 相关机构：郑州大学北京交通大学郑州轻工业学院更多>>
- 发文基金：河南省自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术交通运输工程更多>>
- 基于模糊时间Petri网的列车运行时间不确定性问题的处理被引量：20
- 2005年
- 定义一种应用于铁路列车运行系统的模糊时间Petri网;针对列车运行时间存在的不确定性,该Petri网引入了4个模糊集理论函数:模糊时间片、模糊使能时间、模糊发生时间和模糊延迟,来处理时间的不确定性问题;能够对列车运行过程中的时间不确定性问题进行定量分析,可以有效应用于列车交会、列车终到时间、列车运行计划调整的分析等;其相对于已有的方法具有精确分析、计算简单、简化系统、便于系统集成的特点。
- 叶阳东王娟贾利民
- 关键词：列车运行模糊时间PETRI网不确定性
- 一种自动确定参数的sIB算法被引量：6
- 2007年
- 针对sIB算法的压缩变量参数的确定问题,采用最小描述长度原理,构建一种自动确定参数的AsIB算法.算法使用一种有效的编码方案对数据分析模型和相应的数据进行描述,将最小描述长度的模型作为选择标准,从而有效发现了数据蕴含的特征模式数目.实验表明:AsIB算法所采用的编码方案有效,在不设定模式数目的情况下,能够正确发现数据集所蕴含的模式.该算法解决了现sIB算法对先验知识的依赖问题,将能拓展其在多维数据的自动降维分析和模式提取等方面的应用.
- 叶阳东刘东贾利民LI Gang
- 关键词：IB理论SIB算法
- 基于扩展模糊时间Petri网分析冲突事件的不确定性时间知识被引量：1
- 2008年
- 为有效处理冲突相关的不确定性时间知识,在已有研究基础上,基于扩展模糊时间Petri网,引入变迁的模糊触发区间以表示使能变迁触发的不确定性,结合模糊时间函数和可能性值的运算来描述和分析各冲突事件发生的不确定性。能够针对冲突事件的各种时间不确定性问题进行定量分析,可以解决复杂情况下的时间知识推理和验证。其相对于已有方法具有冲突分析精确、计算简单、适用面广的特点。
- 马军霞张松炜
- 基于精确标识对象Petri网模型的检测方法
- 2006年
- 精确标识PNO要求一个对象实例既不能同时出现在多个库所,也不能在一个托肯中出现多次,SMV是一个功能强大的符号化模型检验工具.本文提出了将精确标识PNO模型转换成相应SMV程序的算法,并通过列车运行区域模型(TOPNO)演示了具体的转换过程.通过该转换算法不仅能有效地解决精确标识PNO活性、安全性等属性的检测问题,还能验证与模型中对象相关的属性.
- 张红军卢红星叶阳东
- 关键词：SMV
- 基于一种模糊时间Petri网的不确定性时间知识表示和推理被引量：2
- 2008年
- 在已有研究基础上定义一种模糊时间Petri网以处理冲突相关的不确定性时间知识.该Petri网引入变迁的模糊触发区间,结合模糊时间函数来处理不确定性时间知识,能够对冲突相关的时间不确定性问题进行定量分析,有效解决冲突事件的描述分析问题,适用于复杂实时系统建模.该方法具有冲突分析精确、计算简单、适用面广的特点,是对现有时间知识推理方法的进一步完善.
- 马军霞卢红星
- 关键词：不确定性模糊时间PETRI网
- 面向RITS的多Agent列车群运行模型被引量：4
- 2005年
- 基于RITS的分布式系统结构和智能属性特征,针对列车群运行系统中子系统之间的关系描述以及通信协作行为的建模问题,采用面向Agent的G-Net方法构建了一种多Agent的列车群运行模型(AGNTOM)。该模型体现了多Agent技术、G-Net(Petri网)形式化描述、便于分析等特点,不仅能够描述列车Agent与车站Agent在列车运行过程中的通信能力,而且能使用形式化方法确保模型的各种属性。对模型所描述的列车与车站之间的通信协商过程采用基本Petri网模型描述,并使用已有的Petri网分析方法进行相关属性的分析。研究结果表明:模型具有L3-活性;模型所描述的列车和车站之间的通信协商行为不会导致通信的死锁与阻塞等。
- 叶阳东张尊栋贾利民
- 关键词：铁路智能运输系统AGENTPETRI网
