• 棱镜

  • 395篇参考文献[SW01186]
  • 概率分析系统. 棱镜支持三种概率模型:离散的-时间马尔可夫链,马尔可夫决定…通过模型检验进行分析系统针对写在概率时间上的规范…
  • MR和LTV合成工具

  • 34篇参考文献[SW05190]
  • 方法H∞综合离散的-时间LTV系统使用LMI合成方法系统类型多速率LTI离散的-时间LTV)系统平衡、减小和截断LTV稳定性…
  • 椭球工具箱

  • 34篇参考文献[SW10826]
  • 连续和到达集离散的-时间分段仿射系统. 前向和后向到达集…
  • 里卡普

  • 58篇参考文献[SW15253]
  • 离散的-时间应用这种一般形式是从控制和过滤问题导出的。系统
  • 英国石油公司

  • 42篇参考文献[SW10663]
  • 优化系统设计和能够处理各种各样的离散的-时间XPress -MP分支与界系统包括特殊尺寸的预处理,不同的切割平面。
  • 胞质

  • 2篇参考文献[SW20140]
  • 连续动力学,模态模型(混合动力)系统离散的-时间(周期性)系统和代数回路求解器。CyPhySim…
  • 混合最大值

  • 4篇参考文献[SW29 765 ]
  • 在众所周知的条件下,离散的-时间动态的系统具有非常理想的K混合…
  • S刀

  • 2篇参考文献[SW30627 ]
  • 线性可及性的可达性时间变化的,离散的-时间 系统这是一个随机扰动…
  • ORE代数分析

  • 1篇参考文献[SW15153]
  • 微分方程时间-延迟系统离散的-时间 系统代数分析方法研究…
  • 康塞德

  • 31篇参考文献[SW14945 ]
  • 连续-时间 系统Matlab®的标识(CONSID)工具箱,它支持连续-时间(CT)传递函数…不需要确定离散的-时间(DT)模型。发展的动力…直接原因时间连续域识别时间线性模型,还提供…它支持大多数时间-在过去三十年中发展的领域方法…
  • 交响乐团

  • 1篇参考文献[ SW31542]
  • 多变量设计离散的-时间控制装置系统使用多项式方程的方法。它覆盖…所有行之有效的设计离散的-时间控制方案。这个包裹很有用…
  • dcValm

  • 14篇参考文献[SW20416]
  • 模型检验直流特性系统. 目前,系统在SMV、Verilog Vis)中编写。定量自动机理论决策过程离散的-时间持续时间演算(QDDC)。对于每一个公式…
  • 海迪

  • 3篇参考文献[SW11912]
  • 复杂嵌入式系统设计HYDI扩展标准符号语言SMV计时和同步…方面。语言区别于离散的和连续变量。SMV模块内的变量同步地发展…自动编译成等价离散的-时间无限状态转换系统
  • 蒂拉

  • 1篇参考文献[SW30629 ]
  • 连续和-集离散的-时间非线性的系统. 不像其他现有的工具,主要…
  • 马特康姆

  • 1篇参考文献[SW06061]
  • 分岔分析离散的-时间动态的系统具体的实施说明(例)
  • 配乐者

  • 5篇参考文献[SW1477]
  • 动态的系统. 这些函数实现连续的搭配推断。时间离散的-时间随机过程…
  • 最小实现

  • 1篇参考文献[SW13770]
  • Maple的问题。在计算机代数中系统MAPLE,我们已经创建了一个包最小化实现…A的实现问题离散的-时间线性的时间不变量系统. 该包能够构造…
  • 军刀

  • 6篇参考文献[SW1284]
  • 反应网络。生化反应网络代表生物系统在分子水平上研究这些…作为连续的时间或作为离散的-时间马尔可夫链。除了操作在随机…计算平均场近似系统正在研究中。我们说明了不同的功能…
  • 斯卡西

  • 11篇参考文献[SW03251]
  • 标准和广义连续时间离散的-时间Sylvester型矩阵方程。分析…计算简化三角形的解系统. 对递归阻塞算法进行并行化处理。
  • 云量计

  • 0篇参考文献[ SW228 89]
  • 佃农云系统以轻量级的方式。CuldVista采用离散的-时间马尔可夫链模型…网络密集的工作负载和真实的系统(MapReduce)。我们的结果表明,云台干涉预测…