退出
我的积分:
中文文献批量获取
外文文献批量获取
吴维敏; 曾建潮;
浙江大学工业控制技术研究所;
太原重型机械学院;
混合动态系统; 冶金加热炉; 连续动态系统; Petri网;
机译:扩展时间Petri网和混合Petri网:建模多实例动态混合系统
机译:短通信在以混合Petri网为模型的系统中的性能评估和模型检查
机译:使用Petri网框架的混合动态系统的多范式建模。
机译:具有离散动态的线性混合系统中的最终通用可观察性,Petri网模型
机译:使用标记的混合Petri网对模拟/混合信号电路进行高效建模和验证。
机译:使用彩色混合Petri网和模拟模型检查的空间群体感应建模
机译:混合冗余输出系统的petri网模型,B系列,10号
机译:用于通过微控制器和具有Petri网嵌套逻辑的计算机管理混合系统的系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。