-
日期/日期
- 引用了37篇文章[sw10314]
- 连续和可及性分析工具混合的具有线性微分包含的系统。d/dt。。。验证工具混合的系统。我们描述了提供自动安全的工具d/dt。。。验证混合的具有不确定输入的线性连续动态系统。验证程序。。。
-
Mfold公司
- 引用42篇文章[sw12672]
- 核酸折叠服务器杂交预测。缩写名“mfold web server”描述。。。获取RNA和DNA折叠和杂交科学界的软件。。。
-
HAS-QAP
- 引用36篇【sw20506年】
- 问题。本文介绍了HAS-QAP,a混合的蚁群系统与局部。。。搜索,即健壮的反应式禁忌搜索,混合的遗传算法和模拟退火方法。。。结果表明,HAS-QAP和混合的遗传算法在现实世界中表现最好。。。
-
普韦布洛
- 参考33篇文章[sw00743]
- 本文介绍了一种新的混合的一种有效整合伪布尔约束的方法。。。方法包括重量轻、效率高混合的学习与回跳策略分析。。。把他们和我们的混合的方法。我们的方法与其他方法的实验比较。。。混合的文中还演示了方法。此外,我们还提供了基于MiniSAT的实现的详细信息。。。
-
登菲斯
- 引用57篇文章[sw24183]
- 时间序列预测。DENFI通过渐进式发展,混合的(有监督/无监督)、学习和适应新的输入数据。。。
-
野牛
- 引用了40篇文章[sw17681]
- 野牛:禁食混合的精确求解一维装箱问题的程序。。。箱子。对于求解BPP-1,一个精确的混合的提出了一种求解方法,称为BISON。。。
-
黄蜂
- 引用了55篇文章[sw09565]
- 分支启发式,WASP采用BerkMin准则杂交采用前瞻性技术。报纸也。。。
-
HYSDEL公司
- 在39篇文章中引用[sw05200]
- HYSDEL允许对混合的由线性动力系统的互连所描述的系统。。。else和命题逻辑规则。一次混合的系统是在人类可读的。。。
-
混合工具箱
- 引用28篇文章[sw15053]
- 混合的工具箱是一个用于建模、仿真和验证的MATLAB/Simulink工具箱混合的动力系统。。。模型预测控制器的设计与仿真混合的受约束的系统,用于生成。。。线性和混合的可直接嵌入的分段仿射形式的MPC控制律。。。
-
梅斯基特
- 引用36篇[sw10590]
- 曲面网格,适应曲面曲率,提高混合的网格(包括棱锥体和楔体),平滑网格。。。体积网格是结构化的,非结构化的,混合的或非正式的。各种元素类型。。。