...
机译:使用定性推理和结合图对动态物理系统进行自动建模和分析
机译:债券图模型中物理系统的零动力学特性-第二部分:MIMO系统
机译:债券图模型中物理系统的零动力学-第1部分:SISO系统
机译:通过键图建模的具有内部能源的线性物理系统的无源性分析
机译:动态系统的定性建模和分析:基于键图和有色Petri网的统一方法
机译:网络物理系统建模语言中自动动态约束验证的框架
机译:Namdinator –自动分子动力学将结构模型灵活地拟合到低温EM和晶体学实验图中
机译:动态物理系统的自动定性建模