Distributed Virtual Environment; Message Ordering; Distributed Control algorithms; Consistency; Multi-layered Emulation Platform; Verification;
机译:DCS设计验证平台和主过程协调控制系统验证平台示范快堆研究进展
机译:针对怀孕戒烟的量身定制的短信计划(MiQuit)的有效性和成本效益:一项随机对照试验(RCT)和荟萃分析的研究方案
机译:柔软的有机硅多层泡沫敷料在创伤和重症患者中预防骨和足跟压疮的有效性的随机对照试验:边界试验
机译:多层仿真平台,用于验证有关消息排序的一致性控制方法的有效性
机译:设计和验证用于车辆动态行驶控制悬架微调的大型仿真实验室。
机译:模糊控制器应用于远程能量收集仿真平台
机译:针对妊娠吸烟的量身定制的文本留言计划(MIQUIT)的有效性和成本效益:随机对照试验(RCT)和META分析的研究方案
机译:用于交互式一致性的口头消息算法的形式验证