• 如果是

  • 引用了235篇文章[sw04398]
  • 包括混合离散化算法有限的要素方法后验误差估计。。。实验用计算实验室状态-目前最先进的预处理迭代求解器的离散。。。
  • Java探路者

  • 引用120篇文章[sw07658]
  • JAVA程序必须具有有限的易于驾驭状态空间。工作应该被看到。。。更广泛的尝试使正式化方法适用于美国宇航局的空间,航空。。。
  • 台阶

  • 引用36篇[sw17948]
  • 仅限于有限的-状态系统,但结合了模型检查和演绎方法允许。。。
  • 木槌

  • 引用21篇文章[sw10602]
  • 领域。这些方法在可扩展系统中实现有限的 状态传感器。。。
  • 精子

  • 引用19篇文章[sw09519]
  • 扩展有限的要素方法(XFEM)。使用几本小说或状态最先进的方法...
  • 光束189

  • 引用46篇文章[sw07447]
  • work等人有限的“充气梁单元法”,薄壁结构。。。也包括在我们的分析中。伪光束方法以充气梁为基础提出了。。。预应力构件状态. 在这个方法给出了离散化的非线性方程组。。。节点Timoshenko梁模型。有限的用三节点法进行了单元模拟。。。
  • 预混料

  • 在34篇文章中引用[sw27815]
  • 之后陈述适当的控制方程和边界条件,我们讨论了有限的差分离散化。。。牛顿方法用于求解边值问题。这有助于该算法的全局收敛性。。。
  • 生命体

  • 引用25篇文章[sw10172]
  • 有限的元素(FE)库,提供状态数学和数字的艺术方法...
  • 投资

  • 在10篇文章中引用[sw12034]
  • 无限大有限的 状态逃避算法的系统方法. 在本文中,我们提出。。。
  • LDQBD

  • 引用9篇文章[sw06977号]
  • 的子集在里面有限的遍历马尔可夫链。与提议的方法,力矩计算。。。
  • PDE2D公司

  • 引用48篇文章[sw04270]
  • 读者对方法然后发现。。。版本是附录A,它描述了有限的作者开发的元件程序PDE2D。。。问题,包括非线性时变和定常-状态系统和线性特征值系统。。。
  • 埃拉托

  • 在39篇文章中引用[sw11922]
  • 处于平衡状态的状态. 在这种平衡被扰动后,演化。。。方法二维理想磁流体力学方程的变分形式用有限的...
  • 17条引用[sw18341]
  • 密度大的跳跃。强壮的有限的体积方法为了解决高速。。。包含任意方程的多材料域状态并提出了大密度跃迁。。。
  • 乌帕阿尔提加

  • 引用了40篇文章[sw12913]
  • 线性时间模型检验有限的-状态系统。在飞行中,符号算法。。。在探索整个状态-空间。还有个别步骤。。。基本符号算法,以及方法为了获得时间最优的获胜策略(对于可达性。。。
  • 穆阿科姆

  • 引用2篇文章[sw17580]
  • 现在的MuACOsm-一个新的方法学习有限的-基于蚁群的机器。。。
  • 反链

  • 引用28篇文章【sw20208】
  • 检验不确定性普遍性的算法有限的自动机。与标准算法相比。。。反链格上的函数状态套。我们评估性能。。。反链方法可用于解决不确定性的语言包含问题有限的自动机。。。
  • FEMPAR公司

  • 引用15篇文章[sw21297]
  • 大尺度微分方程状态-最先进的超级计算资源。。。顺序)梯度、div和curl一致有限的要素方法,间断伽辽金方法,B样条曲线。。。适应性。线性求解器模块依赖状态-最先进的批量异步实现。。。
  • NUDOCCCS公司

  • 引用4篇文章[sw08606]
  • 控制和). 数值解方法解决有限的地平线最优控制问题。。。
  • 克提格

  • 参考7篇文章[sw23310]
  • 验证方法基于完整的反例跟踪细化抽象域。这个有限的 状态模型。。。
  • 耐力

  • 引用3篇文章[sw07653]
  • 方法为了最小化摩尔有限的-状态合并两台机器. 最小化问题。。。摩尔有限的-考虑机器(FSM)。这个问题经常出现在设计数字设备。。。使用两个的合并操作一个FSM和代表。。。合并二都给了。等待时的情况也讨论了可能出现的。。。