• 维康诺普

  • 19篇参考文献[SW1031]
  • 面板使用有限的长条模型. 的主要特点有限的条带屈曲分析程序…面板也被提出。面板级优化发现最小重量截面几何形状为基础…层合板。层板优化发现满足层叠设计规则的堆叠序列遗传算法。维康诺普模型用ABAQUS验证有限的元素模型并用实验压缩…
  • dcValm

  • 14篇参考文献[SW20416]
  • 与其他工具一起使用模型检查系统的直流特性。目前,系统…有限的满足D.自动机的状态序列可用于发现 模型和计数器…
  • 拖把

  • 23篇参考文献[SW10117]
  • 软件我们描述了一种形式化的方法。发现安全相关软件中的缺陷和验证…使这个过程自动化。我们的程序分析模型该程序将被验证为下推…作为一个安全属性有限的状态自动机及其应用模型检查技术以确定是否…这种方法将很有用发现广泛的安全漏洞…
  • IDL有效性

  • 10篇参考文献[SW20417]
  • 持续时间逻辑是它的变体模型有限的定时状态序列。一个数字…对…有相当大的兴趣发现有效性的技术和工具模型公式验算…
  • 悖论

  • 1篇参考文献[SW03701]
  • 逻辑问题与尝试发现 有限的模型对他们来说。悖论被写下…
  • ODRACK

  • 21篇参考文献[ SW000 64 9]
  • 加权正交距离回归,即发现最小化的参数…测量误差模型统计学中。ODRACK可以同时处理显式和隐式。模型将…允许一般的加权方案,提供有限的差分导数,并包含广泛的错误检查…
  • DGD画廊

  • 6篇参考文献[SW21791]
  • 仅涉及差分方程的微分方程有限地许多变量,其解决方案近似于那些…几何和动力学是发现并研究离散模型该展览的性质和结构…
  • 一角硬币

  • 2篇参考文献[SW18855 ]
  • 有限的混合物模型结合错误发现率(FDR)准则发现统计上显著的…
  • 弗洛佩德

  • 9篇参考文献[SW06941]
  • 微分方程组化为A有限的元素模型解决了系统,并提出了图形化…建筑用发电机有限的元素网格有限的元素求解器发现解决方案
  • 斯莱克斯

  • 17篇参考文献[SW08605]
  • 利用SLEX的非平稳时间序列模型. 非平稳随机过程的统计判别是很重要的。基于西都的工作,是发现从SLIX库的基础上…判别方法是一致的,并通过有限的样本模拟研究表明,我们提出的方法…
  • 摩根

  • 6篇参考文献[SW21347 ]
  • 有限的HelBand域。ModGen以一阶公式作为输入,并生成模型命题子句和模发现 模型命题状语从句。第一…
  • 西蒙特

  • 6篇参考文献[SW23 64 9]
  • 有限的算法的时间性能,而不是通常的渐近结果发现复杂系统的度量。系统是模型化好像随机变量是已知的…
  • 奥卡马

  • 2篇参考文献[SW1866]
  • 分析(非)自治最优控制模型(in)有限的时间视界。充分处理约束条件…变量。定位稳态和极限环。发现通过求解BVP求解路径。找到……
  • 克兰群集

  • 2篇参考文献[ SW08034 ]
  • CRAN任务视图:聚类分析有限的混合物模型. 这个CRAN任务视图包含一个列表…可用于包装的包装发现数据组和建模未观察到的截面…
  • 穆斯塔

  • 12篇参考文献[SW09091]
  • 框架有限的卷与discontinuous Galerkin有限的元素需要,作为积木…双曲系统至少对于标量来说模型双曲型方程,戈杜诺夫格式…关于非笛卡尔几何的方程。方案发现当解决非常复杂的问题时,他们最好的理由…
  • 多状态控制

  • 1篇参考文献[SW31987 ]
  • 过了有限的代数状态集,并使用计算代数发现适当的干预策略…最近开发的多状态细胞内模型E2F介导膀胱癌的生长及对膀胱癌的影响模型
  • 分光光度法

  • 8篇参考文献[SW13984]
  • 受数值问题的限制。考虑通常情况模型多元统计的数据…任意输入PSD。我们的方法,叫做分光光度法,发现支撑和密度…高精度;我们证明了这一点。有限的离散分布在计算实验中,光谱优于现有的…
  • 飞水

  • 2篇参考文献[SW20312]
  • 三维FEMWAWER有限的单元计算机模型用于模拟密度依赖的流动和运输…需要的是模型文档将完成。尖端用户将发现描述。。。
  • 纳特斯

  • 1篇参考文献[SW0429 7]
  • 计算机程序建模张力结构。我们提出了一个完整的有限的元素过程…张拉结构的设计,即形式发现分析了应力分析和切削方式的产生。