• PABTEC公司

  • 参考12篇文章[sw04061]
  • 最少,不可接受的时间和存储消耗。模型 秩序 减少提供了一条出路。。。困境。关于模型 秩序 减少是为了取代一个大规模的系统。。。电路设计用于模型 秩序 减少和数值积分模型方程。。。
  • 皮莫尔

  • 参考12篇文章[sw12978]
  • 皮莫尔-模型 命令 减少用Python。pyMOR是一个在大学开发的软件库。。。Münster建筑模型 秩序 减少使用Python编程语言的应用程序。它的主要焦点。。。
  • 拍打

  • 引用31篇文章[sw13258]
  • 有公平性假设,精化检查和概率模型检查。为了获得良好的性能,先进的优化。。。部分秩序 减少,对称性减少,进程计数器抽象,并行模型检查。。。
  • 马特莫伦布

  • 参考6篇文章[sw17563]
  • 接口),主要问题是模型 秩序 减少弹性体。Matmorembs尤其是。。。减少中小型的模型. 新算法的实现和测试。。。
  • 莫拉布

  • 引用3篇文章[sw25667]
  • 莫拉布-模型 命令 减少实验室。MORLAB工具箱是一个MATLAB程序的集合。。。模型 秩序 减少基于矩阵方程解的动力系统。实施。。。
  • BFComp公司

  • 引用3篇文章[sw18654]
  • 近似等价抽象,从而实现近似模型-秩序 减少动力系统。。。典型心肌细胞的BFComp模型,显示四变量马尔科夫函数模型...
  • 巴别塔

  • 引用71篇文章[sw03018]
  • 巴贝尔结合了纯序言和第一秩序功能符号。在另一边。。。缩小作为懒惰的基础减少语义既体现了重写。。。它提供了一个最小Herbrand的概念模型为巴别塔节目。我们开发两种语义。。。
  • Morembs公司

  • 引用2篇文章[sw29513]
  • MOREMBS公司(模型 命令 减少弹性多体系统)是一个软件包,它是由。。。通用有限元程序和许多减少方法。软件可在Matlab(MatMorembs。。。Morembs++)。对于减少中小型模型使用MatMorembs。如果你想。。。
  • 科莫

  • 引用2篇文章[sw12979]
  • MATLAB©库,为模型 秩序 减少利用子空间投影来研究动力系统。。。
  • 模拟Insydes

  • 1条引用[sw10185]
  • 快速有力的象征模型 秩序 减少带模拟插件。现在模拟电路变得越来越。。。Insydes 2011,Mathematica工具箱建模、分析和减少... 模拟电路。短暂的象征模型 秩序 减少允许近似行为模型保持。。。
  • 辛迪

  • 引用16条[sw30277]
  • 秩序 模型对于流体流动,我们将这种方法与维数相结合减少技术。。。非线性。结果模型,以下简称伽辽金回归模型包括许多有益的方面。。。斯托克斯方程组。相反,最节俭的非线性模型与观察到的一致。。。限制。伽辽金回归模型也容易概括为包括更高的-秩序非线性项模型...
  • PDE应用程序

  • 1条引用[sw32482]
  • 风管:系统的参数化构件模型-秩序-减少接近。我们提供一个SCRBE。。。声学导管的广泛家族模型. 静态冷凝约化基元(SCRBE)偏微分方程。。。包含几个主要成分:组件到系统模型结构,潜在的“真理”有限元PDE离散化。。。组件级冷凝,参数化模型-秩序 减少对于组件间(端口。。。
  • LTSmin公司

  • 引用18条[sw07214]
  • 独立部分:语言模块、引脚优化和模型检查算法。另一方面。。。符号算法的内存消耗),部分秩序 减少线性时序逻辑。。。
  • 本征味觉

  • 引用59篇文章[sw12451]
  • 评级矩阵。主成分分析促进维度减少用于离线用户聚类和快速计算。。。附录我们使用均匀和正态分布模型当。。。Jester数据集,Eigentaste计算建议二命令在不损失精度的情况下更快。。。
  • 亚硝酸盐

  • 引用4篇文章[sw11513]
  • 给予更高的秩序简要介绍了传递矩阵。这个模型 减少问题在于。。。按较低的比例缩放线性系统-秩序 模型根据一个合适的标准,本文提出了。。。第一种配方-秩序插值约束条件下最优性的必要条件。。。比最优或七次优更简单减少现有的技术,因为它只需要。。。
  • 丽贝卡

  • 引用8篇文章[sw09422]
  • 工具集模型检查丽贝卡模型. 利用瑞贝卡的固有特性介绍了。。。秩序 减少缩小状态空间的技术。简单消息驱动的基于对象的计算模型...
  • 比昂

  • 引用了29篇文章[sw08301]
  • 第一个-秩序 模型进化距离估计的方差和协方差。这个模型... 从允许类中选择减少,的减少使方差最小化。。。
  • 叶片

  • 引用19篇文章[sw08612]
  • 与参数估计和模型 减少问题。在这两种情况下,微分消除。。。至少有一部分,在本文中秩序来照亮现实。。。
  • Exp.打开

  • 在10篇文章中引用[sw07702]
  • 执行动态部分秩序 减少为了避免产生不相关的交错。。。独立转换。第四,Exp.open2.0允许导出模型对于其他使用交换格式的工具,例如。。。
  • 结巴对等

  • 1条引用[sw28575]
  • 验证技术,如-秩序 减少对于模型检查。我们形式化的口吃等价。。。