结果1至201064
排序依据：

  • 阿帕克
  • 引用841篇文章[sw04218]
  • 这些变体可被视为合成关于阿诺迪/兰佐斯过程的含蓄。。。

  • Mu分析综合工具箱
  • 引用110篇文章[sw19506]
  • 分析和合成工具箱（μ-Tools）是主要开发的函数（命令）的集合。。。分析和合成控制系统，重点是量化不确定性的影响。。。最优控制与m分析合成技术。这个软件包允许你使用复杂的。。。

  • 鲁棒控制工具箱
  • 在154篇文章中引用[sw07907]
  • 不确定因素。H-无穷和mu-合成技术让你设计控制器，最大限度地提高鲁棒性。。。

  • 乐高
  • 引用107篇文章[sw09685]
  • 例如，系统的特性类似于参数合成宇宙多态性使得证据检查更多。。。

  • 绿洲
  • 引用92篇文章[sw30082]
  • 绿洲：海洋声学和地震勘探合成.OASES是一个通用的计算机代码。。。

  • MR和LTV合成工具
  • 引用36篇[sw05190]
  • 合成工具说明MR-LTV工具具有以下区域的命令：H-infinity合成... 基于LMI的速率采样数据LTI系统合成方法H-无穷合成离散时间的。。。使用LMI的系统合成方法系统类型转换（即多速率LTI到离散时间）。。。

  • 科恩·卡纳德
  • 引用了60篇文章[sw04974]
  • 人脸图像自动分析与处理技术研究合成对于感性的研究。科恩·卡纳德。。。

  • 小波工具箱
  • 引用57篇文章[sw08396]
  • 开发基于小波的分析算法，合成去噪，信号和图像的压缩。。。

  • 基础知识
  • 引用了40篇文章[sw12910]
  • 逻辑公共领域系统合成二元逻辑电路的形式化验证。。。关注顺序的协同作用合成顺序验证导致了两个方面的改进。。。

  • 刮匙
  • 引用48篇文章【sw13762】
  • 用于图像分析和图像合成.3）BTF（双向纹理函数）数据库。。。

  • 模仿者
  • 引用了29篇文章[sw00439]
  • 秒表。它实现了包括安全性在内的多种算法合成，健壮性，不定时的语言保存，非芝诺。。。无死锁参数合成，接受周期合成等等。它具有分布式功能。。。

  • 牡蛎
  • 参考33篇文章[sw19629]
  • 定理证明与程序设计合成加牡蛎。马丁-洛夫型理论提供了一个形式框架。。。接近。我们通过描述合成一个简单的算术表达式求值器。。。

  • 违反
  • 引用24篇文章【sw20822】
  • Breach，验证和参数的工具箱合成混合动力系统。我们描述的是。。。执行近似可达性分析和参数合成一个主要的新特点是强大的监控。。。

  • 汤姆普
  • 引用32篇文章[sw00971]
  • 计算。大量的分析和合成现代过程的问题可以写成。。。

  • 石化
  • 在26篇文章中引用[sw09784]
  • 石化是一个工具合成Petri网和异步控制器。石化阅读。。。

  • 上云母
  • 引用18条[sw18546]
  • Supremica-用于验证的集成环境，合成以及离散事件系统的仿真。一个完整的。。。环境部，Supremica，供核查，合成并对离散事件系统进行了仿真。基本的。。。

  • 相思树+
  • 引用15篇文章[sw25260]
  • LTL实现工具和合成基于象征性的反链技术。相思+被扩展。。。合成从LTL规范和次级平均收益目标。新的！Acacia+包含一个新功能。。。合成在随机环境中的一组获胜策略中的最优策略。。。

  • 郁金香
  • 引用13篇文章[sw20173]
  • 基于Python的软件工具箱合成嵌入式控制软件是可以证明是正确的。。。控制系统的抽象化（2）数字化设计合成根据LTL规范，和（3）后退地平线。。。计划。底层数字设计合成例行公事把环境当作敌人；因此，结果。。。应用后退地平线框架，允许合成要破解的问题。。。