李召妮

作品数：2被引量：7H指数：2
导出分析报告
供职机构：陕西师范大学更多>>
发文主题：多属性决策TDS多处理器任务调度算法KRIPKE结构更多>>
发文领域：自动化与计算机技术社会学经济管理更多>>
发文期刊：《计算机科学》更多>>
所获基金：国家自然科学基金中央高校基本科研业务费专项资金国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于可能性测度的工程管理决策的研究被引量：2
《计算机科学》2014年第8期118-121,129,共5页李召妮 马占有 李永明 
国家自然科学基金(11271237)资助
考虑可能性Kripke结构的一种扩展形式——带有成本的可能性Kripke结构,并且研究在此之上的期望测度和多属性决策问题。带有成本的可能性Kripke结构是在可能性Kripke结构的转移关系上(或者是状态上)给定了成本——这个自然数可以看成是成...
关键词：可能性测度 带有成本的Kripke结构 多属性决策 期望测度 
多处理器任务调度算法TDS的建模与验证被引量：5
《计算机科学》2012年第11期301-304,F0003,共5页李召妮 雷丽晖 李永明 
国家自然科学基金(60873119;61003061);高校博士学科点专项科研基金(20090202120006);中央高校基本科研业务费(GK200902017;GK201001003)资助
在多处理器系统中,一个应用所要完成的任务可以分配给同一个处理器处理,也可以分配给多个处理器处理,所以传统的测试方法难以满足多处理器任务调度算法的验证。在此,提出一个基于扩展Büchi自动机的形式化模型,并用该模型来描述多处理...
关键词：多处理器调度算法 线性时序逻辑 模型检测 扩展Büchi自动机 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部