赵相福

作品数：22被引量：90H指数：7
导出分析报告
供职机构：浙江师范大学数理与信息工程学院更多>>
发文主题：基于模型诊断离散事件系统集合枚举树冲突集可诊断性更多>>
发文领域：自动化与计算机技术文化科学机械工程理学更多>>
发文期刊：《计算机教育》《浙江师范大学学报（自然科学版）》《电子学报》《仪器仪表学报》更多>>
所获基金：国家自然科学基金教育部“新世纪优秀人才支持计划”吉林省科技发展计划基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
数据结构全英文教学问题与对策探索被引量：2
《计算机教育》2017年第12期94-97,共4页赵相福 
浙江师范大学2014年校级国际化专业建设点等系列教学建设项目(33);浙江师范大学2016年度教学改革项目--留学生教学与管理专项(117)
针对数据结构全英文教学,分析一些现存的常见问题,以浙江师范大学软件工程全英文专业为例,阐述相应的改进策略及可供参考的具体实践方案。
关键词：数据结构 全英文 教材 课件 
用MDMC-HS-tree方法计算极小碰集
《浙江师范大学学报（自然科学版）》2016年第4期399-405,共7页佘晓娓 赵相福 
国家自然科学基金资助项目(61003101);浙江省自然科学基金资助项目(LY16F020004;Y1100191)
产生待诊断设备冲突集的所有极小碰集是基于模型诊断的一个重要步骤,极小碰集即为该设备的候选诊断.HS-tree算法产生的节点数目较多,效率较低.因此,提出了基于极大度和极小势的MDMC-HS-tree方法.每次选择势最小的集合进行扩展,以便减小...
关键词：极小碰集 基于模型诊断 极大度 极小势 碰集树 
离散数学双语教学问题与对策被引量：3
《计算机教育》2016年第3期49-52,共4页赵相福 韩建民 吴建斌 王艳霞 
浙江师范大学2014年度教师教学改革一般项目(82);浙江师范大学2014年校级国际化专业建设点等系列教学建设项目(33)
针对离散数学双语教学的实际,分析现存的一些常见问题,以浙江师范大学软件工程(中英合作)专业为例,阐述相应的改进策略及具体的实践方案。
关键词：离散数学 双语 教材 课件 素材 
不完备离散事件系统的可诊断性被引量：6
《软件学报》2015年第6期1373-1385,共13页王晓宇 欧阳丹彤 赵相福 
国家自然科学基金(61272208;61133011;61003101;61170092);国家教育部博士点专项基金(20100061110031);吉林省科技发展计划(20101501;20100185;201101039);浙江师范大学计算机软件与理论省级重中之重学科开放基金(ZSDZZZZXK12);浙江省自然科学基金(Y1100191)
在离散事件系统的建模过程中,由于系统行为的复杂,存在物理系统向逻辑系统映射的不完全性,因此产生了不完备模型的概念.提出在模型不完备的前提下,判断模型可诊断性的方法.提出可诊断性的在线判定方法,同时将不完备的行为加入模型,使模...
关键词：不完备模型 离散事件系统 基于模型诊断 可诊断性 
一种高阶离散事件系统的诊断方法
《吉林大学学报（工学版）》2015年第2期562-568,共7页欧阳丹彤 迟晋进 王晓宇 赵相福 孟祥宇 
国家自然科学基金项目(61402196;61272208;61402196;61003101;61170092);中国博士后科学基金项目(2013M541302);吉林省科技发展计划项目基金(20101501;20121805;2014052006TJ)
为了保证诊断结果的正确性及唯一性,提出了高阶离散事件系统的可诊断性定义和可诊断性判定算法。在待诊断系统的诊断过程中,构建了可同时用于可诊断性判定的诊断机,对每个状态编译故障行为,所以不需在每次重构系统行为后遍历全部模型进...
关键词：人工智能 高阶离散事件系统 故障诊断 可诊断性 
用CHS-tree基于集合势的方法计算极小碰集被引量：10
《计算机集成制造系统》2014年第2期401-406,共6页王肖 赵相福 
国家自然科学基金资助项目(61003101;61272208;61272468);浙江省自然科学基金资助项目(Y1100191)~~
在基于模型的故障诊断理论中,为了根据所有冲突部件集计算全体极小碰集,提出基于集合势的方法,每次选择当前集合簇中势最小的集合进行扩展,并借助集合簇中元素出现的频率作为辅助判断,不断将大问题逐渐分解成子问题,然后依次求出不包含...
关键词：基于模型的诊断 极小冲突集 极小碰集 碰撞树 
基于模型诊断的候选空间单调性研究
《计算机集成制造系统》2013年第12期3043-3048,共6页王肖 赵相福 
国家自然科学基金资助项目(61003101);浙江省自然科学基金资助项目(Y1100191)~~
为了通过增加测量点、从候选诊断空间中找出真正的故障元件集,深入研究了测量点的选择优化问题,通过逻辑推理与验证的方法,分析了候选诊断空间大小随新测量点的单调性变化的关系,并给出了可以导致候选诊断空间单调递增或单调递减的测量...
关键词：基于模型的诊断 候选空间 单调性 测量点 故障诊断 
基于ACM-ICPC训练模式的数据结构实践教学探索被引量：8
《计算机教育》2013年第10期103-107,共5页韩建民 钟发荣 赵相福 宋炯 
针对目前数据结构课程实践教学上的不足,提出基于ACM-ICPC训练模式的数据结构课程系统化的实践教学方案。
关键词：ACM-ICPC 数据结构 实践教学 
离散事件系统基于模型诊断的研究进展被引量：4
《计算机科学与探索》2011年第2期114-127,共14页赵相福 欧阳丹彤 
国家自然科学基金No.61003101;60973089;60873148;浙江省自然科学基金No.Y1100191;符号计算与知识工程教育部重点实验室开放课题基金No.93K-17-2009-K05~~
近年来,针对离散事件系统的基于模型诊断方法在大型通讯网络、电网故障诊断等领域获得了成功应用,成为人工智能与控制工程领域的热门研究课题。介绍了针对离散事件系统的基于模型诊断的基本思想与建模方法,从不同的角度对使用自动机建...
关键词：基于模型的诊断 离散事件系统 可诊断性 
在离散事件系统中寻找诊断路径的方法
《吉林大学学报（理学版）》2010年第3期439-443,共5页王晓宇 欧阳丹彤 赵相福 冯宇轩 
国家自然科学基金重大项目基金(批准号:60496320;60496321);国家自然科学基金(批准号:60973089;60773097;60873148);吉林省科技发展计划项目基金(批准号:20060532;20080107);欧盟合作项目(批准号:155776-EM-1-2009-1-IT-ERAMUN-DUS-ECW-L12)
利用简单的编码理论提出一种在离散事件系统的故障诊断中快速找到诊断路径的方法.该方法通过状态编码,降低了在离散事件系统诊断同步过程中的时间复杂度,消减了诊断路径冗余.能够在给定的观测集合上快速提取诊断路径,更适合实际观测事...
关键词：模型故障诊断 离散事件系统 故障传播 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部