• 夏普

  • 引用41篇文章[sw03100]
  • 可执行性建模.模型类型包括组合类型,如过错-树和排队网络。。。如马尔可夫和半马尔可夫报酬模型以及随机Petri网。稳态。。。
  • HYSDEL公司

  • 在38篇文章中引用[sw05200]
  • 逻辑规则。一旦混合动力系统模型化以人类可读的方式,HYSDEL变换。。。最优控制、安全验证或估计和过错检测问题。。。
  • 奶牛

  • 引用51篇文章[sw06955]
  • 两者都是为了建模命令式和编排结构,例如web服务、流程图,过错还有补偿。。。
  • 哈瓦那

  • 引用3篇文章[sw16436号]
  • 哈瓦那:a过错 建模工具。提高对断层碳氢化合物密封施加压力。。。本文介绍了a过错 建模工具,它背后的方法和例子。。。过错 建模研究。一般关注的是与断层. 工具。。。进一步发展,更详细过错 模型以及将军的改进过错 建模能力。示例。。。
  • 普雷格尔

  • 引用31篇文章[sw13416]
  • 算法。这个模型为高效、可扩展和过错-群集上的容错实现。。。
  • 山雀

  • 引用4篇文章[sw12541]
  • 动态分析包过错模型. 过错模型... 包括模型序列依赖,应用过错分析树。。。
  • 交易人

  • 参考6篇文章[sw20929]
  • 环境。我们介绍交易人过错-容错程序设计模型对于组成松散耦合的分布式组件。。。保持全局一致的分布式状态。交易人模型融合了传统事务处理的某些元素。。。协调,从而促进了分布式的研究过错-从语义的角度来看容忍。。。基于actor的扩展lambda演算模型,并通过一个数字来说明它的用法。。。
  • 故障诊断工具箱

  • 引用3篇文章[sw32054号]
  • Matlab设计与分析工具箱过错动态系统的诊断系统,主要描述。。。大型结构动力分析模型,过错隔离性分析,传感器布置分析,和代码。。。
  • 状态流

  • 在39篇文章中引用[sw04350]
  • 状态转换表和真值表模型你的系统对事件、时间的反应。。。用于监控、任务调度和过错管理应用程序。状态流包括状态机动画。。。
  • CloudSim公司

  • 引用24篇文章[sw10724]
  • CloudSim:一个新的框架建模以及云计算基础设施和服务的模拟。云。。。计算的重点是提供可靠、安全,过错-可容忍、可持续和可扩展的托管基础设施。。。软件、服务)适用于不同的应用和服务模型在不同负载下,能量性能(功耗。。。
  • 埃拉特

  • 参考7篇文章[sw07273]
  • 输入,一个很可能显示断层在被测软件中。技术。。。增强。这项技术首先推断出模型软件的操作。然后,输入。。。不同于模型以特定的方式暗示断层. 这些输入更进一步。。。最有可能揭示的技术断层. 因此,这种技术也可以看出。。。
  • DFTCalc公司

  • 引用3篇文章[sw12545]
  • FTA工具,提供(1)高效过错建模(2)有效分析。。。
  • 宝石

  • 第3条引用[sw31288]
  • 构造复杂的全三维地质体模型,包括过错网络,过错–表面相互作用、不整合。。。生成三维地质模型以及用于高级科学调查的额外资产。。。
  • 法塔姆

  • 引用3篇文章[sw25821]
  • 逻辑最小割集模型(尤其是,过错树木)。虽然这些方法在理论上是。。。
  • 伽利略

  • 引用13篇文章[sw00316]
  • Galileo,一个支持动态的实验性软件工具过错树分析和作为附加属性。。。其核心的可靠性建模基于数学验证和验证的函数。。。
  • 重新配置

  • 引用4篇文章[sw19644]
  • 重构,同时发生执行器和传感器断层在非线性系统中。这个理论将会。。。模式观测器公式,围绕LPV设计模型非线性系统的逼近。它延伸。。。独立考虑了执行器和传感器断层重建。这里只有一个观察者结构。。。传感器断层. 本文将介绍LPV的发展模型,理论。。。
  • MR4UM公司

  • 引用2篇文章[sw08198]
  • 新鉴定的断层. 经济和实际问题决定了模型和/或程序。。。新鉴定的断层. 特别是,MR4UM从程序设计开始模型化在UML状态下。。。模型在UCM中修改程序并生成过错-容忍程序。。。
  • 火花

  • 在34篇文章中引用[sw23653]
  • 基于非循环数据流构建模型这不适合其他流行的应用程序。。。这些应用程序同时保留了可扩展性和过错MapReduce的公差。为了实现这些目标。。。
  • 多边形3D

  • 参考第4条[sw23623]
  • 元素到模型任意数量的机械相互作用断裂或断层不穿制服。。。