Deductive simulation; Digital device; Fault; Two-frame cubic algebra; Cubic method;
机译:基于符号故障仿真检查顺序数字设备的测试生成
机译:在数字设备的VHDL描述中注入功能故障
机译:顺序数字设备中故障的符号建模
机译:基于三次代数的数字设备测试生成和故障仿真方法
机译:断层的摩擦特性:从台湾纵谷断层的观察到动态模拟。
机译:华北中部地块活动断裂过程中断层模式与应力场的相互作用:数值模拟的启示
机译:穿过面朝式立方体和六角形关闭之间的边界:纳米钴结构通过模型核算的形状,尺寸分布和堆叠故障,允许模拟XRD,Xanes和EXAFS