• 自动

  • 在911文章中引用[sw01059]
  • 代数分岔分析系统形式f(u,p...系统形式为u'(t)=f(u(t)的常微分方程,p... 条件、边界条件和积分约束。在这里p表示一个或多个参数。自动。。。因此,它适用于相当大的系统微分方程。。。
  • 自动-86

  • 引用276篇文章[sw04220]
  • 代数分岔分析系统在形式上,p)=0,f,u in Rnand。。。系统式为u”(t)=f(u(t)的常微分方程,p... 条件、边界条件和积分约束。在这里p表示一个或多个参数。自动。。。因此,它适用于相当大的系统微分方程。。。
  • 巴黎/GP

  • 参考610篇文章[sw00680]
  • PARI/GP是一种应用广泛的计算机代数系统(CAS)设计用于快速计算数字。。。例如矩阵、幂级数、代数或p-adic号码。。。
  • P语言

  • 引用25篇文章[sw27718]
  • 定义标准P 系统. 它和它的相关工具已经由成员们开发。。。西班牙塞维利亚大学。我们提供P-Lingua及其相关工具作为一个免费的。。。软件/应用软件模拟能力P 系统计算。。。
  • NTRU公司

  • 引用167篇文章[sw11761]
  • 混合系统具有约化模独立性的两个相对素数整数p...
  • PPL公司

  • 引用97篇文章[sw05357]
  • 实时和混合系统. 自从P. 库索和N。哈尔布瓦克斯。。。由描述的多面体系统允许出现严格的不平等。。。
  • 自动2000

  • 引用51篇文章[sw04643]
  • 代数分岔分析系统形式f(u,p...系统形式为u'(t)=f(u(t)的常微分方程,p... 条件、边界条件和积分约束。在这里p表示一个或多个参数。自动。。。因此,它适用于相当大的系统微分方程。。。
  • PLTMG公司

  • 引用215篇[sw00717]
  • 元素。PLTMG具有自适应h,p以及hp细化、粗化和网格移动。。。多层次代数求解器系统线性方程组。PLTMG提供了一套。。。
  • 阿萨德

  • 在169篇文章中引用[sw02524]
  • SAT解算器的答案集)是系统为了计算一个逻辑的答案集。。。简而言之,给出了一个地面逻辑程序P,ASSAT(X),取决于SAT解算器。。。
  • 定理证明器

  • 引用196篇文章[sw10187]
  • 公理。如果找到证据系统可以提供详细的证据清单。。。“存在一个具有属性的XP,最新版本还可以提供。。。是在1998年发行的系统从那以后一直在不断改进。。。
  • 行映射

  • 引用48篇文章[sw09627]
  • 线性方程解系统. 一种特殊的多重Arnoldi过程保证了有序性p=4已经。。。ROWMAP对大型刚性构件的效率系统. 此外,对非自治的应用系统讨论。。。
  • 松果

  • 参考6篇文章[sw06894]
  • 从文件中读取P 系统已定义,检测文件中的错误。。。报告他们。如果P 系统在中定义P-语言格式,定位。。。库转换文件,这些文件定义P 系统,例如,从P-语言。。。
  • 胎粪症

  • 参考6篇文章[sw14527]
  • 模拟生物现象P 系统. 软件(OSIM)是计算膜模拟。。。不同类型的模型基于P 系统...
  • Psim

  • 引用4篇文章[sw27719]
  • Psim:代谢计算平台P 系统. 虽然诞生于非传统的计算模型。。。P 系统可以方便地作为生物建模框架系统模拟。这个选择。。。其他形式。尽管如此P 系统为了建模的目的需要有生物学意义的进化。。。
  • bvp4c公司

  • 在252篇文章中引用[sw06178号]
  • bvp4c(odefun,bcfun,solinit)集成了一个系统常微分方程的形式。。。bvp4c解算器还可以找到未知参数p对于形式上的问题。。。
  • 电容器

  • 引用了35篇文章[sw04946]
  • 系统(初值问题)以显式形式给出y'=f(t,y,p)带着敏感。。。融合了原诗的灵敏性系统,或伴随词系统. 依靠。。。
  • 歌剧

  • 引用4篇文章[sw30593]
  • 系统,例如X机器和P 系统分别。我们演示了结果如何。。。
  • 网络应用程序

  • 引用2篇文章[sw25377]
  • 基于P 系统模拟器及其并行化。在本文中,我们提出了一个开放的WebPS。。。的源启用web的模拟器P 系统,和P并行化加速器。。。现有的顺序仿真器P 系统. 我们用一个简单的。。。准备使用并行模拟器P 系统; 不需要安装,没有以前的知识。。。
  • 海龟-P

  • 引用5篇文章[sw10561]
  • 乌龟-P:用于正式验证关键和分布式系统... 正式验证工具包。本文介绍海龟-P,扩展配置文件不再受限制。。。分布式抽象建模系统. 真的,乌龟-P解决了通信体系结构的具体描述。。。海龟的应用-P以一颗通信卫星为例系统...