-
夏普
- 引用41篇文章[sw03100]
- 可执行性建模.模型类型包括组合类型，如过错-树和排队网络。。。如马尔可夫和半马尔可夫报酬模型以及随机Petri网。稳态。。。
-
HYSDEL公司
- 在38篇文章中引用[sw05200]
- 逻辑规则。一旦混合动力系统模型化以人类可读的方式，HYSDEL变换。。。最优控制、安全验证或估计和过错检测问题。。。
-
奶牛
- 引用51篇文章[sw06955]
- 两者都是为了建模命令式和编排结构，例如web服务、流程图，过错还有补偿。。。
-
哈瓦那
- 引用3篇文章[sw16436号]
- 哈瓦那：a过错 建模工具。提高对断层碳氢化合物密封施加压力。。。本文介绍了a过错 建模工具，它背后的方法和例子。。。过错 建模研究。一般关注的是与断层. 工具。。。进一步发展，更详细过错 模型以及将军的改进过错 建模能力。示例。。。
-
山雀
- 引用4篇文章[sw12541]
- 动态分析包过错树模型. 在过错树模型... 包括模型序列依赖，应用过错分析树。。。
-
交易人
- 参考6篇文章[sw20929]
- 环境。我们介绍交易人过错-容错程序设计模型对于组成松散耦合的分布式组件。。。保持全局一致的分布式状态。交易人模型融合了传统事务处理的某些元素。。。协调，从而促进了分布式的研究过错-从语义的角度来看容忍。。。基于actor的扩展lambda演算模型，并通过一个数字来说明它的用法。。。
-
故障诊断工具箱
- 引用3篇文章[sw32054号]
- Matlab设计与分析工具箱过错动态系统的诊断系统，主要描述。。。大型结构动力分析模型,过错隔离性分析，传感器布置分析，和代码。。。
-
状态流
- 在39篇文章中引用[sw04350]
- 状态转换表和真值表模型你的系统对事件、时间的反应。。。用于监控、任务调度和过错管理应用程序。状态流包括状态机动画。。。
-
CloudSim公司
- 引用24篇文章[sw10724]
- CloudSim：一个新的框架建模以及云计算基础设施和服务的模拟。云。。。计算的重点是提供可靠、安全，过错-可容忍、可持续和可扩展的托管基础设施。。。软件、服务）适用于不同的应用和服务模型在不同负载下，能量性能（功耗。。。
-
埃拉特
- 参考7篇文章[sw07273]
- 输入，一个很可能显示断层在被测软件中。技术。。。增强。这项技术首先推断出模型软件的操作。然后，输入。。。不同于模型以特定的方式暗示断层. 这些输入更进一步。。。最有可能揭示的技术断层. 因此，这种技术也可以看出。。。
-
宝石
- 第3条引用[sw31288]
- 构造复杂的全三维地质体模型，包括过错网络，过错–表面相互作用、不整合。。。生成三维地质模型以及用于高级科学调查的额外资产。。。
-
伽利略
- 引用13篇文章[sw00316]
- Galileo，一个支持动态的实验性软件工具过错树分析和作为附加属性。。。其核心的可靠性建模基于数学验证和验证的函数。。。
-
重新配置
- 引用4篇文章[sw19644]
- 重构，同时发生执行器和传感器断层在非线性系统中。这个理论将会。。。模式观测器公式，围绕LPV设计模型非线性系统的逼近。它延伸。。。独立考虑了执行器和传感器断层重建。这里只有一个观察者结构。。。传感器断层. 本文将介绍LPV的发展模型，理论。。。
-
MR4UM公司
- 引用2篇文章[sw08198]
- 新鉴定的断层. 经济和实际问题决定了模型和/或程序。。。新鉴定的断层. 特别是，MR4UM从程序设计开始模型化在UML状态下。。。模型在UCM中修改程序并生成过错-容忍程序。。。
-
火花
- 在34篇文章中引用[sw23653]
- 基于非循环数据流构建模型这不适合其他流行的应用程序。。。这些应用程序同时保留了可扩展性和过错MapReduce的公差。为了实现这些目标。。。
