莫比乌斯

莫比乌斯是一个用于建模复杂系统行为的软件工具。虽然它最初是为了研究计算机和网络系统的可靠性、可用性和性能而开发的,但它的用途已经迅速扩大。从原始生物化学系统到现在广泛应用于生物化学系统中的恶意反应。这种广泛的应用是可能的,因为Möbius具有灵活性和强大的功能,它支持多种高级建模形式和多种解决方案技术。这种灵活性使工程师和科学家能够用适合他们问题领域的建模语言来表示他们的系统,然后使用最适合于系统规模和复杂性的解决方案技术准确有效地解决系统问题。支持基于紧凑MDD的Markov过程的时空高效离散事件模拟和数值求解。


zbMATH中的参考文献(参考文献23条)

显示第1到第20个结果,共23个。
按年份排序(引用)
  1. 安娜,科列斯尼琴科;塞尼,瓦莱里奥;波兰贾巴尔,阿里扎;Remke,Anne:将平均场近似应用于连续时间马尔可夫链(2014)
  2. 海纳,莫妮卡;罗尔,基督徒;Schwarick,Martin:MARCIE——有效地完成了模型检查和可达性分析(2013)ioport公司
  3. 亚科诺,M。;巴比亚托E。;Gribaudo,M.:simthesys多格式建模框架(2012)ioport公司
  4. 巴巴尔,朱奈德;贝克蒂,马可;多纳泰利,苏珊娜;Miner,Andrew:GreatSPN增强决策图数据结构(2010)ioport公司
  5. Distefano,Salvatore:如何捕捉可靠系统的动态行为(2009)
  6. 纳斯里,密特拉;沙里亚提,赛义德;Azgomi,Mohammad Abdollahi:使用随机活动网络的分布式网络爬虫性能建模(2008)
  7. 阿明:随机离散事件系统。建模、评估、应用。(2008年)
  8. 昆茨,马提亚斯;Siegle,Markus:随机系统的符号模型检验:理论与实现(2006)
  9. 坦萨马尼,贾迈勒;Carrasco,Juan A.:使用分裂再生随机化对具有延迟修复的容错系统的马尔可夫模型的瞬态分析(2006)
  10. Ciardo,Gianfranco:Petri网的可达集生成:暴力可以是智能的吗?(2004年)
  11. 奎亚特科夫斯卡,玛尔塔;诺曼,诺曼;Parker,David:prism的概率符号模型检验:一种混合方法(2004)ioport公司
  12. 博内坎普,H。;赫尔曼,H。;卡托恩,J.-P。;Klaren,R.:适度的建模工具及其实现。(2003年)ioport公司
  13. 卡多,G。;琼斯,R.L。;矿工,A.S。;Siminiceanu,R.:用Smart进行逻辑和随机建模。(2003年)ioport公司
  14. 撒冷人德里萨维;赫尔曼,霍尔格;Sanders,William H.:Markov链中的最优状态空间集总(2003)
  15. 赫尔曼,霍尔格;Joubert,Christophe:CADP的一组性能和可靠性分析组件(2003)
  16. 撒冷人德里萨维;肯珀,彼得;桑德斯,威廉H。;Courtney,Tod:Möbius状态级抽象功能接口(2002)
  17. 吉尔摩,斯蒂芬;希尔斯顿,简;Ribaudo,Marina:PEPA nets:结构化性能建模形式主义(2002)
  18. 霍普金斯,理查德;金,彼得:随机Petri网组合的视觉形式主义(2002)
  19. 奎亚特科夫斯卡,玛尔塔;诺曼,格钦;Parker,David:PRISM的概率符号模型检验:一种混合方法(2002)
  20. 克拉克,格雷厄姆;Sanders,William H.:在Möbius建模框架中实现随机过程代数(2001)

更多出版物请访问:伊利诺伊州.edu.php/https://www.edu.php/