退出
我的积分:
中文文献批量获取
外文文献批量获取
张晶; 袁振宇;
昆明理工大学信息工程与自动化学院 云南 昆明 650500;
云南枭润科技服务有限公司 云南 昆明 650500;
昆明理工大学云南省人工智能重点实验室 云南 昆明 650500;
信息物理融合系统; 增广混合Petri网; 事件驱动; 时空属性; 条件弧;
机译:基于时空PETRI网的CPS物理实体建模与分析
机译:推导P / T Petri网的不变量和状态方程的特定解的生成器的新算法-基于Z-Basis的增广入射矩阵方法
机译:使用Petri网建模和控制离散事件和混合系统的新软件工具
机译:基于面向对象定时Petri网的CPS可用性建模与分析
机译:使用标记的混合Petri网对模拟/混合信号电路进行高效建模和验证。
机译:使用彩色混合Petri网和模拟模型检查的空间群体感应建模
机译:基于事件的混合Petri网建模机器人
机译:β(sup 0)-Beta(bar(sup 0))与包含Dilepton事件混合的Cp不对称性研究。
机译:基于扩展Petri网的控制目标系统建模方法及基于扩展Petri网的控制器
机译:基于Petri网建模的工业物联网无人机验证方法
机译:基于改进的Petri网的技术运营建模方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。