• 原子3

  • 引用的第32条[sw10092]
  • AToM3:一个用于多种-形式主义和meta-建模. 本文介绍了组合。。。多种-形式主义 建模和meta-建模便于计算机辅助建模复杂系统。。。模型系统的不同部分使用不同的形式主义.模型可以在。。。自动生成多种-形式主义 建模工具,形式主义模型化就其本身而言。。。
  • 更新

  • 17条引用[sw04387]
  • 基于Java多种-形式主义提供灵活的编辑器和模拟器建模基于方法的。。。
  • 丙二醇

  • 引用2篇文章[sw00694]
  • 一个新的多种-形式主义 建模框架。在本文中,我们介绍了PDETool,它。。。说明。这个建模工具提供了构造和翻译模型进入。。。图形化形式主义. 此外,它有助于构造、动画和模拟模型. 这个工具。。。与现有的多种-形式主义 建模和模拟工具,这将被提到。。。
  • 拉网++

  • 引用3篇文章[sw01433]
  • DrawNET++:模型对象来支持性能分析和。。。
  • 夏普

  • 在39篇文章中引用[sw03100]
  • 夏普(符号分层自动可靠性和性能评估器。。。
  • 沉香

  • 引用于1154篇文章[sw04002]
  • SeDuMi是一个求解优化问题的Matlab工具箱。。。
  • SDPT3型

  • 引用594篇文章[sw04009]
  • 该软件是为解决圆锥曲线编程而设计的。。。
  • 蟒蛇

  • 引用于1154篇文章[sw14460]
  • Python是一个广泛使用的高级通用。。。