-
违反
- 引用24篇文章【sw20822】
- 验证与参数综合混合的 系统. 我们描述了一个Matlab/C++工具箱，它提供了。。。确定性模型分析混合的动力的系统. 突破的主要特征。。。
-
德拉赫
- 17条引用[sw20164]
- 可及性分析混合的 系统. dReach是一个有界可达性分析工具。。。非线性混合的 系统. 它编码的可达性问题混合的 系统一阶公式。。。广泛的高度非线性混合的 系统. 它在各种真实模型上都有很好的比例。。。
-
岩浆
- 引用54篇文章[sw12741]
- 异构/混合架构，从当前的“多核+GPU”开始系统. 岩浆研究是基于。。。应对新兴市场的复杂挑战混合的环境、最佳软件解决方案本身将具有。。。代数算法和框架混合的manycore和GPU系统可以启用应用程序。。。
-
碳化硅
- 引用了20篇文章[SW75195号文件]
- 模块化规范混合的 系统在查伦。一种新的语言，叫做Charon，被提出。。。交互的模块化规范混合的 系统. 对于系统建筑，查理。。。
-
尖峰
- 在38篇文章中引用[sw02780]
- 求解带状线性方程的并行环境系统. 这个混合的提出了带状线性求解器SPIKE。。。
-
nuXmv公司
- 在26篇文章中引用[sw18526]
- 验证算法。对于无限状态系统，它用新的数据类型扩展了numv语言。。。基于合同的设计，模型检查混合的 系统，安全评估和软件模型检查。。。
-
HAS-QAP
- 引用了35篇文章【sw20506年】
- 本文介绍了HAS-QAP，a混合的蚁群系统加上本地搜索，应用。。。解决方案，不像传统的蚂蚁系统利用信息素线索信息来构造完整的解决方案。。。搜索，即健壮的反应式禁忌搜索，混合的遗传算法和模拟退火方法。。。
-
HyEQ公司
- 引用8篇文章[sw14490]
- 仿真工具箱混合的 系统在Matlab/Simulink中：混合的方程（HyEQ）工具箱。本文描述了。。。轨道的计算近似混合的 系统以微分和差分的形式给出。。。适用于模拟混合的 系统有不同类型的轨迹，包括那些。。。也可以模拟混合的 系统没有输入，有输入，还有互连。。。
-
斯皮迪
- 参考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）阻碍。。。
