您的位置： 专家智库 > >

赵荣盛

作品数：2 被引量：4H指数：1
供职机构：广西师范大学数学科学学院更多>>
发文基金：国家自然科学基金广西研究生教育创新计划更多>>
相关领域：自动化与计算机技术理学更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

  • 1篇自动化与计算...
  • 1篇理学

主题

  • 1篇形式化
  • 1篇时段演算
  • 1篇逻辑
  • 1篇局中人
  • 1篇博弈
  • 1篇博弈逻辑

机构

  • 2篇广西师范大学
  • 1篇贵州大学
  • 1篇桂林空军学院

作者

  • 2篇赵荣盛
  • 1篇王驹
  • 1篇韦立
  • 1篇刘真环
  • 1篇陈艳

传媒

  • 1篇软件学报

年份

  • 1篇2009
  • 1篇2008
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
DDS并行模型及其形式化被引量：4
2009年
DDS(deadline-driven scheduler)模型是实时系统研究中的一个经典模型,但其原始设置中未提及空间因素.在DDS模型的原始设置上进行扩展,给出了DDS并行模型并在该模型设置下研究带空间限制的任务调度问题.提出了极大空间相容组的概念,并给出了全局调度算法和该算法可行的条件.最后还引入分离逻辑的思想对时段演算进行扩充,得到了新的形式系统DC*,利用DC*把DDS并行模型形式化.
刘真环韦立陈艳赵荣盛王驹
关键词：时段演算形式化
博弈逻辑中局中人有限理性研究
博弈逻辑是博弈论与逻辑学相交叉的一门崭新的学科，它属于行动逻辑。博弈逻辑研究理性人在互动中的推理问题，局中人在进行预决策推理、自己得益最大化时往往会受到自身认知能力的限制，即局中人的有限理性。通常局中人的理性会受到博弈的...
赵荣盛
关键词：博弈逻辑局中人
文献传递
全选 清除 导出
共1页<1>
聚类工具0