SiMoL公司 swMATH ID: 10177 软件作者： 尤利亚·尼卡；弗兰茨·沃塔瓦 描述： 用于仿真和（重新）配置的simol建模语言从汽车行业到电信行业，配置和仿真都被用于解决与日益增多的组件相关的复杂问题，这些组件必须协同工作。为了满足这些需求，现在有许多工具可用。建模语言（如Matlab/Simulink或Modelica）通常用于建模物理系统组件之间的依赖关系。然而，这些不太适用于基于知识的系统领域。在本文中，我们提出了一种将这两个不同方向结合在一起的建模语言。SiMoL是一种面向对象的语言，允许表示包含基本组件和层次组件的系统。我们陈述了该语言的语法和语义，并参考了基于MINION约束求解器的SiMoL的实现。此外，我们还讨论了如何将获得的模型用于仿真和重新配置。 主页： http://link.springer.com/chapter/10.1007%2F978-3-642-27660-6_54 相关软件： 加勒比共同体;Matlab公司;迷你们;Simulink公司 引用于： 0个文档