位置：立项数据库 > 立项详情页
　离散事件系统基于模型的分布式及分层诊断方法研究
  • 项目名称：　离散事件系统基于模型的分布式及分层诊断方法研究
  • 批准号：Y1100191
  • 项目来源：2010年度浙江省自然科学基金项目
  • 研究期限：2010-08-
  • 项目负责人：赵相福
  • 依托单位：浙江师范大学
  • 批准年度：2010
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 13
  • 0
  • 0
  • 0
  • 0
期刊论文
基于缩减信念状态的Conformant规划方法
不完备模型下的离散事件系统诊断方法
基于模型诊断的候选空间单调性研究
基于模型诊断的抽象分层过程
基于动态极大度的极小碰集求解方法
电子细胞模型Analog-Cell中前体mRNA剪接过程的模拟与研究
用CHS-tree基于集合势的方法计算极小碰集
利用标志传播求解基于模型的故障诊断
基于极性的非循环术语集调试
路标计数启发式引导的分解规划方法
不完备离散事件系统的可诊断性
面向Web页面的电子签章控件的实现
用MDMC-HS-tree方法计算极小碰集
赵相福的项目
离散事件系统基于模型的分布式在线诊断方法研究
期刊论文 35 会议论文 3 著作 1