吴芳美
- 作品数：62 被引量：273H指数：8
- 供职机构：同济大学电子与信息工程学院更多>>
- 发文基金：铁道部科技研究开发计划铁道部科技基金国家教育部博士点基金更多>>
- 相关领域：交通运输工程自动化与计算机技术环境科学与工程电气工程更多>>
- 形式化故障树分析建模和软件安全性测试被引量：33
- 2001年
- 阐述了安全性需求的形式化故障树表示技术 ,给出了一种基于形式化故障树最小割集的动态扩展安全性测试用例结构 ,并对满足安全性需求覆盖准则的测试用例自动生成算法进行了讨论 .
- 徐中伟吴芳美
- 关键词：软件测试软件工程自动生成算法
- 计算机联锁安全软件测试评估平台的静态数据交换策略被引量：6
- 1999年
- 介绍了计算机联锁安全软件测试平台的研制背景、结构及信息交换的方式，着重讨论了平台静态数据特征，然后给出了平台上的客户端／ 服务器型数据库模型，最后论述了关系型数据库中数据的安全性和完整性，并结合具体平台的需求，详细说明了平台静态数据的生成校验过程与查询的方式。
- 荆剑吴芳美
- 关键词：静态数据铁路信号计算机联锁
- 铁路机车信号分析系统中的信号处理算法研究被引量：1
- 2001年
- 现阶段我国铁路存在着各种不同制式的区间自动闭塞和与之相配套的机车信号.对这些信号进行分析以提取信号特征值对系统设计和维护具有实际意义.在铁路机车信号分析系统中,针对移频信号,首先运用小波的多分辨率分析和自适应的阈值选取方案对实际的采样数据进行去噪处理,有效地去除随机噪声突出信号特征,然后借助快速傅立叶变换(FFT)得到了信号特征参数.实际应用表明,对于不同的移频机车信号制式,该算法通用性强,计算精度高.
- 张小林吴芳美
- 关键词：机车信号FFT小波去噪
- 铁路多信息机车信号分析系统的研究
- 2001年
- 文章介绍了铁路机车信号设备分析系统的研制背景,重点描述系统功能、软件结构和研究的技术关键.该系统目前已成功应用于机车信号的分析和故障诊断及定位中.且经过现场多次试验,分析系统性能稳定,通用性强.实践表明,该系统不仅有助于分析目前已投入现场使用的机车信号,消除故障隐患,进一步提高系统的可靠性和安全性,保障行车安全,而且为今后发展高速铁路的以机车信号为主体的信号系统提供了一项基础研究成果.
- 黄大荣吴芳美
- 关键词：机车信号FFT小波变换数据库
- 基于智能控制的铁路交通网仿真系统研究
- 2001年
- 系统仿真技术对交通系统智能控制的研究与发展有着重要意义.交通网仿真是复现交通流的时间空间变化的技术,交通网仿真模型的建立和仿真实验系统的开发是交通网仿真研究的两个核心内容.铁路交通网仿真是一个涉及连续和离散仿真行为的混合仿真系统,具有动态及并发特征.本文讨论了用面向对象思想进行铁路交通网仿真的过程与方法.作者认为选用Petri网建立仿真模型可以很好地描述铁路交通网的静态属性、动态行为和环境模拟.文中给出了用Petri网建模的实例.最后介绍了铁路交通网仿真系统的框架结构和关键技术.
- 王秀丽吴芳美
- 关键词：系统仿真面向对象建模PETRI网
- 面向软件测试的虚拟计算机联锁软件的设计和实现
- 虚拟计算机联锁软件是为了支持铁路车站计算机联锁系统安全软件测试评估平台而开发的,它实现了对测试平台的各子系统的检验,为测试平台的开发和调试以及保证它的高可用性和高可靠性起到了不可或缺的作用.本文着重阐述了虚拟联锁软件的设...
- 王铁江吴芳美
- 关键词：软件测试软件设计
- 文献传递
- 铁路信号控制逻辑的有色Petri网描述方法被引量：4
- 2001年
- 铁路信号逻辑控制关系的形式化描述对实现铁路信号设备计算机控制系统的研制开发具有十分重要的意义.形式化的描述不但可以便于计算机实现具体的逻辑控制,同时也可以提高计算机程序的可靠性.对这些逻辑关系精确地描述之关键在于选择恰当的描述语言.本文利用有色Petri网的特点结合一些铁路信号设备的变化规律给出了相应的有色Petri网描述,并针对一种简化的区间自动闭塞的控制逻辑介绍了用有色Petri网建模的基本方法和有色Petri网模型的分析过程.
- 陈邦兴吴芳美
- 关键词：铁路信号有色PETRI网
- 嵌入式联锁软件模拟自动测试平台的研究被引量：8
- 2001年
- 为满足联锁软件黑箱测试的要求 ,对联锁软件安全性需求进行了分级形式化表达。阐述了嵌入式联锁软件模拟自动测试平台的分布式结构模型及其实现方案。最后 。
- 徐中伟吴芳美
- 关键词：故障树安全性需求铁路计算机联锁自动测试平台
- 区间信号系统测试平台专用数据库被引量：2
- 2004年
- 介绍了城市轨道交通区间信号系统测试评估平台的研制背景 ,给出平台的硬件分布式系统和软件系统结构。简要介绍了平台软件系统各个子系统的功能。阐述了平台专用数据库的设计过程 ,以及前台VC 开发的应用程序与后台数据库服务器SQLServer接口的实现方法。
- 王爽吴芳美
- 关键词：城市轨道交通区间信号安全管理数据库SOL
- 计算机联锁软件测试评估被引量：8
- 1999年
- 作者阐述了软件安全性及软件安全性完善度等级的基本概念。论述了作者及其课题组提出的安全软件黑箱测试方法及实现,为测试所提供的输入集是自动生成和通过专家系统生成的。根据测试结果可以对计算机联锁系统软件进行安全性评价。
- 吴芳美
- 关键词：计算机联锁
