• 维康诺特

  • 引用19篇文章[sw10341]
  • 面板使用有限的模型. 的主要功能有限的带材屈曲分析程序。。。还介绍了面板。面板级优化发现一个最小重量的横截面几何。。。层压板。层压板级别的优化发现符合层压板设计规则的堆垛顺序。。。遗传算法。维康诺特模型通过ABAQUS验证有限的要素模型和实验性的压缩。。。
  • DCVALID公司

  • 在14篇文章中引用[sw20416]
  • 与其他工具一起使用模型检查系统的直流特性。目前,系统。。。有限的满足D的状态序列。自动机可以用来找到 模型然后反击。。。
  • 拖把

  • 引用23条[sw10117]
  • 软件。我们描述了发现安全相关软件的错误和验证。。。自动化此过程。我们的节目分析模型程序将被验证为下推。。。担保财产作为有限的状态自动机,并使用模型检查技术以确定是否。。。这种方法在发现广泛的安全漏洞。。。
  • 空闲有效

  • 在10篇文章中引用[sw20417]
  • 持续时间逻辑是它的变体,其中模型有限的定时状态序列。一个号码。。。发现有效性和模型公式检查。。。
  • 悖论

  • 1条引用[sw03701]
  • 逻辑问题和尝试找到 有限的-域模型为了他们。悖论是写的。。。
  • 奥德帕克

  • 引用21篇文章[sw00649]
  • 加权正交距离回归,即发现最小化的参数。。。测量误差模型在统计学上。ODRPACK可以处理显式和隐式模型,并将。。。允许一个通用的加权方案,规定有限的差分导数,包含广泛的错误检查。。。
  • DGD画廊

  • 参考6篇文章[sw21791]
  • 微分方程变差分方程有限的许多变量,其解近似于这些。。。几何与动力学找到调查离散的模型显示出特性和结构。。。
  • 一角硬币

  • 引用2篇文章[SW55号文件]
  • 有限的混合物模型结合错误发现率(FDR)标准找到统计意义重大。。。
  • FlexPDE公司

  • 引用9篇文章[sw06941]
  • 微分方程组有限的要素模型,求解系统,并呈现图形化。。。建筑用发电机有限的单元网格,a有限的元素求解器找到解决。。。
  • SLEX公司

  • 17条引用[sw08605]
  • 基于SLEX的非平稳时间序列模型. 非平稳随机过程的统计判别是重要的。。。根据斋藤的工作,是找到根据SLEX图书馆的资料。。。判别方法是一致的,并通过有限的实例仿真研究表明,我们提出的方法是可行的。。。
  • 莫德根

  • 参考6篇文章[sw21347]
  • 具有有限的赫伯兰域。ModGen以一阶公式为输入,生成模型... 变成命题从句,和一个模块找到 模型在命题从句中。第一个。。。
  • 西莫特

  • 参考6篇文章[sw23649]
  • 有限的算法的时间性能,而不是一个常出现的渐近结果发现... 复杂系统的度量。一个系统是模型化好像随机变量是已知的。。。
  • 奥克马特

  • 引用2篇文章[sw18656号]
  • 分析(非)自治最优控制模型的(英寸)有限的时间范围。充分处理约束。。。变量。确定稳态和极限环。查找通过求解BVP来解决路径。定位。。。
  • 克兰群

  • 引用2篇文章[sw08034]
  • CRAN任务视图:聚类分析&有限的混合物模型. 这个CRAN任务视图包含一个列表。。。可用于发现数据和中的组建模未观察到的横截面。。。
  • 分光计

  • 引用9篇文章[sw13984]
  • 受到数值问题的限制。想想平常模型多元统计的数据。。。任意输入PSD。我们的方法,叫做光谱仪,发现支撑和密度。。。高精度;我们证明有限的离散分布。在计算实验中,光谱仪的性能优于现有的。。。
  • 穆斯塔

  • 参考12篇文章[sw09091]
  • 框架有限的不连续体积有限的元素需要,作为构建块。。。双曲方程组。至少对于标量来说模型双曲方程,Godunov格式。。。非笛卡尔几何方程。计划找到当解决他们最复杂的理由时。。。
  • 多级控制

  • 1条引用[sw31987]
  • 超过有限的代数状态集,并使用计算代数发现适当的干预策略。。。新近发展的多状态细胞内模型E2F介导的膀胱癌生长模型...
  • 股骨水

  • 引用2篇文章【sw20312】
  • FEMWATER,一个三维的有限的元件计算机模型用于模拟密度相关的流动和输运。。。需要那个模型文件将满足要求。成熟的用户会找到描述。。。
  • 纳茨

  • 1条引用[sw04297]
  • 计算机程序建模张力结构。我们提出了一个有限的元素过程。。。受拉结构的设计,即发现应力分析和切削图形生成。。。