• MACE4

  • 193篇参考文献[SW06905]
  • 有限的 模型取景器MACE4。MACE4是一个搜索程序。有限的 模型首先…可满足性被检测到一个或多个模型打印。MACE4是一个有用的补充…有限的代数。MACE4在等式问题上的性能比我们先前的要好模型-搜索程序MACE2…
  • 箴言9

  • 166篇参考文献[SW0496]
  • 等式逻辑与MaE4搜索有限的 模型反例。PROVR9是继任者…
  • 乌姆德斯

  • 327篇参考文献[ SW09523 ]
  • 离散事件系统的研究模型化有限的状态自动机(FSA)。有例行公事…请教介绍建模通过FSA的离散事件系统,操纵…
  • 乌普巴尔

  • 615篇参考文献[SW04702]
  • 模型化作为非确定性过程的集合有限的控制结构和实值…
  • 挑剔

  • 53篇参考文献[SW0622]
  • KODKOD,基于SAT的一阶关系模型取景器。NITPICK支持无界量化,(CO)归纳…递归函数。从根本上说有限的 模型取景器,它近似无穷类型有限的子集…这种挑剔比其他方法产生更多的反例。模型寻找高阶逻辑,没有限制…
  • 菲亚普

  • 153篇参考文献[SW049 63]
  • 分析程序。FEAP是通用的有限的设计了单元分析程序。具有联合交互作用的选项。本构模型包括线性和有限的弹性、粘弹性与损伤…
  • 混合工具

  • 47篇参考文献[ SW08093]
  • 包装工具:分析工具有限的混合物模型. R函数的集合用于分析…有限的混合物模型. 这个包是基于国家科学基金会支持的工作。
  • 柔性混合

  • 93篇参考文献[SW0608]
  • 实现一个通用框架有限的回归混合模型使用EM算法。FlexMix…
  • 潜伏金

  • 85篇参考文献[SW11673]
  • 结构方程模型和随机效应回归模型这是基于连续的潜在变量…期间,相关领域有限的混合料(FM)模型对于多元正态分布开始…沃尔夫(1965, 1967, 1970)等。调频模型寻求分离…从混合物中产生有限的明显不同的种群数量…
  • BEAM189

  • 43篇参考文献[SW07447 ]
  • 工作等。[有限的可膨胀梁的元件配方,薄壁结构…基于充气梁理论模型充气结构…节点Timoshenko光束模型.有限的利用3节点进行单元仿真。
  • 多米尼克

  • 32篇参考文献[SW0350]
  • MulthIX程序L.Hunt[聚类使用]有限的混合物模型. 博士论文,Univ. Waikato(1996)实施…有限的混合物模型在称为MulthIX的程序中进行聚类的方法。程序设计…
  • 混合模拟

  • 26篇参考文献[ SW07914]
  • 聚类分析的系统性能研究有限的混合物建模算法。MixSIM的其他能力…图形显示的绘图有限的混合物模型
  • 维康诺普

  • 19篇参考文献[SW1031]
  • 加筋板的优化设计有限的长条模型. 的主要特点有限的长条维康诺普模型用ABAQUS验证有限的元素模型并用实验压缩测试…
  • 伊菲斯

  • 203篇参考文献[SW0498]
  • 算法866:IFIS,MATLAB工具箱建模不可压缩流动IFISS是一个图形化的MATLAB…包括混合离散化算法有限的元素方法和后验误差估计…不可压缩流动中的方程组建模. 包装的独特特征…
  • 莫代尔

  • 44篇参考文献[SW08690]
  • USGS的三维(3D)有限的差异地下水模型. MODFLUE被认为是一个国际标准…
  • 捕食动物

  • 59篇参考文献[SW12310]
  • 使用有限的模拟捕食者-食饵相互作用动力学的元素/差分方法模拟的有限的模拟捕食者-食饵相互作用动力学的元方法模拟的通过非线性…
  • 海普拉斯

  • 125篇参考文献[SW17661 ]
  • 小应变大应变技术有限的弹性和非弹性固体的元素分析…各种构形的推导和描述模型-基于现象学超弹性、弹塑性和弹粘塑性…准静态下的计算机实现有限的元素方案。许多讨论的技术…
  • 贝塔雷格

  • 26篇参考文献[SW1549]
  • Beta回归:β回归。β回归建模β分布相关变量,例如,速率…偏差约化估计以及有限的混合物模型β回归的递归划分…
  • SuthSPARESQR

  • 26篇参考文献[SW0792]
  • 声波方程频域有限的差异(FDFD)建模广泛用于多源…实验建模全波形层析成像。本文提出了一种频域方法。有限的差异包装…作为最新的艺术有限的使用差分方法和SUITSPARSEQR求解器…简单复杂的代码检查模型在精度方面证明是令人满意的…