-
碳化硅
- 引用了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混合的蚁群系统加上本地搜索,应用。。。解决方案,不像传统的蚂蚁系统利用信息素线索信息来构造完整的解决方案。。。搜索,即健壮的反应式禁忌搜索,混合的遗传算法和模拟退火方法。。。
-
斯皮迪
- 参考7篇文章[sw00896]
- SPeeDI——多边形验证工具混合的 系统 混合的 系统结合离散和连续动力学。。。行为分析混合的 系统是可达性。众所周知。。。的大多数非平凡子类混合的 系统这和所有有趣的验证问题都是不可判定的。大多数。。。有趣且仍然可以判定的类混合的 系统(二维)多边形微分包含。。。
-
HyEQ公司
- 参考7篇文章[sw14490]
- 仿真工具箱混合的 系统在Matlab/Simulink中:混合的方程(HyEQ)工具箱。本文描述了。。。轨道的计算近似混合的 系统以微分和差分的形式给出。。。适用于模拟混合的 系统有不同类型的轨迹,包括那些。。。也可以模拟混合的 系统没有输入,有输入,还有互连。。。
-
Scicos公司
- 引用19篇文章[sw01941]
- Scicos是一个图形动力学系统在Metalau项目中开发的建模器和模拟器。。。对混合的动力的系统把模型编译成可执行代码。。。
-
海菲斯
- 参考12篇文章[sw24184号]
- 提出了一种自适应模糊神经网络系统,海菲斯(混合的神经模糊推理系统),用于建筑。。。神经网络对模糊逻辑的威力系统为连接主义者提供了语言意义。。。从训练示例中优化混合的学习计划包括两个阶段:规则。。。神经模糊混合的非线性复杂动力学模型的广泛仿真研究系统携带着。。。
-
RSBR公司_
- 引用18条[sw02934]
- 基于两个粗糙集的应用系统即广义分布表和粗糙集。。。数据集。GDT-RS是一种软混合的归纳系统,RSBR用于离散化。。。
-
混合稳定样条工具箱
- 参考7篇文章[sw16024]
- 基于内核的方法混合的 系统识别。所有的方法混合的 系统身份证出现了。。。分段仿射的识别系统,即混合的稳定样条(HSS)算法。HSS漏洞。。。阶)分段仿射系统. MATLAB代码实现的方法,称为混合的稳定样条线工具箱。。。
-
杂交
- 参考7篇文章[sw11781]
- 用于指定的SAL的语言扩展混合的 系统以及一个执行任务的工具混合的抽象。。。象征的系统生物学分析混合的 系统有几十个连续变量。。。