结果21至401472
排序依据：

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

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

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

  • 尖峰
  • 引用36篇[sw02780]
  • 求解带状线性方程的并行环境系统. 这个混合的提出了带状线性求解器SPIKE。。。

  • nuXmv公司
  • 引用21篇文章[sw18526]
  • 验证算法。对于无限状态系统，它用新的数据类型扩展了numv语言。。。基于合同的设计，模型检查混合的 系统，安全评估和软件模型检查。。。

  • 德拉赫
  • 参考11篇文章[sw20164]
  • 可及性分析混合的 系统. dReach是一个有界可达性分析工具。。。非线性混合的 系统. 它编码的可达性问题混合的 系统一阶公式。。。广泛的高度非线性混合的 系统. 它在各种真实模型上都有很好的比例。。。

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

  • S-塔利罗
  • 引用16条[sw09775]
  • 时间逻辑证伪工具混合的 系统. S-TaLiRo是一个Matlab（TM）工具箱。。。

  • 向前地
  • 引用了53篇文章[sw12296]
  • 病态反褶积系统. 我们建议，混合的傅里叶小波正则化反褶积（正向。。。

  • 印花
  • 在14篇文章中引用[sw09533]
  • 系统，包括硬件、软件和混合的 系统. 在本文中，我们提供了。。。

  • Ninf-G/MPI
  • 引用了45篇文章[sw03461]
  • 我们提出一种方法混合的使用GridRPC实现系统忍者。。。

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

  • HyEQ公司
  • 参考7篇文章[sw14490]
  • 仿真工具箱混合的 系统在Matlab/Simulink中：混合的方程（HyEQ）工具箱。本文描述了。。。轨道的计算近似混合的 系统以微分和差分的形式给出。。。适用于模拟混合的 系统有不同类型的轨迹，包括那些。。。也可以模拟混合的 系统没有输入，有输入，还有互连。。。

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

  • Pydtool公司
  • 参考11篇文章[sw06718号]
  • 身体的系统ODE和DAE混合的 系统). PyDSTool与平台无关，主要编写。。。

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

  • 西科诺斯
  • 在10篇文章中引用[sw25724]
  • 发现于系统和控制(混合的 系统微分包含，带状态约束的最优控制），最优化。。。

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

  • 混合稳定样条工具箱
  • 参考7篇文章[sw16024]
  • 基于内核的方法混合的 系统识别。所有的方法混合的 系统身份证出现了。。。分段仿射的识别系统，即混合的稳定样条（HSS）算法。HSS漏洞。。。阶）分段仿射系统. MATLAB代码实现的方法，称为混合的稳定样条线工具箱。。。

  • 杂交
  • 参考7篇文章[sw11781]
  • 用于指定的SAL的语言扩展混合的 系统以及一个执行任务的工具混合的抽象。。。象征的系统生物学分析混合的 系统有几十个连续变量。。。