Generic slicing tool Programming languages formal semantics; Maude; Synthesis;
机译:土壤引起的随机激发下凿犁手臂的操作模态分析和疲劳寿命估计
机译:刻凿工具标记的客观分析
机译:基于薄壁圆筒的转弯过程中基于仿真的稳定性分析,并采用自适应旋转凿子进行了改进
机译:凿子中的上下文更新分析和改进
机译:基于拓扑数据分析的基于实验数据的姿势人性平衡模型进行逐步改进
机译:Bézier提取在自适应等几何分析中的作用:局部细化和层次细化
机译:Chisel中的上下文更新分析和细化
机译:ssmE轴承和密封测试仪数据汇编,分析和报告;低温承载分析数学模型的研究与改进