• 违反

  • 引用24篇文章【sw20822】
  • 验证与参数综合混合的 系统. 我们描述了一个Matlab/C++工具箱,它提供了。。。确定性模型分析混合的动力的系统. 突破的主要特征。。。
  • 德拉赫

  • 17条引用[sw20164]
  • 可及性分析混合的 系统. dReach是一个有界可达性分析工具。。。非线性混合的 系统. 它编码的可达性问题混合的 系统一阶公式。。。广泛的高度非线性混合的 系统. 它在各种真实模型上都有很好的比例。。。
  • 岩浆

  • 引用54篇文章[sw12741]
  • 异构/混合架构,从当前的“多核+GPU”开始系统. 岩浆研究是基于。。。应对新兴市场的复杂挑战混合的环境、最佳软件解决方案本身将具有。。。代数算法和框架混合的manycore和GPU系统可以启用应用程序。。。
  • 碳化硅

  • 引用了20篇文章[SW75195号文件]
  • 模块化规范混合的 系统在查伦。一种新的语言,叫做Charon,被提出。。。交互的模块化规范混合的 系统. 对于系统建筑,查理。。。
  • 尖峰

  • 在38篇文章中引用[sw02780]
  • 求解带状线性方程的并行环境系统. 这个混合的提出了带状线性求解器SPIKE。。。
  • nuXmv公司

  • 在26篇文章中引用[sw18526]
  • 验证算法。对于无限状态系统,它用新的数据类型扩展了numv语言。。。基于合同的设计,模型检查混合的 系统,安全评估和软件模型检查。。。
  • S-塔利罗

  • 引用了20篇文章[sw09775]
  • 时间逻辑证伪工具混合的 系统. S-TaLiRo是一个Matlab(TM)工具箱。。。
  • Pydtool公司

  • 17条引用[sw06718号]
  • 身体的系统(ODE、DAE、映射和混合的 系统).PyDSTool独立于平台,主要编写。。。
  • HAS-QAP

  • 引用了35篇文章【sw20506年】
  • 本文介绍了HAS-QAP,a混合的蚁群系统加上本地搜索,应用。。。解决方案,不像传统的蚂蚁系统利用信息素线索信息来构造完整的解决方案。。。搜索,即健壮的反应式禁忌搜索,混合的遗传算法和模拟退火方法。。。
  • 印花

  • 引用15篇文章[sw09533]
  • 系统,包括硬件、软件和混合的 系统. 在本文中,我们提供了。。。
  • 向前地

  • 引用54篇文章[sw12296]
  • 病态反褶积系统. 我们建议,混合的傅里叶小波正则化反褶积(正向。。。
  • HyEQ公司

  • 引用8篇文章[sw14490]
  • 仿真工具箱混合的 系统在Matlab/Simulink中:混合的方程(HyEQ)工具箱。本文描述了。。。轨道的计算近似混合的 系统以微分和差分的形式给出。。。适用于模拟混合的 系统有不同类型的轨迹,包括那些。。。也可以模拟混合的 系统没有输入,有输入,还有互连。。。
  • Ninf-G/MPI

  • 引用了45篇文章[sw03461]
  • 方法,我们建议混合的使用GridRPC实现系统忍者。。。
  • 西科诺斯

  • 参考12篇文章[sw25724]
  • 发现于系统和控制(混合的 系统微分包含,带状态约束的最优控制),最优化。。。
  • 斯皮迪

  • 参考7篇文章[sw00896]
  • SPeeDI——多边形验证工具混合的 系统 混合的 系统结合离散和连续动力学。。。行为分析混合的 系统是可达性。众所周知。。。的大多数非平凡子类混合的 系统这和所有有趣的验证问题都是不可判定的。大多数。。。有趣且仍然可以判定的类混合的 系统(二维)多边形微分包含。。。
  • 海菲斯

  • 引用13篇文章[sw24184号]
  • 提出了一种自适应模糊神经网络系统,海菲斯(混合的神经模糊推理系统),用于建筑。。。神经网络对模糊逻辑的威力系统为连接主义者提供了语言意义。。。从训练示例中优化混合的学习计划包括两个阶段:规则。。。神经模糊混合的非线性复杂动力学模型的广泛仿真研究系统携带着。。。
  • 混合稳定样条工具箱

  • 引用8篇文章[sw16024]
  • 基于内核的方法混合的 系统识别。所有的方法混合的 系统身份证出现了。。。分段仿射的识别系统,即混合的稳定样条(HSS)算法。HSS漏洞。。。阶)分段仿射系统. MATLAB代码实现的方法,称为混合的稳定样条线工具箱。。。
  • Scicos公司

  • 引用19篇文章[sw01941]
  • Scicos是一个图形动力学系统在Metalau项目中开发的建模器和模拟器。。。混合的动力的系统把模型编译成可执行代码。。。
  • RSBR公司_

  • 引用19篇文章[sw02934]
  • 基于两个粗糙集的应用系统即广义分布表和粗糙集。。。数据集。GDT-RS是一种软混合的归纳系统,RSBR用于离散化。。。
  • HYST公司

  • 引用8篇文章[sw20137]
  • 强大且可扩展的数量混合的 系统模特儿跳棋最近出现了。尽管。。。他们的荣誉大致相同混合的 系统语义,他们有完全不同的模型描述语言。。。很难快速评估混合的自动机模型使用不同的工具,(b)阻碍。。。