咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 2 篇 期刊文献

馆藏范围

  • 2 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2 篇 工学
    • 1 篇 机械工程
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 2 篇 并行离散事件仿真
  • 2 篇 逻辑进程范型
  • 1 篇 反应-扩散系统
  • 1 篇 dve建模语言
  • 1 篇 模型转换
  • 1 篇 随机仿真
  • 1 篇 lotka-volterra系...
  • 1 篇 模型检验
  • 1 篇 事件图
  • 1 篇 仿真平台

机构

  • 2 篇 国防科技大学
  • 1 篇 第二炮兵工程大学

作者

  • 1 篇 邢飞
  • 1 篇 慕晓冬
  • 1 篇 夏薇
  • 1 篇 蒋志文
  • 1 篇 姚益平

语言

  • 2 篇 中文
检索条件"主题词=逻辑进程范型"
共 2 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
一种支持并行离散事件仿真建模和并行模型检验的建模语言
收藏
分享
引用
国防科技大学学报 2011年 第6期33卷 66-71页
作者： 夏薇 姚益平 慕晓冬 国防科技大学计算机学院 湖南长沙410073 第二炮兵工程大学计算机系 陕西西安710025
并行离散事件仿真(Parallel Discrete Event Simulation,PDES)模型的正确性和可信度对PDES应用的发展起着决定性作用。然而,现有的并行离散事件仿真开发环境都没有提供仿真模型检验功能。并行模型检验(Parallel Model Checking,PMC)方... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于LP范型的反应-扩散系统随机仿真平台研究
收藏
分享
引用
系统仿真学报 2012年 第4期24卷 793-798页
作者： 蒋志文 邢飞 国防科技大学计算机学院 长沙410073
随机仿真是描述反应-扩散系统随机特征的一种重要研究方法,但这种仿真的计算量很大,非常耗时,需要并行离散事件仿真PDES技术的支持。针对反应-扩散系统的特点,基于JAMES II离散事件仿真实验框架,设计实现了基于逻辑进程LP范型的并行分... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件