HI毛德 swMATH ID: 9753 软件作者: 穆罕默德·法德利西亚(Muhammad Fadlisyah);彼得·塞巴·奥维茨基 描述: HI maude工具。在复杂的混合系统中,不同的组件可能会影响彼此的连续行为。HI-Maude是一种基于重写逻辑的工具,支持面向对象的建模方法,在这种方法中,它足以指定此类交互混合系统中单个(物理组件和物理交互)对象的连续动态。HI-Maude支持基于Euler和Runga-Kutta方法的自适应,对连续行为的许多数值近似进行模拟和模型检查。 主页: http://folk.uio.no/mohamf/HI-Maude/ 相关软件: 莫德;莫德NPA;PMaude公司;爪哇风扇;PHAVer公司 引用于: 1文件 标准条款 1出版物描述软件 年份 HI maude工具穆罕默德·法德利西亚(Muhammad Fadlisyah);彼得·塞巴·奥维茨基 2013 3位作者引用 1 马丁·奥列特,纳西索 1 Peter Csaba,Olveczky 1 卡罗琳·塔尔科特。 0连载引用 在2个字段中引用 1 历史和传记(01-XX) 1 计算机科学(68至XX) 按年份列出的引文