• 杂交

  • 参考7篇文章[sw11781]
  • 用于指定的SAL的语言扩展混合的 系统以及一个执行任务的工具混合的抽象。。。象征的系统生物学分析混合的 系统有几十个连续变量。。。
  • 斯塔贝里

  • 引用5篇文章[sw20122]
  • 非线性系统的自动稳定性验证混合的 系统. 我们介绍Stabhyli,一个自动。。。证明了非线性的稳定性混合的 系统.混合的 系统系统显示出离散的。。。错误发生不太频繁。稳定混合的 系统无处不在,例如在控制应用程序中。。。非线性稳定性证书混合的 系统. 结合李雅普诺夫理论,给出了相应的证明。。。
  • 比克斯塔布

  • 参考文献124篇[sw04022]
  • Biggstab($l$)和其他混合的Bi CG方法。修改BiCGstab的各种实现。。。求解a的梯度法系统线性代数方程组。。。
  • 斯雷克

  • 引用5篇文章[sw20158]
  • 随机有界Delta可达性分析混合的 系统. 在本文中,我们提出。。。随机模型类混合的 系统. 第一个是(非线性)混合的自动机。。。线性系统可达性问题的求解方法混合的 系统需要数值解决大型优化问题。。。非线性模型和附加基准混合的 系统具有多重概率系统参数。。。
  • C2e2型

  • 引用9篇文章[sw20139]
  • 验证的有界时不变属性混合的 系统和状态流模型。它支持非线性动力学。。。
  • HAS-SOP

  • 在14篇文章中引用[sw25445]
  • 混合的蚂蚁系统对于顺序排序问题。我们提出了HAS-SOP,一种新的方法。。。
  • 狮身人面像

  • 引用5篇文章[sw19754]
  • SPHIN模型的可重构检查器混合的 系统基于旋转。我们介绍斯芬。。。可重构模型检验器混合的 系统基于模型检查器旋转。我们观察到。。。可重构系统的建模与验证混合的 系统...
  • HTab公司

  • 参考11篇文章[sw12427]
  • HTab:终止表系统对于混合的逻辑。混合的逻辑是一种形式主义。。。机制混合的逻辑是存在的,但唯一广泛使用的实现证明系统海洛雷斯。。。也为一些混合的逻辑和现在的目标。。。的终止tableaux算法混合的逻辑H(@,A)H(@,A)。表演。。。
  • pspicke公司

  • 引用16条[sw07072]
  • pspicke:一个平行线混合的稀疏线性系统解算器。包pspice是一个高性能的。。。
  • 马可

  • 引用5篇文章[sw02719]
  • 多仿射的可达性分析混合的 系统. 在我们之前关于可达性分析的工作中。。。多仿射的现有方法混合的 系统. 最后,我们展示了该方法的应用。。。
  • 登菲斯

  • 参考58篇文章[sw24183]
  • 表示为动态演化神经模糊推理系统(DENFIS),用于在线和离线自适应学习。。。时间序列预测。DENFI通过渐进式发展,混合的(有监督/无监督)、学习和适应新的输入数据。。。在操作期间更新系统. 在每一时刻,DENFIS的输出。。。
  • 海康普

  • 引用4篇文章[sw20163]
  • 基于模型检查器的混合的 系统. HyComp是一个模型检查器混合的 系统基于。。。HyComp将混合的使用HyDI符号语言指定的自动机。海康普。。。网络进入无限状态过渡系统,可以使用基于SMT的验证进行分析。。。
  • 海布里

  • 引用46篇文章[sw05309]
  • 系统N个变量中N个非线性函数的Powell修正混合的...
  • 碳化硅

  • 引用4篇文章[sw19756]
  • 可重构建模语言Charon混合的 系统. 本文介绍了建模语言。。。现有分布式系统的体系结构重构混合的 系统建模语言Charon。目标应用程序域。。。模块化可重构机器人与大规模运输系统. 在很大程度上离开了Charon语法。。。因此,R-Charon是第一个正式的,混合的基于自动机的建模语言,它也可以解决。。。
  • 游泳池++

  • 引用72篇文章[sw11964]
  • 连续和杂交间断Galerkin(HDG)框架共享相同的。。。矩阵生成之后是全局线性系统组装和解决。缺乏内部联系。。。
  • 你好,莫德

  • 引用4篇文章[SW753号文件]
  • maude工具。复杂的混合的 系统不同的组分可能会影响彼此的连续行为。。。物理相互作用)这种相互作用中的物体混合的 系统. HI Maude支持模拟和模型检查。。。
  • 阿里阿德涅

  • 参考12篇文章[sw06670]
  • Ariadne是一个用于计算的库混合的一个联合小组正在开发的自动机。。。支持分析和综合系统描述混合的自动机。阿里阿德涅计算核心。。。
  • X速度

  • 引用5篇文章[sw20159]
  • 连续的并行状态空间探索系统具有线性动力学和非确定性输入。X速度。。。场景),一个可扩展的工具混合的 系统线性动力学。英特尔核心的实验。。。
  • 红色图书馆

  • 引用5篇文章[sw21175]
  • 推广密集时间技术系统学术界和工业界的模型检验。。。计算,线性参数安全分析混合的 系统,最大不动点评估的加速技术。。。
  • 海迪

  • 引用3篇文章[sw11912]
  • HyDI:一种象征性的语言混合的 系统具有离散的相互作用。复杂嵌入系统组成。。。这样的系统这使得设计非常具有挑战性,并且需要先进的验证技术。混合的自动机。。。嵌入式建模的统一形式语言系统包括离散和连续动力学。他们。。。语言,HYDI,用于建模混合的 系统具有离散的相互作用。语言的目的。。。