您的位置： 专家智库 > >

李召妮

作品数：5 被引量：7H指数：2
供职机构：陕西师范大学更多>>
发文基金：国家自然科学基金中央高校基本科研业务费专项资金国家教育部博士点基金更多>>
相关领域：自动化与计算机技术社会学经济管理更多>>

合作作者

文献类型

  • 2篇期刊文章
  • 2篇会议论文
  • 1篇学位论文

领域

  • 3篇自动化与计算...
  • 1篇经济管理
  • 1篇社会学

主题

  • 3篇多属性决策
  • 2篇调度
  • 2篇调度算法
  • 2篇多处理器
  • 2篇任务调度
  • 2篇任务调度算法
  • 2篇自动机
  • 2篇TDS
  • 2篇KRIPKE...
  • 2篇处理器
  • 1篇语义
  • 1篇语义结构
  • 1篇时序逻辑
  • 1篇线性时序逻辑
  • 1篇工程管理
  • 1篇BÜCHI自...

机构

  • 5篇陕西师范大学

作者

  • 5篇李召妮
  • 4篇李永明
  • 2篇雷丽晖
  • 2篇马占有

传媒

  • 2篇计算机科学
  • 1篇2013年全...

年份

  • 2篇2014
  • 1篇2013
  • 2篇2012
共 5 条 记 录，以下是 1-5
全选 清除 导出
排序方式：
基于自动机和可能性Kripke结构的模型检测理论应用研究
在我们日常生活的各个方面,现代社会越来越依赖于专业的计算机和软件系统对于我们的协助。通常我们使用的手机,通信系统,医疗设备,音频和视频系统,以及家用电子产品一般都包含了大量的软件。一个常见的问题就是软硬件系统的复杂性不断...
李召妮
关键词：多属性决策
文献传递
多处理器任务调度算法TDS的建模与验证被引量：5
2012年
在多处理器系统中,一个应用所要完成的任务可以分配给同一个处理器处理,也可以分配给多个处理器处理,所以传统的测试方法难以满足多处理器任务调度算法的验证。在此,提出一个基于扩展Büchi自动机的形式化模型,并用该模型来描述多处理器任务调度算法TDS(Task Duplication based Scheduling);用线性时序逻辑描述出算法TDS期望的一些性质;最后在该模型上验证了这些性质。该方法有效地克服了传统测试的局限性,保证了多处理器任务调度的可靠性。
李召妮雷丽晖李永明
关键词：线性时序逻辑
多处理器任务调度算法TDS的建模与验证
处理器系统中,一个应用所要完成的任务可以分配给同一个处理器处理,也可以分配给多个处理器处理,所以传统的测试方法难以满足多处理器任务调度算法的验证.
李召妮雷丽晖李永明
基于可能性测度的工程管理决策的研究
考虑可能性Kripke结构的一种扩展形式——带有成本的可能性Kripke结构,并且研究在此之上的期望测度和多属性决策问题.带有成本的可能性Kripke结构是在可能性Kripke结构的转移关系上(或者是状态上)给定了成本—...
李召妮马占有李永明
关键词：工程管理多属性决策
文献传递
基于可能性测度的工程管理决策的研究被引量：2
2014年
考虑可能性Kripke结构的一种扩展形式——带有成本的可能性Kripke结构,并且研究在此之上的期望测度和多属性决策问题。带有成本的可能性Kripke结构是在可能性Kripke结构的转移关系上(或者是状态上)给定了成本——这个自然数可以看成是成本,当然也可以看成是收益。在此只考虑转移关系上的成本。为了便于理解,文中给出实例,即应用带有成本的可能性Kripke结构的相关理论来解决工程管理决策的某些问题。
李召妮马占有李永明
关键词：多属性决策
全选 清除 导出
共1页<1>
聚类工具0