We suggest a methodology and a language to permit the study of a system's behavior (functional validation, evaluation of global performances, critical situations). Every system is regarded as an interconnection of communicating modules functioning in a synchronous or asynchronous manner. The control section and the data section of each module are described separately in terms of respectively non-procedural and procedural sub-languages.
我们建议一种方法和一种语言,允许研究系统的行为(功能验证,全球绩效评估,紧急情况)。每个系统都被视为以同步或异步方式运行的通信模块的互连。每个模块的控制部分和数据部分分别根据非过程和过程子语言进行描述。 P>
机译:模块理论工具的互联线性系统系统矩阵reS归还零结构
机译:基于各种子模块电路的高压直流输电系统模块化多电平转换器的混合设计
机译:用于互连时隙光网络的分布式提前预订系统:设计和仿真
机译:一个Web工具,支持对Evolvable Production Systems的电子模块描述进行管理和使用
机译:基于情况理论的制造系统描述的自动仿真模型设计。
机译:循环变形诱导的组织支架中的溶质转运用计算机设计互连孔网络:实验和模拟
机译:2004年:科罗拉多州立大学区域大气模拟系统(Rams)中的大液滴模式和预测数量的云滴浓度。第一部分:模块描述和超级单元测试模拟