• 乌姆德斯

  • 参考文献364篇[sw09523]
  • 为研究离散的 事件 系统由有限状态自动机建模。。。密歇根州离散的 事件 系统. “导论”一书离散的 事件 系统... 建模简介离散的 事件 系统FSA的,FSA模型的操纵。。。监督控制理论离散的 事件 系统...
  • 谦虚

  • 引用32篇文章[sw01544]
  • 谦虚的,用于描述离散的 事件 系统. 这种语言结合了传统的编程结构。。。
  • 莫比乌斯

  • 引用23条[sw04098]
  • 计算机和网络的可用性和性能系统,其用途迅速扩大。。。用于广泛的离散的-事件 系统基因内的生化反应。。。恶意攻击者对安全计算机的影响系统,以及原始应用程序。那个。。。系统“规模和复杂性。节省时间和空间离散的-事件模拟和数值求解,基于。。。
  • 上云母

  • 引用的第15条[sw18546]
  • 验证、综合和模拟离散的 事件 系统. 一个集成的环境,Supremica,用于验证,合成。。。模拟离散的 事件 系统呈现。SUPERMICA的基本模型是有限自动机。。。
  • 利比亚人

  • 在10篇文章中引用[sw16433]
  • libFAUDES:软件库离散的 事件 系统. 这个离散的 事件 系统libFAUDES库实现数据。。。控制方法离散的 事件 系统(b)有效宣传这些方法。。。
  • 伊米尔

  • 引用16条[sw09468]
  • 验证随机变量的概率瞬态特性离散的 事件 系统. Ymer实现了统计和数值。。。
  • TCT

  • 在10篇文章中引用[sw13640]
  • 不定时监控综合离散的-事件 系统(DES)。它可以从。。。
  • STCT

  • 引用9篇文章[sw02293]
  • 监理控制的途径离散的-事件 系统(DES)。我们的算法,叫做S(mart。。。
  • TC-帽子

  • 引用28篇文章[sw13068]
  • 被打断离散的-及时事件,通常称为混合动力系统. 边界值。。。
  • 德斯科

  • 引用4篇文章[sw01223]
  • 教育和控制工具离散的 事件 系统作者报告了一个软件。。。first tools(合称Desco,用于离散的 事件 系统控制器),包括。。。
  • VeriSIMPL公司

  • 引用4篇文章[sw14598]
  • 线性(MPL)系统,一类离散的-事件 系统用来描述动力学。。。
  • 西姆爪哇

  • 参考12篇文章[sw07982]
  • 西姆爪哇:一个离散的 事件Java仿真包。simjava是一个用于构建工作。。。复杂的模型系统. 它基于一个离散的 事件模拟内核,包括。。。
  • 喘息IV

  • 引用24篇文章[sw32274]
  • 系统包括连续和离散的现象。“定义的一般化”事件... 下一个-事件时尚的同时允许婷一步一步的评估系统描述的状态变量。。。处理状态和事件控制(必要时包括状态变量积分),信息。。。检索、收集和分析系统性能,以及报告和绘图的生成。。。
  • 急诊室

  • 引用2篇文章[sw12048]
  • 性能评估工具集离散的 事件 系统. ERS包含用于:创建图形化。。。一些离散的 事件 系统:Petri网(快照),任务图,块堆(快照。。。
  • 塞库西姆

  • 引用3篇文章[sw01404]
  • 实体结构/模型库)框架,DEVS(离散的 事件 系统规范)形式主义和实验框架。塞库西姆。。。
  • 丙二醇

  • 引用2篇文章[sw00694]
  • 离散的-事件 系统由于它们的广泛应用而引起了广泛的兴趣。。。随机性的统一描述离散的-事件 系统. 目的是使用这个描述。。。
  • 吉德斯

  • 引用2篇文章[sw09527]
  • 设计、分析和控制离散的-事件 系统. 完全用Java编写,GIDDES存在。。。其他图形前端离散的-事件 系统软件工具。这些工具可以合并。。。
  • pntool公司

  • 引用2篇文章[sw21085]
  • Petri网工具箱——教学离散的 事件 系统在MATLAB下。开发了一个MATLAB工具箱。。。处理离散的 事件动力的系统用Petri网建模。。。
  • 炉灶2

  • 在10篇文章中引用[sw14081]
  • StochKit2:软件离散的生化随机模拟系统具有事件. 小结:StochKit2。。。
  • 猛击

  • 引用2篇文章[sw06144]
  • 无限过渡的符号监督控制系统在部分观察下使用抽象解释。我们提议。。。无限态的部分观测离散的 事件 系统以符号转换为模型系统...