西莫

simol建模语言用于模拟和(重新)配置,从汽车到电信行业,配置和仿真用于解决与日益增多的组件相关的复杂问题,这些组件必须协同工作。为了满足这些需求,现在有许多工具可用。建模语言如Matlab/Simulink或Modelica经常被用来建模物理系统组件之间的依赖关系。然而,这些都不太适合知识系统领域。在本文中,我们提出了一种将两种不同方向结合起来的建模语言。SiMoL是一种面向对象的语言,它允许表示包含基本和分层组件的系统。本文阐述了该语言的语法和语义,并介绍了基于MINION约束求解器的SiMoL的实现。此外,我们还讨论了如何将所获得的模型用于仿真和重新配置。

zbMATH中的参考文献(参考 1文章 参考)

显示结果1/1。
按年份排序(引用)

  1. Nica,Iulia;Wotawa,Franz:SiMoL模拟和(重新)配置建模语言(2012)ioport公司