韩进
- 作品数:4 被引量:7H指数:1
- 供职机构:合肥工业大学计算机与信息学院更多>>
- 发文基金:国家高技术研究发展计划更多>>
- 相关领域:自动化与计算机技术交通运输工程自然科学总论电气工程更多>>
- 非精确性推理方法在EID技术中的应用
- 2005年
- 文章介绍了基于确定性理论的非精确性推理方法(MUR),并对其在设备智能诊断(EID)技术中的应用进行了研究与探讨;分析了非精确性推理方法在设备智能诊断中的应用步骤;结合汽车轮胎胎压实时监控系统中轮胎温升性质判断的实例,对非精确性推理方法在设备智能诊断中的应用方案进行了研究。
- 李钢李静韩进
- 关键词:专家系统
- 基于Petri网的联锁软件安全性测试的研究被引量:7
- 2005年
- 安全是铁路运输生产永恒的主题。联锁软件是保障铁路车站列车或机车(以下简称列机车)作业安全的关键软件,充分的测试对于保证其安全性具有举足轻重的作用。文章在分析文献[1][5][6]的联锁软件安全性需求故障树模型的基础上建立了联锁软件安全性需求的Petri网模型,提出了一种基于十字链表的Petri网的存储结构,给出了一种求解割集的算法实现;接着简述了安全性测试用例的自动生成方法;最后给出了该方法在HJ04A系统联锁软件安全性测试中的应用。
- 魏臻周霞鲍红杰韩进
- 关键词:PETRI网联锁软件测试用例
- 基于系统观层次结构定义的软件结构分析和设计
- 通过集合论为系统观的层次结构定义建立离散数学模型,并由模型得到了系统观定义的层次结构的相关性质。进而将系统观层次结构的定义和性质引入软件结构分析和设计中,作为软件系统结构的层次划分和分析的依据。在此基础上,本文提出了对面...
- 韩进李钢
- 关键词:系统观软件结构
- 文献传递
- 基于系统观层次结构定义的软件结构分析和设计
- 通过集合论为系统的层次结构定义建立离散数学模型,并由模型得到了系统观定义的层次结构的相关性质.进而将系统观层次结构的定义和性质引入软件结构分析和设计中,作为软件系统结构的层次划分和分析的依据.在此基础上,本文提出了对面向...
- 韩进李钢
- 关键词:系统观软件结构面向对象集合论
- 文献传递