您的位置: 专家智库 > >

王胤

作品数:4 被引量:5H指数:1
供职机构:上海交通大学更多>>
发文基金:国家自然科学基金更多>>
相关领域:机械工程自动化与计算机技术更多>>

文献类型

  • 2篇专利
  • 1篇期刊文章
  • 1篇学位论文

领域

  • 2篇机械工程
  • 1篇自动化与计算...

主题

  • 3篇调度
  • 3篇调度算法
  • 2篇虚拟机
  • 2篇虚拟机管理器
  • 2篇应用程序
  • 2篇应用程序接口
  • 2篇时运
  • 2篇宿主机
  • 2篇主机
  • 2篇资源调度
  • 2篇资源调度算法
  • 2篇显卡
  • 2篇接口
  • 2篇管理器
  • 2篇程序接口
  • 2篇PETRI网
  • 1篇动态调度
  • 1篇动态调度算法
  • 1篇时态逻辑
  • 1篇系统仿真

机构

  • 4篇上海交通大学

作者

  • 4篇王胤
  • 2篇管海兵
  • 2篇戚正伟
  • 2篇于淼
  • 1篇杨红红
  • 1篇吴智铭
  • 1篇庞小红

传媒

  • 1篇上海交通大学...

年份

  • 1篇2015
  • 1篇2013
  • 1篇2003
  • 1篇2002
4 条 记 录,以下是 1-4
排序方式:
动态柔性制造系统仿真平台被引量:5
2002年
针对通常柔性制造系统 ( FMS)仿真方法在体现制造系统动态变化特性方面的不足 ,开发了一种 FMS的可视化、分布式仿真平台 .该平台模拟真实 FMS的运行 ,较好地体现了离散事件动态系统的特性 ,可以作为调度、控制算法的测试平台 .作为示例 ,在该平台上成功地实现了一种基于遗传算法的 FMS动态调度算法 ,解决了
王胤杨红红庞小红吴智铭
关键词:仿真平台系统仿真动态调度算法PETRI网系统设计
基于应用效果即时反馈的显卡虚拟化下的资源调度系统
本发明提供一种基于应用程序即时效果反馈的在虚拟机间的物理显卡资源调度系统和方法。本发明描述的系统通过函数钩子的方法在宿主机物理显卡指令发送器和宿主机物理显卡应用程序接口之间插入调度执行器,延迟宿主机物理显卡指令发送器中指...
于淼王胤戚正伟管海兵
文献传递
制造系统结构化控制—基于Petri网的模型验证方法
该文利用模型验证(Model-Checking)方法的强大运算能力,这篇文章给出一个新的制造系统的结构化控制器,该控制器利用符合模型验证(Symbolic Model Checking)方法来验证系统行为的正确性.一种名...
王胤
关键词:PETRI网时态逻辑
文献传递
基于应用效果即时反馈的显卡虚拟化下的资源调度系统
本发明提供一种基于应用程序即时效果反馈的在虚拟机间的物理显卡资源调度系统和方法。本发明描述的系统通过函数钩子的方法在宿主机物理显卡指令发送器和宿主机物理显卡应用程序接口之间插入调度执行器,延迟宿主机物理显卡指令发送器中指...
于淼王胤戚正伟管海兵
文献传递
共1页<1>
聚类工具0