• 阿帕克

  • 768篇参考文献[SW04218]
  • 这些变体可以看作是合成隐式的阿诺尔迪/兰辛佐斯过程…
  • MU分析与综合工具箱

  • 109篇参考文献[SW19506]
  • 分析与合成工具箱(μ-To工具)是主要开发的函数(命令)的集合。分析与合成控制系统,重点是量化不确定性的影响…最优控制与M分析合成技法这个软件包可以让你使用复杂的…
  • 乐高

  • 106篇参考文献[SW09685 ]
  • 示例,系统类似参数的特征合成宇宙多态性使得证据检验更加有效。
  • 绿洲

  • 80篇参考文献[SW3000 82]
  • 海洋声学与地震勘探合成. 绿洲是一个通用的计算机代码…
  • MR和LTV合成工具

  • 34篇参考文献[SW05190]
  • 合成工具描述MR-LTV工具在以下方面具有命令:H无穷大合成基于LMI的速率采样数据LTI系统合成方法H∞合成离散时间…使用LMI的系统合成方法系统类型转换(即多速率LTI到离散时间…
  • 科恩卡纳德

  • 52篇参考文献[SW0494]
  • 人脸图像自动分析技术研究合成以及感性研究。Cohn Kanade…
  • 刮匙

  • 45篇参考文献[SW13762]
  • 用于图像分析和图像合成. 3)BTF(双向纹理函数)数据库与…
  • 牡蛎

  • 32篇参考文献[SW19629 ]
  • 定理证明与程序合成牡蛎。马丁洛夫类型理论提供了一个正式的框架…方法。我们通过描述这一点来说明这一点。合成一个简单的算术表达式求值器…
  • 模仿者

  • 26篇参考文献[SWO4439 ]
  • 秒表。它实现了多种算法,包括安全性。合成,健壮性,非定时语言保存,非芝诺…无死锁参数合成接受周期合成它具有分布式能力…
  • 美国广播公司

  • 21篇参考文献[SW12910]
  • 公有逻辑域系统合成二值逻辑电路的形式化验证…关注顺序的协同作用合成顺序验证导致两者的改进。
  • 石化

  • 26篇参考文献[SW09784]
  • 石化是一种工具。合成Petri网和异步控制器。石化阅读…
  • 帕秒

  • 25篇参考文献[SW09610]
  • 包括在识别、挖掘和应用方面的新兴应用合成(RMS)以及系统应用…
  • 裂口

  • 17篇参考文献[SW20822]
  • 破译,验证和参数工具箱合成混杂系统。我们描述违约…执行近似可达性分析和参数合成. 一个主要的新特点是鲁棒监测。
  • 汤姆普

  • 22篇参考文献[SW0791]
  • 计算。大量的分析和合成现代过程的问题可以写…
  • 罗塞塔

  • 22篇参考文献[SW10969]
  • 面向过程的工具和编程环境合成逻辑程序…
  • 雷特

  • 20篇参考文献[SW06924]
  • 概率分析的MATLAB工具箱合成受各种不确定性结构影响的控制系统…