机译：一种有效的仿真方法，可以量化参数波动对多芯片电源模块电热行为的影响
机译：用于在运动和行为模型中使用高细节地形模型的方法和工具，反映边界控制动作
机译：模型检查中异步控制模块的有效规范方法
机译：DOE方法作为建模单晶硅电路板模块行为的有效工具
机译：成功的系统级自动化和设计方法的要素。支持多种计算模型，异构行为层次，模型驱动的验证以及面向服务的工具集成环境。
机译：快速有效地应用h.p.l.c.天然胆汁和模型胆汁系统中测量胆红素及其结合物的方法。潜在用作动力学反应的工具和辅助诊断肝胆疾病的工具。
机译：具有内副杂交壳结构的金属夹芯板弹塑性弯曲行为的高效预测方法
机译：为人群行为创建建模和仿真工具的方法和过程。
