• 阿帕克

  • 引用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)后退地平线。。。计划。底层数字设计合成例行公事把环境当作敌人;因此,结果。。。应用后退地平线框架,允许合成要破解的问题。。。